×

zbMATH — the first resource for mathematics

Bonnet, Remi

Compute Distance To:
Author ID: bonnet.remi Recent zbMATH articles by "Bonnet, Remi"
Published as: Bonnet, Remi; Bonnet, Rémi
Documents Indexed: 10 Publications since 2010

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 14 times in 11 Documents Cited by Year
The reachability problem for vector addition system with one zero-test. Zbl 1343.68160
Bonnet, Rémi
4
2011
Analysis of probabilistic basic parallel processes. Zbl 1405.68208
Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja
3
2014
Extending the Rackoff technique to affine nets. Zbl 1354.68190
Bonnet, Rémi; Finkel, Alain; Praveen, M.
2
2012
Model checking vector addition systems with one zero-test. Zbl 1242.68196
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
2
2012
Reachability under contextual locking. Zbl 1274.68064
Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P.
1
2013
Decidability of LTL for vector addition systems with one zero-test. Zbl 1348.68157
Bonnet, Rémi
1
2011
Place-boundedness for vector addition systems with one zero-test. Zbl 1245.68131
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
1
2010
Analysis of probabilistic basic parallel processes. Zbl 1405.68208
Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja
3
2014
Reachability under contextual locking. Zbl 1274.68064
Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P.
1
2013
Extending the Rackoff technique to affine nets. Zbl 1354.68190
Bonnet, Rémi; Finkel, Alain; Praveen, M.
2
2012
Model checking vector addition systems with one zero-test. Zbl 1242.68196
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
2
2012
The reachability problem for vector addition system with one zero-test. Zbl 1343.68160
Bonnet, Rémi
4
2011
Decidability of LTL for vector addition systems with one zero-test. Zbl 1348.68157
Bonnet, Rémi
1
2011
Place-boundedness for vector addition systems with one zero-test. Zbl 1245.68131
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
1
2010

Citations by Year