Sbastien Labb
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICALP | Out-Of-Order Membership in Regular Languages. | Antoine Amarilli, Sbastien Labb, Charles Paperman |
| 2024 | ICDT | Skyline Operators for Document Spanners. | Antoine Amarilli, Benny Kimelfeld, Sbastien Labb, Stefan Mengel |
| 2016 | DLT | Bispecial Factors in the Brun S-Adic System. | Sbastien Labb, Julien Leroy |
| 2011 | SAFECOMP | Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. | Richard Bonichon, Graud Canet, Loc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sbastien Labb, Samuel Mimram |
| 2010 | PRDC | Formal Verification of Industrial Software with Dynamic Memory Management. | Sbastien Labb, Arnaud Sangnier |
| 2006 | ISoLA | CARVER: A Slicing Tool for Communicating Automata Specifications. | Sbastien Labb, Arnault Lapitre |