Stefan Schwoon

2009
28	EE	Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FOSSACS 2009: 440-455
27	EE	Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains CoRR abs/0901.0501: (2009)
2008
26	EE	Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon: Symbolic Context-Bounded Analysis of Multithreaded Java Programs. SPIN 2008: 270-287
25	EE	Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth: SDSIrep: A Reputation System Based on SDSI. TACAS 2008: 501-516
24	EE	Javier Esparza, Pradeep Kanade, Stefan Schwoon: A negative result on depth-first net unfoldings. STTT 10(2): 161-166 (2008)
23	EE	Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon: McMillan's Complete Prefix for Contextual Nets. T. Petri Nets and Other Models of Concurrency 1: 199-220 (2008)
2007
22	EE	Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza: jMoped: A Test Environment for Java Programs. CAV 2007: 164-167
2006
21	EE	Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza: Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. ATVA 2006: 141-153
20	EE	Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine: Reducing the Dependence of SPKI/SDSI on PKI. ESORICS 2006: 156-173
19	EE	Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert: NETRA: : seeing through access control. FMSE 2006: 55-66
18	EE	Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek: Reachability analysis of multithreaded software with asynchronous communication. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
17	EE	Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps: Weighted Pushdown Systems and Trust-Management Systems. TACAS 2006: 1-26
16	EE	Javier Esparza, Stefan Kiefer, Stefan Schwoon: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. TACAS 2006: 489-503
2005
15	EE	Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek: Reachability Analysis of Multithreaded Software with Asynchronous Communication. FSTTCS 2005: 348-359
14	EE	Javier Esparza, Pierre Ganty, Stefan Schwoon: Locality-Based Abstractions. SAS 2005: 118-134
13	EE	Stefan Schwoon, Javier Esparza: A Note on On-the-Fly Verification Algorithms. TACAS 2005: 174-190
12	EE	Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza: jMoped: A Java Bytecode Checker Based on Moped. TACAS 2005: 541-545
11	EE	Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski: Weighted pushdown systems and their application to interprocedural dataflow analysis. Sci. Comput. Program. 58(1-2): 206-263 (2005)
2004
10	EE	Markus Holzer, Stefan Schwoon: Assembling molecules in ATOMIX is hard. Theor. Comput. Sci. 303(3): 447-462 (2004)
2003
9	EE	Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine: On Generalized Authorization Problems. CSFW 2003: 202-
8	EE	Claus Schröter, Stefan Schwoon, Javier Esparza: The Model-Checking Kit. ICATPN 2003: 463-472
7	EE	Thomas W. Reps, Stefan Schwoon, Somesh Jha: Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. SAS 2003: 189-213
6	EE	Javier Esparza, Antonín Kucera, Stefan Schwoon: Model checking LTL with regular valuations for pushdown systems. Inf. Comput. 186(2): 355-376 (2003)
2001
5	EE	Stefan Schwoon: Determinization and Complementation of Streett Automata. Automata, Logics, and Infinite Games 2001: 79-91
4	EE	Javier Esparza, Stefan Schwoon: A BDD-Based Model Checker for Recursive Programs. CAV 2001: 324-336
3	EE	Javier Esparza, Antonín Kucera, Stefan Schwoon: Model-Checking LTL with Regular Valuations for Pushdown Systems. TACS 2001: 316-339
2000
2		Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon: Efficient Algorithms for Model Checking Pushdown Systems. CAV 2000: 232-247
1		Javier Esparza, Peter Rossmanith, Stefan Schwoon: A Uniform Framework for Problems on Context-Free Grammars. Bulletin of the EATCS 72: 169-177 (2000)

Coauthor Index

1	Paolo Baldan	[23]
2	Felix Berger	[22]
3	Ahmed Bouajjani	[15] [18] [25]
4	Andrea Corradini	[23]
5	Javier Esparza	[1] [2] [3] [4] [6] [8] [12] [13] [14] [15] [16] [18] [21] [22] [24] [25] [26]
6	Pierre Ganty	[14]
7	David Hansel	[2]
8	Markus Holzer	[10]
9	Somesh Jha	[7] [9] [11] [17] [20]
10	Pradeep Kanade	[24]
11	Stefan Kiefer	[16] [27] [28]
12	Barbara König	[23]
13	Antonín Kucera	[3] [6]
14	Morten Kühnrich	[27] [28]
15	John Lambert	[19]
16	David Melski	[11]
17	Prasad Naldurg	[19]
18	Sriram K. Rajamani	[19]
19	Thomas W. Reps	[7] [9] [11] [17] [20]
20	Peter Rossmanith	[1] [2]
21	Claus Schröter	[8]
22	Jirí Srba	[27] [28]
23	Jan Strejcek	[15] [18]
24	Stuart G. Stubblebine	[9] [20]
25	Dejvuth Suwimonteerabuth	[12] [21] [22] [25] [26]
26	Hao Wang	[17] [20]

Colors in the list of coauthors