Claude Kaiser

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