Publications

Publications in sechair-bib.bib [rss]

2017

  • SafeGPU: Contract- and Library-Based GPGPU for Object-Oriented Languages. Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, In Computer Languages, Systems & Structures, volume 48, 2017. [pdf] [bib]
  • On the verification of SCOOP programs. Georgiana Caltais, Bertrand Meyer, In Science of Computer Programming, volume 133, 2017. [bib]

2016

  • Unified Interference-free Parallel, Concurrent and Distributed Programming. Mischael Schill, PhD thesis, ETH Zurich, 2016. [bib]
  • Simple Concurrency for Robotics. Andrey Rusakov, PhD thesis, ETH Zurich, 2016. [pdf] [bib]
  • Seamless Heterogeneous Computing: Combining GPGPU and Task Parallelism. Alexey Kolesnichenko, PhD thesis, ETH Zurich, 2016. [pdf] [bib]
  • SmartWalker: An intelligent robotic walker. Jiwon Shin, Andrey Rusakov, Bertrand Meyer, In Journal of Ambient Intelligence and Smart Environments, volume 8, 2016. [bib]
  • An Interference-Free Programming Model for Network Objects. Mischael Schill, Christopher M. Poskitt, Bertrand Meyer, In Proc. International Conference on Coordination Models and Languages (COORDINATION 2016), Springer, volume 9686, 2016. [pdf] [bib]
  • A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt, In Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016), Springer, volume 9633, 2016. [pdf] [bib]

2015

  • Efficient and Reasonable Object-Oriented Concurrency. Scott West, Sebastian Nanz, Bertrand Meyer, In Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '15), ACM, 2015. [bib]
  • Efficient and Reasonable Object-Oriented Concurrency (Abstract). Scott West, Sebastian Nanz, Bertrand Meyer, In Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'15), ACM, 2015. [pdf] [bib]
  • Automatic Speed Control for SmartWalker. Jiwon Shin, Ivo Steinmann, Bertrand Meyer, In 8th Annual International Conference on Pervasive Technologies Related to Assistive Environments, ACM, 2015. [pdf] [bib]
  • SmartWalker: Towards an Intelligent Robotic Walker for the Elderly. Jiwon Shin, David Itten, Andrey Rusakov, Bertrand Meyer, In The 11th International Conference on Intelligent Environments, IEEE, 2015. [pdf] [bib]
  • Concurrent Software Engineering and Robotics Education. Jiwon Shin, Andrey Rusakov, Bertrand Meyer, In Proceedings of the 37th International Conference on Software Engineering (ICSE 2015), IEEE, 2015. [pdf] [bib]
  • Automated Program Repair in an Integrated Development Environment. Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In Proceedings of the 37th International Conference on Software Engineering (ICSE 2015), IEEE, 2015. [pdf] [bib]
  • A Comparative Study of Programming Languages in Rosetta Code. Sebastian Nanz, Carlo A. Furia, In Proceedings of the 37th International Conference on Software Engineering (ICSE 2015), IEEE, 2015. [pdf] [bib]
  • Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. Chandrakana Nandi, Aurelien Monot, Manuel Oriol, In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015). To Appear, ACM, 2015. [bib]
  • AutoProof: Auto-active Functional Verification of Object-oriented Programs. Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova, In 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2015. [pdf] [bib]
  • A Fully Verified Container Library. Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, In FM 2015: Formal Methods, Springer, 2015. [bib]
  • Contract-Based General-Purpose GPU Programming. Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer, In Proc. International Conference on Generative Programming: Concepts and Experiences (GPCE 2015), ACM, 2015. [pdf] [bib]
  • Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi, In Proc. Graphs as Models (GaM 2015), Electronic Proceedings in Theoretical Computer Science (EPTCS), volume 181, 2015. [pdf] [bib]
  • The AutoProof Verifier: Usability by Non-Experts and on Standard Code. Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen, In Proc. Formal Integrated Development Environment (F-IDE 2015), Electronic Proceedings in Theoretical Computer Science (EPTCS), volume 187, 2015. [pdf] [bib]

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]

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]

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]

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]

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]

2009

  • Separation, Abstraction, Multiple Inheritance and View Shifting. Stephan van Staden, Cristiano Calcagno, Technical report, ETH Zurich, 2009. [pdf] [bib]
  • Mobility Models and Behavioural Equivalence for Wireless Networks. Jens Chr. Godskesen, Sebastian Nanz, In Proceedings of the 11th International Conference on Coordination Models and Languages (COORDINATION'09), Springer, volume 5521, 2009. [pdf] [bib]
  • Software Engineering Approaches For Outsourced and Offshore Development (SEAFOOD). Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio, revised papers, Lecture Notes in Business Information Processing 16, Springer-Verlag, 2009. [bib]
  • A comparative study of programmer-written and automatically inferred contracts. Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer, In ISSTA 2009: International Symposium on Software Testing and Analysis 2009, 2009. [pdf] [bib]
  • An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider, In ASE, 2009. [pdf] [bib]
  • What Do Beginning CS Majors know?. Michela Pedroni, Manuel Oriol, Technical report, ETH Zurich, Chair of Software Engineering, 2009. [pdf] [bib]
  • A Comparison of CS Student Backgrounds at Two Universities. Michela Pedroni, Manuel Oriol, Technical report, ETH Zurich, Chair of Software Engineering, 2009. [pdf] [bib]
  • The Role of Contracts in Distributed Development. Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburelli, In Software Engineering Advances For Offshore and Outsourced Development (O. Gotel, M. Joseph, B. Meyer, eds.), volume 35, 2009. [pdf] [bib]
  • A Sound and Complete Program Logic for Eiffel. Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer, In TOOLS-EUROPE (M. Oriol, B. Meyer, eds.), volume 33, 2009. [pdf] [bib]
  • Soundness and Completeness of a Program Logic for Eiffel. Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer, Technical report, ETH Zurich, 2009. [pdf] [bib]
  • Reasoning about Function Objects. Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Technical report, ETH Zurich, 2009. [pdf] [bib]
  • Proofs and Proof Transformations for Object-Oriented Programs. Martin Nordio, PhD thesis, ETH Zurich, Switzerland, 2009. [pdf] [bib]
  • Contracts for concurrency. Piotr Nienaltowski, Bertrand Meyer, Jonathan S. Ostroff, In Formal Asp. Comput., volume 21, 2009. [pdf] [bib]
  • Programs That Test Themselves. Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf, In IEEE Computer, volume 42, 2009. [pdf] [bib]
  • Viewpoint - Research evaluation for computer science. Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen, In Commun. ACM, volume 52, 2009. [pdf] [bib]
  • Point/Counterpoint. Gerald D. Everett, Bertrand Meyer, In IEEE Software, volume 26, 2009. [pdf] [bib]
  • Generating Fixes from Object Behavior Anomalies. Valentin Dallmeier, Andreas Zeller, Bertrand Meyer, In ASE, 2009. [pdf] [bib]
  • On the number and nature of faults found by random testing. I. Ciupa, A. Pretschner, M. Oriol, A. Leitner, B. Meyer, In Journal on Software Testing, Verification and Reliability (STVR), Wiley Interscience, 2009. [bib]
  • Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi, In Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09), IEEE Computer Society Press, 2009. [pdf] [bib]

2008

  • Course management with TrucStudio. Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer, In ITiCSE, 2008. [pdf] [bib]
  • Automatic extraction of notions from course material. Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer, In SIGCSE, 2008. [pdf] [bib]
  • Proof-Transforming Compilation of Eiffel Programs. Martin Nordio, Peter Müller, Bertrand Meyer, In TOOLS-EUROPE (R. Paige, ed.), Springer-Verlag, 2008. [pdf] [bib]
  • Formalizing Proof-Transforming Compilation of Eiffel Programs. Martin Nordio, Peter Müller, Bertrand Meyer, Technical report, ETH Zurich, 2008. [pdf] [bib]
  • Compiler error messages: what can help novices?. Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer, In SIGCSE, 2008. [pdf] [bib]
  • The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development. Bertrand Meyer, Marco Piccioni, In CSEE&T, 2008. [pdf] [bib]
  • Design and Code Reviews in the Age of the Internet. Bertrand Meyer, In SEAFOOD, 2008. [pdf] [bib]
  • Eiffel for .NET Binding for db4o. Ruihua Jin, Marco Piccioni, In ICOODB (J. Paterson S. Edlich, ed.), 2008. [pdf] [bib]
  • ARTOO: Adaptive Random Testing for Object-Oriented Software. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In Proceedings of the 30th International Conference on Software Engineering 2008 (ICSE'08), 2008. [pdf] [bib]
  • Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. I. Ciupa, B. Meyer, M. Oriol, A. Pretschner, In missing booktitle, Wiley Interscience, 2008. [bib]
  • On the Predictability of Random Tests for Object-Oriented Software. Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In Proceedings of the First International Conference on Software Testing, Verification and Validation (ICST'08), 2008. [pdf] [bib]
  • Strategies for random-contract based testing. Ilinca Ciupa, PhD thesis, ETH Zurich, Switzerland, 2008. [pdf] [bib]

2007

  • Automatic Testing of Object-Oriented Software. Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa (Ling) Liu, In Proceedings of SOFSEM 2007 (Current Trends in Theory and Practice of Computer Science) (Jan van Leeuwen, ed.), Springer-Verlag, 2007. [pdf] [bib]
  • IDE-integrated Support for Schema Evolution in Object-Oriented Applications. Marco Piccioni, Manuel Oriol, Bertrand Meyer, In RAM-SE, 2007. [pdf] [bib]
  • A framework for describing and comparing courses and curricula. Michela Pedroni, Manuel Oriol, Bertrand Meyer, In ITiCSE, 2007. [pdf] [bib]
  • Proof-Transforming Compilation of Programs with Abrupt Termination. Peter Müller, Martin Nordio, In Specification and Verification of Component-Based Systems (SAVCBS), ACM Press, 2007. [pdf] [bib]
  • Proof-Transforming Compilation of Programs with Abrupt Termination. Peter Müller, Martin Nordio, Technical report, ETH Zurich, 2007. [pdf] [bib]
  • Contract-Driven Development. Bertrand Meyer, In FASE, 2007. [pdf] [bib]
  • Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller, In TAP, 2007. [pdf] [bib]
  • Contract Driven Development = Test Driven Development - Writing Test-Cases. Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva, In Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), 2007. [pdf] [bib]
  • Reflecting on an Existing Programming Language. Andreas Leitner, Patrick Eugster, Manuel Oriol, Ilinca Ciupa, In Proceedings of TOOLS EUROPE 2007 - Objects, Models, Components, Patterns,, 2007. [bib]
  • Efficient Unit Test Case Minimization. A. Leitner, M. Oriol, A. Zeller, I. Ciupa, B. Meyer, In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007. [pdf] [bib]
  • Reconciling Manual and Automated Testing: the AutoTest Experience. Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard, In Proceedings of the 40th Hawaii International Conference on System Sciences - 2007, Software Technology, 2007. [pdf] [bib]
  • Celebrating 40 years of language evolution: simula 67 to the present and beyond. Steven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, Guy L. Steele Jr., In OOPSLA Companion, 2007. [pdf] [bib]
  • Experimental Assessment of Random Testing for Object-Oriented Software. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In Proceedings of the International Symposium on Software Testing and Analysis 2007 (ISSTA'07), 2007. [pdf] [bib]

2006

  • Flexible locking in SCOOP. Piotr Nienaltowski, In First International Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages (CORDIE), 2006. [pdf] [bib]
  • Contracts for concurrency. Piotr Nienaltowski, Bertrand Meyer, In First International Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages (CORDIE), 2006. [pdf] [bib]
  • Refined access control policy for SCOOP. Piotr Nienaltowski, Technical report, Computer Science Department, ETH Zurich, 2006. [pdf] [bib]
  • The inverted curriculum in practice. Michela Pedroni, Bertrand Meyer, In SIGCSE, 2006. [pdf] [bib]
  • The Context of Object Computation (extended abstract). Bertrand Meyer, In SEFM, 2006. [pdf] [bib]
  • Object distance and its application to adaptive random testing of object-oriented programs. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In RT '06: Proceedings of the 1st international workshop on Random testing, ACM Press, 2006. [pdf] [bib]
  • Generic Component Lookup. Till G. Bay, Patrick Eugster, Manuel Oriol, In CBSE, 2006. [pdf] [bib]

2005

  • Einfuehrung in die Objekt-Orientierte Programmierung, Leitprogramm. Michela Pedroni, Till G. Bay, 2005. [pdf] [bib]
  • Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. Bertrand Meyer, In ECOOP, 2005. [pdf] [bib]
  • Modular verification of static class invariants. K. R. M. Leino, P. Müller, In Formal Methods (FM) (J. Fitzgerald, I. Hayes, A. Tarlecki, eds.), Springer-Verlag, volume 3582, 2005. [pdf] [bib]
  • Reasoning About Method Calls in JML Specifications. Á. Darvas, P. Müller, In Formal Techniques for Java-like Programs, 2005. [pdf] [bib]
  • Formal Techniques for Java-Like Programs (FTfJP). A. Coglio, M. Huisman, J. Kiniry, P. Müller, E. Poll, In Object-Oriented Technology. ECOOP 2004 Workshop Reader (J. Malenfant, B. M. Østvold, eds.), Springer-Verlag, volume 3344, 2005. [pdf] [bib]
  • Reuse Frequency as Metric for Dependency Resolver Selection. Karl Pauls, Till G. Bay, In Component Deployment: Third International Working Conference, CD 2005 (A. Dearle, S. Eisenbach, eds.), Springer-Verlag, volume 3798, 2005. [pdf] [bib]
  • A Logic for Bytecode. F. Y. Bannwart, P. Müller, In Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE) (F. Spoto, ed.), Elsevier, volume 141, 2005. [pdf] [bib]
  • Can Aspects Implement Contracts?. Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer, In RISE, 2005. [pdf] [bib]

2004

  • Efficient Data Race and Deadlock Prevention in Concurrent Object-Oriented Programs. Piotr Nienaltowski, In OOPSLA'04 Companion, 2004. [pdf] [bib]
  • Making Specifications Complete Through Models. Bernd Schoeller, Tobias Widmer, Bertrand Meyer, In Architecting Systems with Trustworthy Components, 2004. [pdf] [bib]
  • Modular Invariants for Layered Object Structures. P. Müller, A. Poetzsch-Heffter, G. T. Leavens, Technical report, Department of Computer Science, ETH Zurich, 2004. [pdf] [bib]
  • The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design. Bertrand Meyer, In Essays in Memory of Ole-Johan Dahl, 2004. [pdf] [bib]
  • Modular verification of global module invariants in object-oriented programs. K. R. M. Leino, P. Müller, Technical report, ETH Zurich, 2004. [pdf] [bib]
  • Formal Techniques for Java-like Programs. S. Eisenbach, G. T. Leavens, P. Müller, A. Poetzsch-Heffter, E. Poll, In Object-Oriented Technology. ECOOP'03 Workshop Reader (F. Buschmann, A. P. Buchmann, M. Cilia, eds.), Springer-Verlag, volume 3013, 2004. [pdf] [bib]
  • A Type System for Checking Applet Isolation in Java Card. W. Dietl, P. Müller, A. Poetzsch-Heffter, In Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS) (G. Barthe, L. Burdy, M. Huisman, J.-L. Lanet, T. Muntean, eds.), Springer-Verlag, volume 3362, 2004. [pdf] [bib]
  • Exceptions in Ownership Type Systems. W. Dietl, P. Müller, In Formal Techniques for Java Programs (E. Poll, ed.), 2004. [pdf] [bib]
  • Reuse Frequency as Metric for Component Assessment. Till G. Bay, Karl Pauls, Technical report, ETH Zürich, 2004. [bib]
  • A Logic for Bytecode. F. Y. Bannwart, P. Müller, Technical report, ETH Zurich, 2004. [pdf] [bib]

2003

  • Concurrent object-oriented programming on .NET. Piotr Nienaltowski, Volkan Arslan, Bertrand Meyer, In IEE Proceedings - Software, volume 150, 2003. [pdf] [bib]
  • SCOOP It up!. Piotr Nienaltowski, In PPOPP, 2003. [pdf] [bib]
  • Proving Pointer Program Properties. Part 2: The Overall Object Structure. Bertrand Meyer, In Journal of Object Technology, volume 2, 2003. [pdf] [bib]
  • On an open issue of programming language phonetics. Bertrand Meyer, In Journal of Object Technology, volume 2, 2003. [pdf] [bib]
  • Proving Pointer Program Properties. Part 1: Context and overview. Bertrand Meyer, In Journal of Object Technology, volume 2, 2003. [pdf] [bib]
  • Blueprint for Real Progress in Software Engineering. Bertrand Meyer, In APSEC, 2003. [pdf] [bib]
  • Event Library: An Object-Oriented Library for Event-Driven Design. Volkan Arslan, Piotr Nienaltowski, Karine Arnout, In JMLC, 2003. [pdf] [bib]
  • Uncovering Hidden Contracts: The .NET Example. Karine Arnout, Bertrand Meyer, In IEEE Computer, volume 36, 2003. [pdf] [bib]

2002

  • In Memory of Kristen Nygaard and Ole-Johan Dahl. Bertrand Meyer, Kristen Nygaard, Ole Lehrmann Madsen, In Journal of Object Technology, volume 1, 2002. [pdf] [bib]
  • Assessing a C\ Text. Bertrand Meyer, In IEEE Computer, volume 35, 2002. [pdf] [bib]
  • Finding Implicit Contracts in .NET Components. Karine Arnout, Bertrand Meyer, In FMCO, 2002. [pdf] [bib]
Powered by bibtexbrowser