Guy Vidal-Naquet

Publication Activity (10 Years)

Years Active: 1972-2012
Publications (10 Years): 0

Top Topics

Ontology Driven

Web Services Composition

Top Venues

Int. J. Syst. Serv. Oriented Eng.

Publications

Nacéra Bennacer, Guy Vidal-Naquet
A Multi-Level Framework for Validation of Ontology-Driven and Community-Based Web Services Composition. Int. J. Syst. Serv. Oriented Eng. 3 (1) (2012)
Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet
On the reaction time of some synchronous systems ICE (2011)
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
An Introduction to Time-Constrained Automata ICE (2010)
Christian Fotsing, Annie Geniet, Guy Vidal-Naquet
Tree scheduling versus sequential scheduling. EDCC-CARS (2010)
Christian Fotsing, Annie Geniet, Guy Vidal-Naquet
A Realistic Model of Real-Time Systems for Efficient Scheduling. SEW (2009)
Matthieu Lemerre, Vincent David, Guy Vidal-Naquet
A communication mechanism for resource isolation. IIES@EuroSys (2009)
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)
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)
Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet
A Generic Execution Framework for Models of Computation. MOMPES (2007)
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)
Frédéric Boulanger, Guy Vidal-Naquet
A primitive execution model for heterogeneous modeling. ICSOFT (1) (2006)
Frédéric Boulanger, Guy Vidal-Naquet
Modular Development of Control and Computational Modules Using Reactive Objects. ECOOP Workshops (1998)
Eric Nassor, Guy Vidal-Naquet
Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems. STACS (1992)
Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet
Detection of Deadlocks in an Infinite Family of Nets. STACS (1991)
Yamina Sami, Guy Vidal-Naquet
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications. PARLE (2) (1991)
Françoise Baude, Guy Vidal-Naquet
Actors as a Parallel Programming Model. STACS (1991)
Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet
Syntactical Properties of Unbounded Nets of Processors. TAPSOFT, Vol.1 (1989)
Rüdiger Valk, Guy Vidal-Naquet
Petri Nets and Regular Languages. J. Comput. Syst. Sci. 23 (3) (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)
Guy Vidal-Naquet
Quelques applications des automates à arbres infinis. ICALP (1972)