| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 26 |       | Pascal Poizat, Jean-Claude Royer, Gwen Salaün: Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS 2006: 33-47 |
| 25 | | Pascal Poizat, Jean-Claude Royer: A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic J. UCS 12(12): 1741-1782 (2006) |
| 24 | | Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer: A Java Implementation of a Component Model with Explicit Symbolic Protocols. Software Composition 2005: 115-124 |
| 23 | | Olivier Maréchal, Pascal Poizat, Jean-Claude Royer: Checking Asynchronously Communicating Components Using Symbolic Transition Systems. CoopIS/DOA/ODBASE (2) 2004: 1502-1519 |
| 16 | | Pascal Poizat, Jean-Claude Royer: Une proposition de composants formels. L'OBJET 8(1-2): 231-245 (2002) |
| 14 | | Christine Choppy, Pascal Poizat, Jean-Claude Royer: Formal Specification of Mixed Components with Korrigan. APSEC 2001: 169-176 |
| 13 | | Christine Choppy, Pascal Poizat, Jean-Claude Royer: Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. FASE 2001: 124-139 |
| 11 | | Christine Choppy, Pascal Poizat, Jean-Claude Royer: The Korrigan Environment. J. UCS 7(1): 19-36 (2001) |
| 10 | | Christine Choppy, Pascal Poizat, Jean-Claude Royer: A Global Semantics for Views. AMAST 2000: 165-180 |
| 7 | | Pascal Poizat, Christine Choppy, Jean-Claude Royer: From Informal Requirements to COOP: A Concurrent Automata Approach. World Congress on Formal Methods 1999: 939-962 |
| 5 | | Pascal Poizat, Christine Choppy, Jean-Claude Royer: Concurrency and Data Types: A Specification Method: An Example with LOTOS. WADT 1998: 277-292 |
Selection of 11 from 37 records - Jean-Claude Royer has 37 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page