Concepedia

Andreas Griesmayer

AG

7

Publications

200

Citations

7

H-Index

2007

Active since

Affiliations

Graz University of Technology(Current)

Imperial College London

Centre National de la Recherche Scientifique

Andreas Griesmayer is an author at Graz University of Technology specializing in software analysis, formal methods, and program analysis.

Top concepts

EngineeringFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationVerificationSystem SoftwareComputer ScienceSoftware TestingSystems Engineering

Publications per year

2007–2012

7

Publications

7

Automated Fault Localization for C Programs

Andreas Griesmayer, Stefan Staber, Roderick Bloem · Electronic Notes in Theoretical Computer Science · 2007 · 63 citations · Full text

Program Checking, Engineering, Verification +21

Verifying GSM-Based Business Artifacts

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio · 2012 · 36 citations

Engineering, Business Intelligence, Service Assurance +23

Finding and fixing faults

Barbara Jobstmann, Stefan Staber, Andreas Griesmayer et al. · Journal of Computer and System Sciences · 2011 · 35 citations

Software Maintenance, Reliability Engineering, Engineering +10

Fault localization using a model checker

Andreas Griesmayer, Stefan Staber, Roderick Bloem · Software Testing Verification and Reliability · 2009 · 19 citations

Program Checking, Engineering, Verification +26

Model-checking user behaviour using interacting components

Thomas Anung Basuki, António Cerone, Andreas Griesmayer et al. · Formal Aspects of Computing · 2009 · 18 citations · Full text

Rows per page

1–5 of 7