Travelled to:1 × France
1 × USA
1 × United Kingdom
Collaborated with:S.Evangelista C.Kaiser J.Pradat-Peyre C.Pajault
Talks about:quasar (3) program (2) concurr (2) ada (2) properti (1) analysi (1) verifi (1) tempor (1) linear (1) verif (1)
Person: Pierre Rousseau
DBLP: Rousseau:Pierre
Contributed to:
20052003
2003Wrote 3 papers:
- 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.