Optimizing Method Search with Lookup Caches and Incremental Coloring. - Pascal André; Jean-Claude Royer (OOPSLA, 1992)

Teaching object-oriented programming or using the object model to teach software engineering. - Jean Bézivin; Olivier F. Roux; Jean-Claude Royer (OOPSLA Addendum, 1992)

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

Editorial. - Jean-Claude Royer (Obj. Logiciel Base données Réseaux, 1998)

Type Checking Object-Oriented Programs: Core of the Problem and Some Solutions. - Jean-Claude Royer (J. Object Oriented Program., 1998)

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

A Global Semantics for Views. - Christine Choppy; Pascal Poizat; Jean-Claude Royer (AMAST, 2000)

An algebraic view of UML class diagrams. - Pascal André; Annya Romanczuk; Jean-Claude Royer; Aline Vasconcelos (LMO, 2000)

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

Concepts et modèles formels pour l'analyse et la conception à objets. (Formal concepts and models to object-oriented analysis and design). - Jean-Claude Royer (2001)

Formal Specification of Mixed Components with Korrigan. - Christine Choppy; Pascal Poizat; Jean-Claude Royer (APSEC, 2001)

Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. - Christine Choppy; Pascal Poizat; Jean-Claude Royer (FASE, 2001)

Formal Specification and Proof Techniques for Mixed Systems. - Jean-Claude Royer (IPDPS, 2001)

The Korrigan Environment. - Christine Choppy; Pascal Poizat; Jean-Claude Royer (J. Univers. Comput. Sci., 2001)

Mixed Formal Specifications with PVS. - Michel Allemand; Jean-Claude Royer (IPDPS, 2002)

Une proposition de composants formels. - Pascal Poizat; Jean-Claude Royer (Obj. Logiciel Base données Réseaux, 2002)

An Operational Approach to the Semantics of Classes: Application to Type Checking. - Jean-Claude Royer (Program. Comput. Softw., 2002)

Analysing Mailboxes of Asynchronous Communicating Components. - Jean-Claude Royer; Michael Xu (OTM, 2003)

The GAT Approach to Specifying Mixed Systems. - Jean-Claude Royer (Informatica (Slovenia), 2003)

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

A Framework for the GAT Temporal Logic. - Jean-Claude Royer (IASSE, 2004)

Dynamic Configuration of Software Product Lines in ArchJava. - Sebastian Pavel; Jacques Noyé; Jean-Claude Royer (SPLC, 2004)

Checking Class Schema Usefulness. - Jean-Claude Royer (J. Object Technol., 2004)

A Java Implementation of a Component Model with Explicit Symbolic Protocols. - Sebastian Pavel; Jacques Noyé; Pascal Poizat; Jean-Claude Royer (SC@ETAPS, 2005)

Bounded Analysis and Decomposition for Behavioural Descriptions of Components. - Pascal Poizat; Jean-Claude Royer; Gwen Salaün (FMOODS, 2006)

A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic - Pascal Poizat; Jean-Claude Royer (J. Univers. Comput. Sci., 2006)

Components with Symbolic Transition Systems: A Java Implementation of Rendezvous. - Fabrício de Alexandria Fernandes; Robin Passama; Jean-Claude Royer (CPA, 2007)

The STSLib Project: Towards a Formal Component Model Based on STS. - Fabrício de Alexandria Fernandes; Jean-Claude Royer (FACS, 2007)

Lignes de produits logiciels et usines logicielles. - Nicolas Anquetil; Hugo Arboleda; F. de Alexandria Fernandes; Angel Núñez; Jean-Claude Royer (Obj. Logiciel Base données Réseaux, 2008)

Product Derivation in a Model-Driven Software Product Line using Decision Models. - Hugo Arboleda; Andrés Romero; Rubby Casallas; Jean-Claude Royer (CIbSE, 2009)

Event strictness for components with complex bindings. - Fabrício de Alexandria Fernandes; Robin Passama; Jean-Claude Royer (ISEC, 2009)

Dealing with fine-grained configurations in model-driven SPLs. - Hugo Arboleda; Rubby Casallas; Jean-Claude Royer (SPLC, 2009)

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

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

A model-driven traceability framework for software product lines. - Nicolas Anquetil; Uirá Kulesza; Ralf Mitschke; Ana Moreira 001; Jean-Claude Royer; Andreas Rummler; André Sousa (Softw. Syst. Model., 2010)

Component types qualification in Java legacy code driven by communication integrity rules. - Hugo Arboleda; Jean-Claude Royer (ISEC, 2011)

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

Reference Monitors for Security and Interoperability in OAuth 2.0. - Ronan-Alexandre Cherrueau; Rémi Douence; Jean-Claude Royer; Mario Südholt; Anderson Santana de Oliveira; Yves Roudier; Matteo Dell'Amico (DPM/SETOP, 2013)

Transformations between Composite and Visitor Implementations in Java. - Akram Ajouli; Julien Cohen; Jean-Claude Royer (EUROMICRO-SEAA, 2013)

The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. - Diana Allam; Hervé Grall; Jean-Claude Royer (iiWAS, 2013)

From Object-oriented Programming to Service-oriented Computing - How to Improve Interoperability by Preserving Subtyping. - Diana Allam; Hervé Grall; Jean-Claude Royer (WEBIST, 2013)

From Regulatory Obligations to Enforceable Accountability Policies in the Cloud. - Walid Benghabrit; Hervé Grall; Jean-Claude Royer; Mohamed Sellami; Monir Azraoui; Kaoutar Elkhiyaoui; Melek Önen; Anderson Santana de Oliveira; Karin Bernsmed (CLOSER (Selected Papers), 2014)

A Cloud Accountability Policy Representation Framework. - Walid Benghabrit; Hervé Grall; Jean-Claude Royer; Mohamed Sellami; Monir Azraoui; Kaoutar Elkhiyaoui; Melek Önen; Anderson Santana de Oliveira; Karin Bernsmed (CLOSER, 2014)

Accountability for Abstract Component Design. - Walid Benghabrit; Hervé Grall; Jean-Claude Royer; Mohamed Sellami (EUROMICRO-SEAA, 2014)

Abstract Accountability Language. - Walid Benghabrit; Hervé Grall; Jean-Claude Royer; Mohamed Sellami; Karin Bernsmed; Anderson Santana de Oliveira (IFIPTM, 2014)

Track Report of Privacy and Accountability for Software and Cloud Services (PASCS 2014). - Mohamed Sellami; Jean-Claude Royer; Anderson Santana de Oliveira (WETICE, 2014)

Abstract Accountability Language: Translation, Compliance and Application. - Walid Benghabrit; Hervé Grall; Jean-Claude Royer; Mohamed Sellami (APSEC, 2015)

Checking Accountability with a Prover. - Walid Benghabrit; Hervé Grall; Jean-Claude Royer; Mohamed Sellami (COMPSAC, 2015)

AAL and Static Conflict Detection in Policy. - Jean-Claude Royer; Anderson Santana de Oliveira (CANS, 2016)

Towards the Specification of Natural Language Accountability Policies with AccLab: The Laptop Policy Use Case. - Walid Benghabrit; Jean-Claude Royer; Anderson Santana de Oliveira (CARe-MAS@PRIMA, 2017)

Efficiently Characterizing the Undefined Requests of a Rule-Based System. - Zheng Cheng; Jean-Claude Royer; Massimo Tisi (IFM, 2018)

Towards Model-Based Communication Control for the Internet of Things. - Imad Berrouyne; Mehdi Adda; Jean-Marie Mottu; Jean-Claude Royer; Massimo Tisi (STAF Workshops, 2018)

CyprIoT: framework for modelling and controlling network-based IoT applications. - Imad Berrouyne; Mehdi Adda; Jean-Marie Mottu; Jean-Claude Royer; Massimo Tisi (SAC, 2019)

Removing Problems in Rule-Based Policies. - Zheng Cheng; Jean-Claude Royer; Massimo Tisi (SEC, 2019)

A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of Things. - Imad Berrouyne; Mehdi Adda; Jean-Marie Mottu; Jean-Claude Royer; Massimo Tisi (AINA, 2020)