Benoît Delahaye

École Centrale de Nantes — France

Computer Science · Physical Sciences

17h-index1.1kcitations70works1.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(52), Software Reliability and Analysis Research(25), Software Testing and Debugging Techniques(17), Petri Nets in System Modeling(12), Model-Driven Software Engineering Techniques(9)

Publications70 total

Computational assessment of Amazon forest plots regrowth capacity under strong spatial variability for simulating logging scenarios
Ecological Modelling·2024· 1 citedOpen Access
Datascape: exploring heterogeneous dataspace
Scientific Reports·2024· 2 citedOpen Access
End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models
ACM Transactions on Modeling and Computer Simulation·2024Open Access
On the degradation of forest ecosystems by extreme events: Statistical Model Checking of a hybrid model
Ecological Complexity·2023· 12 citedOpen Access
End-to-End Statistical Model Checking for Parametric ODE Models
Lecture notes in computer science·2022· 1 citedOpen Access
Quantitative Analysis of Interval Markov Chains
Lecture notes in computer science·2021· 4 citedOpen Access
Modeling and Verification of Systems with Uncertainties
HAL (Le Centre pour la Communication Scientifique Directe)·2020Open Access
Probabilistic modeling to estimate jellyfish ecophysiological properties and size distributions
Scientific Reports·2020· 17 citedOpen Access
Consistency in Parametric Interval Probabilistic Timed Automata
HAL (Le Centre pour la Communication Scientifique Directe)·2019Open Access
Statistical model checking for parameterized models
HAL (Le Centre pour la Communication Scientifique Directe)·2019· 1 citedOpen Access
Parametric Statistical Model Checking of UAV Flight Plan
Lecture notes in computer science·2019· 7 citedOpen Access
Graphical Event Model Learning and Verification for Security Assessment
Lecture notes in computer science·2019· 2 citedOpen Access
Reachability in parametric Interval Markov Chains using constraints
Theoretical Computer Science·2018· 11 citedOpen Access
On the Power of Uncertainties in Microbial System Modeling: No Need To Hide Them Anymore
mSystems·2017· 5 citedOpen Access
Introducing probabilistic reasoning within Event-B
Software & Systems Modeling·2017· 5 citedOpen Access
Une extension probabiliste pour Event-B
HAL (Le Centre pour la Communication Scientifique Directe)·2017Open Access
Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes
HAL (Le Centre pour la Communication Scientifique Directe)·2017
Reachability in Parametric Interval Markov Chains using Constraints
arXiv (Cornell University)·2017Open Access
Dynamic networks of heterogeneous timed machines
Mathematical Structures in Computer Science·2017· 2 cited
Moving from Event-B to probabilistic Event-B
2017· 5 citedOpen Access
page 1 of 4Next →

Frequent Co-authors

Axel Legay(24), Kim G. Larsen(13), Mikkel L. Pedersen(10), Andrzej Wąsowski(9), Benoı̂t Caillaud(7), Didier Lime(7), Saddek Bensalem(6), Marius Bozga(5), Axel Legay(4), Joost-Pieter Katoen(4), Falak Sher(4), Ananda Basu(3), Uli Fahrenberg(3), Damien Eveillard(3), Paulin Fournier(3), Antónia Lopes(3), Ayoub Nouri(2), Cyrille Jégourel(2), Nikola Beneš(2), Jan Křetínský(2)