Albert Nymeyer

Publication Activity (10 Years)

Years Active: 1995-2013
Publications (10 Years): 0

Top Topics

Design Methodology

Business Process

Hardware Software

Top Venues

Publications

Jing Cao, Albert Nymeyer
A design methodology for verified web-service mediators. Computing 95 (7) (2013)
Jing Cao, Albert Nymeyer
A Markov Performance Model for Buffered Protocol Design. ISVLSI (2011)
Jing Cao, Albert Nymeyer
The 'Best' Valid Safe Protocol Converter. SSIRI (2010)
Jing Cao, Albert Nymeyer
A Markov Model for Low-Power High-Fidelity Design-Space Exploration. DSD (2010)
Jing Cao, Albert Nymeyer
High-fidelity markovian power model for protocols. DATE (2010)
Jing Cao, Albert Nymeyer
Formally Synthesising a Protocol Converter: A Case Study. CIAA (2009)
Jing Cao, Albert Nymeyer
Formal Model of a Protocol Converter. CATS (2009)
Thang H. Bui, Albert Nymeyer
Formal Verification Based on Guided Random Walks. IFM (2009)
Thang H. Bui, Albert Nymeyer
Heuristic Sensitivity in Guided Random-Walk Based Model Checking. SEFM (2009)
Thang H. Bui, Albert Nymeyer
The spin on guided random search in verification. ICST Workshops (2008)
Kairong Qian, Albert Nymeyer
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis. Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
Kairong Qian, Albert Nymeyer, Steven Susanto
Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. FORTE (2005)
Kairong Qian, Albert Nymeyer, Steven Susanto
Experiments with Multiple Abstraction Heuristics in Symbolic Verification. SARA (2005)
Kairong Qian, Albert Nymeyer
Abstraction-Based Model Checking Using Heuristical Refinement. ATVA (2004)
Kairong Qian, Albert Nymeyer
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases. TACAS (2004)
Albert Nymeyer, Kairong Qian
Heuristic Search Algorithms Based on Symbolic Data Structures. Australian Conference on Artificial Intelligence (2003)
Joost-Pieter Katoen, Albert Nymeyer
Pattern-matching algorithms based on term rewrite systems. Theor. Comput. Sci. 238 (1-2) (2000)
Albert Nymeyer, Joost-Pieter Katoen
Code Generation Based on Formal BURS Therory and Heuristic Search. Acta Informatica 34 (8) (1997)
Albert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas
Code Generation = A* + BURS. CC (1996)
Albert Nymeyer
Backtracking non-deterministic recognizers. J. Program. Lang. 3 (4) (1995)
Albert Nymeyer
A Grammatical Specification of Human-Computer Dialogue. Comput. Lang. 21 (1) (1995)