Eric Bodden - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Java

Aspect-Oriented Race Detection in JavaEric Bodden, Klaus Havelund. TSE, 36(4):509-527, 2010. [doi]

Improving type error messages for generic javaNabil El Boustani, Jurriaan Hage. PEPM 2009: 131-140 [doi]

Hard JavaPaul Frenger. SIGPLAN, 43(5):5-9, 2008. [doi]

Java projects motivated by student interestsMirela Djordjevic. iticse 2008: 321 [doi]

A Hardware Accelerator for Java:::TM::: Platforms on a 130-nm Embedded Processor CoreTetsuya Yamada, Naohiko Irie, Takanobu Tsunoda, Takahiro Irita, Kenji Kitagawa, Ryohei Yoshida, Keisuke Toyama, Motoaki Satoyama. ieicet, 90-C(2):523-530, 2007. [doi]

Why we should not add readonly to Java (yet)John Boyland. jot, 5(5):5-29, 2006. [doi]

GoJava: a java development tool for beginnersJon Wise. iticse 2006: 359 [doi]

Overcoming Limitations to Java Application ScalabilityWilliam R. Sullivan. cmg 2005: 833-842

New threats of Java virusesDaniel Reynaud-Plantey. virology, 1(1-2):32-43, 2005. [doi]

The constructive reals as a Java libraryHans-Juergen Boehm. jlp, 64(1):3-11, 2005. [doi]

Implementing the p-Calculus in JavaLiwu Li. jot, 4(2):157-178, 2005. [doi]

A lightweight LTL runtime verification tool for javaEric Bodden. OOPSLA 2004: 306-307 [doi]

Java bytecode verification on Java cardsRoberto Barbuti, Stefano Cataudella. SAC 2004: 431-438 [doi]

Analysing the Java package/access concepts in Isabelle/HOLNorbert Schirmer. concurrency, 16(7):689-706, 2004. [doi]

Extraction of Java program fingerprints for software authorship identificationHaibiao Ding, Mansur H. Samadzadeh. jss, 72(1):49-57, 2004. [doi]

A full Java post-graduate curriculumJ.-P. Jacquot. PPPJ 2004: 46-51 [doi]

A high-level view of Java applicationsEric Bodden. OOPSLA 2003: 384-385 [doi]

Développement formel d un vérifieur embarqué de byte-code JavaLilian Burdy, Ludovic Casset, Antoine Requet. tsi, 22(1):33-60, 2003. [doi]

Characterizing Java[tm] Application PerformanceGhulam Lashari, Suresh Srinivas. ipps 2003: 138 [doi]

Statische Analyse von Java-Anwendungen - Einen sich Lines-of-Code-Metrik und Halstead-Länge?Björn Wolle. wi, 45(1):29-49, 2003.

Java PastSet: a structured distributed shared memory systemKei Simon Pedersen, Brian Vinter. iee, 150(2):147-153, 2003.

Distributed scientific computing in Java: observations and recommendationsHumphrey Sheil. PPPJ 2003: 219-222 [doi]

A Java API for polynomial arithmeticClaire Whelan, Adam Duffy, Andrew Burnett, Tom Dowling. PPPJ 2003: 139-144 [doi]

Evolution of Distributed Java ProgramsSusan Eisenbach, Chris Sadler, Shakil Shaikh. cd 2002: 51-66 [doi]

On the Use of Enterprise Java Beans 2.0 Local InterfacesHans Albrecht Schmid. edoc 2003: 144-156 [doi]

Effective Enhancement of Loop Versioning in JavaVitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky. CC 2002: 293-306 [doi]

Java Application Signature, Integrity Verification and Server Authentication Mechanism in MExE TerminalJarkko Holappa. sis 2002: 39-52

Using java aplets to help make online assessment interactiveGeoffrey Crisp. ascilite 2002: 799-802

Visualizing the Execution of Java ProgramsWim De Pauw, Erik Jensen, Nick Mitchell, Gary Sevitsky, John M. Vlissides, Jeaha Yang. Dagstuhl 2002: 151-162 [doi]

Java Grande2001.

Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, April 23-24, 2001, Monterey, CA, USAUSENIX, 2001.

Changing Java ProgramsSusan Eisenbach, Chris Sadler. ICSM 2001: 479-487 [doi]

A parallel java grande benchmark suiteL. A. Smith, J. Mark Bull, J. Obdrzálek. sc 2001: 8 [doi]

Jazz: an extensible zoomable user interface graphics toolkit in JavaBenjamin B. Bederson, Jon Meyer, Lance Good. uist 2000: 171-180 [doi]

An interface between Java and APLMike Symes. aplas 2000: 228-240 [doi]

Efficiency of Parallel Java Using SMP and Client-ServerMaurice Eggen, Roger Eggen. pdpta 2000:

Embarrassingly Parallel Applications on a Java ClusterBrian Vinter. hpcn 2000: 614-617 [doi]

Java Multi-Method FrameworkRémi Forax, Étienne Duris, Gilles Roussel. TOOLS 2000: 45-56 [doi]

Java-Informations-Tage1999.

Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOLCornelia Pusch. TACAS 1999: 89-103 [doi]

Java Grande1999.

Tight Integration of Java and Petri NetsOlaf Kummer. awpn 1999: [doi]

Java-Informations-Tage1998.

Java in a Nutshell: A Desktop Quick Reference, by David FlanaganMichael R. Leach. jasis, 49(14):1329-1330, 1998.

Technical Overview of IBM s Java InitiativesKarl D. Gottschalk. IBMSJ, 37(3):308-322, 1998.

Editorial - Justifying Java?Fintan Culwin. SIGPLAN, 33(4):31-33, 1998.

Frameworks in Java and CatalysisDesmond D Souza. joop, 10(2):59-62, 1997.

A Multithreaded Java Framework for Solving Linear Elliptic Partial Differential Equations in 3DGerald Löffler. iscope 1997: 121-128

Java SoccerTucker R. Balch. robocup 1998: 181-187

Java-Anwendungen im Internet für die Geschäftsprozesse der HochschulverwaltungWilfried Schramm. uh 1997: 147-164

runs on WebDSL