Place-Boundedness for Vector Addition Systems with one zero-test. - Rémi Bonnet; Alain Finkel; Jérôme Leroux; Marc Zeitoun (FSTTCS, 2010)

The Reachability Problem for Vector Addition System with One Zero-Test. - Rémi Bonnet (MFCS, 2011)

Decidability of LTL for Vector Addition Systems with One Zero-Test. - Rémi Bonnet (RP, 2011)

Extending the Rackoff technique to Affine nets. - Rémi Bonnet; Alain Finkel; M. Praveen (FSTTCS, 2012)

Model Checking Vector Addition Systems with one zero-test - Rémi Bonnet; Alain Finkel; Jérôme Leroux; Marc Zeitoun (Log. Methods Comput. Sci., 2012)

Bounded Context-Switching and Reentrant Locking. - Rémi Bonnet; Rohit Chadha (FoSSaCS, 2013)

Reachability under Contextual Locking. - Rémi Bonnet; Rohit Chadha; P. Madhusudan; Mahesh Viswanathan 001 (Log. Methods Comput. Sci., 2013)

Ordinal theory for expressiveness of well-structured transition systems. - Rémi Bonnet; Alain Finkel; Serge Haddad; Fernando Rosa-Velardo (Inf. Comput., 2013)

Analysis of Probabilistic Basic Parallel Processes. - Rémi Bonnet; Stefan Kiefer; Anthony Widjaja Lin (FoSSaCS, 2014)