Recherche

Accueil CEDRIC > Laboratoire > Membre > View >

Claude Kaiser

Equipe Mim
Parti depuis le 01/09/2017
Mail : claude.kaiser

cnam.fr
Tel : 0158808453
Fax : 0140272845
http://cedric.cnam.fr/~claude

Claude's Tag-Cloud :

Claude Kaiser (http://cedric.cnam.fr/~claude/) is Professor Emeritus of CNAM at the CEDRIC Laboratory. He has worked for long on real-time systems (system design for the French Marine, scientific consultant for Cerci/Peugeot and for the system Dune_iX), operating systems (work done at INRIA), and distributed systems (scientific consultant for Chorus OS). Currently, his main research activity pertains to verification and validation of concurrent applications. A tool called Quasar, based on Petri-nets has been developed for this purpose. He is also the co-author of several books on programming paradigms and algorithms (Grégoire), operating systems (Crocus, Cornafion) and real-time systems (Real-time Scheduling, Hermès 2000 et Scheduling in Real-Time Systems, Wiley, 2002).

Publications

2011

Livre

[Kai11] C. Kaiser. "LE CENTRE DE CALCUL COELACANTHE 1963-1970", March 2011, ILV-EDITION, pp. 83 pages,

2009

Conférence Internationale avec comité de lecture

[KP09] C. Kaiser, J. Pradat-Peyre. "Weak Fairness Semantic Drawbacks in Java Multithreading", Ada-Europe'09 Reliable Software Technologies, January 2009, pp.90-104, Series LNCS 5570,

2008

Revue Internationale avec comité de lecture

[BEKa08] S. Bouzefrane, J. Etienne, C. Kaiser. "Handling Overload and Data-relaxation Control in Distributed Real-Time Database Systems", International Journal of Computer and their Applications, vol. 15(3), pp. 187-200, 2008

Revue Nationale avec comité de lecture

[BEK08] S. Bouzefrane, J. Etienne, C. Kaiser. "Gestion de la surcharge dans les systÃ¨mes de gestion de base de donnÃ©es temps rÃ©el", TSI, Technique et Science Informatiques, vol. 27(7), pp. 879-910, 2008

Conférence Internationale avec comité de lecture

[KPP08] C. Kaiser, C. Pajault, J. Pradat-Peyre. "Concurrent Program metrics drawn by QUASAR", Ada-Europe''08 Int. Conf on Reliable Software Technologies, January 2008, pp.101-114, Series LNCS 5026,

2007

Conférence Internationale avec comité de lecture

[KPP07] C. Kaiser, C. Pajault, J. Pradat-Peyre. "Modelling remote concurrency with Ada. Case study of symmetric non-deterministic rendez-vous", Ada-Europe''07 Int. Conf. on Reliable Software Technologies, January 2007, Vol. volume(12), pp.192-207, Series LNCS 4498,

2006

Revue Internationale avec comité de lecture

[KPE06] C. Kaiser, J. Pradat-Peyre, S. Evangelista, P. Rousseau. "Comparing Java, C# and Ada Monitors queuing policies : a case study and its refinement", ACM Ada Letters, vol. 26(2), pp. 23-37, 2006

Rapport Scientifique

[KP06] C. Kaiser, J. Pradat-Peyre. "Noyau de concurrence par moniteur pour Java ou C#: pour une autre sÃ©mantique plus fiable et plus performante", Date de dépot: 2006/01/01, Nb pages 12 p, (Tech. Rep.: CEDRIC-06-1021)
[KPP06] C. Kaiser, C. Pajault, J. Pradat-Peyre. "Modelling remote concurrency with Ada.Case study of symmetric non-deterministic rendez-vous.", Date de dépot: 2006/01/01, Nb pages 15p, (Tech. Rep.: CEDRIC-06-1102)

2004

Conférence Nationale avec comité de lecture

[BFK04] C. Bétourné, J. Ferrié, C. Kaiser, S. Krakowiak, J. Mossière. "Ã‰sope : une Ã©tape de la recherche franÃ§aise en systÃ¨mes d'exploitation (1968-72)", SeptiÃƒÂ¨me colloque sur l'Histoire de l'Informatique et des Transmissions, Cesson Rennes, January 2004, pp.173-198,

2003

Revue Internationale avec comité de lecture

[EKP03a] S. Evangelista, C. Kaiser, J. Pradat-Peyre, P. Rousseau. "Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar", ACM Ada Letters, vol. 24(1), pp. 17-24, 2003

Conférence Internationale avec comité de lecture

[EKP03] S. Evangelista, C. Kaiser, J. Pradat-Peyre, P. Rousseau. "Quasar : A New Tool for Concurrent Ada Programs Analysis", January 2003, Vol. 2655, pp.166-181, Series LNCS,
[KP03] C. Kaiser, J. Pradat-Peyre. "Chameneos, a Concurrency Game for Java, Ada and Others", January 2003, pp.8 pages,
[BK03] S. Bouzefrane, C. Kaiser. "How to Manage Replicated Real-Time Databases in an Overloaded Distributed System?", Real-Time Systems Conference, Paris, January 2003, pp.484-501,
[BKa03] S. Bouzefrane, C. Kaiser. "Distributed Overload Control for Real-Time Replicated Database Systems", The 5th Int. Conf. on Enterprise Information Systems, Angers (France), January 2003, pp.380-388,

2002

Livre

[CDK02] F. Cottet, J. Delacroix, C. Kaiser, Z. Mammeri. "Scheduling in Real-Time Systems", October 2002, Wiley, pp. 282,

2001

Revue Nationale avec comité de lecture

[KAI01] C. Kaiser. "Description et critique d un systeme temps reel pour le suivi d un laminoir : Robustesse et potentiel d evolutivite", TSI, Technique et Science Informatiques, vol. 20(2), 2001

2000

Conférence Nationale avec comité de lecture

[RCK00] P. Richard, F. Cottet, C. Kaiser. "Validation temporelle d un logiciel temps reel : application a un laminoir industriel,", Congres CIFA, January 2000,

Livre

[CDK00] F. Cottet, J. Delacroix, C. Kaiser, Z. Mammeri. "Ordonnancement temps reel", January 2000, HermÃ¨s,

1999

Chapitres de Livre

[CDK99] F. Cottet, J. Delacroix, C. Kaiser, Z. Mammeri. "Ordonnancement temps reel", Titre du livre: "Collection Techniques de l", January 1999,
[CDKa99] F. Cottet, J. Delacroix, C. Kaiser, Z. Mammeri. "Ordonnancement reparti", Titre du livre: "Techniques de l ingenieur", January 1999,

Rapport Scientifique

[KS99] C. Kaiser, G. Stoffel. "Systeme d acquisition et d analyse en temps reel des signaux d un laminoir.", Date de dépot: 1999/01/01, (Tech. Rep.: CEDRIC-99-188)

1998

Conférence Internationale avec comité de lecture

[KP98] C. Kaiser, J. Pradat-Peyre. "Reliable, Fair and Efficient Concurrent Software with Dynamic Allocation of Identical Resources", MCSEAI'98, January 1998,

1997

Conférence Internationale avec comité de lecture

[KP97] C. Kaiser, J. Pradat-Peyre. "Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service : a Case Study", Tri-Ada'97, January 1997,
[BKP97] K. Barkaoui, C. Kaiser, J. Pradat-Peyre. "Petri nets based proofs of Ada 95 solution for preference control", APSEC '97 / ICSC '97, January 1997,
[BKPa97] K. Barkaoui, C. Kaiser, J. Pradat-Peyre. "Petri nets based proofs of Ada 95 solution for preference control", 3rd Asia-Pacific Software Engineering Conference APSECÃ‚Â’97, January 1997, pp.238-248,