( en | de | ru )

 

Disambiguation of "Pezzè, Mauro"

Author of the publication

copydeleteadd this publication to your clipboard
Merlot: A Tool for Analysis of Real-Time Specifications.

, , and . IWSSD, page 110-119. IEEE Computer Society, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gerhard Rudolf Pezzei

Christian Mauro

Frank Mauroschat

Jacopo Mauro

Carola Mauroschat-Galla

 

Other publications of authors with the same name

A Toolbox for Automating Visual Software Engineering., and . FASE, volume 2306 of Lecture Notes in Computer Science, page 189-202. Springer, (2002)GK-Tail+ An Efficient Approach to Learn Software Models., , and . IEEE Trans. Software Eng., 43 (8): 715-738 (2017)A Unified High-Level Petri Net Formalism for Time-Critical Systems., , , and . IEEE Trans. Software Eng., 17 (2): 160-172 (1991)Healing Web applications through automatic workarounds., , and . Int. J. Softw. Tools Technol. Transf., 10 (6): 493-502 (2008)Enhancing structural software coverage by incrementally computing branch executability., , , and . Softw. Qual. J., 19 (4): 725-751 (2011)Formal interpreters for diagram notations., and . ACM Trans. Softw. Eng. Methodol., 14 (1): 42-84 (2005)Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006)., and . ACM Trans. Softw. Eng. Methodol., 17 (2): 6:1-6:2 (2008)Introduction to the Special Issue International Conference on Software Engineering (ICSE 2012)., and . ACM Trans. Softw. Eng. Methodol., 23 (4): 28:1-28:2 (2014)EDITORIAL: Announcing Six TOSEM Issues Per Year.. ACM Trans. Softw. Eng. Methodol., 32 (1): 1:1-1:2 (January 2023)Dynamic Detection of COTS Component Incompatibility., and . IEEE Softw., 24 (5): 76-85 (2007)