Claude Kaiser

Publication Activity (10 Years)

Years Active: 1969-2009
Publications (10 Years): 0

Publications

Claude Kaiser, Jean-François Pradat-Peyre
Weak Fairness Semantic Drawbacks in Java Multithreading. Ada-Europe (2009)
Samia Bouzefrane, Jean-Paul Etienne, Claude Kaiser
Gestion de la surcharge dans les systèmes de gestion de base de données temps réel. Tech. Sci. Informatiques 27 (7) (2008)
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre
Concurrent Program Metrics Drawn by Quasar. Ada-Europe (2008)
Samia Bouzefrane, Jean-Paul Etienne, Claude Kaiser
Handling Overload and Data-Relaxation Control in Distributed Real-Time Database Systems. Int. J. Comput. Their Appl. 15 (3) (2008)
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre
Modelling Remote Concurrency with Ada. Ada-Europe (2007)
Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
Dynamic Tasks Verification with Quasar. Ada-Europe (2005)
Samia Saad-Bouzefrane, Claude Kaiser
Distributed Overload Control for Real-Time Replicated Database Systems. ICEIS (1) (2003)
Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
Verifying linear time temporal logic properties of concurrent Ada programs with quasar. SIGAda (2003)
Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
Quasar: A New Tool for Concurrent Ada Programs Analysis. Ada-Europe (2003)
Claude Kaiser, Jean-François Pradat-Peyre
Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service: a Case Study. TRI-Ada (1997)
Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre
Petri nets based proofs of Ada 95 solution for preference control. APSEC (1997)
Jean-Serge Banino, Jean Delcoigne, Claude Kaiser, Gérard Morisset
The DUNE_iX Real-Time Operating System. Comput. Syst. 6 (4) (1993)
Gerard Florin, Claude Kaiser, Stéphane Natkin
Petri net models of a distributed election protocol on a unidirectional ring. Applications and Theory of Petri Nets (1989)
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
CHORUS Distributed Operating System. Comput. Syst. 1 (4) (1988)
C. Gaude, J. Langet, S. Palassin, Claude Kaiser
Distributed Processing as a Key to Reliable and Evolving Software for Real Time Applications. IFIP Congress (1980)
Jean Ferrié, Claude Kaiser, Didier Lanciaux, Bernard Martin
An Extensible Structure for Protected Systems' Design. Comput. J. 19 (4) (1976)
Claude Kaiser, Sacha Krakowiak
Design and Implementation of a Time-Sharing System: A Critical Appraisal. IFIP Congress (1974)
Claude Kaiser, Sacha Krakowiak
Analyse de quelques pannes d'un systeème d'exploitation. Symposium on Operating Systems (1974)
Claude Bétourné, Jean Ferrié, Claude Kaiser, Sacha Krakowiak, Jacques Mossière
System Design and Implementation Using Parallel Processes. IFIP Congress (1) (1971)
Claude Bétourné, Jacques Boulenger, Jean Ferrié, Claude Kaiser, Sacha Krakowiak, Jacques Mossière
Process management and resource sharing in the multiaccess system in ESOPE. Commun. ACM 13 (12) (1970)
Claude Bétourné, Jacques Boulenger, Jean Ferrié, Claude Kaiser, Jean Kott, Sacha Krakowiak, Jacques Mossière
Process management and resource sharing in the multiaccess system "ESOPE". SOSP (1969)