Jean-Claude Royer

Publication Activity (10 Years)

Years Active: 1992-2020
Publications (10 Years): 7

Top Topics

Conflict Detection

Natural Language

Top Venues

Publications

Imad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Jean-Claude Royer, Massimo Tisi
A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of Things. AINA (2020)
Zheng Cheng, Jean-Claude Royer, Massimo Tisi
Removing Problems in Rule-Based Policies. SEC (2019)
Imad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Jean-Claude Royer, Massimo Tisi
CyprIoT: framework for modelling and controlling network-based IoT applications. SAC (2019)
Zheng Cheng, Jean-Claude Royer, Massimo Tisi
Efficiently Characterizing the Undefined Requests of a Rule-Based System. IFM (2018)
Imad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Jean-Claude Royer, Massimo Tisi
Towards Model-Based Communication Control for the Internet of Things. STAF Workshops (2018)
Walid Benghabrit, Jean-Claude Royer, Anderson Santana de Oliveira
Towards the Specification of Natural Language Accountability Policies with AccLab: The Laptop Policy Use Case. CARe-MAS@PRIMA (2017)
Jean-Claude Royer, Anderson Santana de Oliveira
AAL and Static Conflict Detection in Policy. CANS (2016)
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
Abstract Accountability Language: Translation, Compliance and Application. APSEC (2015)
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
Checking Accountability with a Prover. COMPSAC (2015)
Mohamed Sellami, Jean-Claude Royer, Anderson Santana de Oliveira
Track Report of Privacy and Accountability for Software and Cloud Services (PASCS 2014). WETICE (2014)
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, Anderson Santana de Oliveira
Abstract Accountability Language. IFIPTM (2014)
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Önen, Anderson Santana de Oliveira, Karin Bernsmed
A Cloud Accountability Policy Representation Framework. CLOSER (2014)
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
Accountability for Abstract Component Design. EUROMICRO-SEAA (2014)
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Önen, Anderson Santana de Oliveira, Karin Bernsmed
From Regulatory Obligations to Enforceable Accountability Policies in the Cloud. CLOSER (Selected Papers) (2014)
Diana Allam, Hervé Grall, Jean-Claude Royer
From Object-oriented Programming to Service-oriented Computing - How to Improve Interoperability by Preserving Subtyping. WEBIST (2013)
Diana Allam, Hervé Grall, Jean-Claude Royer
The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. iiWAS (2013)
Akram Ajouli, Julien Cohen, Jean-Claude Royer
Transformations between Composite and Visitor Implementations in Java. EUROMICRO-SEAA (2013)
Akram Ajouli, Julien Cohen, Jean-Claude Royer
Transformations between Composite and Visitor implementations in Java. CoRR (2013)
Ronan-Alexandre Cherrueau, Rémi Douence, Jean-Claude Royer, Mario Südholt, Anderson Santana de Oliveira, Yves Roudier, Matteo Dell'Amico
Reference Monitors for Security and Interoperability in OAuth 2.0. DPM/SETOP (2013)
Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
A Message-passing Model for Service Oriented Computing. WEBIST (2012)
Hugo Arboleda, Jean-Claude Royer
Component types qualification in Java legacy code driven by communication integrity rules. ISEC (2011)
Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, André Sousa
A model-driven traceability framework for software product lines. Softw. Syst. Model. 9 (4) (2010)
Hugo Arboleda, Juan Francisco Díaz, Victor Vargas, Jean-Claude Royer
Automated Reasoning for Derivation of Model-Driven SPLs. SPLC Workshops (2010)
Hugo Arboleda, Andrés Romero, Rubby Casallas, Jean-Claude Royer
Product Derivation in a Model-Driven Software Product Line using Decision Models. CIbSE (2009)
Fabrício Fernandes, Robin Passama, Jean-Claude Royer
Event strictness for components with complex bindings. ISEC (2009)
Hugo Arboleda, Rubby Casallas, Jean-Claude Royer
Dealing with fine-grained configurations in model-driven SPLs. SPLC (2009)
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)
Nicolas Anquetil, Hugo Arboleda, F. de Alexandria Fernandes, Angel Núñez, Jean-Claude Royer
Lignes de produits logiciels et usines logicielles. Obj. Logiciel Base données Réseaux 14 (3) (2008)
Fabrício Fernandes, Jean-Claude Royer
The STSLib Project: Towards a Formal Component Model Based on STS. Electron. Notes Theor. Comput. Sci. 215 (2008)
Fabrício Fernandes, Robin Passama, Jean-Claude Royer
Components with Symbolic Transition Systems: A Java Implementation of Rendezvous. CPA (2007)
Pascal Poizat, Jean-Claude Royer
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic J. Univers. Comput. Sci. 12 (12) (2006)
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS (2006)
Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer
A Java Implementation of a Component Model with Explicit Symbolic Protocols. SC@ETAPS (2005)
Sebastian Pavel, Jacques Noyé, Jean-Claude Royer
Dynamic Configuration of Software Product Lines in ArchJava. SPLC (2004)
Jean-Claude Royer
A Framework for the GAT Temporal Logic. IASSE (2004)
Jean-Claude Royer
Checking Class Schema Usefulness. J. Object Technol. 3 (1) (2004)
Olivier Maréchal, Pascal Poizat, Jean-Claude Royer
Checking Asynchronously Communicating Components Using Symbolic Transition Systems. CoopIS/DOA/ODBASE (2) (2004)
Jean-Claude Royer
The GAT Approach to Specifying Mixed Systems. Informatica (Slovenia) 27 (1) (2003)
Jean-Claude Royer, Michael Xu
Analysing Mailboxes of Asynchronous Communicating Components. OTM (2003)
Pascal Poizat, Jean-Claude Royer
Une proposition de composants formels. Obj. Logiciel Base données Réseaux 8 (1-2) (2002)
Jean-Claude Royer
An Operational Approach to the Semantics of Classes: Application to Type Checking. Program. Comput. Softw. 28 (3) (2002)
Michel Allemand, Jean-Claude Royer
Mixed Formal Specifications with PVS. IPDPS (2002)
Christine Choppy, Pascal Poizat, Jean-Claude Royer
Formal Specification of Mixed Components with Korrigan. APSEC (2001)
Christine Choppy, Pascal Poizat, Jean-Claude Royer
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. FASE (2001)
Christine Choppy, Pascal Poizat, Jean-Claude Royer
The Korrigan Environment. J. Univers. Comput. Sci. 7 (1) (2001)
Jean-Claude Royer
Formal Specification and Proof Techniques for Mixed Systems. IPDPS (2001)
Pascal André, Annya Romanczuk, Jean-Claude Royer
Checking the Consistency of UML Class Diagrams Using Larch Prover. Rigorous Object-Oriented Methods (2000)
Pascal André, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos
An algebraic view of UML class diagrams. LMO (2000)
Christine Choppy, Pascal Poizat, Jean-Claude Royer
A Global Semantics for Views. AMAST (2000)
Jean-Claude Royer
Editorial. Obj. Logiciel Base données Réseaux 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)
Jean-Claude Royer
Type Checking Object-Oriented Programs: Core of the Problem and Some Solutions. J. Object Oriented Program. 11 (6) (1998)
Jean-Claude Royer
Editorial. Obj. Logiciel Base données Réseaux 4 (1) (1998)
Pascal Poizat, Christine Choppy, Jean-Claude Royer
Concurrency and Data Types: A Specification Method: An Example with LOTOS. WADT (1998)
Jean Bézivin, Olivier F. Roux, Jean-Claude Royer
Teaching object-oriented programming or using the object model to teach software engineering. OOPS Messenger 4 (2) (1993)
Pascal André, Jean-Claude Royer
Optimizing Method Search with Lookup Caches and Incremental Coloring. OOPSLA (1992)