Claudio Corrodi

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 9

Top Topics

Object Oriented

Formal Semantics

Concurrent Programming

Top Venues

Formal Aspects Comput.

Publications

Claudio Corrodi, Timo Spring, Mohammad Ghafari, Oscar Nierstrasz
Idea: Benchmarking Android Data Leak Detection Tools. ESSoS (2018)
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language. Formal Aspects Comput. 30 (1) (2018)
Haidar Osman, Andrei Chis, Claudio Corrodi, Mohammad Ghafari, Oscar Nierstrasz
Exception evolution in long-lived Java systems. MSR (2017)
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language. CoRR (2017)
Claudio Corrodi
Towards Efficient Object-Centric Debugging with Declarative Breakpoints. SATToSE (2016)
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. CoRR (2016)
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. FASE (2016)
Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. GaM (2015)
Claudio Corrodi
Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE. CoRR (2015)