Fabrice Kordon
Centre National de la Recherche Scientifique(FR)Université Paris Cité(FR)Sorbonne Université(FR)LIP6(FR)
Publications by Year
Research Areas
Petri Nets in System Modeling, Formal Methods in Verification, Model-Driven Software Engineering Techniques, Service-Oriented Architecture and Web Services, Business Process Modeling and Analysis
Most-Cited Works
- A primer on the Petri Net Markup Language and ISO/IEC 15909-2(2009)
- → PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language(2010)49 cited
- → TOOLympics 2019: An Overview of Competitions in Formal Methods(2019)45 cited
- → On the Formal Verification of Middleware Behavioral Properties(2005)33 cited
- → Report on the Model Checking Contest at Petri Nets 2011(2012)33 cited
- → From AADL Architectural Models to Petri Nets: Checking Model Viability(2009)25 cited
- → Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System(2001)24 cited