| 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 |
| - SmartWalker: An intelligent robotic walker. Jiwon Shin, Andrey Rusakov, Bertrand Meyer, In Journal of Ambient Intelligence and Smart Environments, volume 8, 2016.
[bib]
|
| 2014 |
| - 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]
|
| - 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]
|
| - Loop Invariants: Analysis, Classification, and Examples. Carlo A. Furia, Bertrand Meyer, Sergey Velder, In ACM Computing Surveys, ACM, volume 46, 2014. [pdf]
[bib]
|
| 2013 |
| - 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]
|
| - 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]
|
| - 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]
|
| 2012 |
| - Performance analysis of SCOOP programs. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer, In Journal of Systems and Software, volume 85, 2012. [pdf]
[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]
|
| 2010 |
| - 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]
|
| - 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]
|
| - 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]
|
| 2009 |
| - 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]
|
| - 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]
|
| 2003 |
| - Concurrent object-oriented programming on .NET. Piotr Nienaltowski, Volkan Arslan, Bertrand Meyer, In IEE Proceedings - Software, volume 150, 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]
|
| - 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]
|
