Computing Publications

Publications Home » Keywords » Distributed Software Engineering

Publications matching Distributed Software Engineering
What are feeds?
All feeds

Distributed Software Engineering

Book Chapters

Towards an Operational Semantics and Proof of Type Soundness for Java [PDF]
Sophia Drossopoulou, Susan Eisenbach
Formal Syntax and Semantics of Java
Issue 3
Springer-Verlag
1999
An Object Model for Distributed and Concurrent Programming Based on Decomposition [PDF]
Matthias Radestock, Susan Eisenbach
Object Orientation with Parallelism and Persistence
Issue 4
Kluwer Academic Publishers
1996
Language and Architecture Paradigms as Object Classes: A Unified Approach Towards Multiparadigm Programming [PDF]
Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
Programming Languages and System Architectures
Volume 782, pp.191–207
Springer-Verlag
January, 1994

Journal Articles

A survey of Autonomic Computing - degrees, models and applications [PDF]
Julie McCann, Markus Huebscher
ACM Computing Surveys, ACM
December, 2007
A flexible model for dynamic linking in Java and C# [PDF]
Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
Theoretical Computer Science
Volume 368, Issue 1, pp.1–29
December, 2006
Coordinating components in middleware systems [PDF]
Matthias Radestock, Susan Eisenbach
Concurrency and Computation: Practice & Experience
Volume 15, Issue 13
2003
Object-Oriented Technology in Multiparadigm Language Implementation [PDF]
Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
Journal of Object Oriented Programming
Volume 8, Issue 1, pp.33–38
March, 1995

Journal Special Issue Article

Is the Java Type System is Sound [Postscript]
Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid
Theory and Practice of Object Systems
Volume 5, Issue 1, pp.3–24
October, 1999

Electronic Journal Articles

Tickling Java with a Feather [PDF]
Tristan Allwood, Susan Eisenbach
Electronic Notes in Theoretical Computer Science
Elsevier
2008
SCHOOL: a Small Chorded Object-Oriented Language [PDF]
Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach
Electronic Notes in Theoretical Computer Science
Volume 135, Issue 3, pp.37–47
Elsevier
March, 2006

Conference and Workshop Papers

Lock Inference in the Presence of Large Libraries [PDF]
Khilan Gudka, Tim Harris, Susan Eisenbach
Eurepean Conference for Object-Oriented Programming
June, 2012
Stage: Python with Actors [PDF]
J.W. Ayres, Susan Eisenbach
International Workshop on Multicore Software Engineering (IWMSE)
May, 2009
Keep Off The Grass: Locking the Right Path for Atomicity [PDF]
David Cunningham, Khilan Gudka, Susan Eisenbach
Compiler Construction 2008
Volume 4959, pp.276–290
Lecture Notes in Computer Science, Springer Berlin / Heidelberg
April, 2008
Universe Types for Race Safety [PDF]
David Cunningham, Sophia Drossopoulou, Susan Eisenbach
VAMP 07
pp.20–51
September, 2007
Component Adaptation in Contemporary Execution Environments [PDF]
Susan Eisenbach, Chris Sadler, Dominic Wong
DAIS'2007, 7th IFIP International Conference on Distributed Applications and Interoperable Systems
Lecture Notes in Computer Science, Springer-Verlag
June, 2007
On the Execution of Ambients [PDF]
Matthew Sackman, Susan Eisenbach
MTCoord 2007
June, 2007
An Efficient Access Control Model for Mobile Ad-hoc Communities [PDF]
Sye Keoh, Emil Lupu
2nd International Conference on Security in Pervasive Computing, Boppard, Germany, 6 - 8 April 2005
Springer-Verlag Berlin
April, 2005
Flexible Bytecode for Linking in .NET [PDF]
Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou
ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2005)
2005
Flexible, source level, dynamic linking and re-linking [PDF]
Sophia Drossopoulou, Susan Eisenbach
Formal techniques for Java-like languages, 2003
2004
Keeping control of reusable components [PDF]
Susan Eisenbach, Chris Sadler, Dilek Kayhan
2nd international working conference on component deployment, e-science Institute, Edinburgh, Scotland, 2004
Springer-Verlag
2004
MagicBeans: a platform for deploying plugin components [PDF]
Robert Chatley, Susan Eisenbach, Jeff Magee
2nd international working conference on component deployment, e-Science Institute, Edinburgh, Scotland, 2004
Springer-Verlag
2004
Predictable dynamic plugin systems [PDF]
Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastian Uchitel
7th international conference on fundamental approaches to software engineering, Barcelona, SPAIN
Springer-Verlag
2004
Safe Upgrading Without Restarting [PDF]
Miles Barr, Susan Eisenbach
International conference on software maintenance, Amsterdam, Netherlands, 2003
IEEE Computer Soc
2003
Role-Based Access Control for Publish/Subscribe Middleware Architectures [PDF]
Andras Belokosztolszki, David Eyers, Peter Pietzuch, Jean Bacon, Ken Moody
2nd international workshop on Distributed event-based systems (DEBS 2003)
June, 2003
Flexible Models for Dynamic Linking [PDF]
Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland
Volume 2618, pp.38–53
Lecture Notes in Computer Science, Springer
April, 2003
Modelling a framework for plugins [PDF]
Robert Chatley, Susan Eisenbach, Jeff Magee
Specification and verification of component-based systems, September 2003
2003
Evolution of Distributed Java Programs [PDF]
Susan Eisenbach, Chris Sadler, Shakil Shaikh
IFIP/ACM working conference on component deployment, Berlin, Germany, 2002
Springer-Verlag
2002
Manifestations of Dynamic Linking [PDF]
Sophia Drossopoulou, Susan Eisenbach
June, 2002
Lexis EXam invigilation system [PDF]
Mike Wyer, Susan Eisenbach
15th systems administration conference, San Diego, CA
USENIX Association
December, 2001
Changing Java programs [PDF]
Susan Eisenbach, Chris Sadler
IEEE international conference on software maintenance (ICSM 2001), Florence, Italy
IEEE Computer Soc
2001
Ephemeral Java Source Code [PDF]
Susan Eisenbach, Chris Sadler
IEEE Workshop on Future Trends in Distributed Computing Systems, Cape Town
1999
A Fragment Calculus - towards a model of separate compilation, linking and binary compatibility, [PDF]
Sophia Drossopoulou, Susan Eisenbach, David Wragg
Logic in Computer Science (LICS), Trento
1999
Can Corba save a Fringe Language from Becoming Obsolete? [PDF]
Susan Eisenbach, Emil Lupu, Karen Meidl, Hani Rizkhallah
DAIS'99 Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, Helsinki
1999
What is Java Binary Compatibility? [PDF]
Sophia Drossopoulou, David Wragg, Susan Eisenbach
OOPSLA 1998
pp.341–361
October, 1998
Component Coordination in Middleware Systems [PDF]
Susan Eisenbach, Matthias Radestock
IFIP International Conference on Distributed Systems Platforms and OpenDistributed Processing (Middleware'98)
p.240
Springer Verlag
September, 1998
The Java Type System is Sound - Probably [PDF]
Sophia Drossopoulou, Susan Eisenbach
European Conference of Object Oriented programming, Jyvaskyla, Finland
Springer-Verlag
1997
Is the Java Type System Sound? [PDF]
Sophia Drossopoulou, Susan Eisenbach
FOOL 4( Foundations of Object Oriented Languages), Paris
1997
Agent-based Configuration Management [PDF]
Matthias Radestock, Susan Eisenbach
7th IFIP/IEEE International Workshop on Distributed Systems: Operation and Management
1996
Coordination in Evolving Systems [PDF]
Matthias Radestock, Susan Eisenbach
International Workshop on Trends in Distributed Systems
1996
Formalizing System Structure [PDF]
Matthias Radestock, Susan Eisenbach
IWSSD-8
IEEE Computer Society Press, Paderborn Germany
1996
Semantics of a Higher-Order Coordination Language [PDF]
Matthias Radestock, Susan Eisenbach
COORDINATION'96 Cesena, Italy
1996
Tool Support for Natural Deduction
Krysia Broda, Susan Eisenbach, Lloyd Kamara
Proceedings of ACSE96, CACM
1996
Specifying Distributed Software Architectures [PDF]
Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
Fifth European Software Engineering Conference, ESEC '95 , Barcelona
1995
System Structuring: A Convergence of Theory and Practice? [PDF]
Jeff Magee, Jeff Kramer, Susan Eisenbach
Dagstuhl Workshop on Theory and Practice in Distributed Systems
Lecture Notes in Computer Science, Springer-Verlag
1995
An Object Model for Multiparadigm Programming [PDF]
Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
OOPSLA Workshop on Multi-Language Object Models
1994
Modelling Darwin in the Pi-calculus
Jeff Magee, Susan Eisenbach, Jeff Kramer
International Workshop on Theory and Practice in Distributed Systems
Springer-Verlag
1994
Specifying the Concurrent Programming System Regis in the Pi-Calculus [PDF]
Susan Eisenbach, Jeff Kramer, Jeff Magee
Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), Pittsburgh
1994
Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming [PDF]
Matthias Radestock, Susan Eisenbach
PODC, Los Angeles
1994
What do you get from a pi-calculus semantics? [PDF]
Matthias Radestock, Susan Eisenbach
PARLE, Athens
1994
Pi-calculus semantics for the concurrent configuration language Darwin [PDF]
Susan Eisenbach, Ross Paterson
26th Hawaii International Conference on System Sciences
Volume 2, pp.456–462
January, 1993

Technical Report

Java Type Soundness Revisited [PDF] [Postscript]
Sophia Drossopoulou, Susan Eisenbach, Tanya Valkevych
Imperial College London, Department of Computing
September, 2000

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.