Albert Nymeyer

According to our database1, Albert Nymeyer
  • authored at least 21 papers between 1995 and 2013.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
A design methodology for verified web-service mediators.
Computing, 2013

2011
A Markov Performance Model for Buffered Protocol Design.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2011

2010
The 'Best' Valid Safe Protocol Converter.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

A Markov Model for Low-Power High-Fidelity Design-Space Exploration.
Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

High-fidelity markovian power model for protocols.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
Formally Synthesising a Protocol Converter: A Case Study.
Proceedings of the Implementation and Application of Automata, 2009

Heuristic Sensitivity in Guided Random-Walk Based Model Checking.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Formal Verification Based on Guided Random Walks.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Formal Model of a Protocol Converter.
Proceedings of the Theory of Computing 2009, 2009

2008
The spin on guided random search in verification.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

2006
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis.
Electr. Notes Theor. Comput. Sci., 2006

2005
Experiments with Multiple Abstraction Heuristics in Symbolic Verification.
Proceedings of the Abstraction, 2005

Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Abstraction-Based Model Checking Using Heuristical Refinement.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003
Heuristic Search Algorithms Based on Symbolic Data Structures.
Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

2000
Pattern-matching algorithms based on term rewrite systems.
Theor. Comput. Sci., 2000

1997
Code Generation Based on Formal BURS Therory and Heuristic Search.
Acta Inf., 1997

1996
Code Generation = A* + BURS.
Proceedings of the Compiler Construction, 6th International Conference, 1996

1995
Backtracking non-deterministic recognizers.
J. Prog. Lang., 1995

A Grammatical Specification of Human-Computer Dialogue.
Comput. Lang., 1995


  Loading...