| 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]
|
