Andreas Griesmayer

According to our database, Andreas Griesmayer authored at least 26 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version).

Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham

CoRR, 2016

Equivalence Checking of a Floating-Point Unit Against a High-Level C Model.

Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham

Proceedings of the FM 2016: Formal Methods, 2016

2015

Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction.

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio

Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

2013

A framework for automated and certified refinement steps.

Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang

Innov. Syst. Softw. Eng., 2013

Model Checking GSM-Based Multi-Agent Systems.

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Model Checking Distributed Systems against Temporal-Epistemic Specifications.

Andreas Griesmayer, Alessio Lomuscio

Proceedings of the Formal Techniques for Distributed Systems, 2013

Automated Certification of Authorisation Policy Resistance.

Andreas Griesmayer, Charles Morisset

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

Finding and fixing faults.

Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem

J. Comput. Syst. Sci., 2012

Verifying GSM-Based Business Artifacts.

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

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

Proceedings of the Software Composition - 10th International Conference, 2011

D-Finder 2: Towards Efficient Correctness of Incremental Design.

Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan

Proceedings of the NASA Formal Methods, 2011

Efficient deadlock detection for concurrent systems.

Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

2010

Fault localization using a model checker.

Andreas Griesmayer, Stefan Staber, Roderick Bloem

Softw. Test. Verification Reliab., 2010

2009

Model-checking user behaviour using interacting components.

Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte

Formal Aspects Comput., 2009

Resource Modeling for Timed Creol Models.

Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 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, 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

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Dynamic Symbolic Execution for Testing Distributed Objects.

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

Dynamic Symbolic Execution of Distributed Concurrent Objects.

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte

Proceedings of the Formal Techniques for Distributed Systems, 2009

The Credo Methodology - (Extended Version).

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

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol.

Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Testing Concurrent Objects with Application-Specific Schedulers.

Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen

Proceedings of the Theoretical Aspects of Computing, 2008

Conformance Testing of Distributed Concurrent Systems with Executable Designs.

Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2006

Automated Fault Localization for C Programs.

Andreas Griesmayer, Stefan Staber, Roderick Bloem

Proceedings of the Workshop on Verification and Debugging, 2006

Repair of Boolean Programs with an Application to C.

Andreas Griesmayer, Roderick Bloem, Byron Cook

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Formal Verification of Control Software: A Case Study.

Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Program Repair as a Game.

Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem

Proceedings of the Computer Aided Verification, 17th International Conference, 2005