Article selection

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

Articles to choose on regular model checking

• 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

Further papers on Regular model checking (do not pick)

• Regular model checking (survey) Parosh Abdulla. Download

• Regular model checking revisited (survey) Anthony W. Lin and Philipp Rümmer. Download