Semantic Web Services Challenge 2008 Synthesizing the Mediator with jABC/ABC (2009)
Tiziana Margaria, Marco Bakera, Harald Raffelt, Bernhard Steffen
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator’s service logic. This uses an LTL planning (or configuration)...
Model-based Testing of Reactive Systems A Seminar Volume 19 Model checking (2008)
Manfred Broy, Bengt Jonsson, Joost-pieter Katoen, Martin Leucker, Alexander Pretschner (eds, Therese Berg, ...
When developing hard- or software systems one starts with a collection of requirements. Most requirements arise due to the needs of the customer, others originate from design decisions and further...
Test and Testing Control Platform (TTCP) (2007)
Steffen, Bernhard, Rüthing, Oliver, Raffelt, Harald, Deiß, Thomas, Altinata, Adem, Carrillo De Albornoz, Jorge, ...
Regular inference for state machines with parameters (2006)
Therese Berg, Bengt Jonsson, Harald Raffelt
Abstract. Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to construct...
On the correspondence between conformance testing and regular inference (2005)
Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
Abstract. Conformance testing for finite state machines and regular inference both aim at identifying the model structure underlying a black box system on the basis of a limited set of observations....
On the correspondence between conformance testing and regular inference (2005)
Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
Abstract. Conformance testing for finite state machines and regular inference both aim at identifying the model structure underlying a black box system on the basis of a limited set of observations....