- 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
- 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⟩
Article dans une revue
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
Article dans une revue
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
Article dans une revue
hal-00412398v1
|
|
The STSLib Project: Towards a Formal Component Model Based on STSElectronic Notes in Theoretical Computer Science, 2008, 215, pp.131-149
Article dans une revue
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⟩
Article dans une revue
hal-00342156v1
|
Checking Class Schema UsefulnessThe Journal of Object Technology, 2004, 3 (1), pp.157-176
Article dans une revue
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
Article dans une revue
hal-00443974v1
|
|
The GAT Approach to Specify Mixed SystemsInformatica, 2003, 27 (1), pp.89--103
Article dans une revue
hal-00444013v1
|
|
An Operational Approach to the Semantics of Classes: Application to Type CheckingProgramming and Computer Software, 2002, 27 (3), pp.127-147
Article dans une revue
hal-00444014v1
|
|
|
The Korrigan EnvironmentJournal 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 SolutionsJournal 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 à 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
Article dans une revue
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
Article dans une revue
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⟩
Article dans une revue
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01214360v1
|
|
Abstract Accountability Language: Translation, Compliance and ApplicationASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01381692v1
|
Abstract Accountability LanguageIFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. pp.229--236
Communication dans un congrès
hal-00973399v1
|
|
A Cloud Accountability Policy Representation FrameworkCLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain
Communication dans un congrès
hal-00941872v1
|
|
Accountability for Data ProtectionInternational Workshop on Computational Intelligence for Multimedia Understanding, Nov 2014, Paris, France
Communication dans un congrès
hal-01084890v1
|
|
PASCS 2014: Privacy and Accountability for Software and Cloud Services2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, Parma, Italy. pp.332
Communication dans un congrès
hal-01206892v1
|
|
Accountability for Abstract Component DesignEUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. pp.213-220, ⟨10.1109/SEAA.2014.68⟩
Communication dans un congrès
hal-00987165v1
|
|
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
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
hal-00536845v1
|
|
Fiesta Toolkit: Model-Driven Software Product Lines in PracticeBrazilian Conference on Software: Theory and Practice, Sep 2010, Brazil. pp.61--66
Communication dans un congrès
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
Communication dans un congrès
hal-00412366v1
|
Product Derivation in a Model-Driven Software Product Line using Decision ModelsIDEAS, Apr 2009, Colombia. pp.59--72
Communication dans un congrès
hal-00418555v1
|
|
Event Strictness for Components with Complex BindingsISEC, Feb 2009, India. pp.47--56
Communication dans un congrès
hal-00418556v1
|
|
|
JavaCompExt: Extracting Architectural Elements from Java Source CodeWCRE, 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 SPLsSPLC, 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 DevelopmentMODELS 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 Line7th OOPSLA Workshop on Domain-Specific Modeling, Oct 2007, Canada. pp.178--183
Communication dans un congrès
hal-00425387v1
|
|
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
Communication dans un congrès
hal-00425386v1
|
|
Components with Symbolic Transition Systems: A Java Implementation of Rendez-VousCommunicating Process Architecture Conference 2007, Jul 2007, United Kingdom. pp.89-107
Communication dans un congrès
hal-00425384v1
|
|
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⟩
Communication dans un congrès
hal-00342158v1
|
|
|
Java Implementation of a Component Model with Explicit Symbolic ProtocolsSoftware Composition (SC), 2005, Edinburgh, United Kingdom. pp.115-124, ⟨10.1007/11550679_9⟩
Communication dans un congrès
hal-00342152v1
|
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
Communication dans un congrès
hal-00457198v1
|
|
Dynamic Configuration of Software Product Lines in ArchJavaSoftware Product Lines: Third International Conference, 2004, Boston, MA, USA, United States. pp.90-109
Communication dans un congrès
hal-00457194v1
|
|
Checking Asynchronously Communicating Components Using Symbolic Transition SystemsOTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pp.1502-1519
Communication dans un congrès
hal-00457192v1
|
|
A Translation of UML Components into Formal SpecificationsTOOLS East Europe 2002, 2003, Sofia, Bulgaria. pp.60-75
Communication dans un congrès
hal-00457195v1
|
|
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
Communication dans un congrès
hal-00457199v1
|
|
Une proposition de composants formelsLangages et Modèles à Objets, 2002, Montpellier, France. pp.231-245
Communication dans un congrès
hal-01135659v1
|
|
Formal specification of mixed components with Korrigan8th 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 SystemsWorkshop 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 specificationWorkshop on integration of specification techniques with applications in engineering, 2000, Berlin, Germany. pp.12-20
Communication dans un congrès
hal-01135631v1
|
|
A global semantics for viewsInternational conference on Algebraic Methodology And Software Technology, 2000, Iowa, United States. pp.165--180
Communication dans un congrès
hal-01135611v1
|
|
Checking the Consistency of UML Class Diagrams Using Larch ProverThird Rigorous Object-Oriented Methods Workshop, 2000, York, United Kingdom
Communication dans un congrès
hal-01135641v1
|
|
An Algebraic View of UML Class DiagramsLangages 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 approachFormal Methods, 1999, Toulouse, France. pp.939-962
Communication dans un congrès
hal-01135580v1
|
|
The Invoicing System: Using GATComparing Systems Specification Techniques, Henri Habrias, 1998, Nantes, France. pp.381-395
Communication dans un congrès
hal-01135557v1
|
|
The Formal Class ModelJoint 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 objetJourné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 Coloring110-126, Oct 1992, Vancouver, Canada. pp.110-126, ⟨10.1145/141937.141947⟩
Communication dans un congrès
hal-01135528v1
|
|
A propos des concepts de CLOSJourné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 SchemeJourné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 multipleJourné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 2DLangages et algorithmes du graphisme, 1989, Toulouse, France. pp.72-80
Communication dans un congrès
hal-01134106v1
|
Model-Driven and Software Product Line EngineeringISTE LTd and John Wiley & Sons, Inc., pp.288, 2012, 978-1-84821-427-9
Ouvrages
hal-00734143v1
|
|
Aspect-Oriented, Model-Driven Software Product Lines The AMPLE WayCambridge University Press, pp.470, 2011
Ouvrages
hal-00620981v1
|
|
Langages et Modèles à ObjetsUniversité de Pau et des pays de l'adour, pp.100, 2010
Ouvrages
hal-00536035v1
|
|
RSTI L'objet, Usines logicielles et lignes de produits logicielsHermès - Lavoisier, pp.120, 2008
Ouvrages
hal-00486708v1
|
From Regulatory Obligations to Enforceable Accountability Policies in the CloudCloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015
Chapitre d'ouvrage
hal-01214387v1
|
|
Software Architecture for Product LinesMourad 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 produitsArchitectures logicielles : Principes, techniques et outils, ISTE, pp.189-225, 2013, 978-2-7462-4517-4
Chapitre d'ouvrage
hal-00997670v1
|
|
IntroductionAspect-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 ProcessesAspect-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 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
Chapitre d'ouvrage
hal-01135605v1
|
|
Objets et spécifications formellesIngénierie Objet, Concepts et techniques, 1997, 2-7296-60642-4
Chapitre d'ouvrage
hal-01135550v1
|
|
Le modèle ObjScheme : principes et applicationsBIGRE putting Scheme to work, pp.145-159, 1989, 0221-522
Chapitre d'ouvrage
hal-01135567v1
|
|
Monitoring accountability policies with AccMon frameworkGDR-GPL, Jun 2016, Besançon, France
Poster de conférence
hal-01332040v1
|
|
Automatically Summarizing all the Problems of a Rule-Based System[Research Report] IMT Atlantique. 2020
Rapport
hal-02432411v1
|
|
The Conflict Notion and its Static Detection: a Formal Survey[Research Report] IMT Atlantique. 2019
Rapport
hal-02169360v1
|
|
The Abstract Accountability Language: its Syntax, Semantics and Tools[Research Report] IMT Atlantique. 2018
Rapport
hal-01856329v1
|
|
Well-Typed Services Cannot Go Wrong[Research Report] RR-7899, INRIA. 2012
Rapport
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
HDR
tel-02466362v1
|
A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java2005
Autre publication scientifique
hal-00342153v1
|
|
Symbolic Bounded Analysis for Component Behavioural Protocols2005
Autre publication scientifique
hal-00342159v1
|