Albert Nymeyer

Computing, 2013

2011

A Markov Performance Model for Buffered Protocol Design.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2011

2010

The 'Best' Valid Safe Protocol Converter.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

High-fidelity markovian power model for protocols.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Formally Synthesising a Protocol Converter: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2009

Heuristic Sensitivity in Guided Random-Walk Based Model Checking.

[BibT_eX]

[DOI]

Thang H. Bui

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Formal Verification Based on Guided Random Walks.

[BibT_eX]

[DOI]

Thang H. Bui

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Formal Model of a Protocol Converter.

[BibT_eX]

[DOI]

Proceedings of the Theory of Computing 2009, 2009

2008

The spin on guided random search in verification.

[BibT_eX]

[DOI]

Thang H. Bui

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

2005

Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

Experiments with Multiple Abstraction Heuristics in Symbolic Verification.

[BibT_eX]

[DOI]

Steven Susanto

Proceedings of the Abstraction, 2005

Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.

[BibT_eX]

[DOI]

Steven Susanto

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Abstraction-Based Model Checking Using Heuristical Refinement.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Heuristic Search Algorithms Based on Symbolic Data Structures.

[BibT_eX]

[DOI]

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

2000

Pattern-matching algorithms based on term rewrite systems.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

Theor. Comput. Sci., 2000

1997

Code Generation Based on Formal BURS Therory and Heuristic Search.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

Acta Informatica, 1997

1996

Code Generation = A* + BURS.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 6th International Conference, 1996

1995

Backtracking non-deterministic recognizers.

[BibT_eX]

[DOI]

J. Program. Lang., 1995

A Grammatical Specification of Human-Computer Dialogue.

[BibT_eX]

[DOI]