×
Compute Distance To:
Author ID: delahaye.benoit Recent zbMATH articles by "Delahaye, Benoît"
Published as: Delahaye, Benoît; Delahaye, Benoit
Documents Indexed: 19 Publications since 2011
Co-Authors: 21 Co-Authors with 18 Joint Publications
635 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 44 times in 30 Documents Cited by Year
Constraint Markov chains. Zbl 1223.68070
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
9
2011
Abstract probabilistic automata. Zbl 1317.68095
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
8
2011
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory. Zbl 1271.68131
Beneš, Nikola; Delahaye, Benoît; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel
7
2013
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Zbl 1210.93068
Delahaye, Benoît; Caillaud, Benoît; Legay, Axel
4
2011
Consistency and refinement for interval Markov chains. Zbl 1247.68195
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
3
2012
Abstract probabilistic automata. Zbl 1296.68092
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
2
2013
Decision problems for interval Markov chains. Zbl 1330.68109
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
2
2011
Parameter synthesis for parametric interval Markov chains. Zbl 1475.68181
Delahaye, Benoît; Lime, Didier; Petrucci, Laure
2
2016
Heterogeneous timed machines. Zbl 1432.68224
Delahaye, Benoît; Fiadeiro, José Luiz; Legay, Axel; Lopes, Antónia
2
2014
Refinement and difference for probabilistic automata. Zbl 1338.68144
Delahaye, Benoît; Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel
1
2014
Probabilistic time Petri nets. Zbl 1346.68131
Emzivat, Yrvann; Delahaye, Benoît; Lime, Didier; Roux, Olivier H.
1
2016
Parametric timed broadcast protocols. Zbl 07157060
André, Étienne; Delahaye, Benoit; Fournier, Paulin; Lime, Didier
1
2019
Stuttering for abstract probabilistic automata. Zbl 1437.68094
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel
1
2013
Consistency for parametric interval Markov chains. Zbl 1429.68141
Delahaye, Benoît
1
2015
Parametric timed broadcast protocols. Zbl 07157060
André, Étienne; Delahaye, Benoit; Fournier, Paulin; Lime, Didier
1
2019
Parameter synthesis for parametric interval Markov chains. Zbl 1475.68181
Delahaye, Benoît; Lime, Didier; Petrucci, Laure
2
2016
Probabilistic time Petri nets. Zbl 1346.68131
Emzivat, Yrvann; Delahaye, Benoît; Lime, Didier; Roux, Olivier H.
1
2016
Consistency for parametric interval Markov chains. Zbl 1429.68141
Delahaye, Benoît
1
2015
Heterogeneous timed machines. Zbl 1432.68224
Delahaye, Benoît; Fiadeiro, José Luiz; Legay, Axel; Lopes, Antónia
2
2014
Refinement and difference for probabilistic automata. Zbl 1338.68144
Delahaye, Benoît; Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel
1
2014
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory. Zbl 1271.68131
Beneš, Nikola; Delahaye, Benoît; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel
7
2013
Abstract probabilistic automata. Zbl 1296.68092
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
2
2013
Stuttering for abstract probabilistic automata. Zbl 1437.68094
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel
1
2013
Consistency and refinement for interval Markov chains. Zbl 1247.68195
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
3
2012
Constraint Markov chains. Zbl 1223.68070
Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
9
2011
Abstract probabilistic automata. Zbl 1317.68095
Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej
8
2011
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Zbl 1210.93068
Delahaye, Benoît; Caillaud, Benoît; Legay, Axel
4
2011
Decision problems for interval Markov chains. Zbl 1330.68109
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
2
2011
all top 5

Cited by 75 Authors

9 Legay, Axel
7 Delahaye, Benoît
5 Larsen, Kim Guldstrand
3 Fahrenberg, Uli
2 Bujtor, Ferenc
2 Fendrich, Sascha
2 Fiadeiro, José Luiz
2 Forejt, Vojtěch
2 Fournier, Paulin
2 Katoen, Joost-Pieter
2 Křetínský, Jan
2 Kwiatkowska, Marta Z.
2 Lopes, Antónia
2 Lüttgen, Gerald
2 Srba, Jiří
2 Traonouez, Louis-Marie
2 Vogler, Walter
2 Wąsowski, Andrzej
1 Agrawal, Manindra
1 Akshay, S.
1 André, Étienne
1 Baier, Christel
1 Baldan, Paolo
1 Bart, Anicet
1 Bauer, Sebastian S.
1 Beneš, Nikola
1 Bérard, Béatrice
1 Biondi, Fabrizio
1 Bortolussi, Luca
1 Bruni, Roberto
1 Budde, Carlos Ernesto
1 Češka, Milan
1 Corradini, Andrea
1 D’Argenio, Pedro Rubén
1 de Alfaro, Luca
1 Dehnert, Christian
1 Gadducci, Fabio
1 Gebler, Daniel E.
1 Genest, Blaise
1 Girault, Alain
1 Gößler, Gregor
1 Hensel, Christian
1 Jansen, David N.
1 Juhl, Line
1 Junges, Sebastian
1 Kouchnarenko, Olga
1 Lime, Didier
1 Mangeruca, Leonardo
1 Melgratti, Hernán
1 Milios, Dimitrios
1 Møller, Mikael Harkjær
1 Monfroy, Eric
1 Montanari, Ugo G.
1 Mullins, John
1 Nielsen, Bo Friis
1 Norman, Gethin
1 Nyberg, Mattias
1 Pedersen, Mikkel Lykke
1 Pittou, Maria
1 Qu, Hongyang
1 Rahonis, George
1 Romeo, Íñigo X. Íncer
1 Sánchez Terraf, Pedro
1 Sangiovanni-Vincentelli, Alberto L.
1 Sanguinetti, Guido
1 Sassolas, Mathieu
1 Sher, Falak
1 Sickert, Salomon
1 Thiagarajan, Pazhamaneri Subramaniam
1 Truchet, Charlotte
1 Villa, Tiziano
1 Volpato, Michele
1 Westman, Jonas
1 Wolovick, Nicolás
1 Xu, Dana N.

Citations by Year