Christopher Robinson-Mallett

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 1

Top Venues

CISR

FASE

MoDRE

University of Potsdam (PHD)

Education History

University of Potsdam

PHD

Publications

Christopher Robinson-Mallett, Sebastian Hansack
A Model of an Automotive Security Concept Phase. CISR (2015)
Christopher Robinson-Mallett
Coordinating security and safety engineering processes in automotive electronics development. CISR (2014)
Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. FASE (2013)
Christopher Robinson-Mallett
An approach on integrating models and textual specifications. MoDRE (2012)
Christopher Robinson-Mallett, Matthias Grochtmann, Joachim Wegener, Jens Köhnlein, Steffen Kühn
Modelling Requirements to Support Testing of Product Lines. ICST Workshops (2010)
Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer
Using communication coverage criteria and partial model generation to assist software integration testing. Softw. Qual. J. 16 (2) (2008)
Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer
Achieving communication coverage in testing. ACM SIGSOFT Softw. Eng. Notes 31 (6) (2006)
Christopher Robinson-Mallett, Peter Liggesmeyer
State Identification and Verification using a Model Checker. Software Engineering (2006)
Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
Extended state identification and verification using a model checker. Inf. Softw. Technol. 48 (10) (2006)
Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
Generating optimal distinguishing sequences with a model checker. A-MOST (2005)
Thomas Bauer, Jens Herrmann, Peter Liggesmeyer, Christopher Robinson-Mallett
A flexible integration strategy for in-car telematics systems. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
Generating optimal distinguishing sequences with a model checker. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)

Christopher Robinson-Mallett.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christopher Robinson-Mallett