BibSonomy :: author  ::

bookmarks

publications

(26)

• Symbolic Context-Bounded Analysis of Multithreaded Java Programs.
  Dejvuth Suwimonteerabuth and Javier Esparza and Stefan Schwoon SPIN 270-287 (2008)
  to dblp by dblp on 2008-08-19 00:00:00
  | URL | BibTeX  
• Managing the transition to hydrogen and fuel cell vehicles : insights from agent-based and evolutionary models
  {Malte} Schwoon (2006)
  to Brennstoffzelle Infrastruktur Kraftfahrzeug Tankstelle Wasserstoff by fbw on 2008-05-29 13:01:59
  | URL | BibTeX  
• Reachability analysis of multithreaded software with asynchronous communication.
  Ahmed Bouajjani and Javier Esparza and Stefan Schwoon and Jan Strejcek Software Verification: Infinite-State Model Checking and Static Program Analysis (2006)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• SDSIrep: A Reputation System Based on SDSI.
  Ahmed Bouajjani and Javier Esparza and Stefan Schwoon and Dejvuth Suwimonteerabuth TACAS 501-516 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• A negative result on depth-first net unfoldings.
  Javier Esparza and Pradeep Kanade and Stefan Schwoon STTT 10 161-166 (2008)
  to dblp by dblp on 2008-03-11 00:00:00
  | URL | BibTeX  
• jMoped: A Test Environment for Java Programs.
  Dejvuth Suwimonteerabuth and Felix Berger and Stefan Schwoon and Javier Esparza CAV 164-167 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• NETRA: : seeing through access control.
  Prasad Naldurg and Stefan Schwoon and Sriram K. Rajamani and John Lambert FMSE 55-66 (2006)
  to dblp by dblp on 2006-12-11 00:00:00
  | URL | BibTeX  
• Reducing the Dependence of SPKI/SDSI on PKI.
  Hao Wang and Somesh Jha and Thomas W. Reps and Stefan Schwoon and Stuart G. Stubblebine ESORICS 156-173 (2006)
  to dblp by dblp on 2006-11-06 00:00:00
  | URL | BibTeX  
• Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains.
  Dejvuth Suwimonteerabuth and Stefan Schwoon and Javier Esparza ATVA 141-153 (2006)
  to dblp by dblp on 2006-10-27 00:00:00
  | URL | BibTeX  
• Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.
  Javier Esparza and Stefan Kiefer and Stefan Schwoon TACAS 489-503 (2006)
  to dblp by dblp on 2006-04-03 00:00:00
  | URL | BibTeX