×

zbMATH — the first resource for mathematics

Legay, Axel

Compute Distance To:
Author ID: legay.axel Recent zbMATH articles by "Legay, Axel"
Published as: Legay, A.; Legay, Axel
Documents Indexed: 102 Publications since 2003, including 8 Books
all top 5

Co-Authors

0 single-authored
28 Fahrenberg, Uli
24 Larsen, Kim Guldstrand
16 Wąsowski, Andrzej
12 Delahaye, Benoît
10 Biondi, Fabrizio
9 Traonouez, Louis-Marie
6 David, Alexandre
6 Wolper, Pierre
5 Given-Wilson, Thomas
5 Pedersen, Mikkel Lykke
5 Pinchinat, Sophie
5 Quaas, Karin
5 Sedwards, Sean
4 Bauer, Sebastian S.
4 Bøgsted Poulsen, Danny
4 Bozzelli, Laura
4 Ésik, Zoltán
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 Nielsen, Bo Friis
3 Nyman, Ulrik
2 Abdulla, Parosh Aziz
2 Beneš, Nikola
2 Boigelot, Bernard
2 Cachera, David
2 Cantin, François
2 de Alfaro, Luca
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 Mikucionis, Marius
2 Raclet, Jean-Baptiste
2 Rezine, Ahmed
2 Schobbens, Pierre-Yves
2 Sher, Falak
2 Vardi, Moshe Y.
1 Aceto, Luca
1 Allamigeon, Xavier
1 Aminof, Benjamin
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 Bulychev, Peter E.
1 Chadha, Rohit
1 Chatterjee, Krishnendu
1 Clarke, Edmund Melson jun.
1 Cristescu, Ioana Domnina
1 da Silva, Leandro Dias
1 D’Argenio, Pedro Rubén
1 Dimovski, Aleksandar S.
1 Donzé, Alexandre
1 Enescu, Michael A.
1 Fried, Dror
1 Gadyatskaya, Olga
1 Gaubert, Stéphane
1 Genet, Thomas
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 Le Gall, Tristan
1 Li, Guangyuan
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.
1 Passerone, Roberto
1 Peled, Doron A.
1 Picek, Stjepan
1 Prabhakar, Pavithra
1 Quilbeuf, Jean
1 Roy, Pritam
1 Serre, Olivier
1 Sorea, Maria
1 Sørensen, Mathias Grund
...and 7 more Co-Authors

Publications by Year

Citations contained in zbMATH

68 Publications have been cited 339 times in 219 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.
30
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
21
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
14
2003
The quantitative linear-time-branching-time spectrum. Zbl 1359.68191
Fahrenberg, Uli; Legay, Axel
11
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
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
9
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
The quantitative linear-time-branching-time spectrum. Zbl 1246.68153
Fahrenberg, Uli; Legay, Axel; Thrane, Claus
7
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
7
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
6
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
Weighted modal transition systems. Zbl 1291.68246
Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus
5
2013
Pushdown module checking with imperfect information. Zbl 1282.68166
Aminof, Benjamin; Legay, Axel; Murano, Aniello; Serre, Olivier; Vardi, Moshe Y.
5
2013
Modal event-clock specifications for timed component-based design. Zbl 1264.68053
Bertrand, Nathalie; Legay, Axel; Pinchinat, Sophie; Raclet, Jean-Baptiste
5
2012
General quantitative specification theories with modalities. Zbl 1360.68576
Bauer, Sebastian S.; Fahrenberg, Uli; Legay, Axel; Thrane, Claus
5
2012
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
5
2011
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.
4
2014
General quantitative specification theories with modal transition systems. Zbl 1360.68585
Fahrenberg, Uli; Legay, Axel
4
2014
History-preserving bisimilarity for higher-dimensional automata via open maps. Zbl 1334.68117
Fahrenberg, Uli; Legay, Axel
4
2013
Robust specification of real time components. Zbl 1348.68143
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
4
2011
Model checking quantitative linear time logic. Zbl 1286.68313
Faella, Marco; Legay, Axel; Stoelinga, Mariëlle
4
2008
Tree regular model checking: a simulation-based approach. Zbl 1101.68055
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
4
2006
Omega-regular model checking. Zbl 1126.68469
Boigelot, Bernard; Legay, Axel; Wolper, Pierre
4
2004
Compositionality for quantitative specifications. Zbl 1398.68339
Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie
3
2018
On the expressiveness of symmetric communication. Zbl 06667705
Given-Wilson, Thomas; Legay, Axel
3
2016
Structural refinement for the modal nu-calculus. Zbl 1432.68261
Fahrenberg, Uli; Legay, Axel; Traonouez, Louis-Marie
3
2014
Maximizing entropy over Markov processes. Zbl 1371.68175
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej
3
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
3
2014
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
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
Handling liveness properties in (\(\omega\)-)regular model checking. Zbl 1272.68227
Bouajjani, Ahmed; Legay, Axel; Wolper, Pierre
3
2005
A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214
Fahrenberg, Uli; Legay, Axel
2
2020
A linear-time-branching-time spectrum of behavioral specification theories. Zbl 1433.68213
Fahrenberg, Uli; Legay, Axel
2
2017
Heterogeneous timed machines. Zbl 1432.68224
Delahaye, Benoît; Fiadeiro, José Luiz; Legay, Axel; Lopes, Antónia
2
2014
Robust synthesis for real-time systems. Zbl 1311.68088
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
2
2014
Model-based verification, optimization, synthesis and performance evaluation of real-time systems. Zbl 1445.68132
Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel
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
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
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
2
2010
On simulation-based probabilistic model checking of mixed-analog circuits. Zbl 1207.68205
Clarke, Edmund; Donzé, Alexandre; Legay, Axel
2
2010
Memory event clocks. Zbl 1290.68075
Jerson Ortiz, James; Legay, Axel; Schobbens, Pierre-Yves
2
2010
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 07142669
Fahrenberg, Uli; Legay, Axel; Quaas, Karin
1
2019
An \(\omega\)-algebra for real-time energy problems. Zbl 1421.68092
Cachera, David; Fahrenberg, Uli; Legay, Axel
1
2019
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
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
Rare events for statistical model checking an overview. Zbl 06852685
Legay, Axel; Sedwards, Sean; Traonouez, Louis-Marie
1
2016
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
Partial higher-dimensional automata. Zbl 1366.68191
Fahrenberg, Uli; Legay, Axel
1
2015
\(^*\)-continuous Kleene \(\omega \)-algebras. Zbl 1434.68309
Ésik, Zoltán; 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
Refinement and difference for probabilistic automata. Zbl 1338.68144
Delahaye, Benoît; Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel
1
2014
Specification theories for probabilistic and real-time systems. Zbl 1416.68112
Fahrenberg, Uli; Legay, Axel; Traonouez, Louis-Marie
1
2014
Parametric and quantitative extensions of modal transition systems. Zbl 1416.68121
Fahrenberg, Uli; Guldstrand Larsen, Kim; Legay, Axel; Traonouez, Louis-Marie
1
2014
Stuttering for abstract probabilistic automata. Zbl 1283.68193
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel
1
2014
Stuttering for abstract probabilistic automata. Zbl 1437.68094
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel
1
2013
Generalized quantitative analysis of metric transition systems. Zbl 1426.68170
Fahrenberg, Uli; Legay, Axel
1
2013
Kleene algebras and semimodules for energy problems. Zbl 1318.68105
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin
1
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
1
2013
Distributed event clock automata (extended abstract). Zbl 1297.68162
Ortiz, James; Legay, Axel; Schobbens, Pierre-Yves
1
2011
Simulation-based iteration of tree transducers. Zbl 1087.68052
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
1
2005
A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214
Fahrenberg, Uli; Legay, Axel
2
2020
Computing branching distances using quantitative games. Zbl 07142669
Fahrenberg, Uli; Legay, Axel; Quaas, Karin
1
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. II: The algebra of energy functions. Zbl 1389.68057
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin
1
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
On the expressiveness of symmetric communication. Zbl 06667705
Given-Wilson, Thomas; Legay, Axel
3
2016
Rare events for statistical model checking an overview. Zbl 06852685
Legay, Axel; Sedwards, Sean; Traonouez, Louis-Marie
1
2016
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
Partial higher-dimensional automata. Zbl 1366.68191
Fahrenberg, Uli; Legay, Axel
1
2015
\(^*\)-continuous Kleene \(\omega \)-algebras. Zbl 1434.68309
Ésik, Zoltán; 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
11
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.
4
2014
General quantitative specification theories with modal transition systems. Zbl 1360.68585
Fahrenberg, Uli; Legay, Axel
4
2014
Structural refinement for the modal nu-calculus. Zbl 1432.68261
Fahrenberg, Uli; Legay, Axel; Traonouez, Louis-Marie
3
2014
Maximizing entropy over Markov processes. Zbl 1371.68175
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej
3
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
3
2014
Heterogeneous timed machines. Zbl 1432.68224
Delahaye, Benoît; Fiadeiro, José Luiz; Legay, Axel; Lopes, Antónia
2
2014
Robust synthesis for real-time systems. Zbl 1311.68088
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
2
2014
Refinement and difference for probabilistic automata. Zbl 1338.68144
Delahaye, Benoît; Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel
1
2014
Specification theories for probabilistic and real-time systems. Zbl 1416.68112
Fahrenberg, Uli; Legay, Axel; Traonouez, Louis-Marie
1
2014
Parametric and quantitative extensions of modal transition systems. Zbl 1416.68121
Fahrenberg, Uli; Guldstrand Larsen, Kim; Legay, Axel; Traonouez, Louis-Marie
1
2014
Stuttering for abstract probabilistic automata. Zbl 1283.68193
Delahaye, Benoît; 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
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
Pushdown module checking with imperfect information. Zbl 1282.68166
Aminof, Benjamin; Legay, Axel; Murano, Aniello; Serre, Olivier; Vardi, Moshe Y.
5
2013
History-preserving bisimilarity for higher-dimensional automata via open maps. Zbl 1334.68117
Fahrenberg, Uli; Legay, Axel
4
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
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
Stuttering for abstract probabilistic automata. Zbl 1437.68094
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel
1
2013
Generalized quantitative analysis of metric transition systems. Zbl 1426.68170
Fahrenberg, Uli; Legay, Axel
1
2013
Kleene algebras and semimodules for energy problems. Zbl 1318.68105
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin
1
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
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
Modal event-clock specifications for timed component-based design. Zbl 1264.68053
Bertrand, Nathalie; Legay, Axel; Pinchinat, Sophie; Raclet, Jean-Baptiste
5
2012
General quantitative specification theories with modalities. Zbl 1360.68576
Bauer, Sebastian S.; Fahrenberg, Uli; Legay, Axel; Thrane, Claus
5
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
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
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
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
9
2011
The quantitative linear-time-branching-time spectrum. Zbl 1246.68153
Fahrenberg, Uli; Legay, Axel; Thrane, Claus
7
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
7
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
5
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
21
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
2
2010
On simulation-based probabilistic model checking of mixed-analog circuits. Zbl 1207.68205
Clarke, Edmund; Donzé, Alexandre; Legay, Axel
2
2010
Memory event clocks. Zbl 1290.68075
Jerson Ortiz, James; Legay, Axel; Schobbens, Pierre-Yves
2
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
4
2006
Strong and weak arbitrary discontinuities in spectral finite elements. Zbl 1167.74045
Legay, A.; Wang, H. W.; Belytschko, T.
30
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
3
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
4
2004
Iterating transducers in the large (extended abstract). Zbl 1278.68157
Boigelot, Bernard; Legay, Axel; Wolper, Pierre
14
2003
all top 5

Cited by 420 Authors

35 Legay, Axel
18 Larsen, Kim Guldstrand
13 Fahrenberg, Uli
9 Abdulla, Parosh Aziz
9 Wąsowski, Andrzej
8 Delahaye, Benoît
6 Lüttgen, Gerald
6 Traonouez, Louis-Marie
6 Vogler, Walter
5 Bauer, Sebastian S.
5 Belytschko, Ted Bohdan
5 Kwiatkowska, Marta Z.
4 Bertrand, Nathalie
4 David, Alexandre
4 Fendrich, Sascha
4 Fernández, Miguel Ángel
4 Fries, Thomas-Peter
4 Gerstenberger, Axel
4 Murano, Aniello
4 Tini, Simone
4 Wall, Wolfgang A.
3 Biondi, Fabrizio
3 Bordas, Stéphane Pierre Alain
3 Bujtor, Ferenc
3 Düster, Alexander
3 Gebler, Daniel E.
3 Hennicker, Rolf
3 Křetínský, Jan
3 Kupferman, Orna
3 Ma, Yanfang
3 Norman, Gethin
3 Pinchinat, Sophie
3 Rank, Ernst
3 Rezine, Ahmed
3 Ruess, Martin
3 Schillinger, Dominik
3 Sukumar, Natarajan
3 Wirsing, Martin
3 Yoon, Gil Ho
2 Akshay, S.
2 Anahid, Masoud
2 Avni, Guy
2 Bouyer, Patricia
2 Bozzelli, Laura
2 Burman, Erik
2 Caillaud, Benoît
2 Chevaugeon, Nicolas
2 Daca, Przemysław
2 D’Argenio, Pedro Rubén
2 de Alfaro, Luca
2 Delzanno, Giorgio
2 Dingel, Juergen
2 Dréau, Kristell
2 Felippa, Carlos A.
2 Ferté, G.
2 Fiadeiro, José Luiz
2 Forejt, Vojtěch
2 Frei, Stefan
2 Gamnitzer, Peter
2 Genet, Thomas
2 Given-Wilson, Thomas
2 González, José Angel
2 Henzinger, Thomas A.
2 Holík, Lukáš
2 Ibrahimbegović, Adnan
2 Jéron, Thierry
2 Jonsson, Bengt
2 Juhl, Line
2 Kaati, Lisa
2 Kassiotis, Christophe
2 Khoei, Amir R.
2 Kollmannsberger, Stefan
2 Krichen, Moez
2 Legay, Antoine
2 Lopes, Antónia
2 Majumdar, Rupak
2 Markey, Nicolas
2 Masud, Arif
2 Matthies, Hermann Georg
2 Mikucionis, Marius
2 Moës, Nicolas
2 Mogavero, Fabio
2 Mousavi, S. E.
2 Niekamp, Rainer
2 Nyman, Ulrik
2 Ohayon, Roger
2 Pedersen, Mikkel Lykke
2 Plavka, Ján
2 Qu, Hongyang
2 Raskin, Jean-François
2 Rixen, Daniel J.
2 Rudie, Karen
2 Sanders, Jessica D.
2 Sawada, Tomohiro
2 Sedwards, Sean
2 Song, Jeong-Hoon
2 Srba, Jiří
2 Stainer, Amélie
2 Subbarayan, Ganesh
2 Tambat, A.
...and 320 more Authors
all top 5

Cited in 49 Serials

25 Theoretical Computer Science
22 Computer Methods in Applied Mechanics and Engineering
22 International Journal for Numerical Methods in Engineering
12 Formal Methods in System Design
11 Computational Mechanics
10 Acta Informatica
10 Information and Computation
7 Journal of Logical and Algebraic Methods in Programming
5 Journal of Computational Physics
4 Discrete Event Dynamic Systems
3 Formal Aspects of Computing
3 The Journal of Logic and Algebraic Programming
3 Logical Methods in Computer Science
2 International Journal for Numerical Methods in Fluids
2 Information Processing Letters
2 Automatica
2 Science of Computer Programming
2 Applied Numerical Mathematics
2 MSCS. Mathematical Structures in Computer Science
2 International Journal of Foundations of Computer Science
2 ACM Transactions on Computational Logic
1 Artificial Intelligence
1 Computers and Fluids
1 Discrete Applied Mathematics
1 International Journal of General Systems
1 International Journal of Solids and Structures
1 Fuzzy Sets and Systems
1 Journal of Computer and System Sciences
1 Computer Aided Geometric Design
1 Journal of Symbolic Computation
1 International Journal of Algebra and Computation
1 M\(^3\)AS. Mathematical Models & Methods in Applied Sciences
1 Linear Algebra and its Applications
1 SIAM Journal on Scientific Computing
1 Engineering Analysis with Boundary Elements
1 Mathematical Problems in Engineering
1 European Journal of Control
1 International Journal of Computational Fluid Dynamics
1 Soft Computing
1 Journal of the ACM
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Archives of Computational Methods in Engineering
1 International Journal of Computational Methods
1 International Journal of Fracture
1 European Series in Applied and Industrial Mathematics (ESAIM): Mathematical Modelling and Numerical Analysis
1 Algorithms
1 Frontiers of Computer Science
1 Computer Science Review
1 Journal of Applied and Computational Topology

Citations by Year