Synthesis and stochastic assessment of cost-optimal schedules Angelika MaderHenrik BohnenkampHolger Hermanns Regular Contribution 16 November 2009 Pages: 305 - 318
Exploiting resolution proofs to speed up LTL vacuity detection for BMC Jocelyn SimmondsJessica DaviesMarsha Chechik Regular Paper 06 January 2010 Pages: 319 - 335
Data decision diagrams for Promela systems analysis Vincent BeaudenonEmmanuelle EncrenazSami Taktak Regular Paper 06 February 2010 Pages: 337 - 352
MontiCore: a framework for compositional development of domain specific languages Holger KrahnBernhard RumpeSteven Völkel Regular Paper 09 March 2010 Pages: 353 - 372
Data-abstraction refinement: a game semantic approach Adam BakewellAleksandar DimovskiRanko Lazić Regular Paper 14 March 2010 Pages: 373 - 389
Oris: a tool for modeling, verification and evaluation of real-time systems Giacomo BucciLaura CarnevaliEnrico Vicario Regular Paper 09 May 2010 Pages: 391 - 403