×

zbMATH — the first resource for mathematics

Wąsowski, Andrzej

Compute Distance To:
Author ID: wasowski.andrzej Recent zbMATH articles by "Wąsowski, Andrzej"
Published as: Wąsowski, Andrzej; Wasowski, Andrzej
Homepage: http://www.itu.dk/people/wasowski/
External Links: MGP · dblp
Documents Indexed: 35 Publications since 2001, including 1 Book

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 142 times in 86 Documents Cited by Year
Modal I/O automata for interface and product line theories. Zbl 1187.68296
Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
41
2007
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
20 years of modal and mixed specifications. Zbl 1169.68498
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
14
2008
On modal refinement and consistency. Zbl 1151.68541
Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
11
2007
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
Complexity of decision problems for mixed and modal specifications. Zbl 1139.68035
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
6
2008
Robust specification of real time components. Zbl 1348.68143
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
4
2011
Maximizing entropy over Markov processes. Zbl 1371.68175
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej
3
2014
Robust synthesis for real-time systems. Zbl 1311.68088
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
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
Maximizing entropy over Markov processes. Zbl 1377.68127
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; 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
EXPTIME-complete decision problems for modal and mixed specifications. Zbl 1291.68172
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
2
2009
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
Modal and mixed specifications: key decision problems and their complexities. Zbl 1191.68426
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
2
2010
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
Quantifying information leakage of randomized protocols. Zbl 1328.68142
Biondi, Fabrizio; Legay, Axel; Malacaria, Pasquale; Wąsowski, Andrzej
1
2015
Controller synthesis for dynamic hierarchical real-time plants using timed automata. Zbl 1379.93051
Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen
1
2017
A model for industrial real-time systems. Zbl 1432.68050
Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen
1
2015
From transition systems to variability models and from lifted model checking back to UPPAAL. Zbl 1431.68074
Dimovski, Aleksandar S.; Wąsowski, Andrzej
1
2017
Variability-specific abstraction refinement for family-based model checking. Zbl 1430.68151
Dimovski, Aleksandar S.; Wąsowski, Andrzej
1
2017
Finding suitable variability abstractions for lifted analysis. Zbl 1425.68067
Dimovski, Aleksandar S.; Brabrand, Claus; Wąsowski, Andrzej
1
2019
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
Finding suitable variability abstractions for lifted analysis. Zbl 1425.68067
Dimovski, Aleksandar S.; Brabrand, Claus; Wąsowski, Andrzej
1
2019
Controller synthesis for dynamic hierarchical real-time plants using timed automata. Zbl 1379.93051
Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen
1
2017
From transition systems to variability models and from lifted model checking back to UPPAAL. Zbl 1431.68074
Dimovski, Aleksandar S.; Wąsowski, Andrzej
1
2017
Variability-specific abstraction refinement for family-based model checking. Zbl 1430.68151
Dimovski, Aleksandar S.; Wąsowski, Andrzej
1
2017
Quantifying information leakage of randomized protocols. Zbl 1328.68142
Biondi, Fabrizio; Legay, Axel; Malacaria, Pasquale; Wąsowski, Andrzej
1
2015
A model for industrial real-time systems. Zbl 1432.68050
Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen
1
2015
Maximizing entropy over Markov processes. Zbl 1371.68175
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej
3
2014
Robust synthesis for real-time systems. Zbl 1311.68088
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej
3
2014
Maximizing entropy over Markov processes. Zbl 1377.68127
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; 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
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
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
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
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
Modal and mixed specifications: key decision problems and their complexities. Zbl 1191.68426
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
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
EXPTIME-complete decision problems for modal and mixed specifications. Zbl 1291.68172
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
2
2009
20 years of modal and mixed specifications. Zbl 1169.68498
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
14
2008
Complexity of decision problems for mixed and modal specifications. Zbl 1139.68035
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
6
2008
Modal I/O automata for interface and product line theories. Zbl 1187.68296
Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
41
2007
On modal refinement and consistency. Zbl 1151.68541
Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
11
2007
all top 5

Cited by 148 Authors

25 Legay, Axel
19 Larsen, Kim Guldstrand
15 Wąsowski, Andrzej
9 Delahaye, Benoît
7 Fahrenberg, Uli
7 Hennicker, Rolf
6 Lüttgen, Gerald
6 Traonouez, Louis-Marie
6 Vogler, Walter
5 Bauer, Sebastian S.
4 Bertrand, Nathalie
4 Fendrich, Sascha
4 Nyman, Ulrik
4 Pedersen, Mikkel Lykke
4 Srba, Jiří
3 Antonik, Adam
3 Biondi, Fabrizio
3 Bujtor, Ferenc
3 David, Alexandre
3 Juhl, Line
3 Katoen, Joost-Pieter
3 Knapp, Alexander
3 Křetínský, Jan
3 Lochau, Malte
3 Pinchinat, Sophie
3 ter Beek, Maurice H.
3 Wirsing, Martin
2 Akshay, S.
2 Beneš, Nikola
2 Dimovski, Aleksandar S.
2 Dingel, Juergen
2 Fiadeiro, José Luiz
2 Gnesi, Stefania
2 Huth, Michael R. A.
2 Jéron, Thierry
2 Jonsson, Bengt
2 Krichen, Moez
2 Kwiatkowska, Marta Z.
2 Lopes, Antónia
2 Mazzanti, Franco
2 Raclet, Jean-Baptiste
2 Rudie, Karen
2 Sher, Falak
2 Stainer, Amélie
2 Waez, Md Tawhid Bin
1 Agrawal, Manindra
1 André, Étienne
1 Baier, Christel
1 Baller, Hauke
1 Barbanera, Franco
1 Bartoletti, Massimo
1 Basile, Davide
1 Beohar, Harsh
1 Bérard, Béatrice
1 Bidoit, Michel
1 Bocchi, Laura
1 Bøgsted Poulsen, Danny
1 Bortolussi, Luca
1 Bourke, Timothy
1 Bouyer, Patricia
1 Bozzelli, Laura
1 Brabrand, Claus
1 Budde, Carlos Ernesto
1 Caillaud, Benoît
1 Carmona, Josep
1 Černý, Pavol
1 Češka, Milan
1 Chechik, Marsha
1 Chilton, Chris
1 Chmelík, Martin
1 Chothia, Tom
1 Clarke, Dave
1 D’Argenio, Pedro Rubén
1 de Alfaro, Luca
1 de Boer, Frank S.
1 Dehnert, Christian
1 de’Liguoro, Ugo
1 Fantechi, Alessandro
1 Forejt, Vojtěch
1 Fournier, Paulin
1 French, Tim
1 Gastin, Paul
1 Gebler, Daniel E.
1 Genest, Blaise
1 Ghassemi, Fatemeh
1 Girard, Anouck R.
1 Gurfinkel, Arie
1 Hales, James
1 Hensel, Christian
1 Henzinger, Thomas A.
1 Holík, Lukáš
1 Isberner, Malte
1 Jaghoori, Mohammad Mahdi
1 Jansen, David N.
1 Junges, Sebastian
1 Kawamoto, Yusuke
1 Kleijn, Jetty H. C. M.
1 Kofroň, Jan
1 Kolmanovsky, Ilya V.
1 Kouchnarenko, Olga
...and 48 more Authors

Citations by Year