| - 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]
|
| - 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]
|
| - 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]
|
| - 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. [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]
|
| - 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'15), 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]
|
| - 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), 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]
|
| - Simple Concurrency for Robotics with the Roboscoop Framework. Andrey Rusakov, Jiwon Shin, Bertrand Meyer, In 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2014.
[bib]
|
| - Expression-Based Aliasing for OO-Languages. Georgiana Caltais, In 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), 2014. [pdf]
[bib]
|
| - Coffman Deadlocks in SCOOP. Georgiana Caltais, Bertrand Meyer, In 26th Nordic Workshop on Programming Theory (NWPT'14), 2014. [pdf]
[bib]
|
| - Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership. Mischael Schill, Sebastian Nanz, Bertrand Meyer, arXiv:1405.7153, 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]
|
| - Efficient and Reasonable Object-Oriented Concurrency. Scott West, Sebastian Nanz, Bertrand Meyer, arXiv:1405.7153, 2014. [pdf]
[bib]
|
| - 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]
|
| - 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]
|
| - 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]
|
| - 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]
|
| - 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]
|
| - 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]
|
| - 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]
|
| - 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]
|
| - 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]
|
| - Benchmarking Usability and Performance of Multicore Languages. Sebastian Nanz, Scott West, Kaue Soares da Silveira, arXiv:1302.2837, 2013. [pdf]
[bib]
|
| - Concurrent object-oriented development with behavioral design patterns. Benjamin Morandi, Scott West, Sebastian Nanz, Hassan Gomaa, arXiv:1212.5491, 2012. [pdf]
[bib]
|
| - Who is Accountable for Asynchronous Exceptions?. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer, In Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC'12), 2012.
[bib]
|
| - 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]
|
| - 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]
|
| - A Comprehensive Operational Semantics of the SCOOP Programming Model. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer, arXiv:1101.1038, 2011. [pdf]
[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 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]
|
| - 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]
|
| - 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]
|
| - 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]
|
