Claudio Corrodi

According to our database, Claudio Corrodi authored at least 7 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language.

Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt

Formal Aspects Comput., 2018

Idea: Benchmarking Android Data Leak Detection Tools.

Claudio Corrodi, Timo Spring, Mohammad Ghafari, Oscar Nierstrasz

Proceedings of the Engineering Secure Software and Systems - 10th International Symposium, 2018

2017

Exception evolution in long-lived Java systems.

Haidar Osman, Andrei Chis, Claudio Corrodi, Mohammad Ghafari, Oscar Nierstrasz

Proceedings of the 14th International Conference on Mining Software Repositories, 2017

2016

Towards Efficient Object-Centric Debugging with Declarative Breakpoints.

Claudio Corrodi

Proceedings of the Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution, 2016

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs.

Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model.

Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi

Proceedings of the Proceedings Graphs as Models, 2015

Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE.

Claudio Corrodi

CoRR, 2015