The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mauro Pezzè: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè
    On the Role of Software Reliability in Software Engineering. [Citation Graph (0, 0)][DBLP]
    Software Reliability Modelling and Identification, 1987, pp:1-40 [Conf]
  2. Giovanni Denaro, Mauro Pezzè
    Petri Nets and Software Engineering. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:439-466 [Conf]
  3. Luciano Baresi, Mauro Pezzè
    A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 1999, pp:193-208 [Conf]
  4. Luciano Baresi, Mauro Pezzè
    From Graph Transformation to Software Engineering and Back. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:24-37 [Conf]
  5. Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè
    LEMMA: a language for easy medical models analysis. [Citation Graph (0, 0)][DBLP]
    CBMS, 1997, pp:244-249 [Conf]
  6. Luciano Baresi, Mauro Pezzè
    On Formalizing UML with High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:276-304 [Conf]
  7. Sandro Morasca, Mauro Pezzè
    Validation of Concurrent ADA Programs using Symbolic Execution. [Citation Graph (0, 0)][DBLP]
    ESEC, 1989, pp:469-486 [Conf]
  8. Luciano Baresi, Mauro Pezzè
    A Toolbox for Automating Visual Software Engineering. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:189-202 [Conf]
  9. Leonardo Mariani, Mauro Pezzè, David Willmor
    Generation of Integration Tests for Self-Testing Components. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:337-350 [Conf]
  10. Mauro Pezzè, Luciano Baresi
    Can Graph Grammars Make Formal Methods More Human? [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:387-394 [Conf]
  11. Luciano Baresi, Alessandro Orso, Mauro Pezzè
    Customizable notations for kernel formalisms. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:43-0 [Conf]
  12. Leonardo Mariani, Mauro Pezzè
    Behavior Capture and Test: Automated Analysis of Component Integration. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:292-301 [Conf]
  13. Vincenzo Martena, Alessandro Orso, Mauro Pezzè
    Interclass Testing of Object Oriented Software. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2002, pp:135-144 [Conf]
  14. Mauro Pezzè, Sergio Silva
    A Software Architecture Approach for Designing CASE Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1996, pp:47-50 [Conf]
  15. Mauro Pezzè, Davide Tosi, Gian Pietro Picco
    Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:569-578 [Conf]
  16. Luciano Baresi, Alessandro Orso, Mauro Pezzè
    Introducing Formal Specification Methods in Industrial Practice. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:56-66 [Conf]
  17. Giovanni Denaro, Mauro Pezzè
    An empirical evaluation of fault-proneness models. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:241-251 [Conf]
  18. Jeff Magee, Mauro Pezzè
    The ICSE2000 doctoral workshop. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:697- [Conf]
  19. Mauro Pezzè, Michal Young
    Testing Object Oriented Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:739-740 [Conf]
  20. Mauro Pezzè, Michal Young
    Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:239-249 [Conf]
  21. Bruce Schafer, Mauro Pezzè
    Research Demonstrations and Posters. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:800-801 [Conf]
  22. Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè
    Compatibility and Regression Testing of COTS-Component-Based Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:85-95 [Conf]
  23. Ugo A. Buy, Alessandro Orso, Mauro Pezzè
    Automated Testing of Classes. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2000, pp:39-48 [Conf]
  24. Miguel Felder, Carlo Ghezzi, Mauro Pezzè
    Analyzing Refinements of State Based Specifications: The Case of TB Nets. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:28-39 [Conf]
  25. Mauro Pezzè, Michal Young
    Generation of Multi-Formalism State-Space Analysis Tools. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:172-179 [Conf]
  26. Carlo Bellettini, Miguel Felder, Mauro Pezzè
    Merlot: A Tool for Analysis of Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
    IWSSD, 1993, pp:110-121 [Conf]
  27. Carlo Ghezzi, Mauro Pezzè
    Towards Extensible Graphical Formalisms. [Citation Graph (0, 0)][DBLP]
    IWSSD, 1993, pp:69-77 [Conf]
  28. Giovanni Denaro, Sandro Morasca, Mauro Pezzè
    Deriving models of software fault-proneness. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:361-368 [Conf]
  29. Flaminio Borgonovo, Enrico Cadorin, Luigi Fratta, Mauro Pezzè
    Voice and data performance measurements in L-express net. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1986, pp:120-125 [Conf]
  30. Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè
    Using symbolic execution for verifying safety-critical systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:142-151 [Conf]
  31. Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi
    Adaptive Runtime Verification for Autonomic Communication Infrastructures. [Citation Graph (0, 0)][DBLP]
    WOWMOM, 2005, pp:553-557 [Conf]
  32. Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
    Symbolic Execution of Concurrent Systems Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1989, v:14, n:4, pp:263-281 [Journal]
  33. Mauro Pezzè, Sol M. Shatz
    Editorial. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2001, v:16, n:3, pp:151-152 [Journal]
  34. Luciano Baresi, Mauro Pezzè, Gabriele Taentzer
    Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:3, pp:- [Journal]
  35. Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè
    Design for Testability for Highly Reconfigurable Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
  36. Luciano Baresi, Marco Mauri, Mauro Pezzè
    PLCTools: Graph Transformation Meets PLC Design. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:72, n:2, pp:- [Journal]
  37. Luciano Baresi, Mauro Pezzè
    Improving UML with Petri nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal]
  38. Luciano Baresi, Mauro Pezzè
    Petri Nets as Semantic Domain for Diagram Notations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:29-44 [Journal]
  39. Luciano Baresi, Mauro Pezzè
    An Introduction to Software Testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:1, pp:89-111 [Journal]
  40. Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
    Self-Test Components for Highly Reconfigurable Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
  41. Leonardo Mariani, Mauro Pezzè
    A Technique for Verifying Component-Based Software. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:17-30 [Journal]
  42. Mauro Pezzè
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
  43. Mauro Pezzè
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:1-2 [Journal]
  44. Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai
    QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:113-131 [Journal]
  45. Giovanni Denaro, Mauro Pezzè, Sandro Morasca
    Towards Industrially Relevant Fault-Proneness Models. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2003, v:13, n:4, pp:395-417 [Journal]
  46. Carlo Ghezzi, Sandro Morasca, Mauro Pezzè
    Validating timing requirements for time basic net specifications. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1994, v:27, n:2, pp:97-117 [Journal]
  47. René Elmstrøm, Raino Lintulampi, Mauro Pezzè
    Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1993, v:5, n:2-3, pp:249-271 [Journal]
  48. Miguel Felder, Carlo Ghezzi, Mauro Pezzè
    High-Level Timed Petri Nets as a Kernel for Executable Specifications. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1993, v:5, n:2-3, pp:235-248 [Journal]
  49. Sandro Morasca, Mauro Pezzè, Marco Trubian
    Timed High-Level Nets. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1991, v:3, n:2, pp:165-189 [Journal]
  50. Christof Ebert, Tomoo Matsubara, Todd Webb, Mauro Pezzè, Olav W. Bertelsen
    The Road to Maturity: Navigating Between Craft and Science. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1997, v:14, n:6, pp:77-82 [Journal]
  51. Luciano Baresi, Mauro Pezzè
    Formal interpreters for diagram notations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:1, pp:42-84 [Journal]
  52. Luciano Baresi, Mauro Pezzè
    Toward Formalizing Structured Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1998, v:7, n:1, pp:80-107 [Journal]
  53. Miguel Felder, Mauro Pezzè
    A formal design notation for real-time systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2002, v:11, n:2, pp:149-190 [Journal]
  54. Mauro Pezzè, Richard N. Taylor, Michal Young
    Graph Models for Reachability of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1995, v:4, n:2, pp:171-213 [Journal]
  55. Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
    A Unified High-Level Petri Net Formalism for Time-Critical Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:2, pp:160-172 [Journal]
  56. Giovanni Denaro, Mauro Pezzè, Davide Tosi
    Designing Self-Adaptive Service-Oriented Applications. [Citation Graph (0, 0)][DBLP]
    ICAC, 2007, pp:16- [Conf]
  57. Giovanni Denaro, Mauro Pezzè, Davide Tosi
    SHIWS: A Self-Healing Integrator for Web Services. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:55-56 [Conf]
  58. Giovanni Denaro, Mauro Pezzè, Onn Shehory
    SOQUA 2007: 4th international workshop on software quality assurance. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:615-616 [Conf]
  59. Mauro Pezzè
    Introduction to the special section on FASE 2003. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:2, pp:133-134 [Journal]

  60. Automatic Generation of Runtime Failure Detectors from Property Templates. [Citation Graph (, )][DBLP]


  61. Engineering Self-Adaptive Systems through Feedback Loops. [Citation Graph (, )][DBLP]


  62. A non-temporized approach for temporized analysis. [Citation Graph (, )][DBLP]


  63. Contextual Integration Testing of Classes. [Citation Graph (, )][DBLP]


  64. A Formal Framework for Developing Adaptable Service-Based Applications. [Citation Graph (, )][DBLP]


  65. Automatic generation of software behavioral models. [Citation Graph (, )][DBLP]


  66. Toward deeply adaptive societies of digital systems. [Citation Graph (, )][DBLP]


  67. A toolset for automated failure analysis. [Citation Graph (, )][DBLP]


  68. In-field healing of integration problems with COTS components. [Citation Graph (, )][DBLP]


  69. DaTeC: Contextual data flow testing of java classes. [Citation Graph (, )][DBLP]


  70. LuMiNous - model-driven assertion generation for runtime failure detection. [Citation Graph (, )][DBLP]


  71. Handling Software Faults with Redundancy. [Citation Graph (, )][DBLP]


  72. RAW: runtime automatic workarounds. [Citation Graph (, )][DBLP]


  73. Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). [Citation Graph (, )][DBLP]


  74. SLA Protection models for virtualized data centers. [Citation Graph (, )][DBLP]


  75. Engineering Autonomic Controllers for Virtualized Web Applications. [Citation Graph (, )][DBLP]


  76. Towards Self-Protecting Enterprise Applications. [Citation Graph (, )][DBLP]


  77. Towards self-adaptive service-oriented architectures. [Citation Graph (, )][DBLP]


  78. Iterative model-driven development of adaptable service-based applications. [Citation Graph (, )][DBLP]


  79. Self-healing strategies for component integration faults. [Citation Graph (, )][DBLP]


  80. SOQUA 2007 4th international workshop on software quality assurance. [Citation Graph (, )][DBLP]


  81. Automatic steering of behavioral model inference. [Citation Graph (, )][DBLP]


  82. Ensuring interoperable service-oriented systems through engineered self-healing. [Citation Graph (, )][DBLP]


Search in 0.000secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002