Program Repair as a Game. - Barbara Jobstmann; Andreas Griesmayer; Roderick Bloem (CAV, 2005)

Formal Verification of Control Software: A Case Study. - Andreas Griesmayer; Roderick Bloem; Martin Hautzendorfer; Franz Wotawa (IEA/AIE, 2005)

Repair of Boolean Programs with an Application to C. - Andreas Griesmayer; Roderick Bloem; Byron Cook (CAV, 2006)

Automated Fault Localization for C Programs. - Andreas Griesmayer; Stefan Staber; Roderick Bloem (V&D@FLoC, 2006)

Conformance Testing of Distributed Concurrent Systems with Executable Designs. - Bernhard K. Aichernig; Andreas Griesmayer; Einar Broch Johnsen; Rudolf Schlatte; Andries Stam (FMCO, 2008)

Testing Concurrent Objects with Application-Specific Schedulers. - Rudolf Schlatte; Bernhard K. Aichernig; Frank S. de Boer; Andreas Griesmayer; Einar Broch Johnsen (ICTAC, 2008)

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. - Bernhard K. Aichernig; Andreas Griesmayer; Rudolf Schlatte; Andries Stam (TTSS, 2008)

The Credo Methodology - (Extended Version). - Immo Grabe; Mohammad Mahdi Jaghoori; Joachim Klein 001; Sascha Klüppelholz; Andries Stam; Christel Baier; Tobias Blechmann 001; Bernhard K. Aichernig; Frank S. de Boer; Andreas Griesmayer (FMCO, 2009)

Dynamic Symbolic Execution of Distributed Concurrent Objects. - Andreas Griesmayer; Bernhard K. Aichernig; Einar Broch Johnsen; Rudolf Schlatte (FMOODS/FORTE, 2009)

Dynamic Symbolic Execution for Testing Distributed Objects. - Andreas Griesmayer; Bernhard K. Aichernig; Einar Broch Johnsen; Rudolf Schlatte (TAP@TOOLS, 2009)

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. - Immo Grabe; Mohammad Mahdi Jaghoori; Bernhard K. Aichernig; Christel Baier; Tobias Blechmann 001; Frank S. de Boer; Andreas Griesmayer; Einar Broch Johnsen; Joachim Klein 001; Sascha Klüppelholz; Marcel Kyas; Wolfgang Leister; et al. (TTSS, 2009)

Resource Modeling for Timed Creol Models. - Rudolf Schlatte; Bernhard K. Aichernig; Andreas Griesmayer; Marcel Kyas (TTSS, 2009)

Model-checking user behaviour using interacting components. - Thomas Anung Basuki; Antonio Cerone; Andreas Griesmayer; Rudolf Schlatte (Formal Aspects Comput., 2009)

Fault localization using a model checker. - Andreas Griesmayer; Stefan Staber; Roderick Bloem (Softw. Test. Verification Reliab., 2010)

Efficient deadlock detection for concurrent systems. - Saddek Bensalem; Andreas Griesmayer; Axel Legay; Thanh-Hung Nguyen; Doron A. Peled (MEMOCODE, 2011)

D-Finder 2: Towards Efficient Correctness of Incremental Design. - Saddek Bensalem; Andreas Griesmayer; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (NASA Formal Methods, 2011)

A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. - Saddek Bensalem; Lavindra de Silva; Andreas Griesmayer; Félix Ingrand; Axel Legay; Rongjie Yan (SC@TOOLS, 2011)

Verifying GSM-Based Business Artifacts. - Pavel Gonzalez; Andreas Griesmayer; Alessio Lomuscio (ICWS, 2012)

Finding and fixing faults. - Barbara Jobstmann; Stefan Staber; Andreas Griesmayer; Roderick Bloem (J. Comput. Syst. Sci., 2012)

Automated Certification of Authorisation Policy Resistance. - Andreas Griesmayer; Charles Morisset (ESORICS, 2013)

Model Checking Distributed Systems against Temporal-Epistemic Specifications. - Andreas Griesmayer; Alessio Lomuscio (FMOODS/FORTE, 2013)

Model Checking GSM-Based Multi-Agent Systems. - Pavel Gonzalez; Andreas Griesmayer; Alessio Lomuscio (ICSOC Workshops, 2013)

A framework for automated and certified refinement steps. - Andreas Griesmayer; Zhiming Liu 001; Charles Morisset; Shuling Wang (Innov. Syst. Softw. Eng., 2013)

Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction. - Pavel Gonzalez; Andreas Griesmayer; Alessio Lomuscio (ICSOC, 2015)

Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. - Rajdeep Mukherjee; Saurabh Joshi 001; Andreas Griesmayer; Daniel Kroening; Tom Melham (FM, 2016)

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). - Rajdeep Mukherjee; Saurabh Joshi 001; Andreas Griesmayer; Daniel Kroening; Tom Melham (CoRR, 2016)