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: Robinson-Mallett:Christopher
Contributed to:
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.