Rémi Bonnet

11 papers B 4Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2014 B conf
Analysis of Probabilistic Basic Parallel Processes.
FoSSaCS
Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin
2014 J jnl
Analysis of Probabilistic Basic Parallel Processes.
CoRR
Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin
2013 B conf
Bounded Context-Switching and Reentrant Locking.
FoSSaCS
Rémi Bonnet, Rohit Chadha
2013 J jnl
Ordinal theory for expressiveness of well-structured transition systems.
Inf. Comput.
Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
2013 J jnl
Reachability under Contextual Locking.
Log. Methods Comput. Sci.
Rémi Bonnet, Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
2012 — conf
Extending the Rackoff technique to Affine nets.
FSTTCS
Rémi Bonnet, Alain Finkel, M. Praveen
2012 J jnl
Model Checking Vector Addition Systems with one zero-test
Log. Methods Comput. Sci.
Rémi Bonnet, Alain Finkel, Jérôme Leroux, Marc Zeitoun
2011 — conf
Decidability of LTL for Vector Addition Systems with One Zero-Test.
RP
Rémi Bonnet
2011 B conf
Ordinal Theory for Expressiveness of Well Structured Transition Systems.
FoSSaCS
Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
2011 B conf
The Reachability Problem for Vector Addition System with One Zero-Test.
MFCS
Rémi Bonnet
2010 — conf
Place-Boundedness for Vector Addition Systems with one zero-test.
FSTTCS
Rémi Bonnet, Alain Finkel, Jérôme Leroux, Marc Zeitoun