Author of the publication

Exact and Efficient Temporal Steering of Software Behavioral Model Inference.

, , , and . ICECCS, page 166-175. IEEE Computer Society, (2014)

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)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)Optimisation for the product configuration system of Renault: towards an integration of symmetries., , , , , and . SPLC (B), page 86-90. ACM, (2021)An Experience Report on the Optimization of the Product Configuration System of Renault *., , , , , and . ICECCS, page 197-206. IEEE, (2023)CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques., , , and . ICECCS, page 252-255. IEEE Computer Society, (2013)Software Product Line Extraction from Bytecode Based Applications., and . ICECCS, page 221-225. IEEE Computer Society, (2018)