| 2009 |
|---|
| 31 | | Hugo Arboleda,
Andrés Romero,
Rubby Casallas,
Jean-Claude Royer:
Product Derivation in a Model-Driven Software Product Line using Decision Models.
CIbSE 2009: 59-72 |
| 30 | EE | Fabrício Fernandes,
Robin Passama,
Jean-Claude Royer:
Event strictness for components with complex bindings.
ISEC 2009: 47-56 |
| 2008 |
|---|
| 29 | EE | Fabrício Fernandes,
Jean-Claude Royer:
The STSLib Project: Towards a Formal Component Model Based on STS.
Electr. Notes Theor. Comput. Sci. 215: 131-149 (2008) |
| 28 | EE | Nicolas Anquetil,
Hugo Arboleda,
F. de Alexandria Fernandes,
A. Nuñez,
Jean-Claude Royer:
Lignes de produits logiciels et usines logicielles.
L'OBJET 14(3): 15-31 (2008) |
| 2007 |
|---|
| 27 | | Fabrício Fernandes,
Robin Passama,
Jean-Claude Royer:
Components with Symbolic Transition Systems: A Java Implementation of Rendezvous.
CPA 2007: 89-107 |
| 2006 |
|---|
| 26 | EE | Pascal Poizat,
Jean-Claude Royer,
Gwen Salaün:
Bounded Analysis and Decomposition for Behavioural Descriptions of Components.
FMOODS 2006: 33-47 |
| 25 | EE | 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) |
| 2005 |
|---|
| 24 | EE | 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 |
| 2004 |
|---|
| 23 | EE | Olivier Maréchal,
Pascal Poizat,
Jean-Claude Royer:
Checking Asynchronously Communicating Components Using Symbolic Transition Systems.
CoopIS/DOA/ODBASE (2) 2004: 1502-1519 |
| 22 | | Jean-Claude Royer:
A Framework for the GAT Temporal Logic.
IASSE 2004: 275-280 |
| 21 | EE | Sebastian Pavel,
Jacques Noyé,
Jean-Claude Royer:
Dynamic Configuration of Software Product Lines in ArchJava.
SPLC 2004: 90-109 |
| 20 | EE | Jean-Claude Royer:
Checking Class Schema Usefulness.
Journal of Object Technology 3(1): 157-176 (2004) |
| 2003 |
|---|
| 19 | EE | Jean-Claude Royer,
Michael Xu:
Analysing Mailboxes of Asynchronous Communicating Components.
CoopIS/DOA/ODBASE 2003: 1421-1438 |
| 18 | | Jean-Claude Royer:
The GAT Approach to Specifying Mixed Systems.
Informatica (Slovenia) 27(1): 89-104 (2003) |
| 2002 |
|---|
| 17 | EE | Michel Allemand,
Jean-Claude Royer:
Mixed Formal Specifications with PVS.
IPDPS 2002 |
| 16 | EE | Pascal Poizat,
Jean-Claude Royer:
Une proposition de composants formels.
L'OBJET 8(1-2): 231-245 (2002) |
| 15 | EE | Jean-Claude Royer:
An Operational Approach to the Semantics of Classes: Application to Type Checking.
Programming and Computer Software 28(3): 127-147 (2002) |
| 2001 |
|---|
| 14 | EE | Christine Choppy,
Pascal Poizat,
Jean-Claude Royer:
Formal Specification of Mixed Components with Korrigan.
APSEC 2001: 169-176 |
| 13 | EE | 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 |
| 12 | | Jean-Claude Royer:
Formal Specification and Proof Techniques for Mixed Systems.
IPDPS 2001: 151 |
| 11 | EE | Christine Choppy,
Pascal Poizat,
Jean-Claude Royer:
The Korrigan Environment.
J. UCS 7(1): 19-36 (2001) |
| 2000 |
|---|
| 10 | EE | Christine Choppy,
Pascal Poizat,
Jean-Claude Royer:
A Global Semantics for Views.
AMAST 2000: 165-180 |
| 9 | | Pascal André,
Annya Romanczuk,
Jean-Claude Royer,
Aline Vasconcelos:
An algebraic view of UML class diagrams.
LMO 2000: 261-276 |
| 8 | EE | Pascal André,
Annya Romanczuk,
Jean-Claude Royer:
Checking the Consistency of UML Class Diagrams Using Larch Prover.
Rigorous Object-Oriented Methods 2000 |
| 1999 |
|---|
| 7 | EE | Pascal Poizat,
Christine Choppy,
Jean-Claude Royer:
From Informal Requirements to COOP: A Concurrent Automata Approach.
World Congress on Formal Methods 1999: 939-962 |
| 6 | | Jean-Claude Royer:
Editorial.
L'OBJET 5(3/4): (1999) |
| 1998 |
|---|
| 5 | EE | Pascal Poizat,
Christine Choppy,
Jean-Claude Royer:
Concurrency and Data Types: A Specification Method: An Example with LOTOS.
WADT 1998: 277-292 |
| 4 | | Jean-Claude Royer:
Type Checking Object-Oriented Programs: Core of the Problem and Some Solutions.
JOOP 11(6): 58-66, 71 (1998) |
| 3 | | Jean-Claude Royer:
Editorial.
L'OBJET 4(1): (1998) |
| 1993 |
|---|
| 2 | | Jean Bézivin,
Olivier Roux,
Jean-Claude Royer:
Teaching object-oriented programming or using the object model to teach software engineering.
OOPS Messenger 4(2): 269-276 (1993) |
| 1992 |
|---|
| 1 | | Pascal André,
Jean-Claude Royer:
Optimizing Method Search with Lookup Caches and Incremental Coloring.
OOPSLA 1992: 110-126 |
