- 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. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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. 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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. |
@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},
}
- M. Pezzè and M. Young, Software Testing and Analysis: Process, Principles and Techniques, Wiley, 2007. |
@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},
}
- M. Pezzè, "Preface," Electronic Notes in Theoretical Computer Science, vol. 116, pp. 1-2, 2005. |
@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. Mariani and M. Pezzè, "A Technique for Verifying Component-Based Software," Electronic Notes in Theoretical Computer Science, vol. 116, pp. 17-30, 2005. |
@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},
}
- 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. |
@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è, 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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, 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. |
@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},
}
- M. Pezzè, "Preface," Electronic Notes in Theoretical Computer Science, vol. 82, iss. 6, 2003. |
@article{Pezze:Preface:ElectrNotes:2003,
author = {Mauro Pezz\`{e}},
journal = {Electronic Notes in Theoretical Computer Science},
number = {6},
title = {Preface},
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. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- V. Martena, A. Orso, and M. Pezzè, "Interclass Testing of Object Oriented Software," in ICECCS '02: Proceedings of the 8th IEEE International Conference on Engineering of Complex Computer Systems, 2002, pp. 135-144. |
@inproceedings{Martena:InterclassTesting:ICECCS:2002,
author = {Vincenzo Martena and Alessandro Orso and Mauro Pezz\`{e}},
booktitle = {ICECCS '02: Proceedings of the 8th {IEEE} International Conference on Engineering of Complex Computer Systems},
pages = {135--144},
publisher = {{IEEE}},
title = {Interclass Testing of Object Oriented Software},
year = {2002},
}
- 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. |
@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},
}
- 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. |
@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 and M. Pezzè, "Improving UML with Petri nets," Electronic Notes in Theoretical Computer Science, vol. 44, iss. 4, pp. 107-119, 2001. |
@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},
}
- 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. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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, 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. |
@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. |
@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},
}
- 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. |
@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},
}
- S. Morasca, M. Pezzè, and S. Silva, "Mutation Analysis for Concurrent Ada Programs," in QW '96: Proceeedings of the 9th Quality Week, 1996. |
@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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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. |
@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. |
@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. |
@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},
}
- 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. |
@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. 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
- 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. |
@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},
}
