Travelled to:1 × Italy
1 × Switzerland
1 × United Kingdom
Collaborated with:C.Kaiser J.Pradat-Peyre S.Evangelista P.Rousseau
Talks about:concurr (2) quasar (2) program (1) metric (1) verif (1) remot (1) model (1) dynam (1) drawn (1) task (1)
Person: Christophe Pajault
DBLP: Pajault:Christophe
Contributed to:
200820072005Wrote 3 papers:
- 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.