Christopher Robinson-Mallett

According to our database, Christopher Robinson-Mallett authored at least 13 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Integrating Graphical and Natural Language Specifications to Support Analysis and Testing.

Christopher L. Robinson-Mallett, Robert M. Hierons

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

2015

A Model of an Automotive Security Concept Phase.

Christopher Robinson-Mallett, Sebastian Hansack

Proceedings of the 10th Annual Cyber and Information Security Research Conference, 2015

2014

Coordinating security and safety engineering processes in automotive electronics development.

Christopher Robinson-Mallett

Proceedings of the Cyber and Information Security Research Conference, 2014

2013

Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification.

Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

An approach on integrating models and textual specifications.

Christopher Robinson-Mallett

Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 2012

2010

Modelling Requirements to Support Testing of Product Lines.

Christopher Robinson-Mallett, Matthias Grochtmann, Joachim Wegener, Jens Köhnlein, Steffen Kühn

Proceedings of the Third International Conference on Software Testing, 2010

2008

Using communication coverage criteria and partial model generation to assist software integration testing.

Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer

Softw. Qual. J., 2008

2006

Achieving communication coverage in testing.

Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer

ACM SIGSOFT Softw. Eng. Notes, 2006

Extended state identification and verification using a model checker.

Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz

Inf. Softw. Technol., 2006

State Identification and Verification using a Model Checker.

Christopher Robinson-Mallett, Peter Liggesmeyer

Proceedings of the Software Engineering 2006, 2006

2005

Modellbasierte Modulprüfung für die Entwicklung technischer, softwareintensiver Systeme mit Real-Time Object-Oriented Modeling.

Christopher Robinson-Mallett

PhD thesis, 2005

Generating optimal distinguishing sequences with a model checker.

Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz

ACM SIGSOFT Softw. Eng. Notes, 2005

A flexible integration strategy for in-car telematics systems.

Thomas Bauer, Jens Herrmann, Peter Liggesmeyer, Christopher Robinson-Mallett

ACM SIGSOFT Softw. Eng. Notes, 2005