Publications

	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]