Finn Kristoffersen

According to our database, Finn Kristoffersen authored at least 9 papers between 1992 and 2020.

Collaborative distances:

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

2020

Using TDL for Standardised Test Purpose Definitions.

Philip Makedonski, Ilie-Daniel Gheorghe-Pop, Axel Rennoch, Finn Kristoffersen, Bostjan Pintar, Andreas Ulrich

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

Test descriptions with ETSI TDL.

Philip Makedonski, Gusztáv Adamis, Martti Käärik, Finn Kristoffersen, Michele Carignani, Andreas Ulrich, Jens Grabowski

Softw. Qual. J., 2019

2016

Evolving the ETSI Test Description Language.

Philip Makedonski, Gusztáv Adamis, Martti Käärik, Finn Kristoffersen, Xavier Zeitoun

Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016

2015

SDL - The IoT Language.

Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen

Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

2005

Cinderella SLIPPER: An SDL to C-Code Generator.

Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav

Proceedings of the SDL 2005: Model Driven, 2005

1996

TTCN: Towards a Formal Semantics and Validation of Test Suites.

Finn Kristoffersen, Thomas Walter

Comput. Networks ISDN Syst., 1996

1992

A Common Semantics Representation for SDL and TTCN.

Thomas Walter, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof

Proceedings of the Protocol Specification, 1992

Testability in the Context of SDL.

Jan Ellsberger, Finn Kristoffersen

Proceedings of the Protocol Specification, 1992

Test derivation for SDL based on ACTs.

Finn Kristoffersen, Louis Verhaard, Michael Zeeberg

Proceedings of the Formal Description Techniques, 1992