Guy Vidal-Naquet

22 papers A* 1A 7C 1Journal 2Unranked 11
YearRankTypeTitle / Venue / Authors
2012 J jnl
A Multi-Level Framework for Validation of Ontology-Driven and Community-Based Web Services Composition.
Int. J. Syst. Serv. Oriented Eng.
Nacéra Bennacer, Guy Vidal-Naquet
2011 — conf
On the reaction time of some synchronous systems
ICE
Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet
2010 — conf
An Introduction to Time-Constrained Automata
ICE
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
2010 — conf
Tree scheduling versus sequential scheduling.
EDCC-CARS
Christian Fotsing, Annie Geniet, Guy Vidal-Naquet
2009 C conf
A Realistic Model of Real-Time Systems for Efficient Scheduling.
SEW
Christian Fotsing, Annie Geniet, Guy Vidal-Naquet
2009 — conf
A communication mechanism for resource isolation.
IIES@EuroSys
Matthieu Lemerre, Vincent David, Guy Vidal-Naquet
2008 A conf
A Framework for the Semantic Composition of Web Services Handling User Constraints.
ICWS
Youssef Gamha, Nacéra Bennacer, Guy Vidal-Naquet, Béchir el Ayeb, Lotfi Ben Romdhane
2008 A conf
Equivalence between Schedule Representations: Theory and Applications.
IEEE Real-Time and Embedded Technology and Applications Symposium
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
2007 — conf
A Generic Execution Framework for Models of Computation.
MOMPES
Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet
2007 — conf
A Statechart-Based Model for the Semantic Composition of Web Services.
IEEE SCW
Youssef Gamha, Nacéra Bennacer, Lotfi Ben Romdhane, Guy Vidal-Naquet, Béchir el Ayeb
2006 — conf
A primitive execution model for heterogeneous modeling.
ICSOFT (1)
Frédéric Boulanger, Guy Vidal-Naquet
1998 — conf
Modular Development of Control and Computational Modules Using Reactive Objects.
ECOOP Workshops
Frédéric Boulanger, Guy Vidal-Naquet
1992 A conf
Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems.
STACS
Eric Nassor, Guy Vidal-Naquet
1991 A conf
Actors as a Parallel Programming Model.
STACS
Françoise Baude, Guy Vidal-Naquet
1991 A conf
Detection of Deadlocks in an Infinite Family of Nets.
STACS
Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet
1991 — conf
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications.
PARLE (2)
Yamina Sami, Guy Vidal-Naquet
1989 — conf
Syntactical Properties of Unbounded Nets of Processors.
TAPSOFT, Vol.1
Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet
1987 A ed.
STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings
STACS
Franz-Josef Brandenburg, Guy Vidal-Naquet, Martin Wirsing
1986 A ed.
STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings
STACS
Burkhard Monien, Guy Vidal-Naquet
1981 — conf
Deterministic Languages of Petri Nets.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Guy Vidal-Naquet
1981 J jnl
Petri Nets and Regular Languages.
J. Comput. Syst. Sci.
Rüdiger Valk, Guy Vidal-Naquet
1972 A* conf
Quelques applications des automates à arbres infinis.
ICALP
Guy Vidal-Naquet