Author of the publication

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

HMSCs as Partial Specifications ... with PNs as Completions., , , and . MOVEP, volume 2067 of Lecture Notes in Computer Science, page 125-152. Springer, (2000)Distributed implementation of message sequence charts., , and . Softw. Syst. Model., 14 (2): 1029-1048 (2015)Waiting Nets (Extended Version)., and . CoRR, (2022)Reachability Games with Relaxed Energy Constraints., , and . GandALF, volume 305 of EPTCS, page 17-33. (2019)Sessions with an Unbounded Number of Agents., , and . ACSD, page 166-175. IEEE Computer Society, (2014)Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics., and . Petri Nets, volume 9698 of Lecture Notes in Computer Science, page 155-175. Springer, (2016)Robustness of Time Petri Nets under Guard Enlargement., , , and . RP, volume 7550 of Lecture Notes in Computer Science, page 92-106. Springer, (2012)Products of Message Sequence Charts., , and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 458-473. Springer, (2008)Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2.. SAM, volume 3319 of Lecture Notes in Computer Science, page 189-207. Springer, (2004)Towards a UML Profile for Software Product Lines., , and . PFE, volume 3014 of Lecture Notes in Computer Science, page 129-139. Springer, (2003)