Accéder directement au contenu

Jean-Claude Royer

13
Documents

Publications

pascalpoizat

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-00342158v1
Image document

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

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 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

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

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-01135631v1

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

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