Andreas Griesmayer
Andreas Griesmayer
Imperial College London
Verified email at arm.com - Homepage
TitleCited byYear
Program repair as a game
B Jobstmann, A Griesmayer, R Bloem
International conference on computer aided verification, 226-238, 2005
2202005
Repair of boolean programs with an application to C
A Griesmayer, R Bloem, B Cook
International Conference on Computer Aided Verification, 358-371, 2006
712006
Automated fault localization for C programs
A Griesmayer, S Staber, R Bloem
Electronic Notes in Theoretical Computer Science 174 (4), 95-111, 2007
702007
Finding and fixing faults
B Jobstmann, S Staber, A Griesmayer, R Bloem
Journal of Computer and System Sciences 78 (2), 441-460, 2012
582012
D-finder 2: Towards efficient correctness of incremental design
S Bensalem, A Griesmayer, A Legay, TH Nguyen, J Sifakis, R Yan
Nasa Formal Methods Symposium, 453-458, 2011
532011
Verifying GSM-based business artifacts
P Gonzalez, A Griesmayer, A Lomuscio
2012 IEEE 19th International Conference on Web Services, 25-32, 2012
402012
Model-based mutation testing of an industrial measurement device
BK Aichernig, J Auer, E J÷bstl, R Korošec, W Krenn, R Schlick, ...
International Conference on Tests and Proofs, 1-19, 2014
322014
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
312005
Fault localization using a model checker
A Griesmayer, S Staber, R Bloem
Software Testing, Verification and Reliability 20 (2), 149-173, 2010
222010
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
212011
Verification of GSM-based artifact-centric systems by predicate abstraction
P Gonzalez, A Griesmayer, A Lomuscio
International Conference on Service-Oriented Computing, 253-268, 2015
202015
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
172009
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
16*2010
Require, test, and trace IT
BK Aichernig, K H÷rmaier, F Lorber, D Ničković, S Tiran
International journal on software tools for technology transfer 19 (4), 409-426, 2017
142017
Model-checking user behaviour using interacting components
TA Basuki, A Cerone, A Griesmayer, R Schlatte
Formal aspects of computing 21 (6), 571, 2009
142009
Dynamic symbolic execution for testing distributed objects
A Griesmayer, B Aichernig, EB Johnsen, R Schlatte
International Conference on Tests and Proofs, 105-120, 2009
132009
Model checking GSM-based multi-agent systems
P Gonzalez, A Griesmayer, A Lomuscio
International Conference on Service-Oriented Computing, 54-68, 2013
122013
Conformance testing of distributed concurrent systems with executable designs
BK Aichernig, A Griesmayer, EB Johnsen, R Schlatte, A Stam
International Symposium on Formal Methods for Components and Objects, 61-81, 2008
102008
Testing concurrent objects with application-specific schedulers
R Schlatte, B Aichernig, F De Boer, A Griesmayer, EB Johnsen
International Colloquium on Theoretical Aspects of Computing, 319-333, 2008
102008
Automated certification of authorisation policy resistance
A Griesmayer, C Morisset
European Symposium on Research in Computer Security, 574-591, 2013
92013
The system can't perform the operation now. Try again later.
Articles 1–20