×

zbMATH — the first resource for mathematics

David, Alexandre

Compute Distance To:
Author ID: david.alexandre Recent zbMATH articles by "David, Alexandre"
Published as: David, Alexandre; Dávid, A.; David, A.
Documents Indexed: 25 Publications since 1969

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 140 times in 112 Documents Cited by Year
A tutorial on UPPAAL. Zbl 1105.68350
Behrmann, Gerd; David, Alexandre; Larsen, Kim G.
56
2004
Efficient on-the-fly algorithms for the analysis of timed games. Zbl 1134.68382
Cassez, Franck; David, Alexandre; Fleury, Emmanuel; Larsen, Kim G.; Lime, Didier
27
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
Efficient on-the-fly algorithm for checking alternating timed simulation. Zbl 1262.68105
Bulychev, Peter; Chatain, Thomas; David, Alexandre; Larsen, Kim G.
7
2009
Timed control with observation based and stuttering invariant strategies. Zbl 1141.68428
Cassez, Franck; David, Alexandre; Larsen, Kim G.; Lime, Didier; Raskin, Jean-François
6
2007
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
TAPAAL 2.0: integrated development environment for timed-arc Petri nets. Zbl 1352.68181
David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří
4
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.
4
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
Formal verification of UML statecharts with real-time extensions. Zbl 1059.68542
David, Alexandre; Möller, M. Oliver; Yi, Wang
2
2002
Scenario-based verification of real-time systems using UPPAAL. Zbl 1209.68323
Li, Shuhao; Balaguer, Sandie; David, Alexandre; Larsen, Kim G.; Nielsen, Brian; Pusinskas, Saulius
2
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
UPPAAL – now, next, and future. Zbl 0985.68664
Amnell, Tobias; Behrmann, Gerd; Bengtsson, Johan; D’Argenio, Pedro R.; David, Alexandre
1
2001
Model checking timed automata with priorities using DBM subtraction. Zbl 1141.68462
David, Alexandre; Håkansson, John; Larsen, Kim G.; Pettersson, Paul
1
2006
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
TAPAAL 2.0: integrated development environment for timed-arc Petri nets. Zbl 1352.68181
David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří
4
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
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
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
Scenario-based verification of real-time systems using UPPAAL. Zbl 1209.68323
Li, Shuhao; Balaguer, Sandie; David, Alexandre; Larsen, Kim G.; Nielsen, Brian; Pusinskas, Saulius
2
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
Efficient on-the-fly algorithm for checking alternating timed simulation. Zbl 1262.68105
Bulychev, Peter; Chatain, Thomas; David, Alexandre; Larsen, Kim G.
7
2009
Timed control with observation based and stuttering invariant strategies. Zbl 1141.68428
Cassez, Franck; David, Alexandre; Larsen, Kim G.; Lime, Didier; Raskin, Jean-François
6
2007
Model checking timed automata with priorities using DBM subtraction. Zbl 1141.68462
David, Alexandre; Håkansson, John; Larsen, Kim G.; Pettersson, Paul
1
2006
Efficient on-the-fly algorithms for the analysis of timed games. Zbl 1134.68382
Cassez, Franck; David, Alexandre; Fleury, Emmanuel; Larsen, Kim G.; Lime, Didier
27
2005
A tutorial on UPPAAL. Zbl 1105.68350
Behrmann, Gerd; David, Alexandre; Larsen, Kim G.
56
2004
Formal verification of UML statecharts with real-time extensions. Zbl 1059.68542
David, Alexandre; Möller, M. Oliver; Yi, Wang
2
2002
UPPAAL – now, next, and future. Zbl 0985.68664
Amnell, Tobias; Behrmann, Gerd; Bengtsson, Johan; D’Argenio, Pedro R.; David, Alexandre
1
2001
all top 5

Cited by 236 Authors

16 Larsen, Kim Guldstrand
14 Legay, Axel
6 David, Alexandre
6 Fahrenberg, Uli
6 Wąsowski, Andrzej
5 Markey, Nicolas
5 Raskin, Jean-François
5 Srba, Jiří
4 Bouyer, Patricia
4 Meseguer Guaita, José
3 Akshay, S.
3 Bertrand, Nathalie
3 Furfaro, Angelo
3 Gastin, Paul
3 Nigro, Libero
3 Olveczky, Peter Csaba
3 Stainer, Amélie
3 Traonouez, Louis-Marie
2 Al-Bataineh, Omar
2 Aman, Bogdan
2 Bauer, Sebastian S.
2 Bulychev, Peter E.
2 Cicirelli, Franco
2 Cimatti, Alessandro
2 Ciobanu, Gabriel
2 Da Costa, Simone André
2 Delahaye, Benoît
2 Fiadeiro, José Luiz
2 Filiot, Emmanuel
2 French, Tim
2 Geeraerts, Gilles
2 Gomez, Rodolfo
2 Hilscher, Martin
2 Jacobsen, Lasse
2 Jacobsen, Morten
2 Jéron, Thierry
2 Jovanović, Aleksandra Ž.
2 Juhl, Line
2 Krichen, Moez
2 Krishna, Shankara Narayanan
2 Lime, Didier
2 Lopes, Antónia
2 Mikucionis, Marius
2 Møller, Mikael Harkjær
2 Norman, Gethin
2 Nyman, Ulrik
2 Olderog, Ernst-Rüdiger
2 Pinchinat, Sophie
2 Reynier, Pierre-Alain
2 Reynolds, Mark Alexander
2 Ribeiro, Leila
2 Rossi, Matteo A. C.
2 Rutten, Eric
2 Sankur, Ocan
2 Schwammberger, Maike
2 Vaandrager, Frits W.
1 Aarts, Fides
1 Abate, Alessandro
1 Abujarad, Fuad
1 Adzkiya, Dieky
1 Aichernig, Bernhard K.
1 AlTurki, Musab A.
1 Bacci, Giovanni
1 Balaguer, Sandie
1 Ballarini, Paolo
1 Banda, Gourinath
1 Banks, C. J.
1 Baresi, Luciano
1 Bartocci, Ezio
1 Basile, Davide
1 Basset, Nicolas
1 Bersani, Marcello Maria
1 Bodeveix, Jean-Paul
1 Bøgsted Poulsen, Danny
1 Bonakdarpour, Borzoo
1 Bønneland, Frederik Meyer
1 Boucheneb, Hanifa
1 Bourke, Timothy
1 Bozzelli, Laura
1 Brekling, Aske Wiid
1 Brim, Luboš
1 Bruyère, Véronique
1 Byg, Joakim
1 Caillaud, Benoît
1 Carmona, Josep
1 Cassez, Franck
1 Češka, Milan
1 Chatain, Thomas
1 Chatterjee, Krishnendu
1 Chothia, Tom
1 Cleaveland, Rance
1 Corradini, Flavio
1 Dague, Philippe
1 Dashti, M. Torabi
1 de Boer, Frank S.
1 De Schutter, Bart
1 Delaval, Gwenaël
1 Dingel, Juergen
1 Dissaux, Pierre
1 dos Santos, Osmar Marchi
...and 136 more Authors

Citations by Year