Andreas Griesmayer

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