Model checking and abstract interpretation as building blocks of advanced program analysis techniques Stefan KowalewskiAnna PhilippouJörg Brauer Introduction 27 June 2013 Pages: 287 - 289
From tests to proofs Ashutosh Kumar GuptaRupak MajumdarAndrey Rybalchenko TACAS 2009 09 December 2012 Pages: 291 - 303
Falsification of LTL safety properties in hybrid systems Erion PlakuLydia E. KavrakiMoshe Y. Vardi TACAS 2009 23 May 2012 Pages: 305 - 320
Static analysis for concurrent programs with applications to data race detection Vineet KahlonSriram SankaranarayananAarti Gupta TACAS 2009 11 April 2013 Pages: 321 - 336
Selected dynamic issues in software model checking Viet Yen NguyenTheo C. Ruys TACAS 2009 25 October 2012 Pages: 337 - 362
A model-driven co-simulation environment for heterogeneous systems Massimo BombinoPatrizia Scandurra Regular Paper 23 March 2012 Pages: 363 - 374
An integrated framework for checking the behaviour of fUML models using CSP Islam AbdelhalimSteve SchneiderHelen Treharne Regular Paper 28 June 2012 Pages: 375 - 396