Searching for authors named "Pascal Poizat" – sorted by Relevance.
33 documents found, showing 1 through 10.
Next 10 →
-
Korrigan: a Formal ADL with Full Data Types and a Temporal Glue
- … Glue Pascal Poizat 1 , Jean-Claude Royer 2 1 LaMI - UMR 8042 CNRS, Genopole et Université d’Évry Val d…
- Cited by 4 (4 self) – Add To MetaCart
-
Interacting Extended State Diagrams
- …Abstract Interacting Extended State Diagrams Gwen Salaün a,1,3 and Pascal Poizat b,2 a DIS…
- Cited by 2 (2 self) – Add To MetaCart
-
Adaptation of Open Component-based Systems
- …Adaptation of Open Component-based Systems Pascal Poizat 1,2 and Gwen Salaün 3 1 IBISC FRE 2873…
- Cited by 3 (3 self) – Add To MetaCart
-
Transactional Reduction of Component Compositions
- …Transactional Reduction of Component Compositions Serge Haddad 1 and Pascal Poizat 2,3 1 LAMSADE…
- Cited by 1 (1 self) – Add To MetaCart
-
Automated Service Composition with Adaptive Planning
- …) ⋆⋆ Sandrine Beauche 1 and Pascal Poizat 1,2 1 INRIA/ARLES project-team, France {sandrine.beauche,pascal.poizat…
- Add To MetaCart
-
Views for the Integration of Datatypes and Control Specifications (Extended Abstract)
- … Choppy 1 , Pascal Poizat 2 , and Jean-Claude Royer 2 1 LIPN, Institut Galil'ee - Universit'e Paris…
- Add To MetaCart
-
Specification of Mixed Systems in Korrigan with the Support of a UML-Inspired Graphical Notation
- … Christine Choppy 1 , Pascal Poizat 2 and Jean-Claude Royer 2 1 LIPN, Institut Galilee - Universite…
- Cited by 6 (6 self) – Add To MetaCart
-
A Logic with Temporal Glue for Mixed Specifications
- … and Pascal Poizat 1 LaMI, UMR 8042 CNRS - Université d’ Évry Val d’Essonne, Genopole Tour Evry II, 523 place…
- Cited by 7 (6 self) – Add To MetaCart
-
From Informal Requirements to COOP: a Concurrent Automata Approach
- …From Informal Requirements to COOP: a Concurrent Automata Approach Pascal Poizat 1 , Christine…
- Cited by 10 (7 self) – Add To MetaCart
-
An Adaptation-based Approach to Incrementally Build Component Systems
- … Systems Pascal Poizat IBISC FRE 2873 CNRS - University of Évry, France Email: Pascal.Poizat…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
