OPUS: Browsing OPUS

Browsing by Author Esparza, Javier

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 4 of 4

Issue Date	Title	Author(s)
2006	Abstraction refinement with craig interpolation and symbolic pushdown systems	Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan
2006	Efficient algorithms for alternating pushdown systems : application to certificate chain discovery with threshold subjects	Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier
2004	A note on on-the-fly verification algorithms	Schwoon, Stefan; Esparza, Javier
2005	Reachability analysis of multithreaded software with asynchronous communication	Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan

Showing results 1 to 4 of 4