Axel Rennoch

Axel Rennoch is scientist and project manager.

Working areas

• Formal Description Techniques:
  LOTOS, SDL/MSC, UML.
• Quality of Service
• Conformance, Interoperability and Performance Testing:
  Testing and Test Control Notation (TTCN-3),
  UML Testing Profile (UTP).
• Test Suite Development:
  Broadband ISDN (B-ISUP),
  ATM test center for T-Net ATM (AAL),
  Competence Center for ATM Components,
  Development of PNNI test suite (Crankback procedures),
  VoIP (SigTran), SIP/IMS/Parlay,
  SIP/ISUP Interworking (ETSI STF 297, 301, 310, 334-6, 387),
  SIP/ISDN Network Integration (ETSI STF 306),
  IMS (ETSI STF 346, 366, 368/369, 394, 406, 445),
  DIAMETER (ETSI STF 434, 443),
  OMA Secure User Plane Location v2.0.
• Testing of CORBA products:
  ORB conformance tests (IST CORVAL2),
  CORBA Open Source Tests (OMG COST),
  CORBA components testing (IST COACH).
• Software Testing and Evaluation:
  Test & Testing Methodologies for Advanced Languages (ITEA TT-Medal),
  Interoperability of eGovernment processes and services.
• Model-Based Testing
  Deployment of Model-Based Technologies to Industrial Testing (ITEA2 D-MINT)
• Security Evaluation and Testing:
  Common Criteria for Information Technology Security Evaluation,
  Development and Industrial Application of Multi-Domain Security Testing Technologies (ITEA2 DIAMONDS).

top

Activities

Standardization

• ETSI (Specialist Task Forces), TC MTS, ISG ISI
• OMG
• DIN/ISO

Interest groups

• ASQF (SW Test)
• Systems Testing & Validation (STV) Workshops
• Model-based Testing (MoTiP) Workshop

Training activities

• TTCN-3 and MBT seminars

EU Projects

• ITEA DIAMONDS (2010 - 2013): Development and Industrial Application of Multi-Domain Security Testing Technologies
• ITEA  D-MINT (2007 - 2009): Deployment of Model-Based Technologies to Industrial Testing
• ITEA TT-Medal (2003 - 2005): Test & testing methodologies with advanced languages
• IST COACH (2002 - 2004): Component based open source architecture for distributed telecom applications
• IST CORVAL2 (2000 - 2001): CORBA Validation
• RACE (R2088) TOPIC (1992 - 1994): A Toolset for Protocol and Advanced Service Verification in IBC Environments, using formal methods and tools.
• RACE ITACA (1988 - 1991): IBCN Testing Architecture for Conformance Assessment
• ESPRIT SEDOS (1985 - 1987): Software Environment for the Design of Open Distributed Systems

top

Publications

Conferences & Workshops

       2011 - ...

• I. Schieferdecker, A. Rennoch, J. Großmann:
  Security Testing Approaches in Industry and Standardization.
  23nd International Conference on Software & Systems Engineering and their Applications (ICSSEA'11), Paris (F) 29 Nov. 2011.
• J. de Meer, A Rennoch:
  The ETSI TVRA Security Measurement Methodology by Means of TTCN-3 Notation
  TTCN-3 User Conference (T3UC 2011), Bled (Slo) 9 Jun. 2011.
• I. Schieferdecker, J. Großmann, A. Rennoch:
  Model Based Security Testing.
  Keynote at SECTEST. ICST 2011, Berlin (D), 25 Mar 2011.

        2006 - 2010:

• A. Rennoch, S. Lüdtke, K. Engel:
  Architecture-driven Testing using TTCN-3.
  22nd  International Conference on Software & Systems Engineering and their Applications (ICSSEA'10),  Paris (F) 8 Dec. 2010.
• A. Rennoch, I. Schieferdecker:
  Tutorial: Basics and Application Trends for TTCN-3.
  22nd  International Conference on Software & Systems Engineering and their Applications (ICSSEA'10),  Paris (F) 7 Dec. 2010.
• I. Schieferdecker, A. Rennoch:
  Recent Developments on TTCN-3.
  6th TAROT summer school on software testing, Schloß Laubegg (A) 25. Jun. 2010.
• T. Vassiliou, A. Rennoch, I. Schieferdecker:
  TTCN - standardized base and engine for innovative testing.
  7. GI/ASQF/ACM Steinhöfel-Seminar, Schloß Steinhöfel (D) 26. Apr. 2010.
• A. Hoffmann, A. Rennoch, I. Schieferdecker, N. Radziwill
  A Generic Approach for Modeling Test Case Priorities with Applications for Test Development and Execution.
  Model-based Testing (MOTES 2009) / 39th GI Annual Conference,  Lübeck (D) 29. Sep. 2009
• T. Bauer, A. Rennoch:
  TTCN-3 and its role and usage in MBT from the D-MINT perspective.
  TTCN-3 User Conference (T3UC 2009),  Sophia Antipolis (F) 3. Jun. 2009
• T. Bauer, A. Rennoch, I. Schieferdecker
  Model-based Testing and its use in the ITEA2 project D-MINT
  21st International Conference on Software & Systems Engineering and their Applications (ICSSEA'08),  Paris (F) 10. Dec. 2008
• A. Hoffmann, A. Rennoch, I. Schieferdecker:
  Application of the Classification Tree Method for Test Modeling  in Complex Software Projects.
  4th World Congress for Software Quality (4WCSQ), Bethesda (Maryland, USA) 18. Sep. 2008.
• K. Engel, A. Rennoch, I. Schieferdecker:
  Model-driven Test development.
  Model-based Testing in Practice (MoTiP08), Berlin, June 2008.
• S. Alekseev, M. Koeleman, Z.R. Dai, A. Hoffmann and A. Rennoch:
  Priority-based test-modelling.
  System Testing and Validation (STV07), Paris, 5. Dec 2007.
• S. Alekseev, P. Tollkühn, Z.R. Dai, A. Hoffmann, A. Rennoch, I. Schieferdecker:
  Testing Customizable Software for Telecommunication Services.
  Int. Conf. on intelligence in service delivery networks (ICIN), Bordeaux, 8-11. Oct. 2007.
• S. Alekseev, P. Palaga, P. Tollkühn, Z.R. Dai, A. Hoffmann, A. Rennoch, I. Schieferdecker:
  Reuse of Classification Tree Models for Complex Software Projects.
  Conference on Quality Engineering in Software Technology (CONQUEST), Potsdam (D), 26-28. Sep. 2007.
• N. Ioustinova, S. Blom, T. Deiss, A. Kontio, J. v.d. Pol, A. Rennoch, N. Sidorova:
  TTCN-3 for Distributed Testing Embedded Systems.
  6th Int. Conf. Perspectives of System Informatics (PSI06), Novosibirsk (Ru), June 2006.
• M. Gläser, S. Müller, A. Rennoch, P. Schmitting:
  Development and Validation of TISPAN Interworking Tests using TTCN-3.
  3rd TTCN-3 User Conference, Berlin, May/June 2006.
  
  2001 - 2005:
  
• D. Apostolidis, D. Tepelmann, A. Rennoch, A. Vouffo:
  Use of TTCN-3 for the Development of SIGTRAN Tests.
  18th Int. Conf. Software & Systems Engineering and their Applications (ICSSEA'05), Paris, Dezember 2005.
• N. Ioustinova, S. Blom, J. v.d. Pol, A. Rennoch, N. Sidorova:
  Simulated Time for Testing Railway Interlockings with TTCN-3
  5th Int. Workshop on Formal Approaches to Testing of Software (FATES), Edinburgh, July 2005.
• I. Schieferdecker, A. Rennoch, E. Höfig:
  TTCN-3 – A Test Technology for the Automotive Domain
  2. Tagung: Simulation und Test in der Funktions- und Softwareentwicklung fuer die Automobilelektronik, Berlin, March 14 -15, 2005. (ISBN: 3816924913)
•  D.-M Jeaca, G. Din, A. Rennoch:
  Importing XMLSchema datatypes into TTCN-3
  3rd Workshop on System Testing and Validation (SV04), Paris, December 2, 2004.
• I. Schieferdecker, M. Schünemann, A. Yin, P. Deussen, A. Rennoch:
  A Generic Concept for Protocol Detection and its Implementation for UMTS Monitoring
  Mobility Conference & Exhibition 2004, Singapore, August 2-4, 2004.
• H. Batteram, W. Hellenthal, W. Romijn, A. Hoffmann, A. Rennoch, A. Vouffo:
  Implementation of an Open Source Toolset for CCM Components and Systems Testing
  Testcom 2004, Oxford (UK), March 17-19, 2004.
• A. Hoffmann, A. Rennoch, A. Vouffo-Feudjio, S. Skljarski:
  Proxy-based component testing with TTCN-3
  16th International Conference Software & Systems Engineering, Paris (F), December 2-4, 2003
• A. Hoffmann, A. Rennoch, A. Vouffo-Feudjio:
  The COACH approach to test and monitor CCM based applications
  Software Technology and Engineering Practice (STEP), Workshop on System Testing and Validation, Amsterdam (NL), September 19-21, 2003.
• I. Schieferdecker, Z. Ru Dai, J. Grabowski, A. Rennoch:
  The UML 2.0 Testing Profile and its Relation to TTCN-3
  Testcom 2003, Sophia Antipolis (F), May 26-28, 2003.
• A. Hoffmann, A. Rennoch, I. Schubert, A. Vouffo-Feudjio:
  CCM testing environment
  15th International Conference Software & Systems Engineering, Paris (F), December 3-5, 2002.
• M. Li, A. Rennoch, I. Schieferdecker, D. Witaszek:
  Testing of CORBA products
  Quality Week Europe 2002, Brussels (B), March 2002.
• M. Li, A. Rennoch, I. Schieferdecker, D. Witaszek, O. Halabi, A. Vouffo, A. Yin:
  Experience report on Conformance Tests for CORBA ORBs
  2nd Asia-Pacific Conference on Quality Software, Hong Kong, December 10-11, 2001.
• A. Yin, M. Li, A. Rennoch, I. Schieferdecker, D. Witaszek:
  Operation-based Interface Testing on Different Abstraction Levels
  14th International Conference Software & Systems Engineering, Paris (F), December 4-6, 2001.
• M. Li, A. Hoffmann, A. Rennoch, D. Witaszek, I. Schieferdecker, O. Halabi, A. Vouffo, A. Yin:
  CORBA Testing and Validation
  OrbacusWorld2001, Orlando (FL), April 29, 2001.
  
  1996 - 2000:
  
• I. Schieferdecker, M. Li, A. Rennoch:
  Incremental testing at system reference points
  TestCom2000, Ottawa (CA), August 29 - September 1, 2000.
• I. Schieferdecker, M. Li, A. Rennoch:
  Formalization and Testing of Reference Point Facets
  5th International Workshop on Formal Methods for Industrial Critical Systems, April 3-4, 2000, Berlin
  GMD Report No. 91, April 2000.
• A. Rennoch, J. de Meer, I. Schieferdecker:
  Test Data Filtering
  9. GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", München (D), June 1999.
• M. Li, I. Schieferdecker, A. Rennoch:
  Testing the TINA Retailer Reference Point.
  The Fourth International Symposium on Autonomous Decentralized Systems, Tokyo (J), March 1999.
• C. Desroches, M. Li, S. Pietsch, A. Rennoch, I. Schieferdecker, T. Vassiliou-Gioles:
  Test suite migration experiences for B-ISUP and B-MTP.
  11th IFIP Int. Workshop on Testing of Communicating Sytems, Tomsk (Russia), August 31 - September 2, 1998.
•  J. de Meer, A. Rennoch, A. Puder:
  Towards a QoS Binding Notation.
  8. GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Cottbus (D), June 1998.
• I. Schieferdecker, A. Rennoch:
  Usage of Timed MSC for Test Purpose Definition.
  Workshop on Performance and Time in SDL and MSC, University of Erlangen, February 17th - 19th, 1998.
• I. Schieferdecker, B. Stepien, A. Rennoch:
  PerfTTCN, a TTCN language extension for performance testing.
  10th IFIP Int. Workshop on Testing of Communicating Sytems, Cheju Island (Korea), Sept. 1997.
• I. Schieferdecker, M. Li, A. Rennoch:
  An AAL5 Performance Test Suite in PerfTTCN.
  Formale Beschreibungstechniken für verteilte Systeme,
  Tagungsband vom 7. GI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin
  GMD-Studien Nr. 315, Juni 1997.
• I. Schieferdecker, A. Rennoch, O. Mertens:
  Timed MSC's - an Extention to MSC'96
  Formale Beschreibungstechniken für verteilte Systeme,
  Tagungsband vom 7. GI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin
  GMD-Studien Nr. 315, Juni 1997.
• A. Rennoch, I. Schieferdecker:
  Experiences with Test Suite Validation (Poster display),
  FORTE/PSTV'96, Kaiserslautern (D), Oct. 1996.
• I. Schieferdecker, A. Rennoch:
  Extending Conformance Testing Concepts to Performance Testing.
  COST 247 special seminar at 9th IFIP Int. Workshop on Testing of Communicating Systems, Darmstadt (D), Sept. 1996.
• I. Schieferdecker, A. Rennoch:
  Formal Based Testing of ATM Signalling.
  6. GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Erlangen (D), June 1996.
  
  1989 - 1995:
  
• A. Hafid, J. de Meer, A. Rennoch, R. Roth:
  Quality of Service Verification Experiments.
  IEEE Int. Conference on Multimedia Networking (MmNet), Aizu (J), Sept. 1995.
• J. Burmeister, A. Rennoch:
  Application of a LOTOS based test environment on AAL5.
  8th IFIP Int. Workshop on Protocol Test Systems, Evry (F), Sept. 1995.
• A. Hafid, J. de Meer, A. Rennoch, R. Roth:
  On Qos Aspects in multimedia communications.
  4th Russian Int. Forum on Electronic Communication Technologies, Moscow, June 1994.
• J. de Meer, A. Rennoch, J. Burmeister:
  Formal Aproach to QoS Specification and Verification.
  CASCON Conference, IBM Centre for Advanced Studies, Toronto, Oct. 1993.
• H. Kremer, J. v.d. Lagemaat, A. Rennoch, G. Scollo:
  Protocol design using LOTOS: A critical synthesis of a standardization experience.
  5th IFIP Int. Conference on Formal Description Techniques, Perros-Guirec (F), Oct. 1992.
• J. de Meer, V. Heymer, J. Burmeister, R. Hirr, A. Rennoch:
  Distributed Testing.
  4th IFIP Int. Workshop on Protocol Test Systems, Leidschendam (NL), Oct. 1991.
• E. Paolillo, P. Bossi, M. Riboli, I. Schroeer, J. de Meer, A. Rennoch, L. Proietti, F. Lucidi, S. Trigila, N. Christiansen, L. Pedrosa, G. Martin, J. Manas, T. Robles:
  IBCN Conformance Testing - the ITACA Approach.
  3rd IFIP Int. Workshop on Protocol Test Systems, McLean (Virginia, USA), Oct. 1990.
• J. de Meer, J. Burmeister, A. Rennoch, I. Schroeer, V. Heymer, R. Blatt, J. Hinkelmann, R. Hirr, M. Kresse, D. Moebius:
  An Approach to a Conformance Testing Methodology and the COAST Test System.
  3rd IFIP Int. Workshop on Protocol Test Systems, McLean (Virginia, USA), Oct. 1990.
• R. Ahooja, J. Burmeister, J. de Meer, A. Rennoch:
  Open Systems Testing: A Method, a test language and a tool.
  2nd IFIP Int. Workshop on Protocol Test Systems, Berlin, Oct. 1989.
  

Articles & Proceedings

      2011 - ...

• A. Rennoch, J. de Meer:
  Common Criteria Quick Reference Card.
  www.school-of-technology.de, May 2012
• I. Schieferdecker, A. Rennoch, J. Großmann:
  DIAMONDS do IT with MODELS: Innovative Security Tesing Approaches.
  ERCIM News #88, January 2012
• J. de Meer, A. Rennoch, H. Köppen:
  "Spargeldüfte"
  In: S. Goericke (Ed.): ASQF Kochbuch (ISBN 978-3-00-035605-6), ASQF e.V., Erlangen (D), October 2011.
• J. Bøegh, J. Garbajosa, A. Rennoch:
  Agile Testing and Critical Systems (STV workshop)
  12th International Conference on Agile Software Development (XP 2011), Madrid (E), May 2011.
  
  

      2006 - 2010
       

• I. Schieferdecker, A. Vouffo-Feudjio, A. Rennoch, J. Großmann, M.-F. Wendland, and A. Hoffmann:
  Model-based testing.
  In: P. Laplante (Ed.): Encyclopedia of software engineering, Vol. 1. (ISBN 9781420059779), CRC Press, Nov. 2010.
• I. Schieferdecker, A. Rennoch, et al.:
  Entwicklung und Erprobung innovativer Technologien des modellbasierten Tests.
  Fraunhofer Verlag, Stuttgart, Jul. 2010.
• A. Rennoch, C. Desroches, T. Vassiliou, I. Schieferdecker:
  First TTCN-3 Quick Rererence Card.
  www.blukaktus.com, Jun. 2010.
• G. Din, K. Engel, A. Rennoch:
  Architekturbasierte Testentwicklung für eingebettete Systeme.
  Objektspektrum Themenspecial Testing 2009. Online-Issue, Oct. 2009.
• T. Bauer, H. Eichler, A. Rennoch, S. Wieczorek (eds.):
  Model-based Testing in Practice (MoTiP09), Proceedings of 2nd Workshop
  CTIT Workshop Proceedings Series WP09-08, Twente University, Enschede June 2009.
• B. Pintar, A. Rennoch, P. Schmitting and S. Schulz:
  Standardized Testware for Internet-based Telecommunication Services.
  ERCIM News 77, April 2009.
• J. Zander-Nowicka, T. Bauer, R. Eschbach, A. Rennoch:
  Modellbasierte Testentwicklung in der industriellen Anwendung..
  Objektspektrum Themenspecial Testing 2008. Online-Issue, Oct. 2008.
• M. Gläser, S. Müller, A. Rennoch, P. Schmitting:
  Standardized TTCN-3 specifications for SIP-ISUP/ISDN interworking testing.
  STTT, Springer, April 2008.
• S. Blom, T. Deiß, N. Ioustinova, A. Kontio, J. v.d. Pol, A. Rennoch, N. Sidorova:
  Simulated time for host-based testing with TTCN-3 STVR, Vol. 18, Issue 1, John Wiley & Sons, Mar. 2008.
• J. Garbajosa, J. Bøegh, P. Rodriguez-Dapena and A. Rennoch (Editors)
  Proceedings of 5th Workshop on System Testing and Validation (STV07, Paris).
  Fraunhofer IRB Verlag Stuttgart, Dec 2007
• J. Garbajosa, J. Bøegh, P. Rodriguez-Dapena and A. Rennoch (Editors)
  Proceedings of 4th Workshop on System Testing and Validation (STV06, Potsdam).
  Fraunhofer IRB Verlag Stuttgart, April 2006
  
  2001 - 2005:
  
• J. Garbajosa, J. Bøegh, P. Rodriguez-Dapena and A. Rennoch (Editors)
  Proceedings of 3rd Workshop on System Testing and Validation (SV04, Paris).
  Fraunhofer IRB Verlag Stuttgart, December 2004
• W. Fokkink, M. Kärki, J. v.d. Pol, A. Rennoch, I. Schieferdecker and M. Sihvonen
  Three Countries' Offensive towards Testing with Advanced Languages
  ERCIM News No. 58, July 2004.
• M. Born, A. Hoffmann, A. Rennoch, J. Reznik, T. Ritter and A. Vouffo
  The European CORBA Components Open Source Initiative
  ERCIM News No. 55, October 2003.
• R. Roth, E. Boschi, F. Schreiner, T. Zseby, A. Hoffmann, P. Deussen, A. Rennoch
  Moving to IPv6 in Europe
  Contributions to IPv6 Cluster publication , July 2003.
• I. Schieferdecker, A. Rennoch and D. Witaszek
  The CORVAL2 Contribution to achieve Confidence in Middleware
  ERCIM News No. 49, April 2002.
• M. Schünemann, I. Schieferdecker, A. Rennoch, M. Li and C. Desroches
  Improving Test Software using TTCN-3
  GMD Report No. 153, December 2001.
  
  1990 - 2000:
  
• S. Gnesi, I. Schieferdecker, A. Rennoch (Eds.):
  5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems, April 3-4, 2000 in Berlin
  Proceedings of FMICS'2000, GMD Report No. 91, April 2000.
• A. Rennoch, T. Vassiliou-Gioles, G. Preisnell:
  Proposal for addition of Crankback tests to "Draft Conformance ATS for PNNI Signaling (BTD-TEST-pnni-ats-sig-00.02)"
  ATM Forum Technical Committee Test Working Group, ATM Forum/99-0302, New Orleans (USA), July 1999.
• I. Schieferdecker, A. Rennoch, M. Li, B. Stepien:
  Eine Leistungstestmethodik und ihre Anwendung auf ATM Protokolle. PIK 3/98, Saur Verlag, München 1998.
• A. Wolisz, I. Schieferdecker, A. Rennoch (Hrsg.):
  Formale Beschreibungstechniken für verteilte Systeme,
  Tagungsband vom 7. GI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin
  GMD-Studien Nr. 315, Juni 1997.
• I. Schieferdecker, A. Rennoch:
  Validation and Correction of ATM Signalling Abstract Test Suite
  Contribution to ATM Forum, June 10 - 14 1996, Orlando.
• J. de Meer, J. Burmeister, A. Rennoch, I. Schroeer, R. Ahooja, W. Effelsberg, L. Mackert, R. Meyer, U. Scheere, J. Schneider, R.J. Velthuys:
  Konzepte zur Entwicklung eines Conformance Test Tools,
  Arbeitspapiere der GMD, Nr. 438, Mai 1990.