Publications

	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]