Seguir
A Rennoch
A Rennoch
Dirección de correo verificada de fokus.fraunhofer.de - Página principal
Título
Citado por
Citado por
Año
The UML 2.0 testing profile and its relation to TTCN-3
I Schieferdecker, ZR Dai, J Grabowski, A Rennoch
Testing of Communicating Systems: 15th IFIP International Conference …, 2003
912003
PerfTTCN, a TTCN language extension for performance testing
I Schieferdecker, B Stepien, A Rennoch
Testing of Communicating Systems: IFIP TC6 10th International Workshop on …, 1997
571997
Deutsche Normungsroadmap Künstliche Intelligenz
R Adler, A Bunte, S Burton, J Großmann, A Jaschke, P Kleen, JM Lorenz, ...
DIN, 2022
242022
IoT-testware-an eclipse project
I Schieferdecker, S Kretzschmann, A Rennoch, M Wagner
2017 IEEE international conference on software quality, reliability and …, 2017
192017
Timed MSCx-an Extension to MSC'96.
I Schieferdecker, A Rennoch, O Mertens
FBT, 165-174, 1997
171997
Simulated time for testing railway interlockings with TTCN-3
S Blom, N Ioustinova, J van de Pol, A Rennoch, N Sidorova
Formal Approaches to Software Testing: 5th International Workshop, FATES …, 2006
122006
TTCN-3 for distributed testing embedded software
S Blom, T Deiß, N Ioustinova, A Kontio, J van de Pol, A Rennoch, ...
Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007
112007
Specification-based testing of synchronous software
L Du Bousquet, F Ouabdesselam, I Parissis, JL Richier, N Zuanon
Proc. 5th Intl. Workshop on Formal Methods for Industrial Critical Systems, 2000
102000
Testing the TINA retailer reference point
M Li, I Schieferdecker, A Rennoch
Proceedings. Fourth International Symposium on Autonomous Decentralized …, 1999
101999
A performance benchmarking methodology for MQTT broker implementations
ID Gheorghe-Pop, A Kaiser, A Rennoch, S Hackel
2020 IEEE 20th International Conference on Software Quality, Reliability and …, 2020
92020
An approach for test derivation from system architecture models applied to embedded systems
G Din, KD Engel, A Rennoch
Model-based Testing in Practice, 23, 2009
72009
Improving test software using TTCN-3
I Schieferdecker, A Rennoch, M Li, C Desroches
GMD-Forschungszentrum Informationstechnik, 2001
72001
PerfTTCN, a TTCN language extension for performance testing. 10th Intern
I Schieferdecker, B Stepien, A Rennoch
Workshop on Testing of Communicating Systems IWTCS97, Cheju Island, Korea, 1997
71997
Formale Beschreibungstechniken für verteilte Systeme: GI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin
A Wolisz
GMD-Forschungszentrum Informationstechnik, 1997
71997
Protocol design using LOTOS: A critical synthesis of a standardization experience
H Kremer, J Lagemaat, A Rennoch, G Scollo
Proceedings of the IFIP TC6/WG6. 1 Fifth International Conference on Formal …, 1992
71992
Implementation of an open source toolset for ccm components and systems testing
H Batteram, W Hellenthal, W Romijn, A Hoffmann, A Rennoch, A Vouffo
IFIP International Conference on Testing of Communicating Systems, 1-16, 2004
62004
Test Data Filtering.
A Rennoch, J de Meer, I Schieferdecker
FBT, 175-184, 1999
61999
An Approach to a Conformance Testing Methodology and the COAST Test System
J de Meer, J Burmeister, A Rennoch, V Heymer
Protocol Test Systems 3, 245-262, 1990
61990
CCM testing environment
A Hoffmann, A Rennoch, I Schubert, A Vouffo-Feufjio
Proc. of ICSSEA, 2002
52002
Formal based testing of ATM signalling
I Schieferdecker, A Rennoch
Formale Beschreibungstechniken für verteilte Systeme, Arbeitsberichte des …, 1996
51996
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20