×
Jérôme Leroux from www.labri.fr
Dr CNRS Laboratoire Bordelais de Recherche en Informatique (LaBRI) Equipe Méthodes Formelles (MF) Domaine Universitaire 351 cours de la liberation 33405 ...

Jerome Leroux

Author
Affiliation: Université de Bordeaux
Research interests: Formal Methods, Logique, and Counter Systems
CNRS researcher, LaBRI, France - ‪‪Cited by 3075‬‬ - ‪Formal Methods‬ - ‪Logique‬ - ‪Counter Systems‬
Jérôme Leroux from etaps.org
Jérôme Leroux is a CNRS senior researcher, member and former director of the Formal Methods team of the computer science laboratory of Bordeaux (LaBRI) in ...
Sep 30, 2024 · List of computer science publications by Jérôme Leroux.
Jerome Leroux serves as CTO at MicroEJ and manages the technical experts developing the core technology and defines technology roadmap.
Jérôme Leroux's 82 research works with 2079 citations, including: Ackermannian Completion of Separators.
Publication Topics. Complex Class,Finite Set,Petri Nets,Upper Bound,Abelian Group,Binary String,Class Of Problems,Conditions Hold,Decision Problem ...
Semantic Scholar profile for Jérôme Leroux, with 141 highly influential citations and 93 scientific research papers.
Author Picture Jérôme Leroux. LaBRI, Université de Bordeaux, CNRS, Domaine Universitaire, 351, cours de la Libération, 33405 Talence, France. , · Author Picture ...
More than 15 years of software development for embedded systems.<br>Expert in virtual… · Experience: MicroEJ · Education: Université de Nantes · Location: ...