|
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
Communication dans un congrès
hal-02943297
v1
|
|
Removing Problems in Rule-Based Policies
Zheng Cheng
,
Jean-Claude Royer
,
Massimo Tisi
Communication dans un congrès
hal-02169342
v1
|
|
CyprIoT: framework for modelling and controlling network-based IoT applications
Imad Berrouyne
,
Mehdi Adda
,
Jean-Marie Mottu
,
Jean-Claude Royer
,
Massimo Tisi
Communication dans un congrès
hal-02333578
v2
|
|
Efficiently Characterizing the Undefined Requests of a Rule-Based System
Zheng Cheng
,
Jean-Claude Royer
,
Massimo Tisi
Communication dans un congrès
hal-01828305
v1
|
|
Towards Model-Based Communication Control for the Internet of Things
Imad Berrouyne
,
Mehdi Adda
,
Jean-Marie Mottu
,
Jean-Claude Royer
,
Massimo Tisi
Communication dans un congrès
hal-01984056
v1
|
|
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-01648976
v1
|
|
AAL and Static Conflict Detection in Policy
Jean-Claude Royer
,
Anderson Santana de Oliveira
Communication dans un congrès
hal-01396376
v1
|
|
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-01214365
v1
|
|
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-01214360
v1
|
|
Abstract Accountability Language
Walid Benghabrit
,
Hervé Grall
,
Jean-Claude Royer
,
Mohamed Sellami
,
Karin Bernsmed
et al.
Communication dans un congrès
hal-01381692
v1
|
|
Abstract Accountability Language
Walid Benghabrit
,
Hervé Grall
,
Jean-Claude Royer
,
Mohamed Sellami
,
Karin Bernsmed
et al.
IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. pp.229--236
Communication dans un congrès
hal-00973399
v1
|
|
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-01206892
v1
|
|
A Cloud Accountability Policy Representation Framework
Walid Benghabrit
,
Hervé Grall
,
Jean-Claude Royer
,
Mohamed Sellami
,
Monir Azraoui
et al.
CLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain
Communication dans un congrès
hal-00941872
v1
|
|
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-01084890
v1
|
|
Accountability for Abstract Component Design
Walid Benghabrit
,
Hervé Grall
,
Jean-Claude Royer
,
Mohamed Sellami
Communication dans un congrès
hal-00987165
v1
|
|
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
et al.
SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom
Communication dans un congrès
hal-00846810
v1
|
|
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-00908552
v1
|
|
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-00800153
v1
|
|
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-00834149
v1
|
|
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-00668975
v1
|
|
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-00621001
v1
|
|
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-00700737
v1
|
|
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-00700750
v1
|
|
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-00536847
v1
|
|
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-00536845
v1
|
|
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-00418555
v1
|
|
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-00418556
v1
|
|
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-00418552
v1
|
|
JavaCompExt: Extracting Architectural Elements from Java Source Code
Pascal André
,
Nicolas Anquetil
,
Gilles Ardourel
,
Jean-Claude Royer
,
Petr Hnetynka
et al.
Communication dans un congrès
hal-00457219
v1
|
|
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-00412366
v1
|
|
AMPLE : Supporting Product Line Engineering through Synthesis of Aspect-Oriented and Model-Driven Development
Awais Rashid
,
Ana Moreira
,
Joao Araujo
,
Mira Mezini
,
Lidia Fuentes
et al.
MODELS Research Projects Symposium, Oct 2008, France. pp.34-40
Communication dans un congrès
hal-00418561
v1
|
|
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-00425387
v1
|
|
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-00425386
v1
|
|
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-00425384
v1
|
|
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-00342158
v1
|
|
Java Implementation of a Component Model with Explicit Symbolic Protocols
Sebastian Pavel
,
Jacques Noyé
,
Pascal Poizat
,
Jean-Claude Royer
Communication dans un congrès
hal-00342152
v1
|
|
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-00457194
v1
|
|
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-00457198
v1
|
|
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-00457192
v1
|
|
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-00457195
v1
|
|
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-00457199
v1
|
|
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-01135659
v1
|
|
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-01135653
v1
|
|
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-01135657
v1
|
|
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-01135631
v1
|
|
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-01135641
v1
|
|
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-01135611
v1
|
|
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-01135647
v1
|
|
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-01135580
v1
|
|
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-01135557
v1
|
|
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-01135547
v1
|
|
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-01135544
v1
|
|
Optimizing Method Search with Lookup Caches and Incremental Coloring
Pascal André
,
Jean-Claude Royer
Communication dans un congrès
hal-01135528
v1
|
|
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-01135537
v1
|
|
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-01135548
v1
|
|
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-01135535
v1
|
|
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-01134106
v1
|