Rechercher

Claude Kaiser

Professeur émérite
Equipe Sempia
Mail : claude.kaisercnam.fr
Tel : 0158808453
Fax : 0140272845
http://cedric.cnam.fr/~claude

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

2009

2008

2007

2006

2004

2003

2002

2001

2000

1999

1998

1997