| 2008 |
|---|
| 44 | EE | Dave Cunningham,
Khilan Gudka,
Susan Eisenbach:
Keep Off the Grass: Locking the Right Path for Atomicity.
CC 2008: 276-290 |
| 2007 |
|---|
| 43 | EE | Susan Eisenbach,
Chris Sadler,
Dominic Wong:
Component Adaptation in Contemporary Execution Environments.
DAIS 2007: 90-103 |
| 42 | EE | Susan Eisenbach,
Chris Sadler:
Reuse and Abuse.
Journal of Object Technology 6(1): (2007) |
| 2006 |
|---|
| 41 | EE | Sophia Drossopoulou,
A. Petrounias,
Alex Buckley,
Susan Eisenbach:
SCHOOL: a Small Chorded Object-Oriented Language.
Electr. Notes Theor. Comput. Sci. 135(3): 37-47 (2006) |
| 40 | EE | Sophia Drossopoulou,
Giovanni Lagorio,
Susan Eisenbach:
A flexible model for dynamic linking in Java and C#.
Theor. Comput. Sci. 368(1-2): 1-29 (2006) |
| 2005 |
|---|
| 39 | | Alan Dearle,
Susan Eisenbach:
Component Deployment, Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
Springer 2005 |
| 38 | EE | Alex Buckley,
Michelle Murray,
Susan Eisenbach,
Sophia Drossopoulou:
Flexible Bytecode for Linking in .NET.
Electr. Notes Theor. Comput. Sci. 141(1): 75-92 (2005) |
| 2004 |
|---|
| 37 | EE | Susan Eisenbach,
Dilek Kayhan,
Chris Sadler:
Keeping Control of Reusable Components.
Component Deployment 2004: 144-158 |
| 36 | EE | Robert Chatley,
Susan Eisenbach,
Jeff Magee:
MagicBeans: a Platform for Deploying Plugin Components.
Component Deployment 2004: 97-112 |
| 35 | EE | Andrew Phillips,
Nobuko Yoshida,
Susan Eisenbach:
A Distributed Abstract Machine for Boxed Ambient Calculi.
ESOP 2004: 155-170 |
| 34 | EE | Robert Chatley,
Susan Eisenbach,
Jeff Kramer,
Jeff Magee,
Sebastián Uchitel:
Predictable Dynamic Plugin Systems.
FASE 2004: 129-143 |
| 2003 |
|---|
| 33 | EE | J. Fernando Naveda,
Donald J. Bagert,
Steve Seidman,
Jocelyn Armarego,
Thomas B. Hilburn,
Susan Eisenbach:
Developing an Undergraduate Software Engineering Degree.
CSEE&T 2003: 318- |
| 32 | EE | Susan Eisenbach,
Gary T. Leavens,
Peter Müller,
Arnd Poetzsch-Heffter,
Erik Poll:
Formal Techniques for Java-Like Programs.
ECOOP Workshops 2003: 62-71 |
| 31 | EE | Sophia Drossopoulou,
Giovanni Lagorio,
Susan Eisenbach:
Flexible Models for Dynamic Linking.
ESOP 2003: 38-53 |
| 30 | EE | Susan Eisenbach,
Vladimir Jurisic,
Chris Sadler:
Managing the Evolution of .NET Programs.
FMOODS 2003: 185-198 |
| 29 | EE | Miles Barr,
Susan Eisenbach:
Safe Upgrading without Restarting.
ICSM 2003: 129-137 |
| 28 | EE | Matthias Radestock,
Susan Eisenbach:
Coordinating components in middleware systems.
Concurrency and Computation: Practice and Experience 15(13): 1205-1231 (2003) |
| 2002 |
|---|
| 27 | EE | Susan Eisenbach,
Chris Sadler,
Shakil Shaikh:
Evolution of Distributed Java Programs.
Component Deployment 2002: 51-66 |
| 26 | EE | Sophia Drossopoulou,
Susan Eisenbach,
Gary T. Leavens,
Arnd Poetzsch-Heffter,
Erik Poll:
Formal Techniques for Java-like Programs.
ECOOP Workshops 2002: 203-210 |
| 2001 |
|---|
| 25 | EE | Gary T. Leavens,
Sophia Drossopoulou,
Susan Eisenbach,
Arnd Poetzsch-Heffter,
Erik Poll:
Formal Techniques for Java Programs.
ECOOP Workshops 2001: 30-40 |
| 24 | EE | Susan Eisenbach,
Chris Sadler:
Changing Java Programs.
ICSM 2001: 479-487 |
| 23 | EE | Mike Wyer,
Susan Eisenbach:
LEXIS: An EXam Invigilation System (Awarded Best Applied Paper!).
LISA 2001: 199-210 |
| 22 | | Susan Eisenbach,
Gary T. Leavens:
Special issue: formal techniques for Java programs.
Concurrency and Computation: Practice and Experience 13(13): 1121-1123 (2001) |
| 2000 |
|---|
| 21 | EE | Sophia Drossopoulou,
Susan Eisenbach,
Bart Jacobs,
Gary T. Leavens,
Peter Müller,
Arnd Poetzsch-Heffter:
Formal Techniques for Java Programs.
ECOOP Workshops 2000: 41-54 |
| 1999 |
|---|
| 20 | | Susan Eisenbach,
Emil Lupu,
Karen Meidl,
Hani Rizkallah:
Can Corba save a fringe language from becoming obsolete?
DAIS 1999: 272-286 |
| 19 | | Vishnu Kotrajaras,
Susan Eisenbach:
Thread and Main Memory Semantics.
ECOOP Workshops 1999: 106 |
| 18 | EE | Susan Eisenbach,
Chris Sadler:
Ephemeral Java Source Code.
FTDCS 1999: 9-14 |
| 17 | EE | Sophia Drossopoulou,
Susan Eisenbach:
Describing the Semantics of Java and Proving Type Soundness.
Formal Syntax and Semantics of Java 1999: 41-82 |
| 16 | EE | Sophia Drossopoulou,
Susan Eisenbach,
David Wragg:
A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility.
LICS 1999: 147-156 |
| 15 | | Sophia Drossopoulou,
Susan Eisenbach,
Sarfraz Khurshid:
Is the Java Type System Sound?
TAPOS 5(1): 3-24 (1999) |
| 1998 |
|---|
| 14 | EE | Sophia Drossopoulou,
David Wragg,
Susan Eisenbach:
What is Java Binary Compatibility?
OOPSLA 1998: 341-361 |
| 1997 |
|---|
| 13 | EE | Sophia Drossopoulou,
Susan Eisenbach:
Java is Type Safe - Probably.
ECOOP 1997: 389-418 |
| 1996 |
|---|
| 12 | EE | Krysia Broda,
Susan Eisenbach,
Lloyd Kamara:
Tool support for informal deduction.
ACSE 1996: 119-126 |
| 11 | | Matthias Radestock,
Susan Eisenbach:
Semantics of a Higher-Order Coordination Language.
COORDINATION 1996: 339-356 |
| 10 | | Matthias Radestock,
Susan Eisenbach:
Coordination in Evolving Systems.
TreDS 1996: 162-176 |
| 1995 |
|---|
| 9 | | Jeff Magee,
Naranker Dulay,
Susan Eisenbach,
Jeff Kramer:
Specifying Distributed Software Architectures.
ESEC 1995: 137-153 |
| 8 | | Matthias Radestock,
Susan Eisenbach:
An Object Model for Distributed and Concurrent Programming Based on Decomposition.
Object Orientation with Parallelism and Persistence 1995: 63-82 |
| 7 | | Diomidis Spinellis,
Sophia Drossopoulou,
Susan Eisenbach:
Object-Oriented Technology in Multiparadigm Language Implementation.
JOOP 8(1): 33-38 (1995) |
| 1994 |
|---|
| 6 | | Jeff Magee,
Susan Eisenbach,
Jeff Kramer:
Modelling Darwin in the Pi-Caculus.
Dagstuhl Seminar on Distributed Systems 1994: 133-152 |
| 5 | | Matthias Radestock,
Susan Eisenbach:
What Do You get From a Pi-Calculus Semantics?
PARLE 1994: 635-647 |
| 4 | | Matthias Radestock,
Susan Eisenbach:
Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming.
PODC 1994: 383 |
| 3 | | Diomidis Spinellis,
Sophia Drossopoulou,
Susan Eisenbach:
Language and Architecture Paradigms as Object Classes.
Programming Languages and System Architectures 1994: 191-207 |
| 1993 |
|---|
| 2 | | Anthony Finkelstein,
Jeff Kramer,
Samson Abramsky,
Krysia Broda,
Sophia Drossopoulou,
Susan Eisenbach:
An Integrated Engineering Study Scheme in Computing.
Comput. J. 36(4): 320-334 (1993) |
| 1991 |
|---|
| 1 | | Sophia Drossopoulou,
Ross Paterson,
Susan Eisenbach:
Parameterized Interfaces are Interfaces - AIAS.
Declarative Programming 1991: 133-147 |
