Guy Vidal-Naquet

According to our database, Guy Vidal-Naquet authored at least 20 papers between 1972 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

A Multi-Level Framework for Validation of Ontology-Driven and Community-Based Web Services Composition.

Nacéra Bennacer, Guy Vidal-Naquet

Int. J. Syst. Serv. Oriented Eng., 2012

2011

On the reaction time of some synchronous systems

Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

2010

An Introduction to Time-Constrained Automata

Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet

Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

Tree scheduling versus sequential scheduling.

Christian Fotsing, Annie Geniet, Guy Vidal-Naquet

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009

A Realistic Model of Real-Time Systems for Efficient Scheduling.

Christian Fotsing, Annie Geniet, Guy Vidal-Naquet

Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

A communication mechanism for resource isolation.

Matthieu Lemerre, Vincent David, Guy Vidal-Naquet

Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, 2009

2008

Equivalence between Schedule Representations: Theory and Applications.

Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

A Framework for the Semantic Composition of Web Services Handling User Constraints.

Youssef Gamha, Nacéra Bennacer, Guy Vidal-Naquet, Béchir el Ayeb, Lotfi Ben Romdhane

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

2007

A Generic Execution Framework for Models of Computation.

Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

A Statechart-Based Model for the Semantic Composition of Web Services.

Youssef Gamha, Nacéra Bennacer, Lotfi Ben Romdhane, Guy Vidal-Naquet, Béchir el Ayeb

Proceedings of the 2007 IEEE International Conference on Services Computing, 2007

2006

A primitive execution model for heterogeneous modeling.

Frédéric Boulanger, Guy Vidal-Naquet

Proceedings of the ICSOFT 2006, 2006

1998

Modular Development of Control and Computational Modules Using Reactive Objects.

Frédéric Boulanger, Guy Vidal-Naquet

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1992

Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems.

Eric Nassor, Guy Vidal-Naquet

Proceedings of the STACS 92, 1992

1991

Detection of Deadlocks in an Infinite Family of Nets.

Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet

Proceedings of the STACS 91, 1991

Actors as a Parallel Programming Model.

Françoise Baude, Guy Vidal-Naquet

Proceedings of the STACS 91, 1991

Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications.

Yamina Sami, Guy Vidal-Naquet

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

1989

Syntactical Properties of Unbounded Nets of Processors.

Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1981

Petri Nets and Regular Languages.

Rüdiger Valk, Guy Vidal-Naquet

J. Comput. Syst. Sci., 1981

Deterministic Languages of Petri Nets.

Guy Vidal-Naquet

Proceedings of the Application and Theory of Petri Nets, 1981

1972

Quelques applications des automates à arbres infinis.

Guy Vidal-Naquet

Proceedings of the Automata, 1972