Accéder directement au contenu

Jean-Claude Royer

91
Documents

Publications

Image document

A model-driven traceability framework for software product lines

Nicolas Anquetil , Uirá Kulesza , Ralf Mitschke , Ana Moreira , Jean-Claude Royer
Software and Systems Modeling, 2010, 9 (4), pp.427--451. ⟨10.1007/s10270-009-0120-9⟩
Article dans une revue hal-00668175v1

The Ample Project, Traceability of Software Product Line Development: Models and Uncertainty

Joost Noppen , Jean-Claude Royer
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 85, pp.43-48
Article dans une revue hal-00416457v1

Lignes de produits logiciels et usines logicielles

Nicolas Anquetil , Hugo Arboleda , Fernandes Fabricio , Angel Nunez , Jean-Claude Royer
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2008, 14 (3), pp.15-31
Article dans une revue hal-00412398v1

The STSLib Project: Towards a Formal Component Model Based on STS

Fabricio Fernandes , Jean-Claude Royer
Electronic Notes in Theoretical Computer Science, 2008, 215, pp.131-149
Article dans une revue hal-00416461v1
Image document

A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic

Pascal Poizat , Jean-Claude Royer
Journal of Universal Computer Science, 2006, 12 (12), pp.1741-1782. ⟨10.3217/jucs-012-12-1741⟩
Article dans une revue hal-00342156v1

Checking Class Schema Usefulness

Jean-Claude Royer
The Journal of Object Technology, 2004, 3 (1), pp.157-176
Article dans une revue hal-00443975v1

Temporal Logic Verifications for UML: the Vending Machine Example

Jean-Claude Royer
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2003, 9 (4), pp.73--92
Article dans une revue hal-00443974v1

The GAT Approach to Specify Mixed Systems

Jean-Claude Royer
Informatica, 2003, 27 (1), pp.89--103
Article dans une revue hal-00444013v1

An Operational Approach to the Semantics of Classes: Application to Type Checking

Jean-Claude Royer
Programming and Computer Software, 2002, 27 (3), pp.127-147
Article dans une revue hal-00444014v1
Image document

The Korrigan Environment

Christine Choppy , Pascal Poizat , Jean-Claude Royer
Journal of Universal Computer Science, 2001, 7 (1), pp.19-36. ⟨10.3217/jucs-007-01-0019⟩
Article dans une revue hal-00444026v1

Type Checking Object-Oriented Programs: Core of the Problem and Some Solutions

Jean-Claude Royer
Journal of Object Oriented Programming, 1998, 11 (6), pp.58-66
Article dans une revue hal-01135570v1

Un point de vue sur les méthodes formelles à Objets

Pascal André , Jean-Claude Royer
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 1996, 2 (4), pp.5-12
Article dans une revue hal-00444069v1

Une expérimentation de développement formel à objets

Pascal André , Franck Barbier , Jean-Claude Royer
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1995, 14 (8), pp.973-1005
Article dans une revue hal-00444074v1

A New Set Interpretation for the Inheritance Relation and its Checking

Jean-Claude Royer
ACM SIGPLAN OOPS Messenger, 1992, 3 (3), pp.22-40. ⟨10.1145/140959.140966⟩
Article dans une revue hal-01134101v1
Image document

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
Advanced Information Networking and Applications, Apr 2020, Nantes, France. pp.1162-1175, ⟨10.1007/978-3-030-44041-1_100⟩
Communication dans un congrès hal-02943297v1
Image document

Removing Problems in Rule-Based Policies

Zheng Cheng , Jean-Claude Royer , Massimo Tisi
SEC 2019 : ICT Systems Security and Privacy Protection, Jun 2019, Lisbon, Portugal. pp.120-133, ⟨10.1007/978-3-030-22312-0_9⟩
Communication dans un congrès hal-02169342v1
Image document

CyprIoT: framework for modelling and controlling network-based IoT applications

Imad Berrouyne , Mehdi Adda , Jean-Marie Mottu , Jean-Claude Royer , Massimo Tisi
SAC 2019: 34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297362⟩
Communication dans un congrès hal-02333578v2
Image document

Efficiently Characterizing the Undefined Requests of a Rule-Based System

Zheng Cheng , Jean-Claude Royer , Massimo Tisi
IFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.69-88, ⟨10.1007/978-3-319-98938-9_5⟩
Communication dans un congrès hal-01828305v1
Image document

Towards Model-Based Communication Control for the Internet of Things

Imad Berrouyne , Mehdi Adda , Jean-Marie Mottu , Jean-Claude Royer , Massimo Tisi
STAF Workshops, Jun 2018, Toulouse, France. pp.644-655, ⟨10.1007/978-3-030-04771-9_49⟩
Communication dans un congrès hal-01984056v1
Image document

Towards the Specification of Natural Language Accountability Policies with AccLab: The Laptop Policy Use Case

Walid Benghabrit , Jean-Claude Royer , Anderson Santana de Oliveira
PRIMA 2017 The 20th International Conference on Principles and Practice of Multi-Agent Systems CARe-MAS workshop, Oct 2017, Nice, France
Communication dans un congrès hal-01648976v1

AAL and Static Conflict Detection in Policy

Jean-Claude Royer , Anderson Santana de Oliveira
15th International Conference on Cryptology and Network Security, Nov 2016, Milan, Italy. pp.362-382, ⟨10.1007/978-3-319-48965-0_22⟩
Communication dans un congrès hal-01396376v1

Checking Accountability with a Prover

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami
39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, ⟨10.1109/COMPSAC.2015.8⟩
Communication dans un congrès hal-01214360v1

Abstract Accountability Language: Translation, Compliance and Application

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami
ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India
Communication dans un congrès hal-01214365v1
Image document

Abstract Accountability Language

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami , Karin Bernsmed
8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.229-236, ⟨10.1007/978-3-662-43813-8_17⟩
Communication dans un congrès hal-01381692v1

Abstract Accountability Language

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami , Karin Bernsmed
IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. pp.229--236
Communication dans un congrès hal-00973399v1

Accountability for Abstract Component Design

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami
EUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. pp.213-220, ⟨10.1109/SEAA.2014.68⟩
Communication dans un congrès hal-00987165v1

PASCS 2014: Privacy and Accountability for Software and Cloud Services

Mohamed Sellami , Jean-Claude Royer , Anderson Santana de Oliveira
2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, Parma, Italy. pp.332
Communication dans un congrès hal-01206892v1

A Cloud Accountability Policy Representation Framework

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami , Monir Azraoui
CLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain
Communication dans un congrès hal-00941872v1

Accountability for Data Protection

Mohamed Sellami , Jean-Claude Royer , Walid Benghabrit
International Workshop on Computational Intelligence for Multimedia Understanding, Nov 2014, Paris, France
Communication dans un congrès hal-01084890v1

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
SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom
Communication dans un congrès hal-00846810v1

The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success

Diana Allam , Hervé Grall , Jean-Claude Royer
The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Gabriele Kotsis, Dec 2013, Vienna, Austria
Communication dans un congrès hal-00908552v1
Image document

From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping

Diana Allam , Hervé Grall , Jean-Claude Royer
WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. pp.169-173
Communication dans un congrès hal-00800153v1
Image document

Transformations between Composite and Visitor implementations in Java

Akram Ajouli , Julien Cohen , Jean-Claude Royer
39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), Sep 2013, Santander, Spain. 8 p
Communication dans un congrès hal-00834149v1
Image document

A Message-Passing Model for Service Oriented Computing

Diana Allam , Rémi Douence , Hervé Grall , Jean-Claude Royer , Mario Südholt
WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
Communication dans un congrès hal-00668975v1

Component types qualification in Java legacy code driven by communication integrity rules

Hugo Arboleda , Jean-Claude Royer
ISEC 2011 : India Software Engineering Conference, Feb 2011, Thiruvananthapuram, Kerala, India. pp.155-164, ⟨10.1145/1953355.1953377⟩
Communication dans un congrès hal-00621001v1
Image document

Towards a Unified Formal Model for Service Orchestration and Choreography

Diana Allam , Hervé Grall , Jean-Claude Royer
Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Jun 2011, Lille, France
Communication dans un congrès hal-00700737v1

The Synthesis Problem for Trusted Service-based Collaborations

Diana Allam , Rémi Douence , Hervé Grall , Jean-Claude Royer , Mario Südholt
Actes des troisi{é}mes journ{é}es nationales du Groupement De Recherche CNRS du G{é}nie de la Programmation et du Logiciel, Jun 2011, Lille, France
Communication dans un congrès hal-00700750v1

Fiesta Toolkit: Model-Driven Software Product Lines in Practice

Hugo Arboleda , Andres Romero , Rubby Casallas , Jean-Claude Royer
Brazilian Conference on Software: Theory and Practice, Sep 2010, Brazil. pp.61--66
Communication dans un congrès hal-00536847v1

Automated Reasoning for Derivation of Model-Driven SPLs

Hugo Arboleda , Victor Vargas , Francisco Diaz Juan , Jean-Claude Royer
2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC 2010, Sep 2010, South Korea. pp.181--188
Communication dans un congrès hal-00536845v1
Image document

Using Transformation-Aspects in Model-Driven Software Product Lines

Hugo Arboleda , Rubby Casallas , Jean-Claude Royer
Proceedings of the 3th International Workshop on Aspects, Dependencies, and Interactions at 22nd European Conference on Object-Oriented Programming (ECOOP'07), Jul 2009, Paphos, Cyprus. pp.46--56
Communication dans un congrès hal-00412366v1

Product Derivation in a Model-Driven Software Product Line using Decision Models

Hugo Arboleda , Andres Romero , Rubby Casallas , Jean-Claude Royer
IDEAS, Apr 2009, Colombia. pp.59--72
Communication dans un congrès hal-00418555v1

Event Strictness for Components with Complex Bindings

Fabricio Fernandes , Jean-Claude Royer , Robin Passama
ISEC, Feb 2009, India. pp.47--56
Communication dans un congrès hal-00418556v1
Image document

JavaCompExt: Extracting Architectural Elements from Java Source Code

Pascal André , Nicolas Anquetil , Gilles Ardourel , Jean-Claude Royer , Petr Hnetynka
WCRE, Oct 2009, Lille, France. pp.317-318, ⟨10.1109/WCRE.2009.53⟩
Communication dans un congrès hal-00457219v1

Dealing with Fine-Grained Configurations in Model-Driven SPLs

Hugo Arboleda , Rubby Casallas , Jean-Claude Royer
SPLC, Aug 2009, United States. pp.1-10
Communication dans un congrès hal-00418552v1

AMPLE : Supporting Product Line Engineering through Synthesis of Aspect-Oriented and Model-Driven Development

Awais Rashid , Ana Moreira , Joao Araujo , Mira Mezini , Lidia Fuentes
MODELS Research Projects Symposium, Oct 2008, France. pp.34-40
Communication dans un congrès hal-00418561v1

Dealing with Constraints during a Feature Configuration Process in a Model-Driven Software Product Line

Hugo Arboleda , Rubby Casallas , Jean-Claude Royer
7th OOPSLA Workshop on Domain-Specific Modeling, Oct 2007, Canada. pp.178--183
Communication dans un congrès hal-00425387v1

Components with Symbolic Transition Systems: A Java Implementation of Rendez-Vous

Fabricio Fernandes , Jean-Claude Royer , Robin Passama
Communicating Process Architecture Conference 2007, Jul 2007, United Kingdom. pp.89-107
Communication dans un congrès hal-00425384v1

Implementing an MDA Approach for Managing Variability in Product Line Construction Using the GMF and GME Frameworks

Hugo Arboleda , Rubby Casallas , Jean-Claude Royer
5th Nordic Workshop on Model Driven Software Engineering 2007, Aug 2007, Sweden. pp.67--82
Communication dans un congrès hal-00425386v1

Bounded Analysis and Decomposition for Behavioural Descriptions of Components

Pascal Poizat , Jean-Claude Royer , Gwen Salaün
Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2006, Italy. pp.33--47, ⟨10.1007/11768869_5⟩
Communication dans un congrès hal-00342158v1
Image document

Java Implementation of a Component Model with Explicit Symbolic Protocols

Sebastian Pavel , Jacques Noyé , Pascal Poizat , Jean-Claude Royer
Software Composition (SC), 2005, Edinburgh, United Kingdom. pp.115-124, ⟨10.1007/11550679_9⟩
Communication dans un congrès hal-00342152v1

Checking Asynchronously Communicating Components Using Symbolic Transition Systems

Olivier Maréchal , Pascal Poizat , Jean-Claude Royer
OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pp.1502-1519
Communication dans un congrès hal-00457192v1

A Framework for the GAT Temporal Logic

Jean-Claude Royer
The 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE'04), 2004, Nice, France, France. pp.275-280
Communication dans un congrès hal-00457198v1

Dynamic Configuration of Software Product Lines in ArchJava

Sébastien Pavel , Jacques Noyé , Jean-Claude Royer
Software Product Lines: Third International Conference, 2004, Boston, MA, USA, United States. pp.90-109
Communication dans un congrès hal-00457194v1

Analysing Mailboxes of Asynchronous Communicating Components

Jean-Claude Royer , Michael Xu
On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003, Catania, Sicily (Italy), Italy. pp.1421-1438
Communication dans un congrès hal-00457199v1

A Translation of UML Components into Formal Specifications

Liang Peng , Annya Réquilé Romanczuk , Jean-Claude Royer
TOOLS East Europe 2002, 2003, Sofia, Bulgaria. pp.60-75
Communication dans un congrès hal-00457195v1

Une proposition de composants formels

Pascal Poizat , Jean-Claude Royer
Langages et Modèles à Objets, 2002, Montpellier, France. pp.231-245
Communication dans un congrès hal-01135659v1

Formal specification of mixed components with Korrigan

Christine Choppy , Pascal Poizat , Jean-Claude Royer
8th Asia-Pacific Software Engineering Conference,, 2001, Macau, China. pp.169--176
Communication dans un congrès hal-01135653v1

Formal Specification and Temporal Proof Techniques for Mixed Systems

Jean-Claude Royer
Workshop FMPPTA at IPDPS 2001 Symposium, 2001, San Fransisco, United States
Communication dans un congrès hal-01135657v1

Integration and composition of static and dynamic "views": Unifying approach to complex system specification

Christine Choppy , Pascal Poizat , Jean-Claude Royer
Workshop on integration of specification techniques with applications in engineering, 2000, Berlin, Germany. pp.12-20
Communication dans un congrès hal-01135631v1

Checking the Consistency of UML Class Diagrams Using Larch Prover

Pascal André , Annya Réquilé Romanczuk , Jean-Claude Royer , Vasconcelos Aline
Third Rigorous Object-Oriented Methods Workshop, 2000, York, United Kingdom
Communication dans un congrès hal-01135641v1

A global semantics for views

Christine Choppy , Pascal Poizat , Jean-Claude Royer
International conference on Algebraic Methodology And Software Technology, 2000, Iowa, United States. pp.165--180
Communication dans un congrès hal-01135611v1

An Algebraic View of UML Class Diagrams

Pascal André , Annya Réquilé Romanczuk , Jean-Claude Royer , Vasconcelos Aline
Langages et Modèles à Objets, 2000, Montréal, Canada. pp.261-276
Communication dans un congrès hal-01135647v1

From informal requirements to COOP: a concurrent automata approach

Christine Choppy , Pascal Poizat , Jean-Claude Royer
Formal Methods, 1999, Toulouse, France. pp.939-962
Communication dans un congrès hal-01135580v1

The Invoicing System: Using GAT

Pascal André , Jean-Claude Royer
Comparing Systems Specification Techniques, Henri Habrias, 1998, Nantes, France. pp.381-395
Communication dans un congrès hal-01135557v1

The Formal Class Model

Pascal André , Dan Chiorean , Jean-Claude Royer
Joint Modular Languages Conference, Modula, Oberon \& friends, Sep 1994, Ulm, Germany. pp.59-78
Communication dans un congrès hal-01135547v1

La modélisation des listes en programmation par objet

Pascal Andre , Jean-Claude Royer
Journées Francophones des Langages Applicatifs, Jan 1994, Noirmoutier, France. pp.259-285
Communication dans un congrès hal-01135544v1

Optimizing Method Search with Lookup Caches and Incremental Coloring

Pascal André , Jean-Claude Royer
110-126, Oct 1992, Vancouver, Canada. pp.110-126, ⟨10.1145/141937.141947⟩
Communication dans un congrès hal-01135528v1

A propos des concepts de CLOS

Jean-Claude Royer
Journées Francophones des Langages Applicatifs, Jan 1991, Gresse-en-Vercors, France. pp.150-158
Communication dans un congrès hal-01135537v1

Extensions Orientées Objets de Scheme

Jean-Claude Royer
Journées francophone des langages applicatifs, Jan 1990, La Rochelle, France. pp.145-159
Communication dans un congrès hal-01135548v1

Un modèle pour l'héritage multiple

Jean-Claude Royer
Journées du GDR de Programmation, Oct 1990, Nice, France. pp.75-84
Communication dans un congrès hal-01135535v1

Techniques de programmation en ObjScheme - application à la syntèse d'images en 2D

Jean-Claude Royer
Langages et algorithmes du graphisme, 1989, Toulouse, France. pp.72-80
Communication dans un congrès hal-01134106v1

From Regulatory Obligations to Enforceable Accountability Policies in the Cloud

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami , Monir Azraoui
Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015
Chapitre d'ouvrage hal-01214387v1

Software Architecture for Product Lines

Hugo Arboleda , Rubby Casallas , Jaime Chavarriaga , Jean-Claude Royer
Mourad Oussalah. Software Architecture 1, Wiley-ISTE, pp.171-210, 2014, 978-1-84821-600-6. ⟨10.1002/9781118930960.ch5⟩
Chapitre d'ouvrage hal-00997673v1

Architectures logicielles pour les lignes de produits

Hugo Arboleda , Rubby Casallas , Jaime Chavarriaga , Jean-Claude Royer
Architectures logicielles : Principes, techniques et outils, ISTE, pp.189-225, 2013, 978-2-7462-4517-4
Chapitre d'ouvrage hal-00997670v1

Introduction

Awais Rashid , Jean-Claude Royer , Andreas Rummler
Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.3-26, 2011
Chapitre d'ouvrage hal-00620988v1

Managing Information Flow in SPL Development Processes

Nicolas Anquetil , Uira Kulesza , Ricardo Mateus , Ralf Mitschke , Ana Moreira
Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.222-262, 2011
Chapitre d'ouvrage hal-00620995v1

Concurrency and Data Types: a Specification Method. An Example with LOTOS

Pascal Poizat , Christine Choppy , Jean-Claude Royer
Fiadero, J. Recent Trends in Algebraic Development Techniques, Selected Papers of the 13th Workshop on Algebraic Development Techniques, WADT'98, 1589, pp.276-291, 1999, LNCS, ISBN 3-540-66246-4
Chapitre d'ouvrage hal-01135605v1

Objets et spécifications formelles

Pascal André , Jean-Claude Royer
Ingénierie Objet, Concepts et techniques, 1997, 2-7296-60642-4
Chapitre d'ouvrage hal-01135550v1

Le modèle ObjScheme : principes et applications

Jean-Claude Royer , Pierre Castéran , Achille Braquelaire , Myriam Desainte-Catherine , Jean-Guy Penaud
BIGRE putting Scheme to work, pp.145-159, 1989, 0221-522
Chapitre d'ouvrage hal-01135567v1
Image document

Concepts et modèles formels pour l'analyse et la conception à objets

Jean-Claude Royer
Langage de programmation [cs.PL]. Université de Nantes - Faculté des Sciences et Techniques, 2001
HDR tel-02466362v1