Jean-Claude Royer

Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt: A Message-passing Model for Service Oriented Computing. WEBIST 2012: 136-142

Hugo Arboleda, Jean-Claude Royer: Component types qualification in Java legacy code driven by communication integrity rules. ISEC 2011: 155-164

Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, André Sousa: A model-driven traceability framework for software product lines. Software and System Modeling 9(4): 427-451 (2010)

Hugo Arboleda, Juan Francisco Díaz, Victor Vargas, Jean-Claude Royer: Automated Reasoning for Derivation of Model-Driven SPLs. SPLC Workshops 2010: 181-188

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

Fabrício Fernandes, Robin Passama, Jean-Claude Royer: Event strictness for components with complex bindings. ISEC 2009: 47-56

Hugo Arboleda, Rubby Casallas, Jean-Claude Royer: Dealing with fine-grained configurations in model-driven SPLs. SPLC 2009: 1-10

Nicolas Anquetil, Jean-Claude Royer, Pascal André, Gilles Ardourel, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu: JavaCompExt: Extracting Architectural Elements from Java Source Code. WCRE 2009: 317-318

Nicolas Anquetil, Hugo Arboleda, F. de Alexandria Fernandes, Angel Núñez, Jean-Claude Royer: Lignes de produits logiciels et usines logicielles. L'OBJET 14(3): 15-31 (2008)

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)

Fabrício Fernandes, Robin Passama, Jean-Claude Royer: Components with Symbolic Transition Systems: A Java Implementation of Rendezvous. CPA 2007: 89-107

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)

Pascal Poizat, Jean-Claude Royer, Gwen Salaün: Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS 2006: 33-47

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

Jean-Claude Royer: Checking Class Schema Usefulness. Journal of Object Technology 3(1): 157-176 (2004)

Olivier Maréchal, Pascal Poizat, Jean-Claude Royer: Checking Asynchronously Communicating Components Using Symbolic Transition Systems. CoopIS/DOA/ODBASE (2) 2004: 1502-1519

Jean-Claude Royer: A Framework for the GAT Temporal Logic. IASSE 2004: 275-280

Sebastian Pavel, Jacques Noyé, Jean-Claude Royer: Dynamic Configuration of Software Product Lines in ArchJava. SPLC 2004: 90-109

Jean-Claude Royer: The GAT Approach to Specifying Mixed Systems. Informatica (Slovenia) 27(1): 89-104 (2003)

Jean-Claude Royer, Michael Xu: Analysing Mailboxes of Asynchronous Communicating Components. CoopIS/DOA/ODBASE 2003: 1421-1438

Pascal Poizat, Jean-Claude Royer: Une proposition de composants formels. L'OBJET 8(1-2): 231-245 (2002)

Jean-Claude Royer: An Operational Approach to the Semantics of Classes: Application to Type Checking. Programming and Computer Software 28(3): 127-147 (2002)

Michel Allemand, Jean-Claude Royer: Mixed Formal Specifications with PVS. IPDPS 2002

Christine Choppy, Pascal Poizat, Jean-Claude Royer: The Korrigan Environment. J. UCS 7(1): 19-36 (2001)

Christine Choppy, Pascal Poizat, Jean-Claude Royer: Formal Specification of Mixed Components with Korrigan. APSEC 2001: 169-176

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

Jean-Claude Royer: Formal Specification and Proof Techniques for Mixed Systems. IPDPS 2001: 151

Christine Choppy, Pascal Poizat, Jean-Claude Royer: A Global Semantics for Views. AMAST 2000: 165-180

Pascal André, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos: An algebraic view of UML class diagrams. LMO 2000: 261-276

Pascal André, Annya Romanczuk, Jean-Claude Royer: Checking the Consistency of UML Class Diagrams Using Larch Prover. Rigorous Object-Oriented Methods 2000

Jean-Claude Royer: Editorial. L'OBJET 5(3/4) (1999)

Pascal Poizat, Christine Choppy, Jean-Claude Royer: From Informal Requirements to COOP: A Concurrent Automata Approach. World Congress on Formal Methods 1999: 939-962

Jean-Claude Royer: Editorial. L'OBJET 4(1) (1998)

Jean-Claude Royer: Type Checking Object-Oriented Programs: Core of the Problem and Some Solutions. JOOP 11(6): 58-66, 71 (1998)

Pascal Poizat, Christine Choppy, Jean-Claude Royer: Concurrency and Data Types: A Specification Method: An Example with LOTOS. WADT 1998: 277-292

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)

Pascal André, Jean-Claude Royer: Optimizing Method Search with Lookup Caches and Incremental Coloring. OOPSLA 1992: 110-126