| Synchronizing sequences on a class of unbounded systems using synchronized Petri nets. | 3 | 0.38 | 2016 |
| Second order GDEVS abstraction of electronic circuits. | 0 | 0.34 | 2016 |
| Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets. | 2 | 0.38 | 2014 |
| An introduction to Timed Sequential Machines | 0 | 0.34 | 2014 |
| Timed synchronizing sequences | 0 | 0.34 | 2014 |
| Hierarchy of Discrete Event Formalisms. | 0 | 0.34 | 2013 |
| Validating manufacturing processes using timed sequential machines: application to a semiconductor manufacturing process (WIP) | 0 | 0.34 | 2012 |
| ISTSM: incompletely specified timed sequential machines. | 1 | 0.43 | 2011 |
| Synchronizing sequences on not strongly connected Petri nets. | 0 | 0.34 | 2011 |
| Min-Max Timed Moore Machines | 0 | 0.34 | 2010 |
| Reducing the state space of incompletely specified timed Moore machines | 0 | 0.34 | 2010 |
| A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow | 14 | 0.89 | 2010 |
| Environnement G-DEVS/HLA pour la simulation distribuée de systèmes de production multiprocessus | 0 | 0.34 | 2009 |
| Integration of a flat holonic form in an HLA environment | 7 | 0.63 | 2009 |
| State Identification in Temporal Moore Machines | 0 | 0.34 | 2009 |
| G-DEVS/HLA Environment for Distributed Simulations of Workflows | 27 | 2.59 | 2008 |
| From abstract representation to formal modeling of tactical military operations | 1 | 0.35 | 2007 |
| Low intensity conflicts modeling framework based on dynamic hierarchical structure DEVS approach | 1 | 0.37 | 2007 |
| Discrete event modeling through a multi-formalism approach, from a user-oriented perspective | 1 | 0.38 | 2007 |
| LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach | 3 | 0.44 | 2007 |
| A formal verification approach for DEVS | 5 | 0.48 | 2007 |
| DECM with Min-Max Delays | 0 | 0.34 | 2007 |
| Mapping PIOVRA in GDEVS/HLA environment | 3 | 0.48 | 2007 |
| Min–Max-DEVS modeling and simulation | 8 | 1.49 | 2006 |
| Generalized discrete event abstraction of continuous systems: GDEVS formalism | 8 | 1.18 | 2006 |
| Formal DEVS modelling and simulation of a flow-shop relocation method without interrupting the production | 1 | 0.37 | 2006 |
| Cell-DEVS/GDEVS for Complex Continuous Systems | 9 | 0.84 | 2005 |
| Simulation semantics for min-max DEVS models | 0 | 0.34 | 2004 |
| From DEVS Model to Timed Automata | 1 | 0.36 | 2004 |
| Generalized Discrete Event Abstraction of Continuous Systems: Application to an Integrator | 3 | 0.61 | 2004 |
| Using DEVS for modeling and simulation of human behaviour | 1 | 0.36 | 2004 |
| Simulation and verification II: from timed automata to DEVS models | 6 | 0.70 | 2003 |
| Using Simulation for the Validation of High Level Specifications of Control Systems | 0 | 0.34 | 2003 |
| DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems | 1 | 0.40 | 2002 |
| Utilisation du formalisme DEVS pour la spécification de systèmes d'agents réactifs. | 0 | 0.34 | 2002 |
| N-dimensional Cell-DEVS Models | 31 | 2.19 | 2002 |
| Generalized Discrete Event Simulation of Bond Graph | 1 | 0.37 | 2001 |
| Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation | 38 | 6.97 | 2001 |
| Breakthrough in Modeling and Simulation of Mixed-Signal Electronic Designs in nVHDL | 2 | 0.51 | 2001 |
| GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems | 39 | 5.74 | 2001 |
| Guest Editorial: Applications of Artificial Neural Networks | 0 | 0.34 | 1998 |
| An algorithm to learn sequences within the connectionist sequential machine. | 0 | 0.34 | 1993 |
| Speed up of behavioral A.T.P.G. using a heuristic criterion | 1 | 0.36 | 1993 |
| On the modeling and testing of VHDL behavioral descriptions of sequential circuits | 3 | 0.45 | 1993 |
| Temporal verification of behavioral descriptions in VHDL | 3 | 0.47 | 1992 |
| Application of Connectionist Models to Fuzzy Inference Systems | 1 | 0.55 | 1990 |
| DeBuMA: description, building and management of applications | 2 | 0.44 | 1989 |
