×

zbMATH — the first resource for mathematics

Schwoon, Stefan

Compute Distance To:
Author ID: schwoon.stefan Recent zbMATH articles by "Schwoon, Stefan"
Published as: Schwoon, Stefan
Documents Indexed: 37 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 183 times in 124 Documents Cited by Year
Efficient algorithms for model checking pushdown systems. Zbl 0974.68116
Esparza, Javier; Hansel, David; Rossmanith, Peter; Schwoon, Stefan
36
2000
Model checking LTL with regular valuations for pushdown systems. Zbl 1078.68081
Esparza, Javier; Kučera, Antonín; Schwoon, Stefan
22
2003
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040
Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David
19
2005
A BDD-based model checker for recursive programs. Zbl 0991.68539
Esparza, Javier; Schwoon, Stefan
18
2001
Reachability analysis of multithreaded software with asynchronous communication. Zbl 1172.68422
Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejček, Jan
10
2005
Model-checking LTL with regular valuations for pushdown systems. Zbl 1087.68542
Esparza, Javier; Kučera, Antonín; Schwoon, Stefan
10
2001
A note on on-the-fly verification algorithms. Zbl 1087.68599
Schwoon, Stefan; Esparza, Javier
8
2005
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1067.68051
Reps, Thomas; Schwoon, Stefan; Jha, Somesh
7
2003
Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1180.68113
Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan
7
2006
Efficient unfolding of contextual Petri nets. Zbl 1263.68117
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Rodríguez, César; Schwoon, Stefan
5
2012
Computing the reveals relation in occurrence nets. Zbl 1294.68112
Haar, Stefan; Kern, Christian; Schwoon, Stefan
4
2013
McMillan’s complete prefix for contextual nets. Zbl 1171.68560
Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan
4
2008
Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains. Zbl 1161.68495
Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier
4
2006
Assembling molecules in ATOMIX is hard. Zbl 1070.68069
Holzer, Markus; Schwoon, Stefan
3
2004
jMoped: A Java bytecode checker based on Moped. Zbl 1087.68556
Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier
3
2005
On the computation of McMillan’s prefix for contextual nets and graph grammars. Zbl 1306.68120
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Schwoon, Stefan
3
2010
Weighted pushdown systems and trust-management systems. Zbl 1180.68061
Jha, Somesh; Schwoon, Stefan; Wang, Hao; Reps, Thomas
3
2006
Cunf: a tool for unfolding and verifying Petri nets with read arcs. Zbl 1410.68237
Rodríguez, César; Schwoon, Stefan
2
2013
Optimal constructions for active diagnosis. Zbl 1350.68052
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan
2
2017
Optimal constructions for active diagnosis. Zbl 1359.68169
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan
2
2013
Computing information flow using symbolic model-checking. Zbl 1360.68359
Chadha, Rohit; Mathur, Umang; Schwoon, Stefan
2
2014
Determinization and complementation of Streett automata. Zbl 1021.68047
Schwoon, Stefan
1
2002
A uniform framework for problems on context-free grammars. Zbl 0977.68051
Esparza, Javier; Rossmanith, Peter; Schwoon, Stefan
1
2000
Locality-based abstractions. Zbl 1141.68367
Esparza, Javier; Ganty, Pierre; Schwoon, Stefan
1
2005
Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219
Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan
1
2009
Verification of Petri nets with read arcs. Zbl 1364.68294
Rodríguez, César; Schwoon, Stefan
1
2012
Comparison of algorithms for checking emptiness on Büchi automata. Zbl 1247.68164
Gaiser, Andreas; Schwoon, Stefan
1
2009
Efficient contextual unfolding. Zbl 1343.68176
Rodríguez, César; Schwoon, Stefan; Baldan, Paolo
1
2011
Contextual merged processes. Zbl 1381.68216
Rodríguez, César; Schwoon, Stefan; Khomenko, Victor
1
2013
Computation of summaries using net unfoldings. Zbl 1359.68220
Esparza, Javier; Jezequel, Loig; Schwoon, Stefan
1
2013
Optimal constructions for active diagnosis. Zbl 1350.68052
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan
2
2017
Computing information flow using symbolic model-checking. Zbl 1360.68359
Chadha, Rohit; Mathur, Umang; Schwoon, Stefan
2
2014
Computing the reveals relation in occurrence nets. Zbl 1294.68112
Haar, Stefan; Kern, Christian; Schwoon, Stefan
4
2013
Cunf: a tool for unfolding and verifying Petri nets with read arcs. Zbl 1410.68237
Rodríguez, César; Schwoon, Stefan
2
2013
Optimal constructions for active diagnosis. Zbl 1359.68169
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan
2
2013
Contextual merged processes. Zbl 1381.68216
Rodríguez, César; Schwoon, Stefan; Khomenko, Victor
1
2013
Computation of summaries using net unfoldings. Zbl 1359.68220
Esparza, Javier; Jezequel, Loig; Schwoon, Stefan
1
2013
Efficient unfolding of contextual Petri nets. Zbl 1263.68117
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Rodríguez, César; Schwoon, Stefan
5
2012
Verification of Petri nets with read arcs. Zbl 1364.68294
Rodríguez, César; Schwoon, Stefan
1
2012
Efficient contextual unfolding. Zbl 1343.68176
Rodríguez, César; Schwoon, Stefan; Baldan, Paolo
1
2011
On the computation of McMillan’s prefix for contextual nets and graph grammars. Zbl 1306.68120
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Schwoon, Stefan
3
2010
Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219
Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan
1
2009
Comparison of algorithms for checking emptiness on Büchi automata. Zbl 1247.68164
Gaiser, Andreas; Schwoon, Stefan
1
2009
McMillan’s complete prefix for contextual nets. Zbl 1171.68560
Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan
4
2008
Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1180.68113
Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan
7
2006
Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains. Zbl 1161.68495
Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier
4
2006
Weighted pushdown systems and trust-management systems. Zbl 1180.68061
Jha, Somesh; Schwoon, Stefan; Wang, Hao; Reps, Thomas
3
2006
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040
Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David
19
2005
Reachability analysis of multithreaded software with asynchronous communication. Zbl 1172.68422
Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejček, Jan
10
2005
A note on on-the-fly verification algorithms. Zbl 1087.68599
Schwoon, Stefan; Esparza, Javier
8
2005
jMoped: A Java bytecode checker based on Moped. Zbl 1087.68556
Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier
3
2005
Locality-based abstractions. Zbl 1141.68367
Esparza, Javier; Ganty, Pierre; Schwoon, Stefan
1
2005
Assembling molecules in ATOMIX is hard. Zbl 1070.68069
Holzer, Markus; Schwoon, Stefan
3
2004
Model checking LTL with regular valuations for pushdown systems. Zbl 1078.68081
Esparza, Javier; Kučera, Antonín; Schwoon, Stefan
22
2003
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1067.68051
Reps, Thomas; Schwoon, Stefan; Jha, Somesh
7
2003
Determinization and complementation of Streett automata. Zbl 1021.68047
Schwoon, Stefan
1
2002
A BDD-based model checker for recursive programs. Zbl 0991.68539
Esparza, Javier; Schwoon, Stefan
18
2001
Model-checking LTL with regular valuations for pushdown systems. Zbl 1087.68542
Esparza, Javier; Kučera, Antonín; Schwoon, Stefan
10
2001
Efficient algorithms for model checking pushdown systems. Zbl 0974.68116
Esparza, Javier; Hansel, David; Rossmanith, Peter; Schwoon, Stefan
36
2000
A uniform framework for problems on context-free grammars. Zbl 0977.68051
Esparza, Javier; Rossmanith, Peter; Schwoon, Stefan
1
2000
all top 5

Cited by 232 Authors

9 Kucera, Antonin
8 Touili, Tayssir
7 Schwoon, Stefan
6 Bozzelli, Laura
6 Brázdil, Tomáš
5 Brožek, Václav
5 Esparza, Javier
4 Atig, Mohamed Faouzi
4 Kiefer, Stefan
4 Song, Fu
3 Baldan, Paolo
3 Bouajjani, Ahmed
3 Forejt, Vojtěch
3 Haddad, Serge
3 Lefaucheux, Engel
3 Luttenberger, Michael
3 Mayr, Richard M.
3 Peron, Adriano
3 Reps, Thomas W.
3 Rodríguez, César
3 Vogler, Heiko
2 Abdulla, Parosh Aziz
2 Barnat, Jiří
2 Bertrand, Nathalie
2 Brim, Luboš
2 Chatterjee, Krishnendu
2 Chatzikalymnios, Evangelos
2 Cook, Byron
2 Corradini, Andrea
2 Dang, Zhe
2 Droste, Manfred
2 Fabre, Eric
2 Fokkink, Willem Jan
2 Goldin, Dina Q.
2 Göller, Stefan
2 Grune, Dick
2 Gurfinkel, Arie
2 Gurov, Dilian
2 Haar, Stefan
2 Hague, Matthew
2 Hond, Brinio
2 Huisman, Marieke
2 Kahlon, Vineet
2 Kröning, Daniel
2 La Torre, Salvatore
2 Lohrey, Markus
2 Pinna, G. Michele
2 Polyvyanyy, Artem
2 Popova-Zeugmann, Louchka
2 Qadeer, Shaz
2 Rutgers, Peter
2 Rybalchenko, Andrey
2 Schlund, Maximilian
2 Sharma, Tushar
2 Sharygina, Natasha
2 Smolka, Scott A.
2 Srba, Jiří
2 Vardi, Moshe Y.
2 Virbitskaite, Irina B.
1 Alrajeh, Dalal
1 Alur, Rajeev
1 Armas-Cervantes, Abel
1 Attie, Paul C.
1 Bandyopadhyay, Soumyadip
1 Barone-Adesi, Katerina
1 Bielova, Nataliia
1 Biondi, Fabrizio
1 Boccardo, Davidson R.
1 Borovlev, V. A.
1 Borovlyov, Victor
1 Braghin, Chiara
1 Bruni, Alessandro
1 Buriol, Luciana S.
1 Carraro, Alberto
1 Casu, Giovanni
1 Cavezza, Davide Giacomo
1 Chaki, Sagar
1 Chatain, Thomas
1 Chechik, Marsha
1 Chen, Zhong
1 Chiari, Michele
1 Clemente, Lorenzo
1 Diaz, Marcio
1 Dong, JinSong
1 Dragoni, Nicola
1 Duan, Zhenhua
1 Dumas, Marlon
1 Edelkamp, Stefan
1 Ehrhard, Thomas
1 Fülöp, Zoltán
1 Gange, Graeme
1 Gao, Sheng
1 García-Bañuelos, Luciano
1 Gascon, Régis
1 Gnad, Daniel
1 Godoy, Guillem
1 Gupta, Aarti
1 Habermehl, Peter
1 Hamadou, Sardaouna
1 Haziza, Frédéric
...and 132 more Authors

Citations by Year