Process management and resource sharing in the multiaccess system "ESOPE". - Claude Bétourné; Jacques Boulenger; Jean Ferrié; Claude Kaiser; Jean Kott; Sacha Krakowiak; Jacques Mossière (SOSP, 1969)

Process management and resource sharing in the multiaccess system in ESOPE. - Claude Bétourné; Jacques Boulenger; Jean Ferrié; Claude Kaiser; Sacha Krakowiak; Jacques Mossière (Commun. ACM, 1970)

System Design and Implementation Using Parallel Processes. - Claude Bétourné; Jean Ferrié; Claude Kaiser; Sacha Krakowiak; Jacques Mossière (IFIP Congress (1), 1971)

Design and Implementation of a Time-Sharing System: A Critical Appraisal. - Claude Kaiser; Sacha Krakowiak (IFIP Congress, 1974)

Analyse de quelques pannes d'un systeème d'exploitation. - Claude Kaiser; Sacha Krakowiak (Symposium on Operating Systems, 1974)

An Extensible Structure for Protected Systems' Design. - Jean Ferrié; Claude Kaiser; Didier Lanciaux; Bernard Martin (Comput. J., 1976)

Distributed Processing as a Key to Reliable and Evolving Software for Real Time Applications. - C. Gaude; J. Langet; S. Palassin; Claude Kaiser (IFIP Congress, 1980)

CHORUS Distributed Operating System. - Marc Rozier; Vadim Abrossimov; François Armand; Ivan Boule; Michel Gien; Marc Guillemont; Frédéric Herrmann; Claude Kaiser; Sylvain Langlois; Pierre Léonard; Will Neuhauser (Comput. Syst., 1988)

Petri net models of a distributed election protocol on a unidirectional ring. - Gerard Florin; Claude Kaiser; Stéphane Natkin (Applications and Theory of Petri Nets, 1989)

The DUNE_iX Real-Time Operating System. - Jean-Serge Banino; Jean Delcoigne; Claude Kaiser; Gérard Morisset (Comput. Syst., 1993)

Petri nets based proofs of Ada 95 solution for preference control. - Kamel Barkaoui; Claude Kaiser; Jean-François Pradat-Peyre (APSEC, 1997)

Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service: a Case Study. - Claude Kaiser; Jean-François Pradat-Peyre (TRI-Ada, 1997)

Quasar: A New Tool for Concurrent Ada Programs Analysis. - Sami Evangelista; Claude Kaiser; Jean-François Pradat-Peyre; Pierre Rousseau (Ada-Europe, 2003)

Distributed Overload Control for Real-Time Replicated Database Systems. - Samia Saad-Bouzefrane; Claude Kaiser (ICEIS (1), 2003)

Verifying linear time temporal logic properties of concurrent Ada programs with quasar. - Sami Evangelista; Claude Kaiser; Jean-François Pradat-Peyre; Pierre Rousseau (SIGAda, 2003)

Dynamic Tasks Verification with Quasar. - Sami Evangelista; Claude Kaiser; Christophe Pajault; Jean-François Pradat-Peyre; Pierre Rousseau (Ada-Europe, 2005)

Modelling Remote Concurrency with Ada. - Claude Kaiser; Christophe Pajault; Jean-François Pradat-Peyre (Ada-Europe, 2007)

Concurrent Program Metrics Drawn by Quasar. - Claude Kaiser; Christophe Pajault; Jean-François Pradat-Peyre (Ada-Europe, 2008)

Handling Overload and Data-Relaxation Control in Distributed Real-Time Database Systems. - Samia Bouzefrane 001; Jean-Paul Etienne; Claude Kaiser (Int. J. Comput. Their Appl., 2008)

Gestion de la surcharge dans les systèmes de gestion de base de données temps réel. - Samia Bouzefrane 001; Jean-Paul Etienne; Claude Kaiser (Tech. Sci. Informatiques, 2008)

Weak Fairness Semantic Drawbacks in Java Multithreading. - Claude Kaiser; Jean-François Pradat-Peyre (Ada-Europe, 2009)