Author of the publication

Layered Data: A Modular Formal Definition without Formalisms.

, , , , , , and . PNSE @ Petri Nets, volume 1591 of CEUR Workshop Proceedings, page 287-306. CEUR-WS.org, (2016)

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

Design, modeling and analysis of ITS using UML and Petri Nets., , , and . ITSC, page 314-319. IEEE, (2007)Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach., , , and . Monterey Workshop, volume 7539 of Lecture Notes in Computer Science, page 330-352. Springer, (2012)UML behavioral consistency checking using instantiable Petri nets., and . Innov. Syst. Softw. Eng., 4 (3): 293-300 (2008)The CARE platform for the analysis of behavior model inference techniques., , , and . Inf. Softw. Technol., (2015)Optimization of the Product Configuration System of Renault., , , , , and . SAC, page 1486-1489. ACM, (2023)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , and 9 other author(s). TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 50-68. Springer, (2019)A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams., , , and . ICECCS, page 107-116. IEEE Computer Society, (2011)Service functional testing automation with intelligent scheduling and planning., , , , , and . SAC, page 1605-1610. ACM, (2016)Extending pnml Scope: A Framework to Combine Petri Nets Types., , , and . Trans. Petri Nets Other Model. Concurr., (2012)Extending PNML Scope: the Prioritised Petri Nets Experience., , , and . PNSE, volume 723 of CEUR Workshop Proceedings, page 92-106. CEUR-WS.org, (2011)