default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-Claude Royer

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/BerrouyneAMRT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/BerrouyneAMRT20
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: 1162-1175

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BerrouyneAMRT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BerrouyneAMRT19
Imad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Jean-Claude Royer, Massimo Tisi:
CyprIoT: framework for modelling and controlling network-based IoT applications. SAC 2019: 832-841
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/sec/ChengRT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sec/ChengRT19
Zheng Cheng, Jean-Claude Royer, Massimo Tisi:
Removing Problems in Rule-Based Policies. SEC 2019: 120-133
2018
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ChengRT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ChengRT18
Zheng Cheng, Jean-Claude Royer, Massimo Tisi:
Efficiently Characterizing the Undefined Requests of a Rule-Based System. IFM 2018: 69-88
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/BerrouyneAMRT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/BerrouyneAMRT18
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: 644-655
2017
[c39]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/prima/BenghabritRO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/BenghabritRO17
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: 35-42
2016
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/cans/RoyerO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cans/RoyerO16
Jean-Claude Royer, Anderson Santana de Oliveira:
AAL and Static Conflict Detection in Policy. CANS 2016: 367-382
2015
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/BenghabritGRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/BenghabritGRS15
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami:
Abstract Accountability Language: Translation, Compliance and Application. APSEC 2015: 214-221
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/BenghabritGRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/BenghabritGRS15
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami:
Checking Accountability with a Prover. COMPSAC 2015: 83-88
2014
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/closer/BenghabritGRSAE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/closer/BenghabritGRSAE14
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: 134-150
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/closer/BenghabritGRSAEOOB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/closer/BenghabritGRSAEOOB14
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: 489-498
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/BenghabritGRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/BenghabritGRS14
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami:
Accountability for Abstract Component Design. EUROMICRO-SEAA 2014: 213-220
[c32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifiptm/BenghabritGRSBO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifiptm/BenghabritGRSBO14
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, Anderson Santana de Oliveira:
Abstract Accountability Language. IFIPTM 2014: 229-236
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/SellamiRO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/SellamiRO14
Mohamed Sellami, Jean-Claude Royer, Anderson Santana de Oliveira:
Track Report of Privacy and Accountability for Software and Cloud Services (PASCS 2014). WETICE 2014: 332
2013
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/CherrueauDRSORD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/CherrueauDRSORD13
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: 235-249
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/AjouliCR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/AjouliCR13
Akram Ajouli, Julien Cohen, Jean-Claude Royer:
Transformations between Composite and Visitor Implementations in Java. EUROMICRO-SEAA 2013: 25-32
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/iiwas/AllamGR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/AllamGR13
Diana Allam, Hervé Grall, Jean-Claude Royer:
The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. iiWAS 2013: 250
[c27]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/webist/AllamGR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webist/AllamGR13
Diana Allam, Hervé Grall, Jean-Claude Royer:
From Object-oriented Programming to Service-oriented Computing - How to Improve Interoperability by Preserving Subtyping. WEBIST 2013: 169-173
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AjouliCR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AjouliCR13
Akram Ajouli, Julien Cohen, Jean-Claude Royer:
Transformations between Composite and Visitor implementations in Java. CoRR abs/1309.3235 (2013)
2012
[c26]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/webist/AllamDGRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webist/AllamDGRS12
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
2011
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/ArboledaR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/ArboledaR11
Hugo Arboleda, Jean-Claude Royer:
Component types qualification in Java legacy code driven by communication integrity rules. ISEC 2011: 155-164
2010
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/AnquetilKMMRRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/AnquetilKMMRRS10
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): 427-451 (2010)
[c24]
- view
  - electronic edition @ postech.ac.kr
  - details & citations
- export record
  dblp key:
  - conf/splc/ArboledaDVR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ArboledaDVR10
Hugo Arboleda, Juan Francisco Díaz, Victor Vargas, Jean-Claude Royer:
Automated Reasoning for Derivation of Model-Driven SPLs. SPLC Workshops 2010: 181-188

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c23]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/cibse/ArboledaRCR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cibse/ArboledaRCR09
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
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/FernandesPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/FernandesPR09
Fabrício de Alexandria Fernandes, Robin Passama, Jean-Claude Royer:
Event strictness for components with complex bindings. ISEC 2009: 47-56
[c21]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/splc/ArboledaCR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ArboledaCR09
Hugo Arboleda, Rubby Casallas, Jean-Claude Royer:
Dealing with fine-grained configurations in model-driven SPLs. SPLC 2009: 1-10
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/AnquetilRAAHPPP99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/AnquetilRAAHPPP99a
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
2008
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/Lobjet/AnquetilAFNR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/AnquetilAFNR08
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): 15-31 (2008)
2007
[c19]
- view
  - electronic edition @ iospress.nl
  - details & citations
- export record
  dblp key:
  - conf/wotug/FernandesPR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wotug/FernandesPR07
Fabrício de Alexandria Fernandes, Robin Passama, Jean-Claude Royer:
Components with Symbolic Transition Systems: A Java Implementation of Rendezvous. CPA 2007: 89-107
[c18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FernandesR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FernandesR08
Fabrício de Alexandria Fernandes, Jean-Claude Royer:
The STSLib Project: Towards a Formal Component Model Based on STS. FACS 2007: 131-149
2006
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/PoizatR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/PoizatR06
Pascal Poizat, Jean-Claude Royer:
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic. J. Univers. Comput. Sci. 12(12): 1741-1782 (2006)
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/PoizatRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/PoizatRS06
Pascal Poizat, Jean-Claude Royer, Gwen Salaün:
Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS 2006: 33-47
2005
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/soco/PavelNPR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/PavelNPR05
Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer:
A Java Implementation of a Component Model with Explicit Symbolic Protocols. SC@ETAPS 2005: 115-124
2004
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/Royer04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/Royer04
Jean-Claude Royer:
Checking Class Schema Usefulness. J. Object Technol. 3(1): 157-176 (2004)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/coopis/MarechalPR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coopis/MarechalPR04
Olivier Maréchal, Pascal Poizat, Jean-Claude Royer:
Checking Asynchronously Communicating Components Using Symbolic Transition Systems. CoopIS/DOA/ODBASE (2) 2004: 1502-1519
[c14]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iasse/Royer04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iasse/Royer04
Jean-Claude Royer:
A Framework for the GAT Temporal Logic. IASSE 2004: 275-280
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/PavelNR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/PavelNR04
Sebastian Pavel, Jacques Noyé, Jean-Claude Royer:
Dynamic Configuration of Software Product Lines in ArchJava. SPLC 2004: 90-109
2003
[j7]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/informaticaSI/Royer03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informaticaSI/Royer03
Jean-Claude Royer:
The GAT Approach to Specifying Mixed Systems. Informatica (Slovenia) 27(1): 89-104 (2003)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/coopis/RoyerX03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coopis/RoyerX03
Jean-Claude Royer, Michael Xu:
Analysing Mailboxes of Asynchronous Communicating Components. OTM 2003: 1421-1438
2002
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/Lobjet/PoizatR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/PoizatR02
Pascal Poizat, Jean-Claude Royer:
Une proposition de composants formels. Obj. Logiciel Base données Réseaux 8(1-2): 231-245 (2002)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/Royer02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/Royer02
Jean-Claude Royer:
An Operational Approach to the Semantics of Classes: Application to Type Checking. Program. Comput. Softw. 28(3): 127-147 (2002)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/AllemandR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/AllemandR02
Michel Allemand, Jean-Claude Royer:
Mixed Formal Specifications with PVS. IPDPS 2002
2001
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
  - details & citations
- export record
  dblp key:
  - books/hal/Royer01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hal/Royer01
Jean-Claude Royer:
Concepts et modèles formels pour l'analyse et la conception à objets. (Formal concepts and models to object-oriented analysis and design). University of Nantes, France, 2001
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/ChoppyPR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/ChoppyPR01
Christine Choppy, Pascal Poizat, Jean-Claude Royer:
The Korrigan Environment. J. Univers. Comput. Sci. 7(1): 19-36 (2001)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ChoppyPR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ChoppyPR01
Christine Choppy, Pascal Poizat, Jean-Claude Royer:
Formal Specification of Mixed Components with Korrigan. APSEC 2001: 169-176
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ChoppyPR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChoppyPR01
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
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/Royer01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/Royer01
Jean-Claude Royer:
Formal Specification and Proof Techniques for Mixed Systems. IPDPS 2001: 151
2000
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/ChoppyPR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/ChoppyPR00
Christine Choppy, Pascal Poizat, Jean-Claude Royer:
A Global Semantics for Views. AMAST 2000: 165-180
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/lmo/AndreRRV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lmo/AndreRRV00
Pascal André, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos:
An algebraic view of UML class diagrams. LMO 2000: 261-276
[c5]
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/room/AndreRR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/room/AndreRR00
Pascal André, Annya Romanczuk, Jean-Claude Royer:
Checking the Consistency of UML Class Diagrams Using Larch Prover. Rigorous Object-Oriented Methods 2000

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j3]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/Lobjet/Royer99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/Royer99
Jean-Claude Royer:
Editorial. Obj. Logiciel Base données Réseaux 5(3/4) (1999)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/PoizatCR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/PoizatCR99
Pascal Poizat, Christine Choppy, Jean-Claude Royer:
From Informal Requirements to COOP: A Concurrent Automata Approach. World Congress on Formal Methods 1999: 939-962
1998
[j2]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/Lobjet/Royer98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/Royer98
Jean-Claude Royer:
Editorial. Obj. Logiciel Base données Réseaux 4(1) (1998)
[j1]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/joop/Royer98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joop/Royer98
Jean-Claude Royer:
Type Checking Object-Oriented Programs: Core of the Problem and Some Solutions. J. Object Oriented Program. 11(6): 58-66, 71 (1998)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/PoizatCR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/PoizatCR98
Pascal Poizat, Christine Choppy, Jean-Claude Royer:
Concurrency and Data Types: A Specification Method: An Example with LOTOS. WADT 1998: 277-292
1992
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/AndreR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/AndreR92
Pascal André, Jean-Claude Royer:
Optimizing Method Search with Lookup Caches and Incremental Coloring. OOPSLA 1992: 110-126
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/oopsm/BezivinRR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/oopsm/BezivinRR93
Jean Bézivin, Olivier F. Roux, Jean-Claude Royer:
Teaching object-oriented programming or using the object model to teach software engineering. OOPSLA Addendum 1992: 269-276

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.