Claude Kaiser

According to our database, Claude Kaiser authored at least 21 papers between 1969 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2009

Weak Fairness Semantic Drawbacks in Java Multithreading.

Claude Kaiser, Jean-François Pradat-Peyre

Proceedings of the Reliable Software Technologies, 2009

2008

Gestion de la surcharge dans les systèmes de gestion de base de données temps réel.

Samia Bouzefrane, Jean-Paul Etienne, Claude Kaiser

Tech. Sci. Informatiques, 2008

Handling Overload and Data-Relaxation Control in Distributed Real-Time Database Systems.

Samia Bouzefrane, Jean-Paul Etienne, Claude Kaiser

Int. J. Comput. Their Appl., 2008

Concurrent Program Metrics Drawn by Quasar.

Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre

Proceedings of the Reliable Software Technologies, 2008

2007

Modelling Remote Concurrency with Ada.

Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre

Proceedings of the Reliable Software Technologies, 2007

2005

Dynamic Tasks Verification with Quasar.

Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the Reliable Software Technology, 2005

2003

Verifying linear time temporal logic properties of concurrent Ada programs with quasar.

Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, 2003

Distributed Overload Control for Real-Time Replicated Database Systems.

Samia Saad-Bouzefrane, Claude Kaiser

Proceedings of the ICEIS 2003, 2003

Quasar: A New Tool for Concurrent Ada Programs Analysis.

Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the Reliable Software Technologies, 2003

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

Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

Petri nets based proofs of Ada 95 solution for preference control.

Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1993

The DUNE_iX Real-Time Operating System.

Jean-Serge Banino, Jean Delcoigne, Claude Kaiser, Gérard Morisset

Comput. Syst., 1993

1989

Petri net models of a distributed election protocol on a unidirectional ring.

Gerard Florin, Claude Kaiser, Stéphane Natkin

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988

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

1980

Distributed Processing as a Key to Reliable and Evolving Software for Real Time Applications.

C. Gaude, J. Langet, S. Palassin, Claude Kaiser

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1976

An Extensible Structure for Protected Systems' Design.

Jean Ferrié, Claude Kaiser, Didier Lanciaux, Bernard Martin

Comput. J., 1976

1974

Analyse de quelques pannes d'un systeème d'exploitation.

Claude Kaiser, Sacha Krakowiak

Proceedings of the Operating Systems, 1974

Design and Implementation of a Time-Sharing System: A Critical Appraisal.

Claude Kaiser, Sacha Krakowiak

Proceedings of the Information Processing, 1974

1971

System Design and Implementation Using Parallel Processes.

Claude Bétourné, Jean Ferrié, Claude Kaiser, Sacha Krakowiak, Jacques Mossière

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

1970

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

1969

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

Proceedings of the Second Symposium on Operating Systems Principles, 1969