| 2020 | AINA | 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 |
| 2019 | SAC | CyprIoT: framework for modelling and controlling network-based IoT applications. | Imad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Jean-Claude Royer, Massimo Tisi |
| 2019 | SEC | Removing Problems in Rule-Based Policies. | Zheng Cheng, Jean-Claude Royer, Massimo Tisi |
| 2018 | IFM | Efficiently Characterizing the Undefined Requests of a Rule-Based System. | Zheng Cheng, Jean-Claude Royer, Massimo Tisi |
| 2017 | PRIMA | Towards the Specification of Natural Language Accountability Policies with AccLab: The Laptop Policy Use Case. | Walid Benghabrit, Jean-Claude Royer, Anderson Santana de Oliveira |
| 2016 | CANS | AAL and Static Conflict Detection in Policy. | Jean-Claude Royer, Anderson Santana de Oliveira |
| 2015 | APSEC | Abstract Accountability Language: Translation, Compliance and Application. | Walid Benghabrit, Herv Grall, Jean-Claude Royer, Mohamed Sellami |
| 2015 | COMPSAC | Checking Accountability with a Prover. | Walid Benghabrit, Herv Grall, Jean-Claude Royer, Mohamed Sellami |
| 2014 | CLOSER | 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 |
| 2014 | CLOSER | 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 |
| 2014 | WETICE | Track Report of Privacy and Accountability for Software and Cloud Services (PASCS 2014). | Mohamed Sellami, Jean-Claude Royer, Anderson Santana de Oliveira |
| 2013 | ESORICS | Reference Monitors for Security and Interoperability in OAuth 2.0. | Ronan-Alexandre Cherrueau, Rmi Douence, Jean-Claude Royer, Mario Sdholt, Anderson Santana de Oliveira, Yves Roudier, Matteo Dell'Amico |
| 2013 | IIWAS | The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. | Diana Allam, Herv Grall, Jean-Claude Royer |
| 2013 | WEBIST | From Object-oriented Programming to Service-oriented Computing - How to Improve Interoperability by Preserving Subtyping. | Diana Allam, Herv Grall, Jean-Claude Royer |
| 2012 | WEBIST | A Message-passing Model for Service Oriented Computing. | Diana Allam, Rmi Douence, Herv Grall, Jean-Claude Royer, Mario Sdholt |
| 2010 | SPLC | Automated Reasoning for Derivation of Model-Driven SPLs. | Hugo Arboleda, Juan Francisco Daz, Victor Vargas, Jean-Claude Royer |
| 2009 | SPLC | Dealing with fine-grained configurations in model-driven SPLs. | Hugo Arboleda, Rubby Casallas, Jean-Claude Royer |
| 2004 | CoopIS | Checking Asynchronously Communicating Components Using Symbolic Transition Systems. | Olivier Marchal, Pascal Poizat, Jean-Claude Royer |
| 2004 | SPLC | Dynamic Configuration of Software Product Lines in ArchJava. | Sebastian Pavel, Jacques Noy, Jean-Claude Royer |
| 2003 | CoopIS | Analysing Mailboxes of Asynchronous Communicating Components. | Jean-Claude Royer, Michael Xu |
| 2001 | APSEC | Formal Specification of Mixed Components with Korrigan. | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
| 2001 | FASE | Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
| 1999 | FM | From Informal Requirements to COOP: A Concurrent Automata Approach. | Pascal Poizat, Christine Choppy, Jean-Claude Royer |
| 1992 | OOPSLA | Optimizing Method Search with Lookup Caches and Incremental Coloring. | Pascal Andr, Jean-Claude Royer |