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 |