ProDEVS : An Event-driven Modeling and Simulation Tool for Hybrid Systems Using State Diagrams, Acte de la 8th International Conference on Simulation Tools and Techniques (SIMUTOOL), Athènes, Grèce, pp.29-37, 2015. ,
Towards an Extension of PROMELA for the Modeling, Simulation and Verification of DiscreteEvent Systems, Acte du 27th European Modelling and Simulation Symposium (EMSS), pp.340-348, 2015. ,
, Theory of Modeling and Simulation, 2000.
Modelchecking Bounded Prioriterized Time Petri Nets, Actes du 5th Automated Technology for Verification and Analysis Symposium (ATVA), 2007. ,
A Model of Computation for Reconfigurable Systems, 2013. ,
Modelling and simulation of dynamic structure discrete-event systems, 2008. ,