Publications

	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]