Publications

	2016
	An Interference-Free Programming Model for Network Objects. Mischael Schill, Christopher M. Poskitt, Bertrand Meyer, In Proc. International Conference on Coordination Models and Languages (COORDINATION 2016), Springer, volume 9686, 2016. [pdf] [bib]
	A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt, In Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016), Springer, volume 9633, 2016. [pdf] [bib]
	2015
	Efficient and Reasonable Object-Oriented Concurrency. Scott West, Sebastian Nanz, Bertrand Meyer, In Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '15), ACM, 2015. [bib]
	Efficient and Reasonable Object-Oriented Concurrency (Abstract). Scott West, Sebastian Nanz, Bertrand Meyer, In Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'15), ACM, 2015. [pdf] [bib]
	Automatic Speed Control for SmartWalker. Jiwon Shin, Ivo Steinmann, Bertrand Meyer, In 8th Annual International Conference on Pervasive Technologies Related to Assistive Environments, ACM, 2015. [pdf] [bib]
	SmartWalker: Towards an Intelligent Robotic Walker for the Elderly. Jiwon Shin, David Itten, Andrey Rusakov, Bertrand Meyer, In The 11th International Conference on Intelligent Environments, IEEE, 2015. [pdf] [bib]
	Concurrent Software Engineering and Robotics Education. Jiwon Shin, Andrey Rusakov, Bertrand Meyer, In Proceedings of the 37th International Conference on Software Engineering (ICSE 2015), IEEE, 2015. [pdf] [bib]
	Automated Program Repair in an Integrated Development Environment. Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In Proceedings of the 37th International Conference on Software Engineering (ICSE 2015), IEEE, 2015. [pdf] [bib]
	A Comparative Study of Programming Languages in Rosetta Code. Sebastian Nanz, Carlo A. Furia, In Proceedings of the 37th International Conference on Software Engineering (ICSE 2015), IEEE, 2015. [pdf] [bib]
	Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. Chandrakana Nandi, Aurelien Monot, Manuel Oriol, In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015). To Appear, ACM, 2015. [bib]
	AutoProof: Auto-active Functional Verification of Object-oriented Programs. Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova, In 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2015. [pdf] [bib]
	A Fully Verified Container Library. Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, In FM 2015: Formal Methods, Springer, 2015. [bib]
	Contract-Based General-Purpose GPU Programming. Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer, In Proc. International Conference on Generative Programming: Concepts and Experiences (GPCE 2015), ACM, 2015. [pdf] [bib]
	Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi, In Proc. Graphs as Models (GaM 2015), Electronic Proceedings in Theoretical Computer Science (EPTCS), volume 181, 2015. [pdf] [bib]
	The AutoProof Verifier: Usability by Non-Experts and on Standard Code. Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen, In Proc. Formal Integrated Development Environment (F-IDE 2015), Electronic Proceedings in Theoretical Computer Science (EPTCS), volume 187, 2015. [pdf] [bib]
	2014
	Visual Programming Language for Thymio II Robot. Jiwon Shin, Roland Siegwart, Stéphane Magnenat, In Interaction Design & Children (IDC 2014), ACM, 2014. [pdf] [bib]
	Safe and Efficient Data Sharing for Message-Passing Concurrency. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer, In Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION 2014), Springer, volume 8459, 2014. [pdf] [bib]
	Teaching a Core CS Concept through Robotics. Stéphane Magnenat, Jiwon Shin, Fanny Riedo, Roland Siegwart, Morderchai Ben-Ari, In 19th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2014), ACM, 2014. [pdf] [bib]
	Towards Rigorously Faking Bidirectional Model Transformations. Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink, In Proc. Workshop on the Analysis of Model Transformations (AMT 2014), CEUR-WS.org, volume 1277, 2014. [pdf] [bib]
	Verifying Monadic Second-Order Properties of Graph Programs. Christopher M. Poskitt, Detlef Plump, In Proc. International Conference on Graph Transformation (ICGT 2014), Springer, volume 8571, 2014. [pdf] [bib]
	Flexible Invariants Through Semantic Collaboration. Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer, In FM 2014: Formal Methods, Springer, volume 8442, 2014. [bib]
	Automatic Program Repair by Fixing Contracts. Yu Pei, Carlo A. Furia, Martin Nordio, In 17th International Conference on Fundamental Approaches to Software Engineering (FASE), 2014. [pdf] [bib]
	DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller, In Proceedings of the 10th Haifa Verification Conference (HVC) (Eran Yahav, ed.), Springer, volume 8855, 2014. [pdf] [bib]
	Bounded Variability of Metric Temporal Logic. Carlo A. Furia, Paola Spoletini, In Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME'14) (Amedeo Cesta, Carlo Combi, Francois Laroussinie, eds.), IEEE Computer Society, 2014. [pdf] [bib]
	Awareness and Merge Conflicts in Distributed Software Development. H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, In Proceedings of the 9th International Conference on Global Software Engineering (ICGSE) (Yuanfang Cai, Jude Fernandez, Wenyun Zhao, eds.), IEEE Computer Society, 2014. [pdf] [bib]
	Contracts in Practice. H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer, In Proceedings of the 19th International Symposium on Formal Methods (FM) (Cliff B. Jones, Pekka Pihlajasaari, Jun Sun, eds.), Springer, volume 8442, 2014. [pdf] [bib]
	An Experiment on Teaching Coordination in a Globally Distributed Software Engineering Class. Martin Nordio, Christian Estler, Bertrand Meyer, Nazareno Aguirre, Elisabetta Di Nitto, Rafael Prikladnicki, Anthony Savidis, In Proceedings, 27th Conference on Software Engineering Education and Training (CSEE&T 2014), 2014. [bib]
	2013
	Handling Parallelism in a Concurrency Model. Mischael Schill, Sebastian Nanz, Bertrand Meyer, In Proceedings of the 2013 International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT'13), Springer, volume 8063, 2013. [pdf] [bib]
	Benchmarking Usability and Performance of Multicore Languages. Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer, In Proceedings of the 7th ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM'13), IEEE, 2013. [pdf] [bib]
	Examining the Expert Gap in Parallel Programming. Sebastian Nanz, Scott West, Kaue Soares da Silveira, In Proceedings of the 19th European Conference on Parallel Processing (Euro-Par'13), Springer, 2013. [pdf] [bib]
	Prototyping a Concurrency Model. Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer, In Proceedings of the 13th International Conference on Application of Concurrency to System Design (ACSD 2013), IEEE, 2013. [pdf] [bib]
	Concurrent Object-Oriented Development with Behavioral Design Patterns. Benjamin Morandi, Scott West, Sebastian Nanz, Hassan Gomaa, In Proceedings of the 7th European Conference on Software Architecture (ECSA'13), Springer, volume 7957, 2013. [pdf] [bib]
	How to Cancel a Task. Alexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer, In Proceedings of the 2013 International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT'13), Springer, volume 8063, 2013. [pdf] [bib]
	3rd international workshop on developing tools as plug-ins (TOPI 2013). Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky, In Proceedings of the 35th International Conference on Software Engineering (ICSE'13), 2013. [pdf] [bib]
	Program Checking With Less Hassle. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In Proceedings of Verified Software: Theories, Tools and Experiments (VSTTE), Springer, volume 8164, 2013. [pdf] [bib]
	Really Automatic Scalable Object-Oriented Reengineering. Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In European Conference on Object-Oriented Programming (ECOOP), Springer, 2013. [pdf] [bib]
	Using Contracts to Guide the Search-Based Verification of Concurrent Programs. Christopher M. Poskitt, Simon Poulding, In Proc. International Symposium on Search-Based Software Engineering (SSBSE 2013), Springer, volume 8084, 2013. [pdf] [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]
	To Run What No One Has Run Before: Executing an Intermediate Verification Language. Nadia Polikarpova, Carlo A. Furia, Scott West, In Fourth International Conference on Runtime Verification (RV'13), Springer, volume 8174, 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), IEEE Press, 2013. [pdf] [bib]
	Certificates and Separation Logic. Martin Nordio, Cristiano Calcagno, Bertrand Meyer, In proceedings of the 8th International Symposium on Trustworthy Global Computing (TGC), Springer, 2013. [pdf] [bib]
	Javanni: A Verifier for JavaScript. Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia, In Proceedings of 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), Springer, volume 8164, 2013. [pdf] [bib]
	Applying Search in an Automatic Contract-Based Testing Tool. Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer, In Proc. International Symposium on Search-Based Software Engineering (SSBSE 2013), Springer, volume 8084, 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]
	Collaborative Debugging. H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, In 8th International Conference on Global Software Engineering (ICGSE), IEEE, 2013. [pdf] [bib]
	Unifying Configuration Management with Awareness Systems and Merge Conflict Detection. H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, In 22nd Australasian Software Engineering Conference (ASWEC), IEEE, 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]
	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]
	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]
	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]
	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
	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]
	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, 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]
	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]
	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]
	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]
	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
	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]
	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]
	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]
	Generating Fixes from Object Behavior Anomalies. Valentin Dallmeier, Andreas Zeller, Bertrand Meyer, In ASE, 2009. [pdf] [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]
	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]
	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]
	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]
	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
	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]
	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]
	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]
	2003
	SCOOP It up!. Piotr Nienaltowski, In PPOPP, 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]
	2002
	Finding Implicit Contracts in .NET Components. Karine Arnout, Bertrand Meyer, In FMCO, 2002. [pdf] [bib]