Article selection

Articles with a ~~strikethrough~~ have already been chosen. Note that the list may be extended be extended upon request.

Abstract Regular (Tree) Model Checking Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, and Tomáš Vojnar Download
Regular Model Checking Using Inference of Regular Languages Peter Habermehl, and Tomáš Vojnar (INFINITY'04) Download
Regular Model Checking Using Solver Technologies and Automata Learning Daniel Neider and Nils Jansen (NFM'13) Download
Parameterized verification through view abstraction Parosh Abdulla, Frederic Haziza, and Lukas Holik by RFN Download
Verification of heap manipulating programs with ordered data by extended forest automata Parosh Aziz Abdulla, Lukáš Holík, Bengt Jonsson, Ondřej Lengál, Cong Quy Trinh and Tomáš Vojnar. Download
Regular Model Checking using Widening Techniques Tayssir Touili (VEPAS'01), by HE Download
Regular Model Checking for LTL(MSO) Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d’Orso, and Mayank Saksena (2012) Download
Regular Tree Model Checking Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, and Julien d’Orso (CAV'02) by HM Download
Omega-Regular Model Checking Bernard Boigelot, Axel Legay, and Pierre Wolper (TACAS'04) Download
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers Anthony W. Lin and Philipp Rümmer. Download
Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony W. Lin and Leonid Libkin. Download