| Program Repair as a Game. B Jobstmann, A Griesmayer, R Bloem CAV 5, 226-238, 2005 | 274 | 2005 |
| Repair of boolean programs with an application to C A Griesmayer, R Bloem, B Cook Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 91 | 2006 |
| Automated fault localization for C programs A Griesmayer, S Staber, R Bloem Electronic Notes in Theoretical Computer Science 174 (4), 95-111, 2007 | 88 | 2007 |
| D-finder 2: Towards efficient correctness of incremental design S Bensalem, A Griesmayer, A Legay, TH Nguyen, J Sifakis, R Yan Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2011 | 62 | 2011 |
| Finding and fixing faults B Jobstmann, S Staber, A Griesmayer, R Bloem Journal of Computer and System Sciences 78 (2), 441-460, 2012 | 61 | 2012 |
| Verifying GSM-based business artifacts P Gonzalez, A Griesmayer, A Lomuscio 2012 ieee 19th international conference on web services, 25-32, 2012 | 47 | 2012 |
| Fault localization using a model checker A Griesmayer, S Staber, R Bloem Software Testing, Verification and Reliability 20 (2), 149-173, 2010 | 33 | 2010 |
| Automata construction algorithms optimized for PSL S Ben-David, R Bloem, D Fisman, A Griesmayer, I Pill, S Ruah Property-Based System Design (PROSYD), Deliverable 3.2 4, 2005 | 32 | 2005 |
| Efficient deadlock detection for concurrent systems S Bensalem, A Griesmayer, A Legay, TH Nguyen, D Peled Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011 | 23 | 2011 |
| Verification of GSM-based artifact-centric systems by predicate abstraction P Gonzalez, A Griesmayer, A Lomuscio Service-Oriented Computing: 13th International Conference, ICSOC 2015, Goa …, 2015 | 22 | 2015 |
| Model-checking user behaviour using interacting components TA Basuki, A Cerone, A Griesmayer, R Schlatte Formal aspects of computing 21, 571-588, 2009 | 18 | 2009 |
| Credo methodology: modeling and analyzing a peer-to-peer system in credo I Grabe, MM Jaghoori, B Aichernig, C Baier, T Blechmann, F de Boer, ... Electronic Notes in Theoretical Computer Science 266, 33-48, 2010 | 17* | 2010 |
| Modeling and testing multi-threaded asynchronous systems with Creol B Aichernig, A Griesmayer, R Schlatte, A Stam Electronic Notes in Theoretical Computer Science 243, 3-14, 2009 | 17 | 2009 |
| Dynamic symbolic execution for testing distributed objects A Griesmayer, B Aichernig, EB Johnsen, R Schlatte Tests and Proofs: Third International Conference, TAP 2009, Zurich …, 2009 | 16 | 2009 |
| Model checking GSM-based multi-agent systems P Gonzalez, A Griesmayer, A Lomuscio Service-Oriented Computing–ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE …, 2014 | 14 | 2014 |
| Conformance testing of distributed concurrent systems with executable designs BK Aichernig, A Griesmayer, EB Johnsen, R Schlatte, A Stam Formal Methods for Components and Objects: 7th International Symposium, FMCO …, 2009 | 12 | 2009 |
| A formal approach for incremental construction with an application to autonomous robotic systems S Bensalem, L De Silva, A Griesmayer, F Ingrand, A Legay, R Yan Software Composition: 10th International Conference, SC 2011, Zurich …, 2011 | 10 | 2011 |
| Testing concurrent objects with application-specific schedulers R Schlatte, B Aichernig, F de Boer, A Griesmayer, EB Johnsen Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008 | 10 | 2008 |
| Automated certification of authorisation policy resistance A Griesmayer, C Morisset Computer Security–ESORICS 2013: 18th European Symposium on Research in …, 2013 | 8 | 2013 |
| Tools für die interaktive Spezifikation von Problemen A Griesmayer Integrating Technology into Mathematics Education, 2002 | 8 | 2002 |
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
