Axel Rennoch

Orcid: 0000-0003-3419-298X

According to our database1, Axel Rennoch authored at least 36 papers between 1992 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Presentation of the Programme of the 6th GI/ACM Standardization Workshop on Industrial Automation and Control Systems.
Proceedings of the 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability, Berlin, Germany, 27. September, 2021

Towards a certification scheme for IoT security evaluation.
Proceedings of the 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability, Berlin, Germany, 27. September, 2021

2020
Using TDL for Standardised Test Purpose Definitions.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

A Performance Benchmarking Methodology for MQTT Broker Implementations.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Edge Computing Standardisation and Initiatives.
Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

The 5th GI/ACM Workshop 2020 Scope and Draft Programme on Standardization of Secure and Safe Smart Manufacturing Systems with respect to IEC 62443 IACS.
Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

2019
Qualitätsanalyse mit IoT-Testware.
Softwaretechnik-Trends, 2019

4th GI/ACMWorkshop on Standardization of I4.0 Automation and Control Systems.
Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, 2019

2017
IoT-Testware - An Eclipse Project.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

INFORMATIK 2017 WS#13.
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2014
Advanced Test Modelling and Execution Based on the International Standardized Techniques TTCN-3 and UTP.
Proceedings of the Trustworthy Computing and Services - International Conference, 2014

2013
Security Testing Approaches - For Research, Industry and Standardization.
Proceedings of the Trustworthy Computing and Services, 2013

2012
DIAMONDS do IT with MODELS: Innovative Security Testing Approaches.
ERCIM News, 2012

2011
Agile Testing and Critical Systems.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2011

2010
Model-Based Testing: Approaches and Notations.
Proceedings of the Encyclopedia of Software Engineering, 2010

2009
Standardized Testware for Internet-Based Telecommunication Services.
ERCIM News, 2009

A Generic Approach for Modeling Test Case Priorities with Applications for Test Development and Execution.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2008
Simulated time for host-based testing with TTCN-3.
Softw. Test. Verification Reliab., 2008

Standardized TTCN-3 specifications for SIP-ISUP/ISDN interworking testing.
Int. J. Softw. Tools Technol. Transf., 2008

2006
TTCN-3 for Distributed Testing Embedded Software.
Proceedings of the Perspectives of Systems Informatics, 2006

2005
Simulated Time for Testing Railway Interlockings with TTCN-3.
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004
Implementation of an Open Source Toolset for CCM Components and Systems Testing.
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

2003
The UML 2.0 Testing Profile and Its Relation to TTCN-3.
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

2001
Experience Report on Conformance Tests for CORBA ORBs.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000
Incremental Testing at System Reference Points.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

1999
Testing the TINA Retailer Reference Point.
Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

Test Data Filtering.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998
Eine Leistungsmethodik und ihre Anwendungen auf ATM Protokolle.
Prax. Inf.verarb. Kommun., 1998

Test Suite Migration Experiences for B-ISUP and B-MTP.
Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

Towards a QoS Binding Notation.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997
Timed MSCx - an Extension to MSC'96.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

An AAL5 Performance Test Suite in PerfTTCN.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1995
Quality of Service Verification Experiments.
Proceedings of the International Conference on Multimedia Networking, 1995

1994
Quality of service verification experiments.
Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993
Formal approach to QoS specification and verification.
Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1992
Protocol design using LOTOS: A critical synthesis of a standardization experience.
Proceedings of the Formal Description Techniques, 1992


  Loading...