Andreas Griesmayer
Andreas Griesmayer
Imperial College London
Verified email at - Homepage
Cited by
Cited by
Program Repair as a Game.
B Jobstmann, A Griesmayer, R Bloem
CAV 5, 226-238, 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
Automated fault localization for C programs
A Griesmayer, S Staber, R Bloem
Electronic Notes in Theoretical Computer Science 174 (4), 95-111, 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
Finding and fixing faults
B Jobstmann, S Staber, A Griesmayer, R Bloem
Journal of Computer and System Sciences 78 (2), 441-460, 2012
Verifying GSM-based business artifacts
P Gonzalez, A Griesmayer, A Lomuscio
2012 ieee 19th international conference on web services, 25-32, 2012
Fault localization using a model checker
A Griesmayer, S Staber, R Bloem
Software Testing, Verification and Reliability 20 (2), 149-173, 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
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
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
Model-checking user behaviour using interacting components
TA Basuki, A Cerone, A Griesmayer, R Schlatte
Formal aspects of computing 21, 571-588, 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
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
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
Model checking GSM-based multi-agent systems
P Gonzalez, A Griesmayer, A Lomuscio
Service-Oriented Computing–ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE …, 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
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
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
Automated certification of authorisation policy resistance
A Griesmayer, C Morisset
Computer Security–ESORICS 2013: 18th European Symposium on Research in …, 2013
Tools für die interaktive Spezifikation von Problemen
A Griesmayer
Integrating Technology into Mathematics Education, 2002
The system can't perform the operation now. Try again later.
Articles 1–20