Andreas Griesmayer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2005–2016
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FM | Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. | Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham |
| 2015 | ICSOC | Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction. | Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio |
| 2013 | ESORICS | Automated Certification of Authorisation Policy Resistance. | Andreas Griesmayer, Charles Morisset |
| 2013 | FORTE | Model Checking Distributed Systems against Temporal-Epistemic Specifications. | Andreas Griesmayer, Alessio Lomuscio |
| 2013 | ICSOC | Model Checking GSM-Based Multi-Agent Systems. | Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio |
| 2012 | ICWS | Verifying GSM-Based Business Artifacts. | Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio |
| 2011 | MEMOCODE | Efficient deadlock detection for concurrent systems. | Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled |
| 2009 | FORTE | Dynamic Symbolic Execution of Distributed Concurrent Objects. | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
| 2009 | TAP | Dynamic Symbolic Execution for Testing Distributed Objects. | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
| 2008 | ICTAC | Testing Concurrent Objects with Application-Specific Schedulers. | Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen |
| 2006 | CAV | Repair of Boolean Programs with an Application to C. | Andreas Griesmayer, Roderick Bloem, Byron Cook |
| 2005 | CAV | Program Repair as a Game. | Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem |