- 60
- 16
- 5
- 3
- 2
- 1
- 1
- 1
- 1
- 1
Jean-Claude Royer
91
Documents
Publications
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 15
- 13
- 10
- 9
- 9
- 8
- 7
- 6
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 56
- 34
- 21
- 20
- 9
- 9
- 7
- 3
- 1
- 2
- 3
- 3
- 1
- 2
- 3
- 7
- 5
- 3
- 6
- 4
- 6
- 4
- 3
- 2
- 3
- 4
- 4
- 2
- 4
- 4
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 4
- 1
|
A model-driven traceability framework for software product linesSoftware and Systems Modeling, 2010, 9 (4), pp.427--451. ⟨10.1007/s10270-009-0120-9⟩
Journal articles
hal-00668175v1
|
The Ample Project, Traceability of Software Product Line Development: Models and UncertaintyGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 85, pp.43-48
Journal articles
hal-00416457v1
|
|
Lignes de produits logiciels et usines logiciellesRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2008, 14 (3), pp.15-31
Journal articles
hal-00412398v1
|
|
The STSLib Project: Towards a Formal Component Model Based on STSElectronic Notes in Theoretical Computer Science, 2008, 215, pp.131-149
Journal articles
hal-00416461v1
|
|
|
A Formal Architectural Description Language based on Symbolic Transition Systems and Modal LogicJournal of Universal Computer Science, 2006, 12 (12), pp.1741-1782. ⟨10.3217/jucs-012-12-1741⟩
Journal articles
hal-00342156v1
|
Checking Class Schema UsefulnessThe Journal of Object Technology, 2004, 3 (1), pp.157-176
Journal articles
hal-00443975v1
|
|
Temporal Logic Verifications for UML: the Vending Machine ExampleRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2003, 9 (4), pp.73--92
Journal articles
hal-00443974v1
|
|
The GAT Approach to Specify Mixed SystemsInformatica, 2003, 27 (1), pp.89--103
Journal articles
hal-00444013v1
|
|
An Operational Approach to the Semantics of Classes: Application to Type CheckingProgramming and Computer Software, 2002, 27 (3), pp.127-147
Journal articles
hal-00444014v1
|
|
|
The Korrigan EnvironmentJournal of Universal Computer Science, 2001, 7 (1), pp.19-36. ⟨10.3217/jucs-007-01-0019⟩
Journal articles
hal-00444026v1
|
Type Checking Object-Oriented Programs: Core of the Problem and Some SolutionsJournal of Object Oriented Programming, 1998, 11 (6), pp.58-66
Journal articles
hal-01135570v1
|
|
Un point de vue sur les méthodes formelles à ObjetsRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 1996, 2 (4), pp.5-12
Journal articles
hal-00444069v1
|
|
Une expérimentation de développement formel à objetsRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1995, 14 (8), pp.973-1005
Journal articles
hal-00444074v1
|
|
A New Set Interpretation for the Inheritance Relation and its CheckingACM SIGPLAN OOPS Messenger, 1992, 3 (3), pp.22-40. ⟨10.1145/140959.140966⟩
Journal articles
hal-01134101v1
|
|
A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of ThingsAdvanced Information Networking and Applications, Apr 2020, Nantes, France. pp.1162-1175, ⟨10.1007/978-3-030-44041-1_100⟩
Conference papers
hal-02943297v1
|
|
CyprIoT: framework for modelling and controlling network-based IoT applicationsSAC 2019: 34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297362⟩
Conference papers
hal-02333578v2
|
|
Removing Problems in Rule-Based PoliciesSEC 2019 : ICT Systems Security and Privacy Protection, Jun 2019, Lisbon, Portugal. pp.120-133, ⟨10.1007/978-3-030-22312-0_9⟩
Conference papers
hal-02169342v1
|
|
Efficiently Characterizing the Undefined Requests of a Rule-Based SystemIFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.69-88, ⟨10.1007/978-3-319-98938-9_5⟩
Conference papers
hal-01828305v1
|
|
Towards Model-Based Communication Control for the Internet of ThingsSTAF Workshops, Jun 2018, Toulouse, France. pp.644-655, ⟨10.1007/978-3-030-04771-9_49⟩
Conference papers
hal-01984056v1
|
|
Towards the Specification of Natural Language Accountability Policies with AccLab: The Laptop Policy Use CasePRIMA 2017 The 20th International Conference on Principles and Practice of Multi-Agent Systems CARe-MAS workshop, Oct 2017, Nice, France
Conference papers
hal-01648976v1
|
AAL and Static Conflict Detection in Policy15th International Conference on Cryptology and Network Security, Nov 2016, Milan, Italy. pp.362-382, ⟨10.1007/978-3-319-48965-0_22⟩
Conference papers
hal-01396376v1
|
|
Checking Accountability with a Prover39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, ⟨10.1109/COMPSAC.2015.8⟩
Conference papers
hal-01214360v1
|
|
Abstract Accountability Language: Translation, Compliance and ApplicationASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India
Conference papers
hal-01214365v1
|
|
|
Abstract Accountability Language8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.229-236, ⟨10.1007/978-3-662-43813-8_17⟩
Conference papers
hal-01381692v1
|
Abstract Accountability LanguageIFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. pp.229--236
Conference papers
hal-00973399v1
|
|
A Cloud Accountability Policy Representation FrameworkCLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain
Conference papers
hal-00941872v1
|
|
Accountability for Abstract Component DesignEUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. pp.213-220, ⟨10.1109/SEAA.2014.68⟩
Conference papers
hal-00987165v1
|
|
Accountability for Data ProtectionInternational Workshop on Computational Intelligence for Multimedia Understanding, Nov 2014, Paris, France
Conference papers
hal-01084890v1
|
|
PASCS 2014: Privacy and Accountability for Software and Cloud Services2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, Parma, Italy. pp.332
Conference papers
hal-01206892v1
|
|
The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to SuccessThe 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Gabriele Kotsis, Dec 2013, Vienna, Austria
Conference papers
hal-00908552v1
|
|
|
Transformations between Composite and Visitor implementations in Java39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), Sep 2013, Santander, Spain. 8 p
Conference papers
hal-00834149v1
|
Reference monitors for security and interoperability in OAuth 2.0SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom
Conference papers
hal-00846810v1
|
|
|
From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving SubtypingWEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. pp.169-173
Conference papers
hal-00800153v1
|
|
A Message-Passing Model for Service Oriented ComputingWEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
Conference papers
hal-00668975v1
|
Component types qualification in Java legacy code driven by communication integrity rulesISEC 2011 : India Software Engineering Conference, Feb 2011, Thiruvananthapuram, Kerala, India. pp.155-164, ⟨10.1145/1953355.1953377⟩
Conference papers
hal-00621001v1
|
|
The Synthesis Problem for Trusted Service-based CollaborationsActes des troisi{é}mes journ{é}es nationales du Groupement De Recherche CNRS du G{é}nie de la Programmation et du Logiciel, Jun 2011, Lille, France
Conference papers
hal-00700750v1
|
|
|
Towards a Unified Formal Model for Service Orchestration and ChoreographyActes 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
Conference papers
hal-00700737v1
|
Automated Reasoning for Derivation of Model-Driven SPLs2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC 2010, Sep 2010, South Korea. pp.181--188
Conference papers
hal-00536845v1
|
|
Fiesta Toolkit: Model-Driven Software Product Lines in PracticeBrazilian Conference on Software: Theory and Practice, Sep 2010, Brazil. pp.61--66
Conference papers
hal-00536847v1
|
|
|
Using Transformation-Aspects in Model-Driven Software Product LinesProceedings 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
Conference papers
hal-00412366v1
|
Product Derivation in a Model-Driven Software Product Line using Decision ModelsIDEAS, Apr 2009, Colombia. pp.59--72
Conference papers
hal-00418555v1
|
|
Event Strictness for Components with Complex BindingsISEC, Feb 2009, India. pp.47--56
Conference papers
hal-00418556v1
|
|
Dealing with Fine-Grained Configurations in Model-Driven SPLsSPLC, Aug 2009, United States. pp.1-10
Conference papers
hal-00418552v1
|
|
|
JavaCompExt: Extracting Architectural Elements from Java Source CodeWCRE, Oct 2009, Lille, France. pp.317-318, ⟨10.1109/WCRE.2009.53⟩
Conference papers
hal-00457219v1
|
AMPLE : Supporting Product Line Engineering through Synthesis of Aspect-Oriented and Model-Driven DevelopmentMODELS Research Projects Symposium, Oct 2008, France. pp.34-40
Conference papers
hal-00418561v1
|
|
Dealing with Constraints during a Feature Configuration Process in a Model-Driven Software Product Line7th OOPSLA Workshop on Domain-Specific Modeling, Oct 2007, Canada. pp.178--183
Conference papers
hal-00425387v1
|
|
Components with Symbolic Transition Systems: A Java Implementation of Rendez-VousCommunicating Process Architecture Conference 2007, Jul 2007, United Kingdom. pp.89-107
Conference papers
hal-00425384v1
|
|
Implementing an MDA Approach for Managing Variability in Product Line Construction Using the GMF and GME Frameworks5th Nordic Workshop on Model Driven Software Engineering 2007, Aug 2007, Sweden. pp.67--82
Conference papers
hal-00425386v1
|
|
Bounded Analysis and Decomposition for Behavioural Descriptions of ComponentsProceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2006, Italy. pp.33--47, ⟨10.1007/11768869_5⟩
Conference papers
hal-00342158v1
|
|
Java Implementation of a Component Model with Explicit Symbolic ProtocolsSoftware Composition (SC), 2005, Edinburgh, United Kingdom. pp.115--124
Conference papers
hal-00342152v1
|
|
Dynamic Configuration of Software Product Lines in ArchJavaSoftware Product Lines: Third International Conference, 2004, Boston, MA, USA, United States. pp.90-109
Conference papers
hal-00457194v1
|
|
A Framework for the GAT Temporal LogicThe 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE'04), 2004, Nice, France, France. pp.275-280
Conference papers
hal-00457198v1
|
|
Checking Asynchronously Communicating Components Using Symbolic Transition SystemsOTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pp.1502-1519
Conference papers
hal-00457192v1
|
|
Analysing Mailboxes of Asynchronous Communicating ComponentsOn The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003, Catania, Sicily (Italy), Italy. pp.1421-1438
Conference papers
hal-00457199v1
|
|
A Translation of UML Components into Formal SpecificationsTOOLS East Europe 2002, 2003, Sofia, Bulgaria. pp.60-75
Conference papers
hal-00457195v1
|
|
Une proposition de composants formelsLangages et Modèles à Objets, 2002, Montpellier, France. pp.231-245
Conference papers
hal-01135659v1
|
|
Formal specification of mixed components with Korrigan8th Asia-Pacific Software Engineering Conference,, 2001, Macau, China. pp.169--176
Conference papers
hal-01135653v1
|
|
Formal Specification and Temporal Proof Techniques for Mixed SystemsWorkshop FMPPTA at IPDPS 2001 Symposium, 2001, San Fransisco, United States
Conference papers
hal-01135657v1
|
|
Integration and composition of static and dynamic "views": Unifying approach to complex system specificationWorkshop on integration of specification techniques with applications in engineering, 2000, Berlin, Germany. pp.12-20
Conference papers
hal-01135631v1
|
|
A global semantics for viewsInternational conference on Algebraic Methodology And Software Technology, 2000, Iowa, United States. pp.165--180
Conference papers
hal-01135611v1
|
|
Checking the Consistency of UML Class Diagrams Using Larch ProverThird Rigorous Object-Oriented Methods Workshop, 2000, York, United Kingdom
Conference papers
hal-01135641v1
|
|
An Algebraic View of UML Class DiagramsLangages et Modèles à Objets, 2000, Montréal, Canada. pp.261-276
Conference papers
hal-01135647v1
|
|
From informal requirements to COOP: a concurrent automata approachFormal Methods, 1999, Toulouse, France. pp.939-962
Conference papers
hal-01135580v1
|
|
The Invoicing System: Using GATComparing Systems Specification Techniques, Henri Habrias, 1998, Nantes, France. pp.381-395
Conference papers
hal-01135557v1
|
|
The Formal Class ModelJoint Modular Languages Conference, Modula, Oberon \& friends, Sep 1994, Ulm, Germany. pp.59-78
Conference papers
hal-01135547v1
|
|
La modélisation des listes en programmation par objetJournées Francophones des Langages Applicatifs, Jan 1994, Noirmoutier, France. pp.259-285
Conference papers
hal-01135544v1
|
|
Optimizing Method Search with Lookup Caches and Incremental Coloring110-126, Oct 1992, Vancouver, Canada. pp.110-126, ⟨10.1145/141937.141947⟩
Conference papers
hal-01135528v1
|
|
A propos des concepts de CLOSJournées Francophones des Langages Applicatifs, Jan 1991, Gresse-en-Vercors, France. pp.150-158
Conference papers
hal-01135537v1
|
|
Extensions Orientées Objets de SchemeJournées francophone des langages applicatifs, Jan 1990, La Rochelle, France. pp.145-159
Conference papers
hal-01135548v1
|
|
Un modèle pour l'héritage multipleJournées du GDR de Programmation, Oct 1990, Nice, France. pp.75-84
Conference papers
hal-01135535v1
|
|
Techniques de programmation en ObjScheme - application à la syntèse d'images en 2DLangages et algorithmes du graphisme, 1989, Toulouse, France. pp.72-80
Conference papers
hal-01134106v1
|
Model-Driven and Software Product Line EngineeringISTE LTd and John Wiley & Sons, Inc., pp.288, 2012, 978-1-84821-427-9
Books
hal-00734143v1
|
|
Aspect-Oriented, Model-Driven Software Product Lines The AMPLE WayCambridge University Press, pp.470, 2011
Books
hal-00620981v1
|
|
Langages et Modèles à ObjetsUniversité de Pau et des pays de l'adour, pp.100, 2010
Books
hal-00536035v1
|
|
RSTI L'objet, Usines logicielles et lignes de produits logicielsHermès - Lavoisier, pp.120, 2008
Books
hal-00486708v1
|
From Regulatory Obligations to Enforceable Accountability Policies in the CloudCloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015
Book sections
hal-01214387v1
|
|
Software Architecture for Product LinesMourad Oussalah. Software Architecture 1, Wiley-ISTE, pp.171-210, 2014, 978-1-84821-600-6
Book sections
hal-00997673v1
|
|
Architectures logicielles pour les lignes de produitsArchitectures logicielles : Principes, techniques et outils, ISTE, pp.189-225, 2013, 978-2-7462-4517-4
Book sections
hal-00997670v1
|
|
IntroductionAspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.3-26, 2011
Book sections
hal-00620988v1
|
|
Managing Information Flow in SPL Development ProcessesAspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.222-262, 2011
Book sections
hal-00620995v1
|
|
Concurrency and Data Types: a Specification Method. An Example with LOTOSFiadero, 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
Book sections
hal-01135605v1
|
|
Objets et spécifications formellesIngénierie Objet, Concepts et techniques, 1997, 2-7296-60642-4
Book sections
hal-01135550v1
|
|
Le modèle ObjScheme : principes et applicationsBIGRE putting Scheme to work, pp.145-159, 1989, 0221-522
Book sections
hal-01135567v1
|
|
Monitoring accountability policies with AccMon frameworkGDR-GPL, Jun 2016, Besançon, France
Conference poster
hal-01332040v1
|
|
Automatically Summarizing all the Problems of a Rule-Based System[Research Report] IMT Atlantique. 2020
Reports
hal-02432411v1
|
|
The Conflict Notion and its Static Detection: a Formal Survey[Research Report] IMT Atlantique. 2019
Reports
hal-02169360v1
|
|
The Abstract Accountability Language: its Syntax, Semantics and Tools[Research Report] IMT Atlantique. 2018
Reports
hal-01856329v1
|
|
Well-Typed Services Cannot Go Wrong[Research Report] RR-7899, INRIA. 2012
Reports
hal-00700570v2
|
|
Concepts et modèles formels pour l'analyse et la conception à objetsLangage de programmation [cs.PL]. Université de Nantes - Faculté des Sciences et Techniques, 2001
Habilitation à diriger des recherches
tel-02466362v1
|
Symbolic Bounded Analysis for Component Behavioural Protocols2005
Other publications
hal-00342159v1
|
|
A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java2005
Other publications
hal-00342153v1
|