Jean-Claude Royer

Publications

Article dans une revue (14)

A model-driven traceability framework for software product lines Nicolas Anquetil,Uirá Kulesza,Ralf Mitschke,Ana Moreira,Jean-Claude Royeret al. 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
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
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

Communication dans un congrès (57)

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
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
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
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
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
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
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
Abstract Accountability Language Walid Benghabrit,Hervé Grall,Jean-Claude Royer,Mohamed Sellami,Karin Bernsmedet 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-00973399v1
Abstract Accountability Language Walid Benghabrit,Hervé Grall,Jean-Claude Royer,Mohamed Sellami,Karin Bernsmedet al. 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
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 Azraouiet al. 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 Oliveiraet al. 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
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
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
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
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
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
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
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
JavaCompExt: Extracting Architectural Elements from Java Source Code Pascal André,Nicolas Anquetil,Gilles Ardourel,Jean-Claude Royer,Petr Hnetynkaet al. WCRE, Oct 2009, Lille, France. pp.317-318, ⟨10.1109/WCRE.2009.53⟩ Communication dans un congrès hal-00457219v1
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
AMPLE : Supporting Product Line Engineering through Synthesis of Aspect-Oriented and Model-Driven Development Awais Rashid,Ana Moreira,Joao Araujo,Mira Mezini,Lidia Fuenteset al. MODELS Research Projects Symposium, Oct 2008, France. pp.34-40 Communication dans un congrès hal-00418561v1
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
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
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 istex hal-00342158v1
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 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
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
Integration and composition of static and dynamic &quot;views&quot;: 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
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
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
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

Ouvrages (4)

Model-Driven and Software Product Line Engineering Hugo Arboleda,Jean-Claude Royer ISTE 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 Way Awais Rashid,Jean-Claude Royer,Andreas Rummler Cambridge University Press, pp.470, 2011 Ouvrages hal-00620981v1
Langages et Modèles à Objets Eric Cariou,Jean-Claude Royer Université de Pau et des pays de l'adour, pp.100, 2010 Ouvrages hal-00536035v1
RSTI L'objet, Usines logicielles et lignes de produits logiciels Jean-Claude Royer Hermès - Lavoisier, pp.120, 2008 Ouvrages hal-00486708v1

Chapitre d'ouvrage (8)

From Regulatory Obligations to Enforceable Accountability Policies in the Cloud Walid Benghabrit,Hervé Grall,Jean-Claude Royer,Mohamed Sellami,Monir Azraouiet al. 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 Moreiraet al. 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

Poster de conférence (1)

Monitoring accountability policies with AccMon framework Walid Benghabrit,Hervé Grall,Jean-Claude Royer GDR-GPL, Jun 2016, Besançon, France Poster de conférence hal-01332040v1

Rapport (4)

Automatically Summarizing all the Problems of a Rule-Based System Jean-Claude Royer,Massimo Tisi [Research Report] IMT Atlantique. 2020 Rapport (rapport de recherche) hal-02432411v1
The Conflict Notion and its Static Detection: a Formal Survey Jean-Claude Royer [Research Report] IMT Atlantique. 2019 Rapport (rapport de recherche) hal-02169360v1
The Abstract Accountability Language: its Syntax, Semantics and Tools Walid Benghabrit,Hervé Grall,Jean-Claude Royer,Anderson Santana de Oliveira [Research Report] IMT Atlantique. 2018 Rapport (rapport de recherche) hal-01856329v1
Well-Typed Services Cannot Go Wrong Diana Allam,Rémi Douence,Hervé Grall,Jean-Claude Royer,Mario Südholt [Research Report] RR-7899, INRIA. 2012 Rapport (rapport de recherche) hal-00700570v2

HDR (1)

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

Autre publication scientifique (2)

A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java Sebastian Pavel,Jacques Noyé,Pascal Poizat,Jean-Claude Royer 2005 Autre publication scientifique hal-00342153v1
Symbolic Bounded Analysis for Component Behavioural Protocols Pascal Poizat,Jean-Claude Royer,Gwen Salaün 2005 Autre publication scientifique hal-00342159v1