Albert Nymeyer

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