1. Model checking and abstract interpretation as building blocks of advanced program analysis techniques

   • Stefan Kowalewski
   • Anna Philippou
   • Jörg Brauer

   Introduction 27 June 2013 Pages: 287 - 289

2. From tests to proofs

   • Ashutosh Kumar Gupta
   • Rupak Majumdar
   • Andrey Rybalchenko

   TACAS 2009 09 December 2012 Pages: 291 - 303

   

3. Falsification of LTL safety properties in hybrid systems

   • Erion Plaku
   • Lydia E. Kavraki
   • Moshe Y. Vardi

   TACAS 2009 23 May 2012 Pages: 305 - 320

4. Static analysis for concurrent programs with applications to data race detection

   • Vineet Kahlon
   • Sriram Sankaranarayanan
   • Aarti Gupta

   TACAS 2009 11 April 2013 Pages: 321 - 336

   

5. Selected dynamic issues in software model checking

   • Viet Yen Nguyen
   • Theo C. Ruys

   TACAS 2009 25 October 2012 Pages: 337 - 362

   

6. A model-driven co-simulation environment for heterogeneous systems

   • Massimo Bombino
   • Patrizia Scandurra

   Regular Paper 23 March 2012 Pages: 363 - 374

7. An integrated framework for checking the behaviour of fUML models using CSP

   • Islam Abdelhalim
   • Steve Schneider
   • Helen Treharne

   Regular Paper 28 June 2012 Pages: 375 - 396