Jean-Claude Royer

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