Publications sorted by year

Sort publications by type

2014

  • A. Goffi, A. Gorla, A. Mattavelli, M. Pezzè, and P. Tonella, "Search-Based Synthesis of Equivalent Method Sequences," in Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), 2014. | bibtex | pdf
    @inproceedings{Goffi:SBES:FSE:2014,
    author = {Goffi, Alberto and Gorla, Alessandra and Mattavelli, Andrea and Pezz\`{e}, Mauro and Tonella, Paolo},
    booktitle = {Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014)},
    numpages = {10},
    pages = {--},
    publisher = {ACM},
    series = {FSE '14},
    title = {Search-Based Synthesis of Equivalent Method Sequences},
    year = {2014},
    }
  • C. Ghezzi, M. Pezzè, M. Sama, and G. Tamburrelli, "Mining behavior models from user-intensive web applications," in Proceedings of the 36th International Conference on Software Engineering, 2014, pp. 277-287. | bibtex
    @inproceedings{DBLP:conf/icse/GhezziPST14,
    author = {Carlo Ghezzi and Mauro Pezz{\`e} and Michele Sama and Giordano Tamburrelli},
    title = {Mining behavior models from user-intensive web applications},
    series = {ICSE 2014},
    booktitle = {Proceedings of the 36th International Conference on Software Engineering},
    year = {2014},
    pages = {277-287},
    }
  • A. Carzaniga, A. Goffi, A. Gorla, A. Mattavelli, and M. Pezzè, "Cross-checking Oracles from Intrinsic Software Redundancy," in Proceedings of the 36th International Conference on Software Engineering, 2014, pp. 931-942. | bibtex | pdf
    @inproceedings{Carzaniga:CrossCheck:ICSE:2014,
    author = {Carzaniga, Antonio and Goffi, Alberto and Gorla, Alessandra and Mattavelli, Andrea and Pezz\`{e}, Mauro},
    booktitle = {Proceedings of the 36th International Conference on Software Engineering},
    pages = {931--942},
    publisher = {ACM},
    series = {ICSE 2014},
    title = {Cross-checking Oracles from Intrinsic Software Redundancy},
    year = {2014},
    }
  • G. Denaro, M. Pezzè, and M. Vivanti, "On the Right Objectives of Data Flow Testing," in Proceedings of the 7th International Conference on Software Testing, Verification and Validation, 2014, pp. 71-80. | bibtex | pdf
    @inproceedings{Denaro:objectives:ICST:2014,
    author = {Denaro, Giovanni and Pezz\`{e}, Mauro and Vivanti, Mattia},
    booktitle = {Proceedings of the 7th International Conference on Software Testing, Verification and Validation},
    publisher = {IEEE},
    series = {ICST 2014},
    pages = {71--80},
    title = {On the Right Objectives of Data Flow Testing},
    year = {2014},
    }

2013

  • A. Carzaniga, A. Gorla, A. Mattavelli, N. Perino, and M. Pezzè, "Automatic Recovery from Runtime Failures," in ICSE '13: Proceedings of the 34rd International Conference on Software Engineering, 2013. | bibtex
    @inproceedings{Carzaniga:AutomaticRecovery:ICSE:2013,
    author = {Antonio Carzaniga and Alessandra Gorla and Andrea Mattavelli and Nicol\`o Perino and Mauro Pezz\`{e}},
    title = {Automatic Recovery from Runtime Failures},
    booktitle = {ICSE '13: Proceedings of the 34rd International Conference on Software Engineering},
    year = {2013},
    }
  • M. Pezzè, K. Rubinov, and J. Wuttke, "Generating Effective Integration Test Cases from Unit Ones," in ICST '13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation, 2013. | bibtex
    @inproceedings{Rubinov:IntegrationTesting:ICST:2013,
    author = {Pezz\`{e}, Mauro and Rubinov, Konstantin and Wuttke, Jochen},
    booktitle = {ICST '13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation},
    title = {Generating Effective Integration Test Cases from Unit Ones},
    year = {2013},
    }
  • A. Gambi, G. Toffetti, and M. Pezzè, "Assurance of Self-adaptive Controllers for the Cloud," Assurances for Self-Adaptive Systems, vol. 7740, pp. 311-339, 2013. | bibtex
    @article{Gambi:Assurrance:2013,
    author = {Gambi, Alessio and Toffetti, Giovanni and Pezz\`{e}, Mauro},
    title = {Assurance of Self-adaptive Controllers for the Cloud},
    journal = {Assurances for Self-Adaptive Systems},
    volume = {7740},
    issn = {0302-9743},
    year = {2013},
    pages = {311-339},
    publisher = {Springer Berlin Heidelberg},
    }
  • G. Denaro, M. Pezzè, and D. Tosi, "Test-and-Adapt: An Approach for Improving Service Interchangeability," ACM Transactions on Software Engineering and Methodology, vol. 22, iss. 4, 2013. | bibtex
    @article{Denaro:TestAndAdapt:TOSEM:2013,
    author = {Giovanni Denaro and Mauro Pezz\`{e} and Davide Tosi},
    title = {Test-and-Adapt: An Approach for Improving Service Interchangeability},
    journal = {ACM Transactions on Software Engineering and Methodology},
    volume = {22},
    number = {4},
    year = {2013},
    publisher = {ACM},
    }
  • H. Chang, L. Mariani, and M. Pezzè, "Exception Handlers for Healing Component-Based Systems," ACM Transactions on Software Engineering and Methodology, vol. 22, iss. 4, 2013. | bibtex
    @article{Cheng:Exceptions:TOSEM:2013,
    author = {Herv\'{e} Chang and Leonardo Mariani and Mauro Pezz\`{e}},
    title = {Exception Handlers for Healing Component-Based Systems},
    journal = {ACM Transactions on Software Engineering and Methodology},
    volume = {22},
    number = {4},
    year = {2013},
    publisher = {ACM},
    }

2012

  • M. Mirzaaghaei, F. Pastore, and M. Pezzè, "Supporting Test Suite Evolution through Test Case Adaptation," in ICST '12: Proceedings of the 5th International Conference on Software Testing, Verification and Validation, 2012. | bibtex
    @inproceedings{Mirzaaghaei:TCA:ICST:2012,
    author = {Mirzaaghaei, Mehdi and Pastore, Fabrizio and Pezz\`{e}, Mauro},
    title = {Supporting Test Suite Evolution through Test Case Adaptation},
    booktitle = {ICST '12: Proceedings of the 5th International Conference on Software Testing, Verification and Validation},
    year = {2012},
    }
  • L. Mariani, M. Pezzè, O. Riganelli, and M. Santoro, "AutoBlackTest: Automatic Black-Box Testing of Interactive Applications," in ICST '12: Proceedings of the 5th International Conference on Software Testing, Verification and Validation, 2012. | bibtex
    @inproceedings{Mariani:AutoBlackTest:ICST:2012,
    author = {Mariani, Leonardo and Pezz\`{e}, Mauro and Riganelli, Oliviero and Santoro, Mauro},
    title = {AutoBlackTest: Automatic Black-Box Testing of Interactive Applications},
    booktitle = {ICST '12: Proceedings of the 5th International Conference on Software Testing, Verification and Validation},
    year = {2012},
    }

2011

  • L. Mariani, M. Pezzè, O. Riganelli, and M. Santoro, "AutoBlackTest: a tool for automatic black-box testing," in ICSE '11: Proceedings of the 33rd International Conference on Software Engineering, 2011, pp. 1013-1015. | bibtex
    @inproceedings{Mariani:AutoBlackTest:ICSErd:2011,
    author = {Mariani, Leonardo and Pezz\`{e}, Mauro and Riganelli, Oliviero and Santoro, Mauro},
    booktitle = {ICSE '11: Proceedings of the 33rd International Conference on Software Engineering},
    pages = {1013--1015},
    publisher = {{ACM}},
    title = {AutoBlackTest: a tool for automatic black-box testing},
    year = {2011},
    }
  • B. Daniel, Q. Luo, M. Mirzaaghaei, D. Dig, D. Marinov, and M. Pezzè, "Automated GUI refactoring and test script repair," in ETSE'11:Proceedings of the 1st International Workshop on End-to-End Test Script Engineering, 2011, pp. 38-41. | bibtex
    @inproceedings{Brett:Guirefactoring:ETSE:2011,
    author = {Daniel, Brett and Luo, Qingzhou and Mirzaaghaei, Mehdi and Dig, Danny and Marinov, Darko and Pezz\`{e}, Mauro},
    booktitle = {ETSE'11:Proceedings of the 1st International Workshop on End-to-End Test Script Engineering},
    pages = {38--41},
    publisher = {{ACM}},
    title = {Automated GUI refactoring and test script repair},
    year = {2011},
    }
  • L. Mariani, F. Pastore, M. Pezzè, and M. Santoro, "Mining Finite-State Automata with Annotations," in Mining Software Specifications: Methodologies and Applications, D. Lo, S. -C. Khoo, J. Han, and C. Liu, Eds., CRC Press, 2011, pp. 29-57. | bibtex
    @incollection{Mariani:Mining:CRC:2011,
    author = {Leonardo Mariani and Fabrizio Pastore and Mauro Pezz\`e and Mauro Santoro},
    booktitle = {Mining Software Specifications: Methodologies and Applications},
    editor = {David Lo and S.-C. Khoo and J. Han and C. Liu},
    pages = {29--57},
    publisher = {CRC Press},
    series = {Data Mining and Knowledge Discovery},
    title = {Mining Finite-State Automata with Annotations},
    year = {2011},
    }
  • L. Mariani, F. Pastore, and M. Pezzè, "Dynamic Analysis for Diagnosing Integration Faults," IEEE Transactions on Software Engineering, vol. 37, iss. 4, pp. 486-508, 2011. | bibtex
    @article{MarianiIEEE2011,
    author = {Mariani, Leonardo and Pastore, Fabrizio and Pezz\`e, Mauro},
    journal = {IEEE Transactions on Software Engineering},
    number = {4},
    pages = {486--508},
    title = {Dynamic Analysis for Diagnosing Integration Faults},
    volume = {37},
    year = {2011},
    }
  • M. Baluda, P. Braione, G. Denaro, and M. Pezzè, "Enhancing structural software coverage by incrementally computing branch executability," Software Quality Journal, vol. 19, iss. 4, pp. 725-751, 2011. | bibtex
    @article{baluda:structural:sqj:2011,
    author = {Baluda, Mauro and Braione, Pietro and Denaro, Giovanni and Pezz{\`e}, Mauro},
    journal = {Software Quality Journal},
    number = {4},
    pages = {725--751},
    publisher = {Springer Netherlands},
    title = {Enhancing structural software coverage by incrementally computing branch executability},
    volume = {19},
    year = {2011},
    }
  • B. Daniel, Q. Luo, M. Mirzaaghaei, D. Dig, D. Marinov, and M. Pezzè, "Automated GUI refactoring and test script repair," in ETSE '11: Proceedings of the 1st International Workshop on End-to-End Test Script Engineering, 2011. | bibtex
    @inproceedings{Daniel:2011:AGR:2002931.2002937,
    author = {Daniel, Brett and Luo, Qingzhou and Mirzaaghaei, Mehdi and Dig, Danny and Marinov, Darko and Pezz\`{e}, Mauro},
    title = {Automated GUI refactoring and test script repair},
    booktitle = {ETSE '11: Proceedings of the 1st International Workshop on End-to-End Test Script Engineering},
    year = {2011},
    }

2010

  • L. Mariani, M. Pezzè, O. Riganelli, and M. Santoro, "SEIM: static extraction of interaction models," in PESOS '10: Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010, pp. 22-28. | bibtex
    @inproceedings{Mariani:2010:SSE:1808885.1808891,
    author = {Mariani, Leonardo and Pezz\`{e}, Mauro and Riganelli, Oliviero and Santoro, Mauro},
    booktitle = {PESOS '10: Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems},
    pages = {22--28},
    publisher = {{ACM}},
    title = {{SEIM}: static extraction of interaction models},
    year = {2010},
    }
  • A. Carzaniga, A. Gorla, N. Perino, and M. Pezzè, "RAW: Runtime Automatic Workarounds," in ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (Tool Demo), 2010, pp. 321-322. | bibtex
    @inproceedings{Carzaniga:RAW:ICSErd:2010,
    author = {Antonio Carzaniga and Alessandra Gorla and Nicol\`{o} Perino and Mauro Pezz\`{e}},
    booktitle = {ICSE '10: Proceedings of the 32nd {ACM}/{IEEE} International Conference on Software Engineering (Tool Demo)},
    pages = {321--322},
    publisher = {{ACM}},
    title = {{RAW}: Runtime Automatic Workarounds},
    year = {2010},
    }
  • M. Baluda, P. Braione, G. Denaro, and M. Pezzè, "Structural coverage of feasible code," in AST '10: Proceedings of the 5th Workshop on Automation of Software Test, 2010, pp. 59-66. | bibtex
    @inproceedings{Baluda:2010:SCF:1808266.1808275,
    author = {Baluda, Mauro and Braione, Pietro and Denaro, Giovanni and Pezz\`{e}, Mauro},
    booktitle = {AST '10: Proceedings of the 5th Workshop on Automation of Software Test},
    pages = {59--66},
    publisher = {{ACM}},
    title = {Structural coverage of feasible code},
    year = {2010},
    }
  • M. Mirzaaghaei, F. Pastore, and M. Pezzè, "Automatically repairing test cases for evolving method declarations," in ICSM '10: Proceedings of the 26th IEEE International Conference on Software Maintenance, 2010, pp. 1-5. | bibtex
    @inproceedings{Mirzaaghaei:2010:ART:1912607.1913356,
    author = {Mirzaaghaei, Mehdi and Pastore, Fabrizio and Pezz\`{e}, Mauro},
    booktitle = {ICSM '10: Proceedings of the 26th {IEEE} International Conference on Software Maintenance},
    pages = {1--5},
    publisher = {{IEEE}},
    title = {Automatically repairing test cases for evolving method declarations},
    year = {2010},
    }
  • A. Gambi, G. Toffetti, and M. Pezzè, "Protecting SLAs with surrogate models," in PESOS '10: Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010, pp. 71-77. | bibtex
    @inproceedings{Gambi:2010:PSS:1808885.1808900,
    author = {Gambi, Alessio and Toffetti, Giovanni and Pezz\`{e}, Mauro},
    booktitle = {PESOS '10: Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems},
    pages = {71--77},
    publisher = {{ACM}},
    title = {Protecting {SLAs} with surrogate models},
    year = {2010},
    }
  • A. Carzaniga, A. Gorla, N. Perino, and M. Pezzè, "Automatic Workarounds for Web Applications," in FSE '10: Proceedings of the 18th Foundations of Software Engineering Conference, 2010, pp. 237-246. | bibtex
    @inproceedings{Carzaniga:AutomaticWorkaroundsWeb:FSE:2010,
    author = {Antonio Carzaniga and Alessandra Gorla and Nicol\`{o} Perino and Mauro Pezz\`{e}},
    booktitle = {FSE '10: Proceedings of the 18th Foundations of Software Engineering Conference},
    pages = {237--246},
    publisher = {{ACM}},
    title = {Automatic Workarounds for Web Applications},
    year = {2010},
    }
  • G. Toffetti, A. Gambi, M. Pezzè, and C. Pautasso, "Engineering autonomic controllers for virtualized web applications," in ICWE '10: Proceedings of the 10th International Conference on Web Engineering, 2010, pp. 66-80. | bibtex
    @inproceedings{Toffetti:2010:EAC:1884110.1884117,
    author = {Toffetti, Giovanni and Gambi, Alessio and Pezz\`{e}, Mauro and Pautasso, Cesare},
    booktitle = {ICWE '10: Proceedings of the 10th International Conference on Web Engineering},
    pages = {66--80},
    publisher = {Springer},
    title = {Engineering autonomic controllers for virtualized web applications},
    year = {2010},
    }
  • A. Gorla, L. Mariani, F. Pastore, M. Pezzè, and J. Wuttke, "Achieving Cost-Effective Software Reliability Through Self-Healing," Computing and Informatics, vol. 29, iss. 1, pp. 93-115, 2010. | bibtex
    @article{Gorla:CostEffectiveSelfHealing:CompInf:2010,
    author = {Alessandra Gorla and Leonardo Mariani and Fabrizio Pastore and Mauro Pezz\`{e} and Jochen Wuttke},
    journal = {Computing and Informatics},
    number = {1},
    pages = {93--115},
    title = {Achieving Cost-Effective Software Reliability Through Self-Healing},
    volume = {29},
    year = {2010},
    }

2009

  • A. Carzaniga, A. Gorla, and M. Pezzè, "Handling Software Faults with Redundancy," in Architecting Dependable Systems VI, R. de Lemos, J. -C. Fabre, C. Gacek, F. Gadducci, and M. H. ter Beek, Eds., Springer, 2009, pp. 148-171. | bibtex
    @incollection{Gorla:FaultHandlingSWRedundancy:ADS:2009,
    author = {Antonio Carzaniga and Alessandra Gorla and Mauro Pezz\`{e}},
    booktitle = {Architecting Dependable Systems VI},
    editor = {R. de Lemos and J.-C. Fabre and C. Gacek and F. Gadducci and M. H. ter Beek},
    pages = {148--171},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Handling Software Faults with Redundancy},
    year = {2009},
    }
  • M. Pezzè and J. Wuttke, "Automatic Generation of Runtime Failure Detectors from Property Templates," in Software Engineering for Self-Adaptive Systems, B. H. Cheng, R. Lemos, H. Giese, P. Inverardi, and J. Magee, Eds., Berlin, Heidelberg: Springer, 2009, pp. 223-240. | bibtex
    @incollection{Pezze:2009:AGR:1573856.1573872,
    address = {Berlin, Heidelberg},
    author = {Pezz\`{e}, Mauro and Wuttke, Jochen},
    booktitle = {Software Engineering for Self-Adaptive Systems},
    editor = {Cheng, Betty H. and Lemos, Rog\'{e}rio and Giese, Holger and Inverardi, Paola and Magee, Jeff},
    numpages = {18},
    pages = {223--240},
    publisher = {Springer},
    title = {Automatic Generation of Runtime Failure Detectors from Property Templates},
    year = {2009},
    }
  • Y. Brun, G. Marzo Serugendo, C. Gacek, H. Giese, H. Kienle, M. Litoiu, H. Müller, M. Pezzè, and M. Shaw, "Engineering Self-Adaptive Systems through Feedback Loops," in Software Engineering for Self-Adaptive Systems, B. H. Cheng, R. Lemos, H. Giese, P. Inverardi, and J. Magee, Eds., Springer, 2009, pp. 48-70. | bibtex
    @incollection{Brun:2009:ESS:1573856.1573860,
    author = {Brun, Yuriy and Marzo Serugendo, Giovanna and Gacek, Cristina and Giese, Holger and Kienle, Holger and Litoiu, Marin and M\"{u}ller, Hausi and Pezz\`{e}, Mauro and Shaw, Mary},
    booktitle = {Software Engineering for Self-Adaptive Systems},
    editor = {Cheng, Betty H. and Lemos, Rog\'{e}rio and Giese, Holger and Inverardi, Paola and Magee, Jeff},
    pages = {48--70},
    publisher = {Springer},
    title = {Engineering Self-Adaptive Systems through Feedback Loops},
    year = {2009},
    }
  • A. Gambi, M. Pezzè, and M. Young, "SLA Protection models for virtualized data centers," in SEAMS '09: Proceedings of the 4th Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009, pp. 10-19. | bibtex
    @inproceedings{Gambi:SLA:SEAMS:2009,
    author = {Gambi, Alessio and Pezz\`{e}, Mauro and Young, Michal},
    booktitle = {SEAMS '09: Proceedings of the 4th Workshop on Software Engineering for Adaptive and Self-Managing Systems},
    pages = {10--19},
    publisher = {{IEEE}},
    title = {SLA Protection models for virtualized data centers},
    year = {2009},
    }
  • G. Denaro, A. Gorla, and M. Pezzè, "DaTeC: Dataflow Testing of Java Classes," in ICSE '09: Proceedings of the 31st International Conference on Software Engineering (Tool Demo), 2009, pp. 421-422. | bibtex
    @inproceedings{Gorla:DaTeC:ICSErd:2009,
    author = {Giovanni Denaro and Alessandra Gorla and Mauro Pezz\`{e}},
    booktitle = {ICSE '09: Proceedings of the 31st International Conference on Software Engineering (Tool Demo)},
    pages = {421--422},
    publisher = {{ACM}},
    title = {DaTeC: Dataflow Testing of Java Classes},
    year = {2009},
    }
  • M. Pezzè and J. Wuttke, "LuMiNous -- model-driven assertion generation for runtime failure detection," in ICSE '09: Proceedings of the 31st International Conference on Software Engineering (Tool Demo), 2009, pp. 411-412. | bibtex
    @inproceedings{Pezze:Luminous:ICSErd:2009,
    author = {Pezz\`{e}, Mauro and Wuttke, Jochen},
    booktitle = {ICSE '09: Proceedings of the 31st International Conference on Software Engineering (Tool Demo)},
    pages = {411--412},
    publisher = {{IEEE}},
    title = {LuMiNous -- model-driven assertion generation for runtime failure detection},
    year = {2009},
    }
  • A. Carzaniga, G. Denaro, M. Pezzè, J. Estublier, and A. L. Wolf, "Toward deeply adaptive societies of digital systems," in ICSE '09: 31st International Conference on Software Engineering, 2009, pp. 331-334. | bibtex
    @inproceedings{Carzaniga:AdaptiveSocieties:NIER:2009,
    author = {Antonio Carzaniga and Giovanni Denaro and Mauro Pezz\`{e} and Jacky Estublier and Alexander L. Wolf},
    booktitle = {ICSE '09: 31st International Conference on Software Engineering},
    pages = {331--334},
    publisher = {{IEEE}},
    title = {Toward deeply adaptive societies of digital systems},
    year = {2009},
    }
  • L. Mariani, F. Pastore, and M. Pezzè, "A toolset for automated failure analysis," in ICSE '09: Proceedings of the 31st International Conference on Software Engineering, 2009, pp. 563-566. | bibtex
    @inproceedings{Mariani:AutomatedFailureAnalysis:ICSE:2009,
    author = {Mariani, Leonardo and Pastore, Fabrizio and Pezz\`e, Mauro},
    booktitle = {ICSE '09: Proceedings of the 31st International Conference on Software Engineering},
    pages = {563--566},
    publisher = {{IEEE}},
    title = {A toolset for automated failure analysis},
    year = {2009},
    }
  • D. Lo, L. Mariani, and M. Pezzè, "Automatic steering of behavioral model inference," in ESEC/FSE '09: Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, 2009, pp. 345-354. | bibtex
    @inproceedings{LoEtAl:AutomaticSteering:FSE:2009,
    author = {Lo, David and Mariani, Leonardo and Pezz\`{e}, Mauro},
    booktitle = {ESEC/FSE '09: Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the {ACM} SIGSOFT Symposium on The Foundations of Software Engineering},
    pages = {345--354},
    publisher = {{ACM}},
    title = {Automatic steering of behavioral model inference},
    year = {2009},
    }
  • G. Denaro, M. Pezzè, and D. Tosi, "Ensuring interoperable service-oriented systems through engineered self-healing," in ESEC/FSE '09: Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, 2009, pp. 253-262. | bibtex
    @inproceedings{Denaro:InteroperableSOA:FSE:2009,
    author = {Denaro, Giovanni and Pezz\`{e}, Mauro and Tosi, Davide},
    booktitle = {ESEC/FSE '09: Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the {ACM} SIGSOFT Symposium on The Foundations of Software Engineering},
    pages = {253--262},
    publisher = {{ACM}},
    title = {Ensuring interoperable service-oriented systems through engineered self-healing},
    year = {2009},
    }
  • H. Chang, L. Mariani, and M. Pezzè, "In-field healing of integration problems with COTS components," in ICSE '09: Proceedings of the 31st International Conference on Software Engineering, 2009, pp. 166-176. | bibtex
    @inproceedings{Chang:COTShealing:ICSE:2009,
    author = {Chang, Herve and Mariani, Leonardo and Pezz\`{e}, Mauro},
    booktitle = {ICSE '09: Proceedings of the 31st International Conference on Software Engineering},
    pages = {166--176},
    publisher = {{IEEE}},
    title = {In-field healing of integration problems with COTS components},
    year = {2009},
    }
  • D. Tosi, G. Denaro, and M. Pezze, "Towards autonomic service-oriented applications," International Journal of Autonomic Computing (IJAC), vol. 1, iss. 1, pp. 58-80, 2009. | bibtex
    @article{Tosi:AutonomicSOA:IJAC:2009,
    author = {Tosi, Davide and Denaro, Giovanni and Pezze, Mauro},
    number = {1},
    journal = {International Journal of Autonomic Computing {(IJAC)}},
    pages = {58--80},
    publisher = {Inderscience Publishers},
    title = {Towards autonomic service-oriented applications},
    volume = {1},
    year = {2009},
    }

2008

  • L. Mariani and M. Pezzè, "Testing Object Oriented Software," in Emerging Methods, Technologies and Process Management in Software Engineering, D. A. Lucia, F. Ferrucci, G. Tortora, and M. Tucci, Eds., Wiley-IEEE Press, 2008, pp. 85-108. | bibtex
    @incollection{Mariani:TestingOO:Wiley:2008,
    author = {Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {Emerging Methods, Technologies and Process Management in Software Engineering},
    editor = {A. De Lucia and F. Ferrucci and G. Tortora and M. Tucci},
    pages = {85--108},
    publisher = {Wiley-IEEE Press},
    title = {Testing Object Oriented Software},
    year = {2008},
    }
  • D. Lorenzoli, L. Mariani, and M. Pezzè, "Automatic Generation of Software Behavioral Models," in ICSE '08: Proceedings of the 30th International Conference on Software Engineering, 2008. | bibtex
    @inproceedings{LorenzoliEtAl:AutomaticGeneration:ICSE:2008,
    author = {Davide Lorenzoli and Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {ICSE '08: Proceedings of the 30th International Conference on Software Engineering},
    publisher = {{IEEE}},
    title = {Automatic Generation of Software Behavioral Models},
    year = {2008},
    }
  • H. Chang, L. Mariani, and M. Pezzè, "Self-Healing Strategies for Component Integration Faults," in ARAMIS '08: Proceedings of the 1st International Workshop on Automated Engineering of Autonomous and run-tiMe evolvIng Systems, 2008. | bibtex
    @inproceedings{Chang:HealigCOTS:ARAMIS:2008,
    author = {Herv\`e Chang and Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {ARAMIS '08: Proceedings of the 1st International Workshop on Automated Engineering of Autonomous and run-tiMe evolvIng Systems},
    publisher = {{IEEE}},
    title = {Self-Healing Strategies for Component Integration Faults},
    year = {2008},
    }
  • H. Muller, M. Pezzè, and M. Shaw, "Visibility of Control in Adaptive Systems," in ULSSIS '08: Proceedings of the 2nd International Workshop on Ultra-Large-Scale Software-Intensive Systems, 2008, pp. 23-26. | bibtex
    @inproceedings{Muller:VisibilityControl:ULSSIS:2008,
    author = {Hausi Muller and Mauro Pezz\`{e} and Mary Shaw},
    booktitle = {ULSSIS '08: Proceedings of the 2nd International Workshop on Ultra-Large-Scale Software-Intensive Systems},
    pages = {23--26},
    publisher = {{ACM}},
    title = {Visibility of Control in Adaptive Systems},
    year = {2008},
    }
  • A. Carzaniga, A. Gorla, and M. Pezzè, "Healing Web applications through automatic workarounds," International Journal on Software Tools for Technology Transfer (STTT), vol. 10, iss. 6, pp. 493-502, 2008. | bibtex
    @article{Carzaniga:HealingWebApplications:STTT:2008,
    author = {Antonio Carzaniga and Alessandra Gorla and Mauro Pezz\`{e}},
    journal = {International Journal on Software Tools for Technology Transfer (STTT)},
    number = {6},
    pages = {493--502},
    title = {Healing Web applications through automatic workarounds},
    volume = {10},
    year = {2008},
    }
  • G. Denaro, A. Gorla, and M. Pezzè, "Contextual Integration Testing of Classes," in FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, 2008, pp. 246-260. | bibtex
    @inproceedings{Denaro:Contextual:FASE:2008,
    author = {Giovanni Denaro and Alessandra Gorla and Mauro Pezz\`{e}},
    booktitle = {FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering},
    publisher = {Springer},
    pages = {246--260},
    title = {Contextual Integration Testing of Classes},
    year = {2008},
    }
  • A. Carzaniga, A. Gorla, and M. Pezzè, "Self-Healing by Means of Automatic Workarounds," in SEAMS '08: Proceedings of the 5th International Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008, pp. 17-24. | bibtex
    @inproceedings{Carzaniga:AutomaticWorkarounds:SEAMS:2008,
    author = {Antonio Carzaniga and Alessandra Gorla and Mauro Pezz\`{e}},
    booktitle = {SEAMS '08: Proceedings of the 5th International Workshop on Software Engineering for Adaptive and Self-Managing Systems},
    pages = {17--24},
    publisher = {{ACM}},
    title = {Self-Healing by Means of Automatic Workarounds},
    year = {2008},
    }
  • L. Lambers, L. Mariani, H. Ehrig, and M. Pezzè, "A Formal Framework for Developing Adaptable Service- Based Applications," in FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, 2008, pp. 392-406. | bibtex
    @inproceedings{Lambers:Adaptable:FASE:2008,
    author = {Leen Lambers and Leonardo Mariani and Hartmut Ehrig and Mauro Pezz\`{e}},
    booktitle = {FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering},
    pages = {392--406},
    publisher = {Springer},
    title = {A Formal Framework for Developing Adaptable Service- Based Applications},
    year = {2008},
    }

2007

  • G. Denaro, M. Pezzè, and D. Tosi, "Designing Self-Adaptive Service-Oriented Applications," in ICAC '07: Proceedings of the 4th IEEE International Conference on Autonomic Computing, 2007, p. 16. | bibtex
    @inproceedings{Denaro:DesigningSelfAdaptive:ICAC:2007,
    author = {Giovanni Denaro and Mauro Pezz\`{e} and Davide Tosi},
    booktitle = {ICAC '07: Proceedings of the 4th {IEEE} International Conference on Autonomic Computing},
    pages = {16},
    publisher = {{IEEE}},
    title = {Designing Self-Adaptive Service-Oriented Applications},
    year = {2007},
    }
  • L. Mariani and M. Pezzè, "Dynamic Detection of COTS Component Incompatibility," IEEE Software, vol. 24, iss. 5, pp. 76-85, 2007. | bibtex
    @article{Mariani:DynamicDetection:IEEESW:2007,
    address = {Los Alamitos, CA, USA},
    author = {Leonardo Mariani and Mauro Pezz\`{e}},
    journal = {IEEE Software},
    number = {5},
    pages = {76--85},
    publisher = {IEEE Press},
    title = {Dynamic Detection of COTS Component Incompatibility},
    volume = {24},
    year = {2007},
    }
  • G. Denaro, M. Pezzè, and D. Tosi, "SHIWS: A Self-Healing Integrator for Web Services," in ICSE '07: Proceedings of the 29th International Conference on Software Engineering, 2007, pp. 55-56. | bibtex
    @inproceedings{Denaro:Shiws:ICSEComp:2007,
    author = {Giovanni Denaro and Mauro Pezz\`{e} and Davide Tosi},
    booktitle = {ICSE '07: Proceedings of the 29th International Conference on Software Engineering},
    pages = {55--56},
    publisher = {{IEEE}},
    title = {SHIWS: A Self-Healing Integrator for Web Services},
    year = {2007},
    }
  • L. Lambers, H. Ehrig, L. Mariani, and M. Pezzè, "Iterative Model-driven Development of Adaptable Service-Based Applications," in ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, 2007. | bibtex
    @inproceedings{Lambers:IterativeModelDriven:ASE:2007,
    author = {Leen Lambers and Hartmut Ehrig and Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {ASE '07: Proceedings of the 22nd {IEEE}/{ACM} International Conference on Automated Software Engineering},
    publisher = {ACM},
    title = {Iterative Model-driven Development of Adaptable Service-Based Applications},
    year = {2007},
    }
  • L. Mariani, S. Papagiannakis, and M. Pezzè, "Compatibility and Regression Testing of COTS-Component-Based Software," in ICSE '07: Proceedings of the 29th International Conference on Software Engineering, 2007, pp. 85-95. | bibtex
    @inproceedings{Marini:CompatibilityRegression:ICSE:2007,
    author = {Leonardo Mariani and Sofia Papagiannakis and Mauro Pezz\`{e}},
    booktitle = {ICSE '07: Proceedings of the 29th International Conference on Software Engineering},
    pages = {85--95},
    publisher = {{IEEE}},
    title = {Compatibility and Regression Testing of COTS-Component-Based Software},
    year = {2007},
    }
  • M. Pezzè and M. Young, Software Testing and Analysis: Process, Principles and Techniques, Wiley, 2007. | bibtex
    @book{pezze:SWTesting:book:2007,
    author = {Mauro Pezz{\`e} and Michal Young},
    howpublished = {Paperback},
    isbn = {0471455938},
    publisher = {Wiley},
    title = {Software Testing and Analysis: Process, Principles and Techniques},
    year = {2007},
    }
  • D. Lorenzoli, L. Mariani, and M. Pezzè, "Towards Self-Protecting Enterprise Applications," in ISSRE '07: Proceedings of the 18th IEEE International Symposium on Software Reliability Engineering, 2007, pp. 181-190. | bibtex
    @inproceedings{Lorenzoli:Self-Protecting:ISSRE:2007,
    author = {Davide Lorenzoli and Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {ISSRE '07: Proceedings of the 18th {IEEE} International Symposium on Software Reliability Engineering},
    pages = {181--190},
    publisher = {{IEEE}},
    title = {Towards Self-Protecting Enterprise Applications},
    year = {2007},
    }

2006

  • D. Lorenzoli, L. Mariani, and M. Pezzè, "Inferring State-Based Behavior Models," in WODA '06: Proceedings of the 4th International Workshop on Dynamic Systems Analysis, 2006, pp. 25-32. | bibtex
    @inproceedings{Lorenzoli:InferringBehavior:WODA:2006,
    author = {Davide Lorenzoli and Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {WODA '06: Proceedings of the 4th International Workshop on Dynamic Systems Analysis},
    pages = {25--32},
    publisher = {{ACM}},
    title = {Inferring State-Based Behavior Models},
    year = {2006},
    }
  • L. Baresi and M. Pezzè, "An Introduction to Software Testing," Electronic Notes in Theoretical Computer Science, vol. 148, iss. 1, pp. 89-111, 2006. | bibtex
    @article{Baresi:IntroductionTesting:ElectrNotes:2006,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {1},
    pages = {89--111},
    title = {An Introduction to Software Testing},
    volume = {148},
    year = {2006},
    }
  • G. Denaro, M. Pezzè, D. Tosi, and D. Schilling, "Towards Self-Adaptive Service-Oriented Architectures," in TAV-WEB '06: Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, 2006, pp. 10-16. | bibtex
    @inproceedings{Denaro:TowardSelfAdaptive:TAVWEB:2006,
    author = {Giovanni Denaro and Mauro Pezz\`{e} and Davide Tosi and Daniela Schilling},
    booktitle = {TAV-WEB '06: Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications},
    pages = {10--16},
    publisher = {{ACM}},
    title = {Towards Self-Adaptive Service-Oriented Architectures},
    year = {2006},
    }

2005

  • L. Mariani and M. Pezzè, "Behavior Capture and Test: Automated Analysis of Component Integration," in ICECCS '05: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, 2005, pp. 292-301. | bibtex
    @inproceedings{Mariani:BehaviorCapture:ICECCS:2005,
    author = {Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {ICECCS '05: Proceedings of the 10th {IEEE} International Conference on Engineering of Complex Computer Systems},
    pages = {292--301},
    publisher = {{IEEE}},
    title = {Behavior Capture and Test: Automated Analysis of Component Integration},
    year = {2005},
    }
  • G. Denaro, L. Mariani, M. Pezzè, and D. Tosi, "Adaptive Runtime Verification for Autonomic Communication Infrastructures," in ACC '05: Proceedings of the 1st International IEEE WoWMoM Workshop on Autonomic Communications and Computing, 2005, pp. 553-557. | bibtex
    @inproceedings{Denaro:AdaptiveRuntime:WoWMoM:2005,
    author = {Giovanni Denaro and Leonardo Mariani and Mauro Pezz\`{e} and Davide Tosi},
    booktitle = {ACC '05: Proceedings of the 1st International IEEE WoWMoM Workshop on Autonomic Communications and Computing},
    pages = {553--557},
    publisher = {{IEEE}},
    title = {Adaptive Runtime Verification for Autonomic Communication Infrastructures},
    year = {2005},
    }
  • G. Denaro, M. Pezzè, and D. Tosi, "Adaptive Integration of Third-Party Web Services," in DEAS '05: Proceedings of the 2005 workshop on Design and Evolution of Autonomic Application Software, 2005, pp. 1-6. | bibtex
    @inproceedings{Denaro:AdaptiveIntegration:DEAS:2005,
    author = {Giovanni Denaro and Mauro Pezz\`{e} and Davide Tosi},
    booktitle = {DEAS '05: Proceedings of the 2005 workshop on Design and Evolution of Autonomic Application Software},
    pages = {1--6},
    publisher = {{ACM}},
    title = {Adaptive Integration of Third-Party Web Services},
    year = {2005},
    }
  • M. Pezzè, D. Tosi, and G. P. Picco, "Scavenging Complex Genomic Information Using Mobile Code: An Evaluation," in ICECCS '05: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, 2005, pp. 569-578. | bibtex
    @inproceedings{Pezze:ScavengingComplex:ICECCS:2005,
    author = {Mauro Pezz\`{e} and Davide Tosi and Gian Pietro Picco},
    booktitle = {ICECCS '05: Proceedings of the 10th {IEEE} International Conference on Engineering of Complex Computer Systems},
    pages = {569--578},
    title = {Scavenging Complex Genomic Information Using Mobile Code: An Evaluation},
    year = {2005},
    }
  • M. Pezzè, A. Baldini, G. Denaro, G. Lipari, M. Rossi, and D. Rogai, "QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems," Electronic Notes in Theoretical Computer Science, vol. 116, pp. 113-131, 2005. | bibtex
    @article{Pezze:Quack:Electr.Notes:2005,
    author = {Mauro Pezz\`{e} and Andrea Baldini and Giovanni Denaro and Giuseppe Lipari and Matteo Rossi and Davide Rogai},
    journal = {Electronic Notes in Theoretical Computer Science},
    pages = {113--131},
    title = {QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems},
    volume = {116},
    publisher = {Elsevier},
    year = {2005},
    }
  • M. Pezzè, "Preface," Electronic Notes in Theoretical Computer Science, vol. 116, pp. 1-2, 2005. | bibtex
    @article{Pezze:Preface:Electr.Notes:2005,
    author = {Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    pages = {1--2},
    title = {Preface},
    volume = {116},
    year = {2005},
    }
  • L. Baresi and M. Pezzè, "From Graph Transformation to Software Engineering and Back," in Formal Methods in Software and Systems Modeling, 2005, pp. 24-37. | bibtex
    @inproceedings{Baresi:FromGraphTransformation:FM:2005,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    booktitle = {Formal Methods in Software and Systems Modeling},
    pages = {24--37},
    title = {From Graph Transformation to Software Engineering and Back},
    publisher = {Springer},
    year = {2005},
    }
  • L. Baresi and M. Pezzè, "Petri Nets as Semantic Domain for Diagram Notations," Electronic Notes in Theoretical Computer Science, vol. 127, iss. 2, pp. 29-44, 2005. | bibtex
    @article{Baresi:PetriNets:ElectrNotes:2005,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {2},
    pages = {29--44},
    title = {Petri Nets as Semantic Domain for Diagram Notations},
    volume = {127},
    year = {2005},
    }
  • L. Baresi and M. Pezzè, "Formal Interpreters for Diagram Notations," ACM Transactions on Software Engineering and Methodology, vol. 14, iss. 1, pp. 42-84, 2005. | bibtex
    @article{Baresi:FormalInterpreters:TOSEM:2005,
    address = {New York, NY, USA},
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    journal = {ACM Transactions on Software Engineering and Methodology},
    number = {1},
    pages = {42--84},
    publisher = {ACM},
    title = {Formal Interpreters for Diagram Notations},
    volume = {14},
    year = {2005},
    }
  • L. Mariani and M. Pezzè, "A Technique for Verifying Component-Based Software," Electronic Notes in Theoretical Computer Science, vol. 116, pp. 17-30, 2005. | bibtex
    @article{Mariani:TechniqueVerifying:ElectrNotes:2005,
    author = {Leonardo Mariani and Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    pages = {17--30},
    title = {A Technique for Verifying Component-Based Software},
    volume = {116},
    year = {2005},
    }

2004

  • L. Mariani, M. Pezzè, and D. Willmor, "Generation of Integration Tests for Self-Testing Components," in ITM '04: Proceedings of the 1st International Workshop on Integration of Testing Methodologies, 2004, pp. 337-'350. | bibtex
    @inproceedings{Mariani:GenerationIntergation:ITM:2004,
    author = {Leonardo Mariani and Mauro Pezz\`{e} and David Willmor},
    booktitle = {ITM '04: Proceedings of the 1st International Workshop on Integration of Testing Methodologies},
    pages = {337-'350},
    publisher = {Springer},
    title = {Generation of Integration Tests for Self-Testing Components},
    year = {2004},
    }
  • M. Pezzè and M. Young, "Testing Object Oriented Software," in ICSE '04: Proceedings of the 26th International Conference on Software Engineering, 2004, pp. 739-740. | bibtex
    @inproceedings{Pezze:TestingOO:ICSE:2004,
    author = {Mauro Pezz\`{e} and Michal Young},
    booktitle = {ICSE '04: Proceedings of the 26th International Conference on Software Engineering},
    pages = {739--740},
    publisher = {{IEEE}},
    title = {Testing Object Oriented Software},
    year = {2004},
    }
  • G. Denaro and M. Pezzè, "Petri Nets and Software Engineering," in Lectures on Concurrency and Petri Nets, J. Desel, W. Reisig, and G. Rozenberg, Eds., Springer, 2004, pp. 439-466. | bibtex
    @incollection{Denaro:PetriNets:LectConcurrency:2003,
    author = {Giovanni Denaro and Mauro Pezz\`{e}},
    booktitle = {Lectures on Concurrency and Petri Nets},
    editor = {J. Desel and W. Reisig and G. Rozenberg},
    pages = {439-466},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Petri Nets and Software Engineering},
    year = {2004},
    }

2003

  • G. Denaro, M. Pezzè, and S. Morasca, "Towards Industrially Relevant Fault-Proneness Models," International Journal of Software Engineering and Knowledge Engineering, vol. 13, iss. 4, pp. 395-417, 2003. | bibtex
    @article{Denaro:IndustriallyRelevant:JSEKE:2003,
    author = {Giovanni Denaro and Mauro Pezz\`{e} and Sandro Morasca},
    journal = {International Journal of Software Engineering and Knowledge Engineering},
    number = {4},
    pages = {395--417},
    title = {Towards Industrially Relevant Fault-Proneness Models},
    volume = {13},
    year = {2003},
    }
  • A. Baldini, P. Prinetto, G. Denaro, and M. Pezzè, "Design for Testability for Highly Reconfigurable Component-Based Systems," Electronic Notes in Theoretical Computer Science, vol. 82, iss. 6, pp. 199-208, 2003. | bibtex
    @article{Baldini:DFT:TACoS:2003,
    author = {Andrea Baldini and Paolo Prinetto and Giovanni Denaro and Mauro Pezz\`{e}},
    booktitle = {TACoS '03: Proceedings of the International Workshop on Test and Analysis of Component-Based Systems},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {6},
    title = {Design for Testability for Highly Reconfigurable Component-Based Systems},
    pages = {199--208},
    publisher = {Elsevier},
    volume = {82},
    year = {2003},
    }
  • G. Denaro, L. Mariani, and M. Pezzè, "Self-Test Components for Highly Reconfigurable Systems," Electronic Notes in Theoretical Computer Science, vol. 82, iss. 6, pp. 89-98, 2003. | bibtex
    @article{Denaro:SelfTestComponents:TACoS:2003,
    author = {Giovanni Denaro and Leonardo Mariani and Mauro Pezz\`{e}},
    booktitle = {TACoS '03: Proceedings of the 2003 International Workshop on Test and Analysis of Component-Based Systems},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {6},
    title = {Self-Test Components for Highly Reconfigurable Systems},
    pages = {89--98},
    publisher = {Elsevier},
    volume = {82},
    year = {2003},
    }
  • M. Pezzè, "Preface," Electronic Notes in Theoretical Computer Science, vol. 82, iss. 6, 2003. | bibtex
    @article{Pezze:Preface:ElectrNotes:2003,
    author = {Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {6},
    title = {Preface},
    volume = {82},
    year = {2003},
    }
  • M. Pezzè and B. Schafer, "Research Demonstrations and Posters," in ICSE '03: Proceedings of the 25th International Conference on Software Engineering, 2003, pp. 800-801. | bibtex
    @inproceedings{Pezze:DemoPosters:ICSE:2003,
    author = {Mauro Pezz\`{e} and Bruce Schafer},
    booktitle = {ICSE '03: Proceedings of the 25th International Conference on Software Engineering},
    pages = {800--801},
    publisher = {{IEEE}},
    title = {Research Demonstrations and Posters},
    year = {2003},
    }

2002

  • V. Martena, A. Orso, and M. Pezzè, "Interclass Testing of Object Oriented Software," in Proceedings of the 8th IEEE International Conference on Engineering of Complex Computer Systems, 2002, pp. 135-144. | bibtex
    @inproceedings{Martena:InterclassTesting:ICECCS:2002,
    author = {Vincenzo Martena and Alessandro Orso and Mauro Pezz\`{e}},
    booktitle = {Proceedings of the 8th {IEEE} International Conference on Engineering of Complex Computer Systems},
    pages = {135--144},
    publisher = {{IEEE}},
    series = {ICECCS '02},
    title = {Interclass Testing of Object Oriented Software},
    year = {2002},
    }
  • L. Baresi and M. Pezzè, "A Toolbox for Automating Visual Software Engineering," in FASE '02: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, 2002, pp. 189-202. | bibtex
    @inproceedings{Baresi:Toolbox:FASE:2002,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    booktitle = {FASE '02: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering},
    publisher = {Springer},
    pages = {189--202},
    title = {A Toolbox for Automating Visual Software Engineering},
    year = {2002},
    }
  • G. Denaro and M. Pezzè, "An Empirical Evaluation of Fault-Proneness Models," in ICSE '02: Proceedings of the 24th International Conference on Software Engineering, 2002, pp. 241-251. | bibtex
    @inproceedings{Denaro:EmpiricalEvaluation:ICSE:2002,
    author = {Giovanni Denaro and Mauro Pezz\`{e}},
    booktitle = {ICSE '02: Proceedings of the 24th International Conference on Software Engineering},
    pages = {241--251},
    publisher = {{ACM}},
    title = {An Empirical Evaluation of Fault-Proneness Models},
    year = {2002},
    }
  • G. Denaro, S. Morasca, and M. Pezzè, "Deriving Models of Software Fault-Proneness," in SEKE '02: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, 2002, pp. 361-368. | bibtex
    @inproceedings{Denaro:DerivingModels:SEKE:2002,
    author = {Giovanni Denaro and Sandro Morasca and Mauro Pezz\`{e}},
    booktitle = {SEKE '02: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering},
    pages = {361--368},
    publisher = {{ACM}},
    title = {Deriving Models of Software Fault-Proneness},
    year = {2002},
    }
  • M. Felder and M. Pezzè, "A Formal Design Notation for Real-Time Systems," ACM Transactions on Software Engineering and Methodology, vol. 11, iss. 2, pp. 149-190, 2002. | bibtex
    @article{Felder:FormalDesignNotation:TOSEM:2002,
    address = {New York, NY, USA},
    author = {Miguel Felder and Mauro Pezz\`{e}},
    journal = {ACM Transactions on Software Engineering and Methodology},
    number = {2},
    pages = {149--190},
    publisher = {ACM},
    title = {A Formal Design Notation for Real-Time Systems},
    volume = {11},
    year = {2002},
    }
  • L. Baresi, M. Mauri, and M. Pezzè, "PLCTools: Graph Transformation Meets PLC Design," Electronic Notes in Theoretical Computer Science, vol. 72, iss. 2, pp. 79-89, 2002. | bibtex
    @article{Baresi:PLCTools:ElectrNotes:2002,
    author = {Luciano Baresi and Marco Mauri and Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {2},
    pages = {79--89},
    title = {PLCTools: Graph Transformation Meets PLC Design},
    volume = {72},
    year = {2002},
    }

2001

  • L. Baresi and M. Pezzè, "Improving UML with Petri nets," Electronic Notes in Theoretical Computer Science, vol. 44, iss. 4, pp. 107-119, 2001. | bibtex
    @article{Baresi:ImprovingUML:ElectrNotes:2001,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {4},
    pages = {107--119},
    title = {Improving UML with Petri nets},
    volume = {44},
    year = {2001},
    }
  • A. Coen-Porisini, G. Denaro, C. Ghezzi, and M. Pezzè, "Using Symbolic Execution for Verifying Safety-Critical Systems," in ESEC/FSE '01: Proceedings of the 8th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2001, pp. 142-151. | bibtex
    @inproceedings{Coen-Porisini:UsingSymbolicExecution:FSE:2001,
    author = {Alberto Coen-Porisini and Giovanni Denaro and Carlo Ghezzi and Mauro Pezz\`{e}},
    booktitle = {ESEC/FSE '01: Proceedings of the 8th Joint Meeting of the European Software Engineering Conference and the {ACM} SIGSOFT Symposium on Foundations of Software Engineering},
    pages = {142--151},
    publisher = {{ACM}},
    title = {Using Symbolic Execution for Verifying Safety-Critical Systems},
    year = {2001},
    }
  • L. Baresi, M. Pezzè, and G. Taentzer, "Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001," Electronic Notes in Theoretical Computer Science, vol. 50, iss. 3, 2001. | bibtex
    @article{Baresi:GraphTransformation:ElectrNotes:2001,
    author = {Luciano Baresi and Mauro Pezz\`{e} and Gabriele Taentzer},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {3},
    title = {Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001},
    volume = {50},
    year = {2001},
    }
  • M. Pezzè and S. M. Shatz, "Editorial," Computer Systems Science and Engineering, vol. 16, iss. 3, pp. 151-152, 2001. | bibtex
    @article{Pezze:Editorial:Computer:2001,
    author = {Mauro Pezz\`{e} and Sol M. Shatz},
    journal = {Computer Systems Science and Engineering},
    number = {3},
    pages = {151--152},
    title = {Editorial},
    volume = {16},
    year = {2001},
    }
  • M. Delamaro, M. Pezzè, A. M. R. Vincenzi, and J. C. Maldonado, "Mutant Operators for Testing Concurrent Java Programs," in SBES '01: Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001, pp. 272-285. | bibtex
    @inproceedings{Delamaro:MutantOperators:SBES:2001,
    author = {Marcio Delamaro and Mauro Pezz\`{e} and Auri M. R. Vincenzi and Jose Carlos Maldonado},
    booktitle = {SBES '01: Proceedings of the 15th Brazilian Symposium on Software Engineering},
    pages = {272--285},
    publisher = {{ACM}},
    title = {Mutant Operators for Testing Concurrent Java Programs},
    year = {2001},
    }
  • L. Baresi and M. Pezzè, "On Formalizing UML with High-Level Petri Nets," in Concurrent object-oriented programming and petri nets, G. A. Agha, F. De Cindio, and G. Rozenberg, Eds., Springer, 2001, pp. 276-304. | bibtex
    @incollection{Baresi:FormalizingUML:Concurrent:2001,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    booktitle = {Concurrent object-oriented programming and petri nets},
    editor = {Agha, Gul A. and De Cindio, Fiorella and Rozenberg, Grzegorz},
    pages = {276--304},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {On Formalizing UML with High-Level Petri Nets},
    year = {2001},
    }

2000

  • M. Pezzè and L. Baresi, "Can Graph Grammars Make Formal Methods More Human?," in GTVMT'00: Workshop on Graph Transformation and Visual Modeling Techniques, 2000, pp. 387-394. | bibtex
    @inproceedings{Pezze:CanGraphGrammars:ICALP:2000,
    author = {Mauro Pezz\`{e} and Luciano Baresi},
    booktitle = {GTVMT'00: Workshop on Graph Transformation and Visual Modeling Techniques},
    publisher = {Springer},
    pages = {387--394},
    title = {Can Graph Grammars Make Formal Methods More Human?},
    year = {2000},
    }
  • J. Magee and M. Pezzè, "The ICSE2000 Doctoral Workshop," in ICSE '00: Proceedings of the 22nd International Conference on Software Engineering, 2000, p. 697. | bibtex
    @inproceedings{Magee:ICSEds:ICSE:2000,
    author = {Jeff Magee and Mauro Pezz\`{e}},
    booktitle = {ICSE '00: Proceedings of the 22nd International Conference on Software Engineering},
    pages = {697},
    publisher = {{ACM}},
    title = {The ICSE2000 Doctoral Workshop},
    year = {2000},
    }
  • U. Buy, A. Orso, and M. Pezzè, "Automated Testing of Classes," in Proceedings of the 9th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2000, pp. 39-48. | bibtex
    @inproceedings{Buy:AutomatedTesting:ISSTA:2000,
    author = {Ugo Buy and Alessandro Orso and Mauro Pezz\`{e}},
    title = {Automated Testing of Classes},
    booktitle = {Proceedings of the 9th ACM SIGSOFT International Symposium on Software Testing and Analysis},
    year = {2000},
    series = {ISSTA '00},
    pages = {39--48},
    publisher = {ACM},
    }

1999

  • L. Baresi and M. Pezzè, "A Formal Definition of Stuctured Analysis with Programmable Graph Grammars," in AGTIVE '99: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance, 1999, pp. 193-208. | bibtex
    @inproceedings{Baresi:FormalDefinition:AGTIVE:1999,
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    booktitle = {AGTIVE '99: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance},
    pages = {193--208},
    publisher = {Springer},
    title = {A Formal Definition of Stuctured Analysis with Programmable Graph Grammars},
    year = {1999},
    }
  • A. Orso and M. Pezzè, "Integration Testing of Procedural Object-Oriented Languages with Polymorphism," in Proceedings of the 16th International Conference on Testing Computer Software: Future Trends in Testing, 1999. | bibtex
    @inproceedings{Orso:IntegrationTesting:ICTCS:1999,
    author = {Alessandro Orso and Mauro Pezz\`{e}},
    booktitle = {Proceedings of the 16th International Conference on Testing Computer Software: Future Trends in Testing},
    series = {TCS '99},
    title = {Integration Testing of Procedural Object-Oriented Languages with Polymorphism},
    year = {1999},
    }
  • U. Buy, C. Ghezzi, A. Orso, M. Pezzè, and M. Valsasna, "A Framework for Testing Object-Oriented Components," in TDCS '99: Proceeding of the ICSE Workshop on Testing Distributed Component-Based Systems, 1999, pp. 112-124. | bibtex
    @inproceedings{Buy:FrameworkTesting:TDCS:1999,
    author = {Ugo Buy and Carlo Ghezzi and Alessandro Orso and Mauro Pezz\`{e} and Matteo Valsasna},
    booktitle = {TDCS '99: Proceeding of the ICSE Workshop on Testing Distributed Component-Based Systems},
    pages = {112--124},
    publisher = {ACM},
    title = {A Framework for Testing Object-Oriented Components},
    year = {1999},
    }

1998

  • F. Calzolari and M. Pezzè, "A Non-Temporized Approach for Temporized Analysis," in ECRTS '98: Proceedings of the 10th Euromicro Workshop on Real-Time Systems, 1998, pp. 154-161. | bibtex
    @inproceedings{Calzolari:NonTemporized:EUROMICRO:1998,
    author = {Francesco Calzolari and Mauro Pezz\`{e}},
    booktitle = {ECRTS '98: Proceedings of the 10th Euromicro Workshop on Real-Time Systems},
    publisher = {{IEEE}},
    pages = {154--161},
    title = {A Non-Temporized Approach for Temporized Analysis},
    year = {1998},
    }
  • L. Baresi and M. Pezzè, "Toward Formalizing Structured Analysis," ACM Transactions on Software Engineering and Methodology, vol. 7, iss. 1, pp. 80-107, 1998. | bibtex
    @article{Baresi:TowardsFormalizing:TOSEM:1998,
    address = {New York, NY, USA},
    author = {Luciano Baresi and Mauro Pezz\`{e}},
    journal = {ACM Transactions on Software Engineering and Methodology},
    number = {1},
    pages = {80--107},
    publisher = {ACM},
    title = {Toward Formalizing Structured Analysis},
    volume = {7},
    year = {1998},
    }

1997

  • M. Pezzè and M. Young, "Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models," in ICSE '97: Proceedings of the 19th International Conference on Software Engineering, 1997, pp. 239-250. | bibtex
    @inproceedings{Pezze:Constructing:ICSE:1997,
    author = {Mauro Pezz\`{e} and Michal Young},
    booktitle = {ICSE '97: Proceedings of the 19th International Conference on Software Engineering},
    pages = {239--250},
    publisher = {{ACM}},
    title = {Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models},
    year = {1997},
    }
  • L. Baresi, M. D. Paola, A. Gargiulo, and M. Pezzè, "LEMMA: A Language for Easy Medical Models Analysis," in CBMS '97: Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems, 1997, pp. 244-249. | bibtex
    @inproceedings{Baresi:LEMMA:CBMS:1997,
    author = {Luciano Baresi and Manuele Di Paola and Antonio Gargiulo and Mauro Pezz\`{e}},
    booktitle = {CBMS '97: Proceedings of the 10th {IEEE} Symposium on Computer-Based Medical Systems},
    publisher = {{IEEE}},
    pages = {244-249},
    title = {LEMMA: A Language for Easy Medical Models Analysis},
    year = {1997},
    }
  • L. Baresi, A. Orso, and M. Pezzè, "Introducing Formal Specification Methods in Industrial Practice," in ICSE '97: Proceedings of the 19th International Conference on Software Engineering, 1997, pp. 56-66. | bibtex
    @inproceedings{Baresi:IntroducingFormal:ICSE:1997,
    author = {Luciano Baresi and Alessandro Orso and Mauro Pezz\`{e}},
    booktitle = {ICSE '97: Proceedings of the 19th International Conference on Software Engineering},
    pages = {56--66},
    publisher = {{ACM}},
    title = {Introducing Formal Specification Methods in Industrial Practice},
    year = {1997},
    }
  • C. Ebert, T. Matsubara, T. Webb, M. Pezzè, and O. W. Bertelsen, "The Road to Maturity: Navigating Between Craft and Science," IEEE Software, vol. 14, iss. 6, pp. 77-82, 1997. | bibtex
    @article{Ebert:RoadToMaturity:IEEESW:1997,
    author = {Christof Ebert and Tomoo Matsubara and Todd Webb and Mauro Pezz\`{e} and Olav W. Bertelsen},
    journal = {IEEE Software},
    pages = {77--82},
    title = {The Road to Maturity: Navigating Between Craft and Science},
    volume = {14},
    number = {6},
    year = {1997},
    }

1996

  • M. Pezzè and M. Young, "Generation of Multi-Formalism State-Space Analysis Tools," in ISSTA '96: Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, 1996, pp. 172-179. | bibtex
    @inproceedings{Pezze:Generation:ISSTA:1996,
    author = {Mauro Pezz\`{e} and Michal Young},
    booktitle = {ISSTA '96: Proceedings of the 1996 {ACM} SIGSOFT International Symposium on Software Testing and Analysis},
    pages = {172--179},
    publisher = {{ACM}},
    title = {Generation of Multi-Formalism State-Space Analysis Tools},
    year = {1996},
    }
  • A. Caloini, G. Magnani, and M. Pezzè, "Software Design of Robot Controllers with Petri Nets: a Case-Study," in SMC '96: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1996, pp. 3039-3044. | bibtex
    @inproceedings{Caloini:RobotControllers:SMC:1996,
    author = {Andrea Caloini and Gianantonio Magnani and Mauro Pezz\`{e}},
    booktitle = {SMC '96: Proceedings of the {IEEE} International Conference on Systems, Man and Cybernetics},
    title = {Software Design of Robot Controllers with Petri Nets: a Case-Study},
    pages = {3039--3044},
    publisher = {{IEEE}},
    year = {1996},
    }
  • M. Pezzè and S. Silva, "A Software Architecture Approach for Designing CASE Systems," in ICECCS '96: Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems, 1996, pp. 47-50. | bibtex
    @inproceedings{Pezze:SoftwareArchitecture:ICECCS:1996,
    author = {Mauro Pezz\`{e} and Sergio Silva},
    booktitle = {ICECCS '96: Proceedings of the 2nd {IEEE} International Conference on Engineering of Complex Computer Systems},
    pages = {47--50},
    publisher = {{IEEE}},
    title = {A Software Architecture Approach for Designing CASE Systems},
    year = {1996},
    }
  • S. Morasca, M. Pezzè, and S. Silva, "Mutation Analysis for Concurrent Ada Programs," in QW '96: Proceeedings of the 9th Quality Week, 1996. | bibtex
    @inproceedings{Morasca:MutationAnalysisAda:QualityWeek:1996,
    author = {Sandro Morasca and Mauro Pezz\`{e} and Sergio Silva},
    booktitle = {QW '96: Proceeedings of the 9th Quality Week},
    publisher = {Science Research Institute},
    title = {Mutation Analysis for Concurrent Ada Programs},
    year = {1996},
    }
  • L. Baresi, V. Braberman, M. Felder, M. Pezzè, and F. Piezianek, "A Practical Approach to Formal Design of Real-Time Systems," in SMC '96: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1996, pp. 1014-1019. | bibtex
    @inproceedings{Baresi:PracticalApproach:SMC:1996,
    author = {Luciano Baresi and Victor Braberman and Miguel Felder and Mauro Pezz\`{e} and Fabio Piezianek},
    booktitle = {SMC '96: Proceedings of the {IEEE} International Conference on Systems, Man and Cybernetics},
    title = {A Practical Approach to Formal Design of Real-Time Systems},
    pages = {1014--1019},
    publisher = {{IEEE}},
    year = {1996},
    }

1995

  • F. Calzolari and M. Pezzè, "Property Decomposition to Speed Up Analysis," in ECRTS '95: Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995, pp. 147-157. | bibtex
    @inproceedings{Calzolari:PropertyDecomposition:EUROMICRO:1995,
    author = {Francesco Calzolari and Mauro Pezz\`{e}},
    booktitle = {ECRTS '95: Proceedings of the 7th Euromicro Workshop on Real-Time Systems},
    publisher = {{IEEE}},
    title = {Property Decomposition to Speed Up Analysis},
    pages = {147--157},
    year = {1995},
    }
  • L. Baresi, A. Orso, and M. Pezzè, "Customizable Notations For Kernel Formalisms," in ICECCS '95: Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems, 1995, pp. 43-53. | bibtex
    @inproceedings{Baresi:CustomizableNotations:ICECCS:1995,
    author = {Luciano Baresi and Alessandro Orso and Mauro Pezz\`{e}},
    booktitle = {ICECCS '95: Proceedings of the 1st {IEEE} International Conference on Engineering of Complex Computer Systems},
    pages = {43--53},
    publisher = {{IEEE}},
    title = {Customizable Notations For Kernel Formalisms},
    year = {1995},
    }
  • M. Pezzè, A. Gargiulo, T. Catarci, and M. D. Paola, "A Formal Model for Quality Assurance in Coloproctologic Surgery," in MEDINFO '95: Proceedings of the 8th World Congress on Medical Informatics, 1995. | bibtex
    @inproceedings{Pezze:ColoproctologicSurgery:MEDINFO:1995,
    author = {Mauro Pezz\`{e} and Antonio Gargiulo and Tiziana Catarci and Manuele Di Paola},
    booktitle = {MEDINFO '95: Proceedings of the 8th World Congress on Medical Informatics},
    title = {A Formal Model for Quality Assurance in Coloproctologic Surgery},
    publisher = {Healthcare Computing \& Communications},
    year = {1995},
    }
  • M. Pezzè, R. N. Taylor, and M. Young, "Graph Models for Reachability Analysis of Concurrent Programs," ACM Transactions on Software Engineering and Methodology, vol. 4, iss. 2, pp. 171-213, 1995. | bibtex
    @article{Pezze:GraphModels:TOSEM:1995,
    address = {New York, NY, USA},
    author = {Mauro Pezz\`{e} and Richard N. Taylor and Michal Young},
    journal = {ACM Transactions on Software Engineering and Methodology},
    number = {2},
    pages = {171--213},
    publisher = {ACM},
    title = {Graph Models for Reachability Analysis of Concurrent Programs},
    volume = {4},
    year = {1995},
    }

1994

  • C. Ghezzi, S. Morasca, and M. Pezzè, "Validating Timing Requirements for Time Basic Net Specifications," Journal of Systems and Software, vol. 27, iss. 2, pp. 97-117, 1994. | bibtex
    @article{Ghezzi:ValidatingTimingRequirements:JSS:1994,
    author = {Carlo Ghezzi and Sandro Morasca and Mauro Pezz\`{e}},
    journal = {Journal of Systems and Software},
    number = {2},
    pages = {97--117},
    title = {Validating Timing Requirements for Time Basic Net Specifications},
    volume = {27},
    year = {1994},
    }

1993

  • M. Felder, C. Ghezzi, and M. Pezzè, "Analyzing Refinements of State Based Specifications: The Case of TB Nets," in ISSTA '93: Proceedings of the 1993 ACM SIGSOFT International Symposium on Software Testing and Analysis, 1993, pp. 28-39. | bibtex
    @inproceedings{Felder:AnalyzingRefinements:ISSTA:1993,
    author = {Miguel Felder and Carlo Ghezzi and Mauro Pezz\`{e}},
    booktitle = {ISSTA '93: Proceedings of the 1993 {ACM} SIGSOFT International Symposium on Software Testing and Analysis},
    pages = {28--39},
    publisher = {{ACM}},
    title = {Analyzing Refinements of State Based Specifications: The Case of TB Nets},
    year = {1993},
    }
  • C. Bellettini, M. Felder, and M. Pezzè, "Merlot: A Tool for Analysis of Real-Time Specifications," in IWSSD '93: Proceedings of the 7th International Workshop on Software Specification and Design, 1993, pp. 110-119. | bibtex
    @inproceedings{Bellettini:Merlot:IWSSD:1993,
    author = {Carlo Bellettini and Miguel Felder and Mauro Pezz\`{e}},
    booktitle = {IWSSD '93: Proceedings of the 7th International Workshop on Software Specification and Design},
    pages = {110--119},
    publisher = {{IEEE}},
    title = {Merlot: A Tool for Analysis of Real-Time Specifications},
    year = {1993},
    }
  • R. Elmstrom, R. Lintulampi, and M. Pezzè, "Giving Semantics to SA/RT by Means of High-Level Times Petri Nets," Real-Time Systems, vol. 5, iss. 2-3, pp. 249-271, 1993. | bibtex
    @article{Elmstrom:GivingSemanticsSA/RT:RTS:1993,
    author = {Ren\`{e} Elmstrom and Raino Lintulampi and Mauro Pezz\`{e}},
    journal = {Real-Time Systems},
    number = {2-3},
    pages = {249--271},
    title = {Giving Semantics to SA/RT by Means of High-Level Times Petri Nets},
    volume = {5},
    year = {1993},
    }
  • C. Ghezzi and M. Pezzè, "Towards Extensible Graphical Formalisms," in IWSSD '93: Proceedings of the 7th International Workshop on Software Specification and Design, 1993, pp. 69-77. | bibtex
    @inproceedings{Ghezzi:ExtensibleGraphicalFormalisms:IWSSD:1993,
    author = {Carlo Ghezzi and Mauro Pezz\`{e}},
    booktitle = {IWSSD '93: Proceedings of the 7th International Workshop on Software Specification and Design},
    pages = {69--77},
    publisher = {{IEEE}},
    title = {Towards Extensible Graphical Formalisms},
    year = {1993},
    }
  • M. Felder, C. Ghezzi, and M. Pezzè, "High-Level Timed Petri Nets as a Kernel for Executable Specifications," Real-Time Systems, vol. 5, iss. 2-3, pp. 235-248, 1993. | bibtex
    @article{Felder:HighLevelTimedPetriNets:RTS:1993,
    author = {Miguel Felder and Carlo Ghezzi and Mauro Pezz\`{e}},
    journal = {Real-Time Systems},
    number = {2-3},
    pages = {235--248},
    title = {High-Level Timed Petri Nets as a Kernel for Executable Specifications},
    volume = {5},
    year = {1993},
    }

1992

  • C. Ghezzi and M. Pezzè, "Cabernet: An Environment for the Specification and Verification of Real-Time Systems," in DECUS '92: Proceedings of the 1992 Digital Equipment Computer Users' Society Europe Symposium, 1992. | bibtex
    @inproceedings{Ghezzi:Cabernet:DECUS:1992,
    author = {Carlo Ghezzi and Mauro Pezz\`{e}},
    booktitle = {DECUS '92: Proceedings of the 1992 Digital Equipment Computer Users' Society Europe Symposium},
    title = {Cabernet: An Environment for the Specification and Verification of Real-Time Systems},
    year = {1992},
    }

1991

  • S. Morasca, M. Pezzè, and M. Trubian, "Timed High-Level Nets," Real-Time Systems, vol. 3, iss. 2, pp. 165-189, 1991. | bibtex
    @article{Morasca:TimedNets:RTS:1991,
    author = {Sandro Morasca and Mauro Pezz\`{e} and Marco Trubian},
    journal = {Real-Time Systems},
    number = {2},
    pages = {165--189},
    title = {Timed High-Level Nets},
    volume = {3},
    year = {1991},
    }
  • C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè, "A Unified High-Level Petri Net Formalism for Time-Critical Systems," IEEE Transactions on Software Engineering, vol. 17, iss. 2, pp. 160-172, 1991. | bibtex
    @article{Ghezzi:UnifiedHighLevelPetriNetFormalism:TSE:1991,
    author = {Carlo Ghezzi and Dino Mandrioli and Sandro Morasca and Mauro Pezz\`{e}},
    journal = {IEEE Transactions on Software Engineering},
    number = {2},
    pages = {160--172},
    title = {A Unified High-Level Petri Net Formalism for Time-Critical Systems},
    volume = {17},
    year = {1991},
    }
  • G. Buonanno, S. Morasca, M. Pezzè, K. Portman, and D. Sciuto, "A New Timed Petri Net for Hardware Representation," in CHDL '91: Proceeding of the 10th International Symposium on Hardware Description Languages and their Applications, 1991. | bibtex
    @inproceedings{Buonanno:NewTimedPetriNet:CHDL:1991,
    author = {Giacomo Buonanno and Sandro Morasca and Mauro Pezz\`{e} and Kim Portman and Donatella Sciuto},
    booktitle = {CHDL '91: Proceeding of the 10th International Symposium on Hardware Description Languages and their Applications},
    publisher = {{IEEE}},
    title = {A New Timed Petri Net for Hardware Representation},
    year = {1991},
    }

1990

  • G. Buonanno, S. Morasca, M. Pezzè, K. Portman, and D. Sciuto, "Using High Level Petri Nets for Timing Specification of Hardware," in TAU '90: Proceedings of the 1990 ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, 1990. | bibtex
    @inproceedings{Buonanno:HighLevelPetriNets:TAU:1990,
    author = {Giacomo Buonanno and Sandro Morasca and Mauro Pezz\`{e} and Kim Portman and Donatella Sciuto},
    booktitle = {TAU '90: Proceedings of the 1990 {ACM} International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems},
    title = {Using High Level Petri Nets for Timing Specification of Hardware},
    publisher = {{ACM}},
    year = {1990},
    }

1989

  • C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè, "Symbolic Execution of Concurrent Systems Using Petri Nets," Computer Languages, vol. 14, iss. 4, pp. 263-281, 1989. | bibtex
    @article{Ghezzi:SymbolicExecution:CL:1989,
    author = {Carlo Ghezzi and Dino Mandrioli and Sandro Morasca and Mauro Pezz\`{e}},
    journal = {Computer Languages},
    number = {4},
    pages = {263--281},
    title = {Symbolic Execution of Concurrent Systems Using Petri Nets},
    volume = {14},
    year = {1989},
    }
  • C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè, "A General Way to Put Time in Petri Nets," in IWSSD '89: Proceedings of the 5th International Workshop on Software Specification and Design, 1989, pp. 60-67. | bibtex
    @inproceedings{Ghezzi:GeneralWay:IWSSD:1989,
    author = {Carlo Ghezzi and Dino Mandrioli and Sandro Morasca and Mauro Pezz\`{e}},
    booktitle = {IWSSD '89: Proceedings of the 5th International Workshop on Software Specification and Design},
    pages = {60--67},
    publisher = {{ACM}},
    title = {A General Way to Put Time in Petri Nets},
    year = {1989},
    }
  • S. Morasca and M. Pezzè, "Validation of Concurrent ADA Programs Using Symbolic Execution," in ESEC '89: Proceedings of the 2nd European Software Engineering Conference, 1989, pp. 469-486. | bibtex
    @inproceedings{Morasca:ValidationConcurrentADA:ESEC:1989,
    author = {Sandro Morasca and Mauro Pezz\`{e}},
    booktitle = {ESEC '89: Proceedings of the 2nd European Software Engineering Conference},
    pages = {469--486},
    title = {Validation of Concurrent ADA Programs Using Symbolic Execution},
    year = {1989},
    }
  • S. Morasca and M. Pezzè, "The Rationale of an Environment for Real-Time Software," in ECRTS '89: Proceedings of the 2nd Euromicro Workshop on Real-Time Systems, 1989, pp. 37-42. | bibtex
    @inproceedings{Morasca:Rationale:EUROMICRO:1989,
    author = {Sandro Morasca and Mauro Pezz\`{e}},
    booktitle = {ECRTS '89: Proceedings of the 2nd Euromicro Workshop on Real-Time Systems},
    pages = {37--42},
    title = {The Rationale of an Environment for Real-Time Software},
    publisher = {{IEEE}},
    year = {1989},
    }

1988

  • G. Milne and M. Pezzè, "Typed CIRCAL: a High Level Framework for Hardware Verification," in IFIP '89: Proceedings of the International Working Conference on the Fusion of Hardware Design and Verification, 1988. | bibtex
    @inproceedings{Milne:TypedCircal:IFIP:1988,
    author = {George Milne and Mauro Pezz\`{e}},
    booktitle = {IFIP '89: Proceedings of the International Working Conference on the Fusion of Hardware Design and Verification},
    title = {Typed CIRCAL: a High Level Framework for Hardware Verification},
    publisher = {Springer},
    year = {1988},
    }

1987

  • C. Ghezzi, A. Morzenti, and M. Pezzè, "On the Role of Software Reliability in Software Engineering," in Software Reliability Modelling and Identification, 1987, pp. 1-40. | bibtex
    @inproceedings{Ghezzi:RoleSWReliability:SRMI:1987,
    author = {Carlo Ghezzi and Angelo Morzenti and Mauro Pezz\`{e}},
    booktitle = {Software Reliability Modelling and Identification},
    pages = {1--40},
    title = {On the Role of Software Reliability in Software Engineering},
    publisher = {Springer},
    year = {1987},
    }

1986

  • F. Borgonovo, E. Cadorin, L. Fratta, and M. Pezzè, "Voice and Data Performance Measurements in L-Express Nets," in SIGCOMM '86: Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, 1986, pp. 120-125. | bibtex
    @inproceedings{Borgonovo:VoiceDataPerformance:SIGCOMM:1986,
    author = {Flaminio Borgonovo and Enrico Cadorin and Luigi Fratta and Mauro Pezz\`{e}},
    booktitle = {SIGCOMM '86: Proceedings of the {ACM} {SIGCOMM} Conference on Communications Architectures and Protocols},
    pages = {120--125},
    publisher = {{ACM}},
    title = {Voice and Data Performance Measurements in L-Express Nets},
    year = {1986},
    }