×
Compute Distance To:
Author ID: schwoon.stefan Recent zbMATH articles by "Schwoon, Stefan"
Published as: Schwoon, Stefan
Documents Indexed: 37 Publications since 2000
Co-Authors: 34 Co-Authors with 36 Joint Publications
853 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 187 times in 127 Documents Cited by Year
Efficient algorithms for model checking pushdown systems. Zbl 0974.68116
Esparza, Javier; Hansel, David; Rossmanith, Peter; Schwoon, Stefan
38
2000
Model checking LTL with regular valuations for pushdown systems. Zbl 1078.68081
Esparza, Javier; Kučera, Antonín; Schwoon, Stefan
23
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
Model-checking LTL with regular valuations for pushdown systems. Zbl 1087.68542
Esparza, Javier; Kučera, Antonín; Schwoon, Stefan
10
2001
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
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
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
McMillan’s complete prefix for contextual nets. Zbl 1171.68560
Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan
4
2008
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
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
Weighted pushdown systems and trust-management systems. Zbl 1180.68061
Jha, Somesh; Schwoon, Stefan; Wang, Hao; Reps, Thomas
3
2006
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
Cunf: a tool for unfolding and verifying Petri nets with read arcs. Zbl 1410.68237
Rodríguez, César; Schwoon, Stefan
2
2013
Contextual merged processes. Zbl 1381.68216
Rodríguez, César; Schwoon, Stefan; Khomenko, Victor
1
2013
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
Computation of summaries using net unfoldings. Zbl 1359.68220
Esparza, Javier; Jezequel, Loig; Schwoon, Stefan
1
2013
Efficient contextual unfolding. Zbl 1343.68176
Rodríguez, César; Schwoon, Stefan; Baldan, Paolo
1
2011
Determinization and complementation of Streett automata. Zbl 1021.68047
Schwoon, Stefan
1
2002
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
A uniform framework for problems on context-free grammars. Zbl 0977.68051
Esparza, Javier; Rossmanith, Peter; Schwoon, Stefan
1
2000
The complexity of diagnosability and opacity verification for Petri nets. Zbl 1401.68221
Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan
1
2018
The complexity of diagnosability and opacity verification for Petri nets. Zbl 1401.68221
Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan
1
2018
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
Optimal constructions for active diagnosis. Zbl 1359.68169
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan
2
2013
Cunf: a tool for unfolding and verifying Petri nets with read arcs. Zbl 1410.68237
Rodríguez, César; 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
Comparison of algorithms for checking emptiness on Büchi automata. Zbl 1247.68164
Gaiser, Andreas; Schwoon, Stefan
1
2009
Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219
Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, 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
23
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
38
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 237 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 Ya’akov
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 137 more Authors

Citations by Year