×
Compute Distance To:
Author ID: legay.axel Recent zbMATH articles by "Legay, Axel"
Published as: Legay, Axel
all top 5

Co-Authors

0 single-authored
29 Fahrenberg, Uli
24 Larsen, Kim Guldstrand
16 Wąsowski, Andrzej
12 Delahaye, Benoît
10 Biondi, Fabrizio
10 Traonouez, Louis-Marie
7 David, Alexandre
6 Wolper, Pierre
5 Bøgsted Poulsen, Danny
5 Ésik, Zoltán
5 Given-Wilson, Thomas
5 Pedersen, Mikkel Lykke
5 Pinchinat, Sophie
5 Quaas, Karin
5 Sedwards, Sean
4 Bauer, Sebastian S.
4 Bozzelli, Laura
4 Thrane, Claus R.
3 Caillaud, Benoît
3 Faella, Marco
3 Jegourel, Cyrille
3 Juhl, Line
3 Křetínský, Jan
3 Malacaria, Pasquale
3 Mikucionis, Marius
3 Nielsen, Bo Friis
3 Nyman, Ulrik
2 Abdulla, Parosh Aziz
2 Belytschko, Ted Bohdan
2 Beneš, Nikola
2 Boigelot, Bernard
2 Bulychev, Peter E.
2 Cachera, David
2 Cantin, François
2 de Alfaro, Luca
2 Dimovski, Aleksandar S.
2 d’Orso, Julien
2 Fiadeiro, José Luiz
2 Heuser, Annelie
2 Katoen, Joost-Pieter
2 Kawamoto, Yusuke
2 Lime, Didier
2 Lopes, Antónia
2 Margaria, Tiziana
2 Raclet, Jean-Baptiste
2 Rezine, Ahmed
2 Schobbens, Pierre-Yves
2 Sher, Falak
2 Vardi, Moshe Ya’akov
2 Wang, Zheng
1 Aceto, Luca
1 Allamigeon, Xavier
1 Aminof, Benjamin
1 Apel, Sven
1 Artho, Cyrille
1 Bacci, Giorgio
1 Bacci, Giovanni
1 Badouel, Eric
1 Bensalem, Saddek
1 Benveniste, Albert
1 Bertacco, Valeria
1 Bertrand, Nathalie
1 Bouajjani, Ahmed
1 Bourke, Timothy
1 Bozga, Marius
1 Chadha, Rohit
1 Chatterjee, Krishnendu
1 Chessa, Jack
1 Clarke, Edmund Melson jun.
1 Cordy, Maxime
1 Cristescu, Ioana Domnina
1 da Silva, Leandro Dias
1 D’Argenio, Pedro Rubén
1 Donzé, Alexandre
1 Enescu, Michael A.
1 Fried, Dror
1 Gadyatskaya, Olga
1 Gaubert, Stéphane
1 Genet, Thomas
1 Grosu, Radu
1 Hansen, René Rydhof
1 Hartmanns, Arnd
1 Ingólfsdóttir, Anna
1 Jensen, Peter Gjøl
1 Jerson Ortiz, James
1 Jovic, Alan
1 Katz, Ricardo David
1 Lakhneck, Yassine
1 Larsen, Kim Gulstrand
1 Lazreg, Sami
1 Le Gall, Tristan
1 Li, Guangyuan
1 Lukina, Anna
1 Mardare, Radu
1 Meel, Kuldeep S.
1 Murano, Aniello
1 Murat, Valérie
1 Olesen, Mads Christian
1 Ortiz, James N.
1 Ouaknine, Joel O.
...and 19 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

72 Publications have been cited 365 times in 166 Documents Cited by Year
An Eulerian-Lagrangian method for fluid-structure interaction based on level sets. Zbl 1119.74053
Legay, A.; Chessa, J.; Belytschko, T.
50
2006
Strong and weak arbitrary discontinuities in spectral finite elements. Zbl 1167.74045
Legay, A.; Wang, H. W.; Belytschko, T.
32
2005
Timed I/O automata: a complete specification theory for real-time systems. Zbl 1361.68143
David, Alexandre; Larsen, Kim G.; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej
23
2010
A modal interface theory for component-based design. Zbl 1242.68147
Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto
20
2011
Iterating transducers in the large (extended abstract). Zbl 1278.68157
Boigelot, Bernard; Legay, Axel; Wolper, Pierre
15
2003
The quantitative linear-time-branching-time spectrum. Zbl 1359.68191
Fahrenberg, Uli; Legay, Axel
12
2014
Sociable interfaces. Zbl 1171.68837
de Alfaro, Luca; da Silva, Leandro Dias; Faella, Marco; Legay, Axel; Roy, Pritam; Sorea, Maria
11
2005
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
The quantitative linear-time-branching-time spectrum. Zbl 1246.68153
Fahrenberg, Uli; Legay, Axel; Thrane, Claus
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
Extending modal transition systems with structured labels. Zbl 1277.68160
Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří
8
2012
A platform for high performance statistical model checking – PLASMA. Zbl 1352.68156
Jegourel, Cyrille; Legay, Axel; Sedwards, Sean
7
2012
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
Quantitative refinement for weighted modal transition systems. Zbl 1343.68150
Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus
6
2011
Statistical model checking for networks of priced timed automata. Zbl 1348.68130
David, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted; van Vliet, Jonas; Wang, Zheng
6
2011
Pushdown module checking with imperfect information. Zbl 1282.68166
Aminof, Benjamin; Legay, Axel; Murano, Aniello; Serre, Olivier; Vardi, Moshe Y.
6
2013
Omega-regular model checking. Zbl 1126.68469
Boigelot, Bernard; Legay, Axel; Wolper, Pierre
5
2004
Weighted modal transition systems. Zbl 1291.68246
Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus
5
2013
General quantitative specification theories with modalities. Zbl 1360.68576
Bauer, Sebastian S.; Fahrenberg, Uli; Legay, Axel; Thrane, Claus
5
2012
On time with minimal expected cost! Zbl 1448.68294
David, Alexandre; Jensen, Peter G.; Guldstrand Larsen, Kim; Legay, Axel; Lime, Didier; Sørensen, Mathias Grund; Taankvist, Jakob H.
5
2014
Modal event-clock specifications for timed component-based design. Zbl 1264.68053
Bertrand, Nathalie; Legay, Axel; Pinchinat, Sophie; Raclet, Jean-Baptiste
5
2012
Tree regular model checking: a simulation-based approach. Zbl 1101.68055
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
5
2006
General quantitative specification theories with modal transition systems. Zbl 1360.68585
Fahrenberg, Uli; Legay, Axel
4
2014
Tropical Fourier-Motzkin elimination, with an application to real-time verification. Zbl 1301.90069
Allamigeon, Xavier; Fahrenberg, Uli; Gaubert, Stéphane; Katz, Ricardo D.; Legay, Axel
4
2014
History-preserving bisimilarity for higher-dimensional automata via open maps. Zbl 1334.68117
Fahrenberg, Uli; Legay, Axel
4
2013
Maximizing entropy over Markov processes. Zbl 1371.68175
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej
4
2014
Model checking quantitative linear time logic. Zbl 1286.68313
Faella, Marco; Legay, Axel; Stoelinga, Mariëlle
4
2008
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
Robust specification of real time components. Zbl 1348.68143
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
4
2011
On simulation-based probabilistic model checking of mixed-analog circuits. Zbl 1207.68205
Clarke, Edmund; Donzé, Alexandre; Legay, Axel
4
2010
Handling liveness properties in (\(\omega\)-)regular model checking. Zbl 1272.68227
Bouajjani, Ahmed; Legay, Axel; Wolper, Pierre
4
2005
Memory event clocks. Zbl 1290.68075
Jerson Ortiz, James; Legay, Axel; Schobbens, Pierre-Yves
3
2010
Compositionality for quantitative specifications. Zbl 1398.68339
Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie
3
2018
Robust synthesis for real-time systems. Zbl 1311.68088
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
3
2014
Monitor-based statistical model checking for weighted metric temporal logic. Zbl 1352.68147
Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie
3
2012
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
Structural refinement for the modal nu-calculus. Zbl 1432.68261
Fahrenberg, Uli; Legay, Axel; Traonouez, Louis-Marie
3
2014
Partial higher-dimensional automata. Zbl 1366.68191
Fahrenberg, Uli; Legay, Axel
3
2015
On the expressiveness of symmetric communication. Zbl 1482.68150
Given-Wilson, Thomas; Legay, Axel
3
2016
Qualitative logics and equivalences for probabilistic systems. Zbl 1168.03016
de Alfaro, Luca; Chatterjee, Krishnendu; Faella, Marco; Legay, Axel
2
2009
Computing branching distances using quantitative games. Zbl 1464.68238
Fahrenberg, Uli; Legay, Axel; Quaas, Karin
2
2019
A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214
Fahrenberg, Uli; Legay, Axel
2
2020
Kleene algebras and semimodules for energy problems. Zbl 1318.68105
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin
2
2013
Model-based verification, optimization, synthesis and performance evaluation of real-time systems. Zbl 1445.68132
Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel
2
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
\(^*\)-continuous Kleene \(\omega \)-algebras. Zbl 1434.68309
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel
2
2015
Heterogeneous timed machines. Zbl 1432.68224
Delahaye, Benoît; Fiadeiro, José Luiz; Legay, Axel; Lopes, Antónia
2
2014
Quantifying information leakage of randomized protocols. Zbl 1329.68188
Biondi, Fabrizio; Legay, Axel; Malacaria, Pasquale; Wąsowski, Andrzej
2
2013
A linear-time-branching-time spectrum of behavioral specification theories. Zbl 1433.68213
Fahrenberg, Uli; Legay, Axel
2
2017
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
A completion algorithm for lattice tree automata. Zbl 1298.68135
Genet, Thomas; Le Gall, Tristan; Legay, Axel; Murat, Valérie
2
2013
Maximizing entropy over Markov processes. Zbl 1377.68127
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej
2
2013
An \(\omega\)-algebra for real-time energy problems. Zbl 1421.68092
Cachera, David; Fahrenberg, Uli; Legay, Axel
1
2019
Rare events for statistical model checking an overview. Zbl 1478.68168
Legay, Axel; Sedwards, Sean; Traonouez, Louis-Marie
1
2016
Modelling attack-defense trees using timed automata. Zbl 1433.68251
Gadyatskaya, Olga; Hansen, René Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted
1
2016
On the expressiveness of joining. Zbl 1433.68253
Given-Wilson, Thomas; Legay, Axel
1
2015
Logical vs. behavioural specifications. Zbl 1435.68189
Beneš, Nikola; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie
1
2020
Parametric and quantitative extensions of modal transition systems. Zbl 1416.68121
Fahrenberg, Uli; Guldstrand Larsen, Kim; Legay, Axel; Traonouez, Louis-Marie
1
2014
Specification theories for probabilistic and real-time systems. Zbl 1416.68112
Fahrenberg, Uli; Legay, Axel; Traonouez, Louis-Marie
1
2014
Refinement and difference for probabilistic automata. Zbl 1338.68144
Delahaye, Benoît; Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel
1
2014
Generalized quantitative analysis of metric transition systems. Zbl 1426.68170
Fahrenberg, Uli; Legay, Axel
1
2013
Stuttering for abstract probabilistic automata. Zbl 1437.68094
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel
1
2013
An \(\omega\)-algebra for real-time energy problems. Zbl 1366.68138
Cachera, David; Fahrenberg, Uli; Legay, Axel
1
2015
Distributed event clock automata (extended abstract). Zbl 1297.68162
Ortiz, James; Legay, Axel; Schobbens, Pierre-Yves
1
2011
Methodologies for specification of real-time systems using timed I/O automata. Zbl 1312.68131
David, Alexandre; Larsen, Kim G.; Legay, Axel; Nyman, Ulrik; Wąsowski, Andrzej
1
2010
Simulation-based iteration of tree transducers. Zbl 1087.68052
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
1
2005
Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17–20, 2016. Proceedings. Zbl 1346.68003
1
2016
Quantifying information leakage of randomized protocols. Zbl 1328.68142
Biondi, Fabrizio; Legay, Axel; Malacaria, Pasquale; Wąsowski, Andrzej
1
2015
On (omega-)regular model checking. Zbl 1351.68165
Legay, Axel; Wolper, Pierre
1
2010
An algebraic approach to energy problems. I: \(^*\)-continuous Kleene \(\omega\)-algebras. Zbl 1389.68056
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin
1
2017
An algebraic approach to energy problems. II: The algebra of energy functions. Zbl 1389.68057
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin
1
2017
A decision tree lifted domain for analyzing program families with numerical features. Zbl 1467.68036
Dimovski, Aleksandar S.; Apel, Sven; Legay, Axel
1
2021
A decision tree lifted domain for analyzing program families with numerical features. Zbl 1467.68036
Dimovski, Aleksandar S.; Apel, Sven; Legay, Axel
1
2021
A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214
Fahrenberg, Uli; Legay, Axel
2
2020
Logical vs. behavioural specifications. Zbl 1435.68189
Beneš, Nikola; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie
1
2020
Computing branching distances using quantitative games. Zbl 1464.68238
Fahrenberg, Uli; Legay, Axel; Quaas, Karin
2
2019
An \(\omega\)-algebra for real-time energy problems. Zbl 1421.68092
Cachera, David; Fahrenberg, Uli; Legay, Axel
1
2019
Compositionality for quantitative specifications. Zbl 1398.68339
Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie
3
2018
A linear-time-branching-time spectrum of behavioral specification theories. Zbl 1433.68213
Fahrenberg, Uli; Legay, Axel
2
2017
An algebraic approach to energy problems. I: \(^*\)-continuous Kleene \(\omega\)-algebras. Zbl 1389.68056
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin
1
2017
An algebraic approach to energy problems. II: The algebra of energy functions. Zbl 1389.68057
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin
1
2017
On the expressiveness of symmetric communication. Zbl 1482.68150
Given-Wilson, Thomas; Legay, Axel
3
2016
Rare events for statistical model checking an overview. Zbl 1478.68168
Legay, Axel; Sedwards, Sean; Traonouez, Louis-Marie
1
2016
Modelling attack-defense trees using timed automata. Zbl 1433.68251
Gadyatskaya, Olga; Hansen, René Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted
1
2016
Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17–20, 2016. Proceedings. Zbl 1346.68003
1
2016
Partial higher-dimensional automata. Zbl 1366.68191
Fahrenberg, Uli; Legay, Axel
3
2015
\(^*\)-continuous Kleene \(\omega \)-algebras. Zbl 1434.68309
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel
2
2015
On the expressiveness of joining. Zbl 1433.68253
Given-Wilson, Thomas; Legay, Axel
1
2015
An \(\omega\)-algebra for real-time energy problems. Zbl 1366.68138
Cachera, David; Fahrenberg, Uli; Legay, Axel
1
2015
Quantifying information leakage of randomized protocols. Zbl 1328.68142
Biondi, Fabrizio; Legay, Axel; Malacaria, Pasquale; Wąsowski, Andrzej
1
2015
The quantitative linear-time-branching-time spectrum. Zbl 1359.68191
Fahrenberg, Uli; Legay, Axel
12
2014
On time with minimal expected cost! Zbl 1448.68294
David, Alexandre; Jensen, Peter G.; Guldstrand Larsen, Kim; Legay, Axel; Lime, Didier; Sørensen, Mathias Grund; Taankvist, Jakob H.
5
2014
General quantitative specification theories with modal transition systems. Zbl 1360.68585
Fahrenberg, Uli; Legay, Axel
4
2014
Tropical Fourier-Motzkin elimination, with an application to real-time verification. Zbl 1301.90069
Allamigeon, Xavier; Fahrenberg, Uli; Gaubert, Stéphane; Katz, Ricardo D.; Legay, Axel
4
2014
Maximizing entropy over Markov processes. Zbl 1371.68175
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej
4
2014
Robust synthesis for real-time systems. Zbl 1311.68088
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
3
2014
Structural refinement for the modal nu-calculus. Zbl 1432.68261
Fahrenberg, Uli; Legay, Axel; Traonouez, Louis-Marie
3
2014
Heterogeneous timed machines. Zbl 1432.68224
Delahaye, Benoît; Fiadeiro, José Luiz; Legay, Axel; Lopes, Antónia
2
2014
Parametric and quantitative extensions of modal transition systems. Zbl 1416.68121
Fahrenberg, Uli; Guldstrand Larsen, Kim; Legay, Axel; Traonouez, Louis-Marie
1
2014
Specification theories for probabilistic and real-time systems. Zbl 1416.68112
Fahrenberg, Uli; Legay, Axel; Traonouez, Louis-Marie
1
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
Pushdown module checking with imperfect information. Zbl 1282.68166
Aminof, Benjamin; Legay, Axel; Murano, Aniello; Serre, Olivier; Vardi, Moshe Y.
6
2013
Weighted modal transition systems. Zbl 1291.68246
Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus
5
2013
History-preserving bisimilarity for higher-dimensional automata via open maps. Zbl 1334.68117
Fahrenberg, Uli; Legay, Axel
4
2013
Kleene algebras and semimodules for energy problems. Zbl 1318.68105
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin
2
2013
Model-based verification, optimization, synthesis and performance evaluation of real-time systems. Zbl 1445.68132
Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel
2
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
Quantifying information leakage of randomized protocols. Zbl 1329.68188
Biondi, Fabrizio; Legay, Axel; Malacaria, Pasquale; Wąsowski, Andrzej
2
2013
A completion algorithm for lattice tree automata. Zbl 1298.68135
Genet, Thomas; Le Gall, Tristan; Legay, Axel; Murat, Valérie
2
2013
Maximizing entropy over Markov processes. Zbl 1377.68127
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej
2
2013
Generalized quantitative analysis of metric transition systems. Zbl 1426.68170
Fahrenberg, Uli; Legay, Axel
1
2013
Stuttering for abstract probabilistic automata. Zbl 1437.68094
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel
1
2013
Extending modal transition systems with structured labels. Zbl 1277.68160
Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří
8
2012
A platform for high performance statistical model checking – PLASMA. Zbl 1352.68156
Jegourel, Cyrille; Legay, Axel; Sedwards, Sean
7
2012
General quantitative specification theories with modalities. Zbl 1360.68576
Bauer, Sebastian S.; Fahrenberg, Uli; Legay, Axel; Thrane, Claus
5
2012
Modal event-clock specifications for timed component-based design. Zbl 1264.68053
Bertrand, Nathalie; Legay, Axel; Pinchinat, Sophie; Raclet, Jean-Baptiste
5
2012
Monitor-based statistical model checking for weighted metric temporal logic. Zbl 1352.68147
Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie
3
2012
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
A modal interface theory for component-based design. Zbl 1242.68147
Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto
20
2011
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
The quantitative linear-time-branching-time spectrum. Zbl 1246.68153
Fahrenberg, Uli; Legay, Axel; Thrane, Claus
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
Quantitative refinement for weighted modal transition systems. Zbl 1343.68150
Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus
6
2011
Statistical model checking for networks of priced timed automata. Zbl 1348.68130
David, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted; van Vliet, Jonas; Wang, Zheng
6
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
Robust specification of real time components. Zbl 1348.68143
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
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
Distributed event clock automata (extended abstract). Zbl 1297.68162
Ortiz, James; Legay, Axel; Schobbens, Pierre-Yves
1
2011
Timed I/O automata: a complete specification theory for real-time systems. Zbl 1361.68143
David, Alexandre; Larsen, Kim G.; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej
23
2010
On simulation-based probabilistic model checking of mixed-analog circuits. Zbl 1207.68205
Clarke, Edmund; Donzé, Alexandre; Legay, Axel
4
2010
Memory event clocks. Zbl 1290.68075
Jerson Ortiz, James; Legay, Axel; Schobbens, Pierre-Yves
3
2010
Methodologies for specification of real-time systems using timed I/O automata. Zbl 1312.68131
David, Alexandre; Larsen, Kim G.; Legay, Axel; Nyman, Ulrik; Wąsowski, Andrzej
1
2010
On (omega-)regular model checking. Zbl 1351.68165
Legay, Axel; Wolper, Pierre
1
2010
Qualitative logics and equivalences for probabilistic systems. Zbl 1168.03016
de Alfaro, Luca; Chatterjee, Krishnendu; Faella, Marco; Legay, Axel
2
2009
Model checking quantitative linear time logic. Zbl 1286.68313
Faella, Marco; Legay, Axel; Stoelinga, Mariëlle
4
2008
An Eulerian-Lagrangian method for fluid-structure interaction based on level sets. Zbl 1119.74053
Legay, A.; Chessa, J.; Belytschko, T.
50
2006
Tree regular model checking: a simulation-based approach. Zbl 1101.68055
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
5
2006
Strong and weak arbitrary discontinuities in spectral finite elements. Zbl 1167.74045
Legay, A.; Wang, H. W.; Belytschko, T.
32
2005
Sociable interfaces. Zbl 1171.68837
de Alfaro, Luca; da Silva, Leandro Dias; Faella, Marco; Legay, Axel; Roy, Pritam; Sorea, Maria
11
2005
Handling liveness properties in (\(\omega\)-)regular model checking. Zbl 1272.68227
Bouajjani, Ahmed; Legay, Axel; Wolper, Pierre
4
2005
Simulation-based iteration of tree transducers. Zbl 1087.68052
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
1
2005
Omega-regular model checking. Zbl 1126.68469
Boigelot, Bernard; Legay, Axel; Wolper, Pierre
5
2004
Iterating transducers in the large (extended abstract). Zbl 1278.68157
Boigelot, Bernard; Legay, Axel; Wolper, Pierre
15
2003
all top 5

Cited by 298 Authors

37 Legay, Axel
19 Larsen, Kim Guldstrand
16 Fahrenberg, Uli
9 Abdulla, Parosh Aziz
9 Wąsowski, Andrzej
8 Delahaye, Benoît
6 Traonouez, Louis-Marie
5 Lüttgen, Gerald
5 Murano, Aniello
5 Vogler, Walter
4 Bauer, Sebastian S.
4 David, Alexandre
4 Fendrich, Sascha
4 Hennicker, Rolf
4 Křetínský, Jan
4 Kwiatkowska, Marta Z.
4 Tini, Simone
3 Bertrand, Nathalie
3 Biondi, Fabrizio
3 Bouyer, Patricia
3 Bozzelli, Laura
3 Bujtor, Ferenc
3 Gebler, Daniel E.
3 Kupferman, Orna
3 Ma, Yanfang
3 Mancini, Toni
3 Mari, Federico
3 Markey, Nicolas
3 Massini, Annalisa
3 Melatti, Igor
3 Nyman, Ulrik
3 Pinchinat, Sophie
3 Raskin, Jean-François
3 Rezine, Ahmed
3 Tronci, Enrico
2 Akshay, S.
2 André, Étienne
2 Avni, Guy
2 Bacci, Giovanni
2 Caillaud, Benoît
2 Castiglioni, Valentina
2 Daca, Przemysław
2 D’Argenio, Pedro Rubén
2 de Alfaro, Luca
2 Delzanno, Giorgio
2 Dingel, Juergen
2 Fiadeiro, José Luiz
2 Forejt, Vojtěch
2 Genet, Thomas
2 Given-Wilson, Thomas
2 Henzinger, Thomas A.
2 Holík, Lukáš
2 Jéron, Thierry
2 Johansen, Christian
2 Jonsson, Bengt
2 Juhl, Line
2 Kaati, Lisa
2 Katoen, Joost-Pieter
2 Krichen, Moez
2 Lime, Didier
2 Lopes, Antónia
2 Majumdar, Rupak
2 Mikucionis, Marius
2 Mogavero, Fabio
2 Norman, Gethin
2 Pedersen, Mikkel Lykke
2 Plavka, Ján
2 Reynier, Pierre-Alain
2 Rudie, Karen
2 Sangiovanni-Vincentelli, Alberto L.
2 Sedwards, Sean
2 Srba, Jiří
2 Stainer, Amélie
2 Stoelinga, Mariëlle
2 Tonetta, Stefano
2 Vojnar, Tomáš
2 Waez, Md Tawhid Bin
2 Wirsing, Martin
2 Ziemiański, Krzysztof
1 Agrawal, Manindra
1 Aichernig, Bernhard K.
1 Almagor, Shaull
1 Aman, Bogdan
1 Améndola, Carlos
1 Apel, Sven
1 Baier, Christel
1 Ballarini, Paolo
1 Banks, C. J.
1 Bartoletti, Massimo
1 Basile, Davide
1 Basset, Nicolas
1 Beneš, Nikola
1 Bérard, Béatrice
1 Bidoit, Michel
1 Bocchi, Laura
1 Bodeveix, Jean-Paul
1 Bøgsted Poulsen, Danny
1 Bortolussi, Luca
1 Bouajjani, Ahmed
1 Bourke, Timothy
...and 198 more Authors

Citations by Year