Follow
Claudio Corrodi
Claudio Corrodi
Verified email at inf.unibe.ch
Title
Cited by
Cited by
Year
Exception evolution in long-lived Java systems
H Osman, A Chis, C Corrodi, M Ghafari, O Nierstrasz
2017 IEEE/ACM 14th International Conference on Mining Software Repositories …, 2017
222017
Towards Efficient Object-Centric Debugging with Declarative Breakpoints
C Corrodi
9th Seminar on Advanced Techniques & Tools for Software Evolution (SATToSE …, 2016
132016
Idea: Benchmarking android data leak detection tools
C Corrodi, T Spring, M Ghafari, O Nierstrasz
Engineering Secure Software and Systems: 10th International Symposium, ESSoS …, 2018
122018
Towards practical graph-based verification for an object-oriented concurrency model
A Heußner, CM Poskitt, C Corrodi, B Morandi
arXiv preprint arXiv:1504.02611, 2015
82015
A graph-based semantics workbench for concurrent asynchronous programs
C Corrodi, A Heußner, CM Poskitt
Fundamental Approaches to Software Engineering: 19th International …, 2016
62016
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language
C Corrodi, A Heußner, CM Poskitt
Formal Aspects of Computing 30, 163-192, 2018
22018
Benchmarking Android Data Leak Detection Tools
T Spring, O Nierstrasz, C Corrodi
2018
Visualising Objects in Pharo
EM Quiros, ZH Zürich, O Nierstrasz, C Corrodi
2018
Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE
C Corrodi
ETH Zürich, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–9