Christopher Robinson-Mallett

13 papers B 1C 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2015 — conf
A Model of an Automotive Security Concept Phase.
CISR
Christopher Robinson-Mallett, Sebastian Hansack
2014 — conf
Coordinating security and safety engineering processes in automotive electronics development.
CISR
Christopher Robinson-Mallett
2013 B conf
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification.
FASE
Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett
2012 — conf
An approach on integrating models and textual specifications.
MoDRE
Christopher Robinson-Mallett
2010 — conf
Modelling Requirements to Support Testing of Product Lines.
ICST Workshops
Christopher Robinson-Mallett, Matthias Grochtmann, Joachim Wegener, Jens Köhnlein, Steffen Kühn
2008 J jnl
Using communication coverage criteria and partial model generation to assist software integration testing.
Softw. Qual. J.
Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer
2006 J jnl
Achieving communication coverage in testing.
ACM SIGSOFT Softw. Eng. Notes
Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer
2006 J jnl
Extended state identification and verification using a model checker.
Inf. Softw. Technol.
Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
2006 C conf
State Identification and Verification using a Model Checker.
Software Engineering
Christopher Robinson-Mallett, Peter Liggesmeyer
2005 J jnl
A flexible integration strategy for in-car telematics systems.
ACM SIGSOFT Softw. Eng. Notes
Thomas Bauer, Jens Herrmann, Peter Liggesmeyer, Christopher Robinson-Mallett
2005 — conf
Generating optimal distinguishing sequences with a model checker.
A-MOST
Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
2005 J jnl
Generating optimal distinguishing sequences with a model checker.
ACM SIGSOFT Softw. Eng. Notes
Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
2005 — —
Modellbasierte Modulprüfung für die Entwicklung technischer, softwareintensiver Systeme mit Real-Time Object-Oriented Modeling.
Christopher Robinson-Mallett