Publications

	2013
	Program Checking With Less Hassle. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In Verified Software: Theories, Tools and Experiments (VSTTE), to appear, 2013. [bib]
	Verifying Total Correctness of Graph Programs. Christopher M. Poskitt, Detlef Plump, In Selected Revised Papers, Graph Computation Models (GCM 2012), Electronic Communications of the EASST, volume 61, 2013. [pdf] [bib]
	Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. Marco Piccioni, Manuel Oriol, Bertrand Meyer, In IEEE Transactions on Software Engineering -- to appear, 2013. [pdf] [bib]
	What Good Are Strong Specifications?. Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer, In Proceedings of the 35th International Conference on Software Engineering (ICSE'13), 2013. [pdf] [bib]
	Javanni: A Verifier for JavaScript. Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia, In Fundamental Approaches to Software Engineering (FASE), Springer, volume 7793, 2013. [pdf] [bib]
	Verified Calculations. K. Rustan M. Leino, Nadia Polikarpova, In Verified Software: Theories, Tools and Experiments (VSTTE), to appear, 2013. [pdf] [bib]
	The Search for the Laws of Automatic Random Testing. Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei, In Proceedings of the 28th ACM Symposium on Applied Computing (SAC 2013), ACM, 2013. [pdf] [bib]
	2012
	Demonic Testing of Concurrent Programs. Scott West, Sebastian Nanz, Bertrand Meyer, In 14th International Conference on Formal Engineering Methods (ICFEM'12), Springer, 2012. [pdf] [bib]
	Performance analysis of SCOOP programs. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer, In Journal of Systems and Software, volume 85, 2012. [pdf] [bib]
	Can Asynchronous Exceptions Expire?. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer, In Workshop on Exception Handling, IEEE, 2012. [pdf] [bib]
	Who is accountable for asynchronous exceptions?. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer, In Asia-Pacific Software Engineering Conference, IEEE, 2012. [pdf] [bib]
	A Formal Reference for SCOOP. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer, Chapter in Empirical Software Engineering and Verification (Bertrand Meyer, Martin Nordio, eds.), Springer, volume 7007, 2012. [pdf] [bib]
	Proceedings of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS'12)., (Carlo A. Furia, Sebastian Nanz, eds.), Springer, volume 7304, 2012. [bib]
	Freefinement. Stephan van Staden, Cristiano Calcagno, Bertrand Meyer, In Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ACM, New York, NY, USA, 2012. [pdf] [bib]
	Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In Tools for Practical Software Verification - LASER 2011, International Summer School, Springer, volume 7682, 2012. [pdf] [bib]
	C to O-O Translation: Beyond the Easy Stuff. Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol, In Proceedings of the 19th Working Conference on Reverse Engineering (WCRE'12) (Rocco Oliveto, Denys Poshyvanyk, eds.), IEEE Computer Society, 2012. [pdf] [bib]
	Automatic C to O-O Translation with C2Eiffel (Tool demonstration paper). Marco Trudel, Carlo A. Furia, Martin Nordio, In Proceedings of the 19th Working Conference on Reverse Engineering (WCRE'12) (Rocco Oliveto, Denys Poshyvanyk, eds.), IEEE Computer Society, 2012. [pdf] [bib]
	Verifying Implementations of Security Protocols by Refinement. Nadia Polikarpova, Michał Moskal, In VSTTE, 2012. [pdf] [bib]
	Tools for Practical Software Verification: LASER Summer School 2011., (Bertrand Meyer, Martin Nordio, eds.), Springer, volume 7682, 2012. [bib]
	Empirical Software Engineering and Verification: LASER Summer School 2008-2010., (Bertrand Meyer, Martin Nordio, eds.), Springer, volume 7007, 2012. [bib]
	A Verifier for Functional Properties of Sequence-Manipulating Programs. Carlo A. Furia, In Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12) (Supratik Chakraborty, Madhavan Mukund, eds.), Springer, volume 7561, 2012. [pdf] [bib]
	Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. Carlo A. Furia, Paola Spoletini, In Proceedings of the 19th International Symposium on Temporal Representation and Reasoning (TIME'12) (Ben Moszkowski, Mark Reynolds, Paolo Terenziani, eds.), IEEE Computer Society, 2012. [pdf] [bib]
	Modeling Time in Computing. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi, Springer, 2012. [pdf] [bib]
	Agile vs. Structured Distributed Software Development: A Case Study. H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider, In 7th International Conference on Global Software Engineering, IEEE, 2012. [pdf] [bib]
	Is Branch Coverage a Good Measure of Testing Effectiveness?. Yi Wei, Bertrand Meyer, Manuel Oriol, In LASER Summer School, 2012. [pdf] [bib]
	The COST IC0701 Verification Competition 2011. Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich, In Proceedings of the 2nd International Conference on Formal Verification of Object-Oriented Software, Springer, 2012. [bib]
	2011
	Modal abstractions of concurrent behavior. Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson, In ACM Transactions on Computational Logic, volume 12, 2011. [pdf] [bib]
	The Future of Software Engineering., (Sebastian Nanz, ed.), Springer, 2011. [bib]
	Empirical Assessment of Languages for Teaching Concurrency: Methodology and Application. Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer, In Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T'11), IEEE Computer Society, 2011. [pdf] [bib]
	Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages. Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer, In Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement (ESEM'11), IEEE Computer Society, 2011. [pdf] [bib]
	A Comprehensive Operational Semantics of the SCOOP Programming Model. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer, arXiv:1101.1038, 2011. [pdf] [bib]
	The Future of Software Engineering: Panel Discussions., (Edgar G. Daylight, Sebastian Nanz, eds.), Lonely Scholar, volume 2011, 2011. [bib]
	Stateful Testing: Finding More Errors in Code and Contracts. Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer, In 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE, 2011. [pdf] [bib]
	Inferring Better Contracts. Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer, In Proceedings of the 33rd International Conference on Software Engineering (ICSE'11) (Richard N. Taylor, Harald Gall, Nenad Medvidovic, eds.), ACM, 2011. [pdf] [bib]
	Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM), Springer, 2011. [pdf] [bib]
	Verifying Eiffel programs with Boogie. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In BOOGIE workshop, 2011. [pdf] [bib]
	Automated Translation of Java Source Code to Eiffel. Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio, In TOOLS-EUROPE (Judith Bishop, Antonio Vallecillo, eds.), 2011. [pdf] [bib]
	Code-Based Automated Program Fixing. Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE, 2011. [pdf] [bib]
	How do Distribution and Time Zones affect Software Development? A Case Study on Communication. Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto, In 6th International Conference on Global Software Engineering, IEEE, 2011. [pdf] [bib]
	Teaching Software Engineering using Globally Distributed Projects: the DOSE course. Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni, In Collaborative Teaching of Globally Distributed Software Development - Community Building Workshop (CTGDSD), ACM, 2011. [pdf] [bib]
	The 1st Verified Software Competition: Experience Report. Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiss, In Proceedings, 17th International Symposium on Formal Methods (FM 2011) (Michael Butler, Wolfram Schulte, eds.), Springer, 2011. [pdf] [bib]
	On Relaxing Metric Information in Linear Temporal Logic. Carlo A. Furia, Paola Spoletini, In Proceedings of the 18th International Symposium on Temporal Representation and Reasoning (TIME'11) (Carlo Combi, Martin Leucker, Frank Wolter, eds.), IEEE Computer Society, 2011. [pdf] [bib]
	Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol, In APSEC, 2011. [pdf] [bib]
	2010
	A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. Scott West, Sebastian Nanz, Bertrand Meyer, In 12th International Conference on Formal Engineering Methods (ICFEM'10), Springer, volume 6447, 2010. [pdf] [bib]
	Reasoning about Multiple Related Abstractions with MultiStar. Stephan Van Staden, Cristiano Calcagno, Technical report, ETH Zurich, 2010. [pdf] [bib]
	Reasoning about multiple related abstractions with MultiStar. Stephan van Staden, Cristiano Calcagno, In Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA 2010), ACM, 2010. [pdf] [bib]
	Deriving Concurrent Control Software from Behavioral Specifications. Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer, In Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'10), IEEE, 2010. [pdf] [bib]
	Static analysis of topology-dependent broadcast networks. Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson, In Information and Computation, volume 208, 2010. [pdf] [bib]
	A Logic for State-Modifying Authorization Policies. Moritz Y. Becker, Sebastian Nanz, In ACM Transactions on Information and System Security, ACM, volume 13, 2010. [pdf] [bib]
	Automated Fixing of Programs with Contracts. Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller, In Proceedings of the International Symposium on Software Testing and Analysis 2010 (ISSTA'10), 2010. [pdf] [bib]
	Satisfying Test Preconditions through Guided Object Selection. Yi Wei, Serge Gebhardt, Manuel Oriol, Bertrand Meyer, In Proceedings of the Third International Conference on Software Testing, Verification and Validation (ICST'10), 2010. [pdf] [bib]
	Software Engineering Approaches For Outsourced and Offshore Development. Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov, 4th International Conference, St. Petersburg, Russia. Lecture Notes in Business Information Processing 54, Springer-Verlag, 2010. [bib]
	Object-Oriented Modeling of Object-Oriented Concepts. Michela Pedroni, Bertrand Meyer, In ISSEP, 2010. [pdf] [bib]
	Specifying Reusable Components. Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer, In Proceedings of the 3rd International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10) (Gary T. Leavens, Peter O'Hearn, Sriram Rajamani, eds.), Springer, volume 6217, 2010. [pdf] [bib]
	Advanced Hands-on Training for Distributed and Outsourced Software Engineering. Martin Nordio, Roman Mitin, Bertrand Meyer, In ICSE '10 Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, 2010. [pdf] [bib]
	Reasoning about Function Objects. Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen, In TOOLS-EUROPE (J. Vitek, ed.), 2010. [pdf] [bib]
	A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages. Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer, arXiv:1011.6047, 2010. [pdf] [bib]
	SCOOP -- A Contract-Based Concurrent Object-Oriented Programming Model. Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer, Chapter in Advanced Lectures on Software Engineering (Peter Müller, ed.), Springer, volume 6029, 2010. [pdf] [bib]
	SCORE: the first student contest on software engineering. Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young, In SIGSOFT Software Engineering Notes, volume 35, 2010. [pdf] [bib]
	What's Decidable About Sequences?. Carlo A. Furia, In Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10) (Ahmed Bouajjani, Wei-Ngan Chin, eds.), Springer, volume 6252, 2010. [pdf] [bib]
	A Theory of Sampling for Continuous-Time Metric Temporal Logic. Carlo A. Furia, Matteo Rossi, In ACM Transactions on Computational Logic, ACM, volume 12, 2010. [pdf] [bib]
	Modeling Time in Computing: a taxonomy and a comparative survey. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi, In ACM Computing Surveys, ACM, volume 42, 2010. [pdf] [bib]
	Inferring Loop Invariants Using Postconditions. Carlo A. Furia, Bertrand Meyer, In Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday (Andreas Blass, Nachum Dershowitz, Wolfgang Reisig, eds.), Springer, volume 6300, 2010. [pdf] [bib]
	Verifying Executable Object-Oriented Specifications with Separation Logic. Stephan van Staden, Cristiano Calcagno, Bertrand Meyer, In ECOOP (Theo D'Hondt, ed.), Springer, volume 6183, 2010. [pdf] [bib]
	A Tile-based Approach for Self-assembling Service Compositions. Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella, In Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'10), IEEE, 2010. [pdf] [bib]
	Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi, In Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'10), IEEE, 2010. [pdf] [bib]
	2009
	Separation, Abstraction, Multiple Inheritance and View Shifting. Stephan van Staden, Cristiano Calcagno, Technical report, ETH Zurich, 2009. [pdf] [bib]
	Mobility Models and Behavioural Equivalence for Wireless Networks. Jens Chr. Godskesen, Sebastian Nanz, In Proceedings of the 11th International Conference on Coordination Models and Languages (COORDINATION'09), Springer, volume 5521, 2009. [pdf] [bib]
	Software Engineering Approaches For Outsourced and Offshore Development (SEAFOOD). Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio, revised papers, Lecture Notes in Business Information Processing 16, Springer-Verlag, 2009. [bib]
	A comparative study of programmer-written and automatically inferred contracts. Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer, In ISSTA 2009: International Symposium on Software Testing and Analysis 2009, 2009. [pdf] [bib]
	An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider, In ASE, 2009. [pdf] [bib]
	What Do Beginning CS Majors know?. Michela Pedroni, Manuel Oriol, Technical report, ETH Zurich, Chair of Software Engineering, 2009. [pdf] [bib]
	A Comparison of CS Student Backgrounds at Two Universities. Michela Pedroni, Manuel Oriol, Technical report, ETH Zurich, Chair of Software Engineering, 2009. [pdf] [bib]
	The Role of Contracts in Distributed Development. Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburelli, In Software Engineering Advances For Offshore and Outsourced Development (O. Gotel, M. Joseph, B. Meyer, eds.), volume 35, 2009. [pdf] [bib]
	A Sound and Complete Program Logic for Eiffel. Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer, In TOOLS-EUROPE (M. Oriol, B. Meyer, eds.), volume 33, 2009. [pdf] [bib]
	Soundness and Completeness of a Program Logic for Eiffel. Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer, Technical report, ETH Zurich, 2009. [pdf] [bib]
	Reasoning about Function Objects. Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Technical report, ETH Zurich, 2009. [pdf] [bib]
	Proofs and Proof Transformations for Object-Oriented Programs. Martin Nordio, PhD thesis, ETH Zurich, Switzerland, 2009. [pdf] [bib]
	Contracts for concurrency. Piotr Nienaltowski, Bertrand Meyer, Jonathan S. Ostroff, In Formal Asp. Comput., volume 21, 2009. [pdf] [bib]
	Programs That Test Themselves. Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf, In IEEE Computer, volume 42, 2009. [pdf] [bib]
	Viewpoint - Research evaluation for computer science. Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen, In Commun. ACM, volume 52, 2009. [pdf] [bib]
	Point/Counterpoint. Gerald D. Everett, Bertrand Meyer, In IEEE Software, volume 26, 2009. [pdf] [bib]
	Generating Fixes from Object Behavior Anomalies. Valentin Dallmeier, Andreas Zeller, Bertrand Meyer, In ASE, 2009. [pdf] [bib]
	On the number and nature of faults found by random testing. I. Ciupa, A. Pretschner, M. Oriol, A. Leitner, B. Meyer, In Journal on Software Testing, Verification and Reliability (STVR), Wiley Interscience, 2009. [bib]
	Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi, In Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09), IEEE Computer Society Press, 2009. [pdf] [bib]
	2008
	Course management with TrucStudio. Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer, In ITiCSE, 2008. [pdf] [bib]
	Automatic extraction of notions from course material. Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer, In SIGCSE, 2008. [pdf] [bib]
	Proof-Transforming Compilation of Eiffel Programs. Martin Nordio, Peter Müller, Bertrand Meyer, In TOOLS-EUROPE (R. Paige, ed.), Springer-Verlag, 2008. [pdf] [bib]
	Formalizing Proof-Transforming Compilation of Eiffel Programs. Martin Nordio, Peter Müller, Bertrand Meyer, Technical report, ETH Zurich, 2008. [pdf] [bib]
	Compiler error messages: what can help novices?. Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer, In SIGCSE, 2008. [pdf] [bib]
	The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development. Bertrand Meyer, Marco Piccioni, In CSEE&T, 2008. [pdf] [bib]
	Design and Code Reviews in the Age of the Internet. Bertrand Meyer, In SEAFOOD, 2008. [pdf] [bib]
	Eiffel for .NET Binding for db4o. Ruihua Jin, Marco Piccioni, In ICOODB (J. Paterson S. Edlich, ed.), 2008. [pdf] [bib]
	ARTOO: Adaptive Random Testing for Object-Oriented Software. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In Proceedings of the 30th International Conference on Software Engineering 2008 (ICSE'08), 2008. [pdf] [bib]
	Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. I. Ciupa, B. Meyer, M. Oriol, A. Pretschner, In missing booktitle, Wiley Interscience, 2008. [bib]
	On the Predictability of Random Tests for Object-Oriented Software. Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In Proceedings of the First International Conference on Software Testing, Verification and Validation (ICST'08), 2008. [pdf] [bib]
	Strategies for random-contract based testing. Ilinca Ciupa, PhD thesis, ETH Zurich, Switzerland, 2008. [pdf] [bib]
	2007
	Automatic Testing of Object-Oriented Software. Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa (Ling) Liu, In Proceedings of SOFSEM 2007 (Current Trends in Theory and Practice of Computer Science) (Jan van Leeuwen, ed.), Springer-Verlag, 2007. [pdf] [bib]
	IDE-integrated Support for Schema Evolution in Object-Oriented Applications. Marco Piccioni, Manuel Oriol, Bertrand Meyer, In RAM-SE, 2007. [pdf] [bib]
	A framework for describing and comparing courses and curricula. Michela Pedroni, Manuel Oriol, Bertrand Meyer, In ITiCSE, 2007. [pdf] [bib]
	Proof-Transforming Compilation of Programs with Abrupt Termination. Peter Müller, Martin Nordio, In Specification and Verification of Component-Based Systems (SAVCBS), ACM Press, 2007. [pdf] [bib]
	Proof-Transforming Compilation of Programs with Abrupt Termination. Peter Müller, Martin Nordio, Technical report, ETH Zurich, 2007. [pdf] [bib]
	Contract-Driven Development. Bertrand Meyer, In FASE, 2007. [pdf] [bib]
	Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller, In TAP, 2007. [pdf] [bib]
	Contract Driven Development = Test Driven Development - Writing Test-Cases. Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva, In Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), 2007. [pdf] [bib]
	Reflecting on an Existing Programming Language. Andreas Leitner, Patrick Eugster, Manuel Oriol, Ilinca Ciupa, In Proceedings of TOOLS EUROPE 2007 - Objects, Models, Components, Patterns,, 2007. [bib]
	Efficient Unit Test Case Minimization. A. Leitner, M. Oriol, A. Zeller, I. Ciupa, B. Meyer, In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007. [pdf] [bib]
	Reconciling Manual and Automated Testing: the AutoTest Experience. Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard, In Proceedings of the 40th Hawaii International Conference on System Sciences - 2007, Software Technology, 2007. [pdf] [bib]
	Celebrating 40 years of language evolution: simula 67 to the present and beyond. Steven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, Guy L. Steele Jr., In OOPSLA Companion, 2007. [pdf] [bib]
	Experimental Assessment of Random Testing for Object-Oriented Software. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In Proceedings of the International Symposium on Software Testing and Analysis 2007 (ISSTA'07), 2007. [pdf] [bib]
	2006
	Flexible locking in SCOOP. Piotr Nienaltowski, In First International Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages (CORDIE), 2006. [pdf] [bib]
	Contracts for concurrency. Piotr Nienaltowski, Bertrand Meyer, In First International Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages (CORDIE), 2006. [pdf] [bib]
	Refined access control policy for SCOOP. Piotr Nienaltowski, Technical report, Computer Science Department, ETH Zurich, 2006. [pdf] [bib]
	The inverted curriculum in practice. Michela Pedroni, Bertrand Meyer, In SIGCSE, 2006. [pdf] [bib]
	The Context of Object Computation (extended abstract). Bertrand Meyer, In SEFM, 2006. [pdf] [bib]
	Object distance and its application to adaptive random testing of object-oriented programs. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In RT '06: Proceedings of the 1st international workshop on Random testing, ACM Press, 2006. [pdf] [bib]
	Generic Component Lookup. Till G. Bay, Patrick Eugster, Manuel Oriol, In CBSE, 2006. [pdf] [bib]
	2005
	Einfuehrung in die Objekt-Orientierte Programmierung, Leitprogramm. Michela Pedroni, Till G. Bay, 2005. [pdf] [bib]
	Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. Bertrand Meyer, In ECOOP, 2005. [pdf] [bib]
	Modular verification of static class invariants. K. R. M. Leino, P. Müller, In Formal Methods (FM) (J. Fitzgerald, I. Hayes, A. Tarlecki, eds.), Springer-Verlag, volume 3582, 2005. [pdf] [bib]
	Reasoning About Method Calls in JML Specifications. Á. Darvas, P. Müller, In Formal Techniques for Java-like Programs, 2005. [pdf] [bib]
	Formal Techniques for Java-Like Programs (FTfJP). A. Coglio, M. Huisman, J. Kiniry, P. Müller, E. Poll, In Object-Oriented Technology. ECOOP 2004 Workshop Reader (J. Malenfant, B. M. Østvold, eds.), Springer-Verlag, volume 3344, 2005. [pdf] [bib]
	Reuse Frequency as Metric for Dependency Resolver Selection. Karl Pauls, Till G. Bay, In Component Deployment: Third International Working Conference, CD 2005 (A. Dearle, S. Eisenbach, eds.), Springer-Verlag, volume 3798, 2005. [pdf] [bib]
	A Logic for Bytecode. F. Y. Bannwart, P. Müller, In Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE) (F. Spoto, ed.), Elsevier, volume 141, 2005. [pdf] [bib]
	Can Aspects Implement Contracts?. Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer, In RISE, 2005. [pdf] [bib]
	2004
	Efficient Data Race and Deadlock Prevention in Concurrent Object-Oriented Programs. Piotr Nienaltowski, In OOPSLA'04 Companion, 2004. [pdf] [bib]
	Making Specifications Complete Through Models. Bernd Schoeller, Tobias Widmer, Bertrand Meyer, In Architecting Systems with Trustworthy Components, 2004. [pdf] [bib]
	Modular Invariants for Layered Object Structures. P. Müller, A. Poetzsch-Heffter, G. T. Leavens, Technical report, Department of Computer Science, ETH Zurich, 2004. [pdf] [bib]
	The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design. Bertrand Meyer, In Essays in Memory of Ole-Johan Dahl, 2004. [pdf] [bib]
	Modular verification of global module invariants in object-oriented programs. K. R. M. Leino, P. Müller, Technical report, ETH Zurich, 2004. [pdf] [bib]
	Formal Techniques for Java-like Programs. S. Eisenbach, G. T. Leavens, P. Müller, A. Poetzsch-Heffter, E. Poll, In Object-Oriented Technology. ECOOP'03 Workshop Reader (F. Buschmann, A. P. Buchmann, M. Cilia, eds.), Springer-Verlag, volume 3013, 2004. [pdf] [bib]
	A Type System for Checking Applet Isolation in Java Card. W. Dietl, P. Müller, A. Poetzsch-Heffter, In Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS) (G. Barthe, L. Burdy, M. Huisman, J.-L. Lanet, T. Muntean, eds.), Springer-Verlag, volume 3362, 2004. [pdf] [bib]
	Exceptions in Ownership Type Systems. W. Dietl, P. Müller, In Formal Techniques for Java Programs (E. Poll, ed.), 2004. [pdf] [bib]
	Reuse Frequency as Metric for Component Assessment. Till G. Bay, Karl Pauls, Technical report, ETH Zürich, 2004. [bib]
	A Logic for Bytecode. F. Y. Bannwart, P. Müller, Technical report, ETH Zurich, 2004. [pdf] [bib]
	2003
	Concurrent object-oriented programming on .NET. Piotr Nienaltowski, Volkan Arslan, Bertrand Meyer, In IEE Proceedings - Software, volume 150, 2003. [pdf] [bib]
	SCOOP It up!. Piotr Nienaltowski, In PPOPP, 2003. [pdf] [bib]
	Proving Pointer Program Properties. Part 2: The Overall Object Structure. Bertrand Meyer, In Journal of Object Technology, volume 2, 2003. [pdf] [bib]
	On an open issue of programming language phonetics. Bertrand Meyer, In Journal of Object Technology, volume 2, 2003. [pdf] [bib]
	Proving Pointer Program Properties. Part 1: Context and overview. Bertrand Meyer, In Journal of Object Technology, volume 2, 2003. [pdf] [bib]
	Blueprint for Real Progress in Software Engineering. Bertrand Meyer, In APSEC, 2003. [pdf] [bib]
	Event Library: An Object-Oriented Library for Event-Driven Design. Volkan Arslan, Piotr Nienaltowski, Karine Arnout, In JMLC, 2003. [pdf] [bib]
	Uncovering Hidden Contracts: The .NET Example. Karine Arnout, Bertrand Meyer, In IEEE Computer, volume 36, 2003. [pdf] [bib]
	2002
	In Memory of Kristen Nygaard and Ole-Johan Dahl. Bertrand Meyer, Kristen Nygaard, Ole Lehrmann Madsen, In Journal of Object Technology, volume 1, 2002. [pdf] [bib]
	Assessing a C\ Text. Bertrand Meyer, In IEEE Computer, volume 35, 2002. [pdf] [bib]
	Finding Implicit Contracts in .NET Components. Karine Arnout, Bertrand Meyer, In FMCO, 2002. [pdf] [bib]