Andreas Griesmayer

According to our database1, Andreas Griesmayer authored at least 25 papers between 2005 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model.
Proceedings of the FM 2016: Formal Methods, 2016

2015
Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction.
Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

2013
A framework for automated and certified refinement steps.
ISSE, 2013

Model Checking GSM-Based Multi-Agent Systems.
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Model Checking Distributed Systems against Temporal-Epistemic Specifications.
Proceedings of the Formal Techniques for Distributed Systems, 2013

Automated Certification of Authorisation Policy Resistance.
Proceedings of the Computer Security - ESORICS 2013, 2013

2012
Finding and fixing faults.
J. Comput. Syst. Sci., 2012

Verifying GSM-Based Business Artifacts.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

2011
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems.
Proceedings of the Software Composition - 10th International Conference, SC 2011, Zurich, 2011

D-Finder 2: Towards Efficient Correctness of Incremental Design.
Proceedings of the NASA Formal Methods, 2011

Efficient deadlock detection for concurrent systems.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

2010
Fault localization using a model checker.
Softw. Test., Verif. Reliab., 2010

Resource Modeling for Timed Creol Models.
Electr. Notes Theor. Comput. Sci., 2010

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010

2009
Model-checking user behaviour using interacting components.
Formal Asp. Comput., 2009

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol.
Electr. Notes Theor. Comput. Sci., 2009

Dynamic Symbolic Execution for Testing Distributed Objects.
Proceedings of the Tests and Proofs, Third International Conference, 2009

Dynamic Symbolic Execution of Distributed Concurrent Objects.
Proceedings of the Formal Techniques for Distributed Systems, 2009

The Credo Methodology - (Extended Version).
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008
Testing Concurrent Objects with Application-Specific Schedulers.
Proceedings of the Theoretical Aspects of Computing, 2008

Conformance Testing of Distributed Concurrent Systems with Executable Designs.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007
Automated Fault Localization for C Programs.
Electr. Notes Theor. Comput. Sci., 2007

2006
Repair of Boolean Programs with an Application to C.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Formal Verification of Control Software: A Case Study.
Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Program Repair as a Game.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005


  Loading...