Mauro Pezzè
Mauro Pezzè
Professor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)
Verified email at usi.ch - Homepage
TitleCited byYear
Software engineering for self-adaptive systems: A second research roadmap
R De Lemos, H Giese, HA Müller, M Shaw, J Andersson, M Litoiu, ...
Software Engineering for Self-Adaptive Systems II, 1-32, 2013
15292013
Engineering self-adaptive systems through feedback loops
Y Brun, GDM Serugendo, C Gacek, H Giese, H Kienle, M Litoiu, H Müller, ...
Software engineering for self-adaptive systems, 48-70, 2009
4912009
A unified high-level Petri net formalism for time-critical systems
C Ghezzi, D Mandrioli, S Morasca, M Pezzè
IEEE Transactions on software engineering 17 (2), 160-172, 1991
4531991
Software testing and analysis: process, principles, and techniques
M Pezzè, M Young
John Wiley & Sons, 2008
4422008
Automatic generation of software behavioral models
D Lorenzoli, L Mariani, M Pezzè
Proceedings of the 30th international conference on Software engineering …, 2008
4182008
An empirical evaluation of fault-proneness models
G Denaro, M Pezzè
Proceedings of the 24th International Conference on Software Engineering …, 2002
1602002
On formalizing UML with high-level Petri nets
L Baresi, M Pezze
Concurrent object-oriented programming and petri nets, 276-304, 2001
1482001
Using symbolic execution for verifying safety-critical systems
A Coen-Porisini, G Denaro, C Ghezzi, M Pezzé
ACM SIGSOFT Software Engineering Notes 26 (5), 142-151, 2001
1192001
Automated testing of classes
U Buy, A Orso, M Pezze
ACM SIGSOFT Software Engineering Notes 25 (5), 39-48, 2000
1172000
Visibility of control in adaptive systems
H Müller, M Pezzè, M Shaw
Proceedings of the 2nd international workshop on Ultra-large-scale software …, 2008
1042008
Automatic steering of behavioral model inference
D Lo, L Mariani, M Pezzè
Proceedings of the the 7th joint meeting of the European software …, 2009
972009
A general way to put time in Petri nets
C Ghezzi, D Mandrioli, S Morasca, M Pezze
ACM SIGSOFT Software Engineering Notes 14 (3), 60-67, 1989
961989
Dynamic analysis for diagnosing integration faults
L Mariani, F Pastore, M Pezze
IEEE Transactions on Software Engineering 37 (4), 486-508, 2011
902011
Dynamic detection of cots component incompatibility
L Mariani, M Pezzè
IEEE software 24 (5), 76-85, 2007
832007
Automatic recovery from runtime failures
A Carzaniga, A Gorla, A Mattavelli, N Perino, M Pezzè
Proceedings of the 2013 International Conference on Software Engineering …, 2013
812013
Automatic workarounds for web applications
A Carzaniga, A Gorla, N Perino, M Pezzè
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
782010
Towards practical runtime verification and validation of self-adaptive software systems
G Tamura, NM Villegas, HA Müller, JP Sousa, B Becker, G Karsai, ...
Software Engineering for Self-Adaptive Systems II, 108-132, 2013
752013
Compatibility and regression testing of COTS-component-based software
L Mariani, S Papagiannakis, M Pezze
29th International Conference on Software Engineering (ICSE'07), 85-95, 2007
752007
PLCTools: design, formal validation, and code generation for programmable controllers
L Baresi, M Mauri, A Monti, M Pezze
Smc 2000 conference proceedings. 2000 ieee international conference on …, 2000
742000
Mining behavior models from user-intensive web applications
C Ghezzi, M Pezzè, M Sama, G Tamburrelli
Proceedings of the 36th International Conference on Software Engineering …, 2014
612014
The system can't perform the operation now. Try again later.
Articles 1–20