Author of the publication

Quantifying the Discord: Order Discrepancies in Message Sequence Charts.

, , , and . ATVA, volume 4762 of Lecture Notes in Computer Science, page 378-393. Springer, (2007)

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

On Relaxing Metric Information in Linear Temporal Logic, and . CoRR, (2009)A Fuzzy Extension for the XPath Query Language., , and . FQAS, volume 4027 of Lecture Notes in Computer Science, page 210-221. Springer, (2006)Supporting Verification-Driven Incremental Distributed Design of Components., , , and . FASE, volume 10802 of Lecture Notes in Computer Science, page 169-188. Springer, (2018)A fuzzy extension of the XPath query language., , , , , and . J. Intell. Inf. Syst., 33 (3): 285-305 (2009)SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal., , , and . Requir. Eng., 25 (4): 417-438 (2020)Verification of temporal logic specifications via model checking.. Polytechnic University of Milan, Italy, (2005)Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation., and . ICSE, page 1290-1302. IEEE, (2023)Managing non-functional uncertainty via model-driven adaptivity., , , and . ICSE, page 33-42. IEEE Computer Society, (2013)A framework for XML data streams history checking and monitoring., and . WWW, page 983-984. ACM, (2006)Integrating Goal Model Analysis with Iterative Design., , and . REFSQ, volume 10153 of Lecture Notes in Computer Science, page 112-128. Springer, (2017)