Publications

	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]
	AutoProof Meets Some Verification Challenges. Julian Tschannen, Carlo A. Furia, Martin Nordio, In International Journal on Software Tools for Technology Transfer, Springer, 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]
	Automated Fixing of Programs with Contracts. Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller, In IEEE Transactions on Software Engineering, volume 40, 2014. [pdf] [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]
	Loop Invariants: Analysis, Classification, and Examples. Carlo A. Furia, Bertrand Meyer, Sergey Velder, In ACM Computing Surveys, ACM, volume 46, 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]