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 × Italy
1 × USA
Collaborated with:
P.Liggesmeyer T.Mücke U.Goltz L.Lin J.H.Poore R.Eschbach R.M.Hierons
Talks about:
sequenc (2) checker (2) model (2) distinguish (1) behavior (1) identif (1) generat (1) augment (1) analysi (1) string (1)

Person: Christopher Robinson-Mallett

DBLP DBLP: Robinson-Mallett:Christopher

Contributed to:

FASE 20132013
A-MOST 20052005
A-MOST 20052006

Wrote 3 papers:

FASE-2013-LinPEHR #analysis #behaviour #requirements #sequence #specification #string
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification (LL, JHP, RE, RMH, CRM), pp. 179–193.
A-MOST-2005-Robinson-MallettLMG #generative #model checking #sequence
Generating optimal distinguishing sequences with a model checker (CRM, PL, TM, UG), pp. 51–57.
A-MOST-J-2005-Robinson-MallettLMG06 #identification #model checking #using #verification
Extended state identification and verification using a model checker (CRM, PL, TM, UG), pp. 981–992.

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.