- 7
- 6
Jean-Claude Royer
13
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 13
- 6
- 2
- 2
- 2
- 1
- 7
- 6
- 6
- 2
- 3
- 1
- 1
- 2
- 2
- 2
|
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
|
|
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
|
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
|
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
|
|
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
|
|
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
|
|
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
|
|
From informal requirements to COOP: a concurrent automata approachFormal Methods, 1999, Toulouse, France. pp.939-962
Communication dans un congrès
hal-01135580v1
|
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
|
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
|