Synthesis
Online First™Safety first: a two-stage algorithm for the synthesis of reactive systems
Saqib Sohail and Fabio Somenzi
Online First™, 3 February 2012
Synthesis
Online First™Template-based program verification and program synthesis
Saurabh Srivastava, Sumit Gulwani and Jeffrey S. Foster
Online First™, 25 January 2012
Synthesis
Online First™Exploiting structure in LTL synthesis
Emmanuel Filiot, Naiyong Jin and Jean-François Raskin
Online First™, 24 January 2012
Synthesis
Online First™Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies
Robert Könighofer, Georg Hofferek and Roderick Bloem
Online First™, 16 December 2011
ICTSS 2010
Online First™More testable properties
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand and Laurent Mounier
Online First™, 7 December 2011
Introduction
Online First™Regular model checking
Parosh Aziz Abdulla
Online First™, 7 December 2011
Introduction
Online First™Introduction to the special section on runtime verification
Oleg Sokolsky, Klaus Havelund and Insup Lee
Online First™, 28 November 2011
Synthesis
Online First™Functional synthesis for linear arithmetic and sets
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac and Philippe Suter
Online First™, 21 November 2011
ICTSS 2010
Online First™Alternating simulation and IOCO
Margus Veanes and Nikolaj Bjørner
Online First™, 2 November 2011
RMC Regular Model Checking
Online First™Widening techniques for regular tree model checking
Ahmed Bouajjani and Tayssir Touili
Online First™, 28 September 2011