Travelled to:
1 × Italy
1 × Switzerland
1 × United Kingdom
3 × France
3 × USA
Collaborated with:
J.Pradat-Peyre C.Pajault S.Evangelista P.Rousseau S.Saad-Bouzefrane C.Bétourné J.Boulenger J.Ferrié J.Kott S.Krakowiak J.Mossière
Talks about:
concurr (4) quasar (4) program (3) ada (3) resourc (2) system (2) time (2) task (2) multithread (1) multiaccess (1)
Person: Claude Kaiser
DBLP: Kaiser:Claude
Contributed to:
Wrote 9 papers:
- AdaEurope-2009-KaiserP #java #multi #semantics #thread
- Weak Fairness Semantic Drawbacks in Java Multithreading (CK, JFPP), pp. 90–104.
- AdaEurope-2008-KaiserPP #concurrent #metric
- Concurrent Program Metrics Drawn by Quasar (CK, CP, JFPP), pp. 101–114.
- AdaEurope-2007-KaiserPP #ada #concurrent #modelling
- Modelling Remote Concurrency with Ada (CK, CP, JFPP), pp. 192–207.
- AdaEurope-2005-EvangelistaKPPR #verification
- Dynamic Tasks Verification with Quasar (SE, CK, CP, JFPP, PR), pp. 91–104.
- AdaEurope-2003-EvangelistaKPR #ada #analysis #concurrent #named #source code
- Quasar: A New Tool for Concurrent Ada Programs Analysis (SE, CK, JFPP, PR), pp. 168–181.
- ICEIS-v1-2003-Saad-BouzefraneK #database #distributed #realtime
- Distributed Overload Control for Real-Time Replicated Database Systems (SSB, CK), pp. 380–388.
- SIGAda-2003-EvangelistaKPR #ada #concurrent #linear #logic #source code #verification
- Verifying linear time temporal logic properties of concurrent Ada programs with quasar (SE, CK, JFPP, PR), pp. 17–24.
- TRI-Ada-1997-KaiserP #case study #implementation #reliability #resource management
- Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service: a Case Study (CK, JFPP), pp. 51–65.
- SOSP-1969-BetourneBFKKKM #multi #process #resource management
- Process management and resource sharing in the multiaccess system “ESOPE” (CB, JB, JF, CK, JK, SK, JM), pp. 67–74.