Author of the publication

A Unified High-Level Petri Net Formalism for Time-Critical Systems.

, , , and . IEEE Trans. Software Eng., 17 (2): 160-172 (1991)

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.

 

Other publications of authors with the same name

An Operational Process for Goal-Driven Definition of Measures., , and . IEEE Trans. Software Eng., 28 (12): 1106-1125 (2002)3rd International Workshop on Designing Empirical Studies: Assessing the Effectiveness of Agile Methods (IWDES 2009)., , and . XP, volume 31 of Lecture Notes in Business Information Processing, page 234-235. Springer, (2009)A systematic review on the functional testing of semantic web services., , and . J. Syst. Softw., 86 (11): 2877-2889 (2013)Applying GQM in an Industrial Software Factory., , , , , and . ACM Trans. Softw. Eng. Methodol., 7 (4): 411-448 (1998)Generating Test Cases for Real-Time Systems from Logic Specifications., , and . ACM Trans. Comput. Syst., 13 (4): 365-398 (1995)Identifying Thresholds for Software Faultiness via Optimistic and Pessimistic Estimations., and . ESEM, page 28:1-28:10. ACM, (2016)OpenBQR: a framework for the assessment of OSS., , and . OSS, volume 234 of IFIP, page 173-186. Springer, (2007)A probability-based approach to modeling the risk of unauthorized propagation of information in on-line social networks., , , and . CODASPY, page 51-62. ACM, (2011)An Investigation of the Users' Perception of OSS Quality., , , , and . OSS, volume 319 of IFIP Advances in Information and Communication Technology, page 15-28. Springer, (2010)Predicting OSS trustworthiness on the basis of elementary code assessment., , , and . ESEM, ACM, (2010)