BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Spain
1 × Sweden
1 × Vietnam
2 × Germany
Collaborated with:
J.Cao T.H.Bui K.Qian J.Katoen Y.Westra H.Alblas
Talks about:
model (3) guid (3) base (3) protocol (2) random (2) formal (2) check (2) walk (2) synthesis (1) markovian (1)

Person: Albert Nymeyer

DBLP DBLP: Nymeyer:Albert

Contributed to:

DATE 20102010
CIAA 20092009
IFM 20092009
SEFM 20092009
TACAS 20042004
CC 19961996

Wrote 6 papers:

DATE-2010-CaoN #markov #protocol
High-fidelity markovian power model for protocols (JC, AN), pp. 267–270.
CIAA-2009-CaoN #case study #protocol
Formally Synthesising a Protocol Converter: A Case Study (JC, AN), pp. 249–252.
IFM-2009-BuiN #random #verification
Formal Verification Based on Guided Random Walks (THB, AN), pp. 72–87.
SEFM-2009-BuiN #heuristic #model checking
Heuristic Sensitivity in Guided Random-Walk Based Model Checking (THB, AN), pp. 125–134.
TACAS-2004-QianN #abstraction #database #invariant #model checking
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases (KQ, AN), pp. 497–511.
CC-1996-NymeyerKWA #code generation
Code Generation = A* + BURS (AN, JPK, YW, HA), pp. 160–176.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.