Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE. - Claudio Corrodi (CoRR, 2015)

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. - Alexander Heußner; Christopher M. Poskitt; Claudio Corrodi; Benjamin Morandi (GaM, 2015)

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. - Claudio Corrodi; Alexander Heußner; Christopher M. Poskitt (FASE, 2016)

Towards Efficient Object-Centric Debugging with Declarative Breakpoints. - Claudio Corrodi (SATToSE, 2016)

Exception evolution in long-lived Java systems. - Haidar Osman; Andrei Chis; Claudio Corrodi; Mohammad Ghafari; Oscar Nierstrasz (MSR, 2017)

Idea: Benchmarking Android Data Leak Detection Tools. - Claudio Corrodi; Timo Spring; Mohammad Ghafari; Oscar Nierstrasz (ESSoS, 2018)

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language. - Claudio Corrodi; Alexander Heußner; Christopher M. Poskitt (Formal Aspects Comput., 2018)