Guy Vidal-Naquet

Nacéra Bennacer, Guy Vidal-Naquet: A Multi-Level Framework for Validation of Ontology-Driven and Community-Based Web Services Composition. IJSSOE 3(1): 58-72 (2012)

Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet: On the reaction time of some synchronous systems. ICE 2011: 69-83

Christian Fotsing, Annie Geniet, Guy Vidal-Naquet: Tree scheduling versus sequential scheduling. EDCC-CARS 2010: 71-74

Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet: An Introduction to Time-Constrained Automata. ICE 2010: 83-98

Christian Fotsing, Annie Geniet, Guy Vidal-Naquet: A Realistic Model of Real-Time Systems for Efficient Scheduling. SEW 2009: 3-12

Youssef Gamha, Nacéra Bennacer, Guy Vidal-Naquet, Béchir el Ayeb, Lotfi Ben Romdhane: A Framework for the Semantic Composition of Web Services Handling User Constraints. ICWS 2008: 228-237

Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet: Equivalence between Schedule Representations: Theory and Applications. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 237-247

Youssef Gamha, Nacéra Bennacer, Lotfi Ben Romdhane, Guy Vidal-Naquet, Béchir el Ayeb: A Statechart-Based Model for the Semantic Composition of Web Services. IEEE SCW 2007: 49-56

Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet: A Generic Execution Framework for Models of Computation. MOMPES 2007: 45-54

Frédéric Boulanger, Guy Vidal-Naquet: A primitive execution model for heterogeneous modeling. ICSOFT (1) 2006: 247-252

Frédéric Boulanger, Guy Vidal-Naquet: Modular Development of Control and Computational Modules Using Reactive Objects. ECOOP Workshops 1998: 515-518

Eric Nassor, Guy Vidal-Naquet: Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems. STACS 1992: 59-70

Yamina Sami, Guy Vidal-Naquet: Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications. PARLE (2) 1991: 110-127

Françoise Baude, Guy Vidal-Naquet: Actors as a Parallel Programming Model. STACS 1991: 184-195

Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet: Detection of Deadlocks in an Infinite Family of Nets. STACS 1991: 334-347

Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet: Syntactical Properties of Unbounded Nets of Processors. TAPSOFT, Vol.1 1989: 119-133

Franz-Josef Brandenburg, Guy Vidal-Naquet, Martin Wirsing (Eds.): STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings. Lecture Notes in Computer Science 247, Springer 1987, isbn 3-540-17219-X

Burkhard Monien, Guy Vidal-Naquet (Eds.): STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings. Lecture Notes in Computer Science 210, Springer 1986, isbn 3-540-16078-7

Rüdiger Valk, Guy Vidal-Naquet: Petri Nets and Regular Languages. J. Comput. Syst. Sci. 23(3): 299-325 (1981)

Guy Vidal-Naquet: Deterministic Languages of Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 198-202

Guy Vidal-Naquet: Quelques applications des automates à arbres infinis. ICALP 1972: 115-122