| Specifying distributed software architectures J Magee, N Dulay, S Eisenbach, J Kramer European Software Engineering Conference, 137-153, 1995 | 1264 | 1995 |
| Java is type safe—probably S Drossopoulou, S Eisenbach European Conference on Object-Oriented Programming, 389-418, 1997 | 177 | 1997 |
| Is the Java type system sound? S Drossopoulou, S Eisenbach, S Khurshid Theory and practice of object systems 5 (1), 3-24, 1999 | 147 | 1999 |
| Describing the semantics of Java and proving type soundness S Drossopoulou, S Eisenbach Formal Syntax and Semantics of Java, 41-80, 1999 | 100 | 1999 |
| What is Java binary compatibility? S Drossopoulou, D Wragg, S Eisenbach Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998 | 73 | 1998 |
| Coordination in evolving systems M Radestock, S Eisenbach International Workshop on Trends in Distributed Systems, 162-176, 1996 | 70 | 1996 |
| A fragment calculus-towards a model of separate compilation, linking and binary compatibility S Drossopoulou, S Eisenbach, D Wragg Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 69 | 1999 |
| Zeno: An automated prover for properties of recursive data structures W Sonnex, S Drossopoulou, S Eisenbach International Conference on Tools and Algorithms for the Construction and …, 2012 | 66 | 2012 |
| Universes for race safety D Cunningham, S Eisenbach, S Drossopoulou | 51 | 2007 |
| Flexible models for dynamic linking S Drossopoulou, G Lagorio, S Eisenbach European Symposium on Programming, 38-53, 2003 | 51 | 2003 |
| Functional programming: languages, tools, and architectures S Eisenbach Halsted Press, 1987 | 49 | 1987 |
| Java type soundness revisited S Drossopoulou, S Eisenbach, T Valkevych Imperial College London, Department of Computing, 2000 | 47 | 2000 |
| A distributed abstract machine for boxed ambient calculi A Phillips, N Yoshida, S Eisenbach European Symposium on Programming, 155-170, 2004 | 41 | 2004 |
| MagicBeans: a platform for deploying plugin components R Chatley, S Eisenbach, J Magee International Working Conference on Component Deployment, 97-112, 2004 | 40 | 2004 |
| Chopped symbolic execution D Trabish, A Mattavelli, N Rinetzky, C Cadar Proceedings of the 40th International Conference on Software Engineering …, 2018 | 39 | 2018 |
| pi-calculus semantics for the concurrent configuration language Darwin S Eisenbach, R Paterson [1993] Proceedings of the Twenty-sixth Hawaii International Conference on …, 1993 | 38 | 1993 |
| Predictable dynamic plugin systems R Chatley, S Eisenbach, J Kramer, J Magee, S Uchitel International Conference on Fundamental Approaches to Software Engineering …, 2004 | 36 | 2004 |
| JErlang: Erlang with joins H Plociniczak, S Eisenbach International Conference on Coordination Languages and Models, 61-75, 2010 | 35 | 2010 |
| Modelling a framework for plugins R Chatley, S Eisenbach, J Magee SAVCBS 2003 Specification and Verification of Component-Based Systems, 49, 2003 | 34 | 2003 |
| Session types in Haskell: Updating message passing for the 21st century M Sackman, S Eisenbach | 33 | 2008 |
Sophia DrossopoulouProfessor, Imperial College LondonVerified email at imperial.ac.uk
