Pierre Chambart

18 papers A* 1B 4C 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2026 — conf
Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml.
TACAS (1)
João Madeira Pereira, Filipe Marques, Pedro Adão, Hichem Rami Ait El Hara, Léo Andrès, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, José Fragoso Santos
2024 — conf
Chamelon : A Delta-Debugger for OCaml.
FM (2)
Milla Valnet, Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron
2024 J jnl
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly.
CoRR
Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Santos, Jean-Christophe Filliâtre
2024 J jnl
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly.
Art Sci. Eng. Program.
Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Santos, Jean-Christophe Filliâtre
2021 — conf
Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains.
FAB
Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni, Eugen Zalinescu
2020 J jnl
Tenderbake - Classical BFT Style Consensus for Public Blockchains.
CoRR
Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Edward Tate, Sara Tucci Piergiovanni, Eugen Zalinescu
2016 J jnl
Forward analysis and model checking for trace bounded WSTS.
Theor. Comput. Sci.
Pierre Chambart, Alain Finkel, Sylvain Schmitz
2011 B conf
Forward Analysis and Model Checking for Trace Bounded WSTS.
Petri Nets
Pierre Chambart, Alain Finkel, Sylvain Schmitz
2011 — —
On Post's embedding problem and the complexity of lossy channels. (Du problème de sous mot de Post et de la complexité des canaux non fiables).
Pierre Chambart
2010 C conf
Computing Blocker Sets for the Regular Post Embedding Problem.
Developments in Language Theory
Pierre Chambart, Philippe Schnoebelen
2010 J jnl
Forward Analysis and Model Checking for Bounded WSTS
CoRR
Pierre Chambart, Alain Finkel, Sylvain Schmitz
2010 — conf
Pumping and Counting on the Regular Post Embedding Problem.
ICALP (2)
Pierre Chambart, Philippe Schnoebelen
2010 J jnl
Toward a Compositional Theory of Leftist Grammars and Transformations
CoRR
Pierre Chambart, Philippe Schnoebelen
2010 B conf
Toward a Compositional Theory of Leftist Grammars and Transformations.
FoSSaCS
Pierre Chambart, Philippe Schnoebelen
2008 B conf
Mixing Lossy and Perfect Fifo Channels.
CONCUR
Pierre Chambart, Philippe Schnoebelen
2008 A* conf
The Ordinal Recursive Complexity of Lossy Channel Systems.
LICS
Pierre Chambart, Philippe Schnoebelen
2008 B conf
The omega-Regular Post Embedding Problem.
FoSSaCS
Pierre Chambart, Philippe Schnoebelen
2007 — conf
Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems.
FSTTCS
Pierre Chambart, Philippe Schnoebelen