Ina Schieferdecker

Ina Schieferdecker, Axel Rennoch, Jürgen Großmann: DIAMONDS do IT with MODELS: Innovative Security Testing Approaches. ERCIM News 2012(88) (2012)

Ina Schieferdecker: Model-Based Testing. IEEE Software 29(1): 14-18 (2012)

Ina Schieferdecker: Trustworthiness of Open Source, Open Data, Open Systems and Open Standards. COMPSAC 2012: 82

Ina Schieferdecker: (Open) Data Quality. COMPSAC 2012: 83-84

Evanela Lapi, Nikolay Tcholtchev, Louay Bassbouss, Florian Marienfeld, Ina Schieferdecker: Identification and Utilization of Components for a Linked Open Data Platform. COMPSAC Workshops 2012: 112-115

Peter M. Kruse, Ina Schieferdecker: Comparison of Approaches to Prioritized Test Generation for Combinatorial Interaction Testing. FedCSIS 2012: 1323-1330

Nikolay Tcholtchev, Arun Prakash, Ina Schieferdecker, Ranganai Chaparadza, Razvan Petre: Auto-Collaboration for optimal network resource utilization in fixed IPv6 networks. GLOBECOM Workshops 2012: 807-812

Arun Prakash, Ina Schieferdecker, Michael Wagner, Christian Hein: Rotary Dial Model - A model-driven methodology for autonomic network design. GLOBECOM Workshops 2012: 891-896

Ina Schieferdecker: Model-Based Fuzz Testing. ICST 2012: 814

Nikolay Tcholtchev, Lena Farid, Florian Marienfeld, Ina Schieferdecker, Benjamin Dittwald, Evanela Lapi: On the interplay of open data, cloud services and network providers towards electric mobility in smart cities. LCN Workshops 2012: 860-867

Martin Schneider, Jürgen Großmann, Nikolay Tcholtchev, Ina Schieferdecker, Andrej Pietschker: Behavioral Fuzzing Operators for UML Sequence Diagrams. SAM 2012: 88-104

Ina Schieferdecker, Juergen Grossmann, Martin Schneider: Model-Based Security Testing. MBT 2012: 1-12

Edzard Höfig, Peter H. Deussen, Ina Schieferdecker: On the performance of UML state machine interpretation at runtime. SEAMS 2011: 118-127

Marc-Florian Wendland, Ina Schieferdecker, Alain Vouffo-Feudjio: Requirements-Driven Testing with Behavior Trees. ICST Workshops 2011: 501-510

Pekka Aho, Nadja Menz, Tomi Räty, Ina Schieferdecker: Automated Java GUI Modeling for Model-Based Testing Purposes. ITNG 2011: 268-273

Gabor Karsai, Fabio Massacci, Leon J. Osterweil, Ina Schieferdecker: Evolving Embedded Systems. IEEE Computer 43(5): 34-40 (2010)

Diana Elena Vega, Ina Schieferdecker, George Din: Design of a Test Framework for Automated Interoperability Testing of Healthcare Information Systems. eTELEMED 2010: 134-140

Cosmin Mogos, Ina Schieferdecker: Evaluation of Trust Policies by Simulation. ICAART (2) 2010: 178-183

Ina Schieferdecker: Test Automation with TTCN-3 - State of the Art and a Future Perspective. ICTSS 2010: 1-14

Nadim Sarrouh, Florian Eilers, Uwe Nestmann, Ina Schieferdecker: Defamation-Free Networks through User-Centered Data Control. STM 2010: 179-193

Ina Schieferdecker, Andreas Hoffmann: Model-Based Testing. Encyclopedia of Software Engineering 2010: 556-570

Ina Schieferdecker, Axel Rennoch, Alain Vouffo-Feudjio: Model-Based Testing: Approaches and Notations. Encyclopedia of Software Engineering 2010: 571-576

Ina Schieferdecker, Jürgen Großmann, Marc-Florian Wendland: Model-Based Testing: Trends. Encyclopedia of Software Engineering 2010: 577-593

Hakan Coskun, Ina Schieferdecker, Yahya Al-Hazmi: Virtual WLAN: Going beyond Virtual Access Points. ECEASST 17 (2009)

Alain Vouffo-Feudjio, Ina Schieferdecker: A Pattern Language of Black-Box Test Design for Reactive Software Systems. EuroPLoP 2009

Andreas Hoffmann, Axel Rennoch, Ina Schieferdecker, Nicole Radziwill: A Generic Approach for Modeling Test Case Priorities with Applications for Test Development and Execution. GI Jahrestagung 2009: 2805-2814

Juergen Grossmann, Diana Alina Serbanescu, Ina Schieferdecker: Testing Embedded Real Time Systems with TTCN-3. ICST 2009: 81-90

Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker: Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. TestCom/FATES 2009: 179-194

Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Vitaly Kozyura, Anis Charfi, Frank Michael Kraft, Ina Schieferdecker: Viewpoints for modeling choreographies in service-oriented architectures. WICSA/ECSA 2009: 11-20

Ina Schieferdecker, Jens Grabowski: Introduction to the special section on advances in test automation: the evolution of TTCN-3. STTT 10(4): 281-283 (2008)

Ina Schieferdecker, Jürgen Großmann: Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3. STTT 10(4): 383-400 (2008)

Ina Schieferdecker, Jens Grabowski, Theofanis Vassiliou-Gioles, George Din: The Test Technology TTCN-3. Formal Methods and Testing 2008: 292-319

Diana Vega, George Din, Stefan Taranu, Ina Schieferdecker: Application of Clustering Methods for Analysing of TTCN-3 Test Data Quality. ICSEA 2008: 237-244

George Din, Klaus-Peter Eckert, Ina Schieferdecker: A Workload Model for Benchmarking BPEL Engines. ICST Workshops 2008: 356-360

Sebastian Wieczorek, Alin Stefanescu, Ina Schieferdecker: Test Data Provision for ERP Systems. ICST 2008: 396-403

Augustin Kebemou, Ina Schieferdecker: The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures. DIPES 2008: 89-100

Jürgen Großmann, Ina Schieferdecker, Hans-Werner Wiesbrock: Modeling Property Based Stream Templates with TTCN-3. TestCom/FATES 2008: 70-85

George Din, Ina Schieferdecker, Razvan Petre: Performance Test Design Process and Its Implementation Patterns for Multi-services Systems. TestCom/FATES 2008: 135-152

Diana Alina Serbanescu, Victoria Molovata, George Din, Ina Schieferdecker, Ilja Radusch: Real-Time Testing with TTCN-3. TestCom/FATES 2008: 283-301

Justyna Zander-Nowicka, Xuezheng Xiong, Ina Schieferdecker: Systematic Test Data Generation for Embedded Software. Software Engineering Research and Practice 2008: 164-170

George Din, Diana Vega, Ina Schieferdecker: Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking. SEUS 2008: 417-430

Ina Schieferdecker, Alan Hartman (Eds.): Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science 5095, Springer 2008, isbn 978-3-540-69095-5

Christian Buckl, Alois Knoll, Ina Schieferdecker, Justyna Zander: Model-Based Analysis and Development of Dependable Systems. Model-Based Engineering of Embedded Real-Time Systems 2007: 271-293

Augustin Kebemou, Ina Schieferdecker: Evaluating Modeling Solutions on Their Ability to Support the Partitioning of Automotive Embedded Systems. EUC Workshops 2007: 674-685

George Din, Razvan Petre, Ina Schieferdecker: A Workload Model for Benchmarking IMS Core Networks. GLOBECOM 2007: 2623-2627

Ina Schieferdecker: Quality Assurance for Autonomous Systems - A Review of Model-Based Methods. ISADS 2007: 305-307

Stefan Wappler, Ina Schieferdecker: Improving evolutionary class testing in the presence of non-public methods. ASE 2007: 381-384

Diana Vega, Ina Schieferdecker, George Din: Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3. TestCom/FATES 2007: 351-364

Benjamin Zeiss, Diana Vega, Ina Schieferdecker, Helmut Neukirchen, Jens Grabowski: Applying the ISO 9126 quality model to test specifications - exemplified for TTCN-3 test specifications. Software Engineering 2007: 231-244

Justyna Zander-Nowicka, Abel Marrero Pérez, Ina Schieferdecker: From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval - a Concept for Testing of Software Dedicated for Hybrid Embedded Systems. Software Engineering Research and Practice 2007: 347-353

Ina Schieferdecker, Jürgen Großmann: Testing Embedded Control Systems with TTCN-3. SEUS 2007: 125-136

Fevzi Belli, Christof J. Budnik, Michael Linschulte, Ina Schieferdecker: Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie. GI Jahrestagung (2) 2006: 266-273

Elena-Ramona Modroiu, Ina Schieferdecker: Defect rate profile in large software-systems. JCKBSE 2006: 106-114

Ina Schieferdecker, Jürgen Großmann: Testing of Embedded Control Systems with Continous Signals. MBEES 2006: 113-122

Justyna Zander-Nowicka, Ina Schieferdecker, Tibor Farkas: Derivation of Executable Test Models from Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain -. MBEES 2006: 131-140

George Din, Sorin Tolea, Ina Schieferdecker: Distributed Load Tests with TTCN-3. TestCom 2006: 177-196

Hans-Gerhard Groß, Ina Schieferdecker, George Din: Model-Based Built-In Tests. Electr. Notes Theor. Comput. Sci. 111: 161-182 (2005)

Ina Schieferdecker, George Din, Dimitrios Apostolidis: Distributed functional and load tests for Web services. STTT 7(4): 351-360 (2005)

Ina Schieferdecker: The UML 2.0 Test Profile as a Basis for Integrated System and Test Development. GI Jahrestagung (1) 2005: 395-399

Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din: From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing. TestCom 2005: 289-303

Alain Vouffo-Feudjio, Ina Schieferdecker: Test Patterns with TTCN-3. FATES 2004: 170-179

Ina Schieferdecker, George Din: A Meta-model for TTCN-3. FORTE Workshops 2004: 366-379

Theofanis Vassiliou-Gioles, George Din, Ina Schieferdecker: Execution of External Applications using TTCN-3. TestCom 2004: 209-223

Marc Born, Ina Schieferdecker, Olaf Kath, Chiaki Hirai: Combining System Development and System Test in a Model-Centric Approach. RISE 2004: 132-143

Jens Grabowski, Dieter Hogrefe, György Réthy, Ina Schieferdecker, Anthony Wiles, Colin Willcock: An introduction to the testing and test control notation (TTCN-3). Computer Networks 42(3): 375-403 (2003)

Ina Schieferdecker, Theofanis Vassiliou-Gioles: Tool Supported Test Frameworks in TTCN-3. Electr. Notes Theor. Comput. Sci. 80: 251-260 (2003)

Hubert Garavel, Stefania Gnesi, Ina Schieferdecker: Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers. Sci. Comput. Program. 46(3): 195-196 (2003)

George Din, Akihiro Hayakawa, Ina Schieferdecker, Peter H. Deussen: An Auditing System for QoS-Enabled Networks. ICDCS Workshops 2003: 159-

Peter H. Deussen, George Din, Ina Schieferdecker: A TTCN-3 Based Online Test and Validation Platform for Internet Services. ISADS 2003: 177-184

Ina Schieferdecker, Bernard Stepien: Automated Testing of XML/SOAP based Web Services. KiVS 2003: 43-54

Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, Axel Rennoch: The UML 2.0 Testing Profile and Its Relation to TTCN-3. TestCom 2003: 79-94

Ina Schieferdecker, Theofanis Vassiliou-Gioles: Realizing Distributed TTCN-3 Test Systems with TCI. TestCom 2003: 95-109

Tonghong Li, Andreas Hoffmann, Marc Born, Ina Schieferdecker: A platform architecture to support the deployment of distributed applications. ICC 2002: 2592-2596

Ina Schieferdecker, Jens Grabowski: The Graphical Format of TTCN-3 in the Context of MSC and UML. SAM 2002: 233-252

Ina Schieferdecker, Hartmut König, Adam Wolisz (Eds.): Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002. IFIP Conference Proceedings 210, Kluwer 2002, isbn 0-7923-7695-1

Mang Li, Axel Rennoch, Ina Schieferdecker, D. Witaszek, O. Halabi, Alain Vouffo, Aihong Yin: Experience Report on Conformance Tests for CORBA ORBs. APAQS 2001: 173-184

Mang Li, Ina Schieferdecker, Arno Puder: A Test Framework for CORBA Interoperability. EDOC 2001: 152-

Paul Baker, Ekkart Rudolph, Ina Schieferdecker: Graphical Test Specification - The Graphical Format of TTCN-3. SDL Forum 2001: 148-167

Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski: Development of a MSC/UML Test Format. FBT 2000: 153-164

Marc Born, Ina Schieferdecker, Mang Li: Test Framework for Component-Based Systems. ICDCS Workshop on Distributed System Validation and Verification 2000: E75-E78

Ina Schieferdecker, Mang Li, Axel Rennoch: Incremental Testing at System Reference Points. TestCom 2000: 75-90

Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski: HyperMSC - a Graphical Representation of TTCN. SAM 2000: 76-

Axel Rennoch, Jan de Meer, Ina Schieferdecker: Test Data Filtering. FBT 1999: 175-184

Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker: Combining Design Methods for Service Development (Short Paper). FMOODS 1999

Mang Li, Ina Schieferdecker, Axel Rennoch: Testing the TINA Retailer Reference Point. ISADS 1999: 268-275

Ascan F. Morlang, Ina Schieferdecker: On Programming of Network Services. LCN 1999: 71-72

Theofanis Vassiliou-Gioles, Ina Schieferdecker, Marc Born, Mario Winkler, Mang Li: Configuration and Execution Support for Distributed Tests. IWTCS 1999: 61-76

Theofanis Vassiliou-Gioles, Ina Schieferdecker: Case Study in Protocol Validation: Validating an ATM Signalling Protocol. Formal Asp. Comput. 10(5-6): 483-508 (1998)

Stephan Pietsch, Ina Schieferdecker: Test Suite Simulation. FBT 1998: 38-47

Ina Schieferdecker, Mang Li, Andreas Hoffmann: Conformance Testing of TINA Service Components - The TTCN/ CORBA Gateway. IS&N 1998: 393-408

Thomas Walter, Ina Schieferdecker, Jens Grabowski: Test Architectures for Distributed Systems: State of the Art and Beyond. IWTCS 1998: 149-174

C. Desroches, Mang Li, Stephan Pietsch, Axel Rennoch, Ina Schieferdecker, Theofanis Vassiliou-Gioles: Test Suite Migration Experiences for B-ISUP and B-MTP. IWTCS 1998: 327-342

Ina Schieferdecker, Axel Rennoch, Olaf Mertens: Timed MSCx - an Extension to MSC'96. FBT 1997: 165-174

Ina Schieferdecker, Mang Li, Axel Rennoch: An AAL5 Performance Test Suite in PerfTTCN. FBT 1997: 241-250

Adam Wolisz, Ina Schieferdecker, Axel Rennoch (Eds.): Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997. GMD-Studien 315, GMD-Forschungszentrum Informationstechnik GmbH 1997, isbn 3-88457-315-2

Andreas Willig, Ina Schieferdecker: Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS. Formal Methods for Industrial Applications 1995: 473-492

Jane Hall, Ina Schieferdecker, Michael Tschichholz: Customer requirements on teleservice management. Integrated Network Management 1995: 143-155

Ina Schieferdecker: Performance-Oriented Formal Specifications - the LotoTis Approach. TAPSOFT 1995: 772-786