According to our database1, Albert Nymeyer authored at least 21 papers between 1995 and 2013.
Collaborative distances :
Collaborative distances :
Legend:Book In proceedings Article PhD thesis Other
A design methodology for verified web-service mediators.
A Markov Performance Model for Buffered Protocol Design.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2011
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
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
The spin on guided random search in verification.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis.
Electr. Notes Theor. Comput. Sci., 2006
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
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
Heuristic Search Algorithms Based on Symbolic Data Structures.
Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003
Pattern-matching algorithms based on term rewrite systems.
Theor. Comput. Sci., 2000
Code Generation Based on Formal BURS Therory and Heuristic Search.
Acta Inf., 1997
Code Generation = A* + BURS.
Proceedings of the Compiler Construction, 6th International Conference, 1996
Backtracking non-deterministic recognizers.
J. Prog. Lang., 1995
A Grammatical Specification of Human-Computer Dialogue.
Comput. Lang., 1995