Andreas Griesmayer

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 3

Top Topics

Temporal Epistemic

Verification Method

Top Venues

J. Comput. Syst. Sci.

ICSOC Workshops

Publications

Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). CoRR (2016)
Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. FM (2016)
Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio
Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction. ICSOC (2015)
Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
A framework for automated and certified refinement steps. Innov. Syst. Softw. Eng. 9 (1) (2013)
Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio
Model Checking GSM-Based Multi-Agent Systems. ICSOC Workshops (2013)
Andreas Griesmayer, Charles Morisset
Automated Certification of Authorisation Policy Resistance. ESORICS (2013)
Andreas Griesmayer, Alessio Lomuscio
Model Checking Distributed Systems against Temporal-Epistemic Specifications. FMOODS/FORTE (2013)
Andreas Griesmayer, Charles Morisset
Automated Certification of Authorisation Policy Resistance. CoRR (2013)
Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio
Verifying GSM-Based Business Artifacts. ICWS (2012)
Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem
Finding and fixing faults. J. Comput. Syst. Sci. 78 (2) (2012)
Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. SC@TOOLS (2011)
Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods (2011)
Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled
Efficient deadlock detection for concurrent systems. MEMOCODE (2011)
Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
A Framework for Automated and Certified Refinement Steps CoRR (2011)
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas
Resource Modeling for Timed Creol Models. Electron. Notes Theor. Comput. Sci. 266 (2010)
Andreas Griesmayer, Stefan Staber, Roderick Bloem
Fault localization using a model checker. Softw. Test. Verification Reliab. 20 (2) (2010)
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electron. Notes Theor. Comput. Sci. 266 (2010)
Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte
Model-checking user behaviour using interacting components. Formal Aspects Comput. 21 (6) (2009)
Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. Electron. Notes Theor. Comput. Sci. 243 (2009)
Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer
The Credo Methodology - (Extended Version). FMCO (2009)
Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte
Dynamic Symbolic Execution for Testing Distributed Objects. TAP@TOOLS (2009)
Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte
Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE (2009)
Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam
Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO (2008)
Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen
Testing Concurrent Objects with Application-Specific Schedulers. ICTAC (2008)
Andreas Griesmayer, Stefan Staber, Roderick Bloem
Automated Fault Localization for C Programs. Electron. Notes Theor. Comput. Sci. 174 (4) (2007)
Andreas Griesmayer, Roderick Bloem, Byron Cook
Repair of Boolean Programs with an Application to C. CAV (2006)
Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa
Formal Verification of Control Software: A Case Study. IEA/AIE (2005)
Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem
Program Repair as a Game. CAV (2005)