Publications

	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]
	Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages. Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer, In Information and Software Technology, Elsevier, volume 55, 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]
	Verification of Graph Programs. Christopher M. Poskitt, PhD thesis, University of York, 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]
	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]
	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]
	Agile vs.\ structured distributed software development: A case study. Hans-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider, In Empirical Software Engineering, Springer, 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]