Rémi Bonnet

According to our database, Rémi Bonnet authored at least 9 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Analysis of Probabilistic Basic Parallel Processes.

Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013

Ordinal theory for expressiveness of well-structured transition systems.

Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo

Inf. Comput., 2013

Reachability under Contextual Locking.

Rémi Bonnet, Rohit Chadha, P. Madhusudan, Mahesh Viswanathan

Log. Methods Comput. Sci., 2013

Bounded Context-Switching and Reentrant Locking.

Rémi Bonnet, Rohit Chadha

Proceedings of the Foundations of Software Science and Computation Structures, 2013

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

Extending the Rackoff technique to Affine nets.

Rémi Bonnet, Alain Finkel, M. Praveen

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2011

Decidability of LTL for Vector Addition Systems with One Zero-Test.

Rémi Bonnet

Proceedings of the Reachability Problems - 5th International Workshop, 2011

The Reachability Problem for Vector Addition System with One Zero-Test.

Rémi Bonnet

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

2010

Place-Boundedness for Vector Addition Systems with one zero-test.

Rémi Bonnet, Alain Finkel, Jérôme Leroux, Marc Zeitoun

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010