Travelled to:1 × Italy
1 × Spain
1 × Switzerland
1 × United Kingdom
2 × France
2 × USA
Collaborated with:C.Kaiser C.Pajault S.Evangelista P.Rousseau E.Bruneton
Talks about:concurr (5) program (4) quasar (4) ada (4) verif (2) task (2) multithread (1) implement (1) properti (1) drawback (1)
Person: Jean-François Pradat-Peyre
DBLP: Pradat-Peyre:Jean=Fran=ccedil=ois
Contributed to:
20092008200720052003
200319991997Wrote 8 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.
- 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.
- AdaEurope-1999-BrunetonP #ada #automation #concurrent #source code #verification
- Automatic Verification of Concurrent Ada Programs (EB, JFPP), pp. 146–157.
- 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.