Ina Schieferdecker

According to our database1, Ina Schieferdecker authored at least 136 papers between 1990 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017).
Softw. Test. Verification Reliab., 2020

A Taxonomy to Assess and Tailor Risk-Based Testing in Recent Testing Standards.
IEEE Softw., 2020

Metadata Harvesting and Quality Assurance within Open Urban Platforms.
ACM J. Data Inf. Qual., 2020

Edge Computing: A Comprehensive Survey of Current Initiatives and a Roadmap for a Sustainable Edge Computing Development.
Proceedings of the Entwicklungen, 2020

Industrial Grade Methodology for Firewall Simulation and Requirements Verification.
Proceedings of the NOMS 2020, 2020

Responsible Software Engineering.
Proceedings of the Future of Software Quality Assurance., 2020

2019
Data Governance and Sovereignty in Urban Data Spaces Based on Standardized ICT Reference Architectures.
Data, 2019

The Need for Unified Testbed Management Across Multiple Teams and Stakeholders in a Large Scale Telecom Integration Context.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Experiences Designing a Multi-Tier Architecture for a Decentralized Blockchain Application in the Energy Domain.
Proceedings of the 11th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2019

2018
Recent Results on Classifying Risk-Based Testing Approaches.
CoRR, 2018

Enabling the Structuring, Enhancement and Creation of Urban ICT through the Extension of a Standardized Smart City Reference Model.
Proceedings of the 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion, 2018

Model-Based Security Testing - Deriving Test Models from Artefacts of Security Engineering.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Model Transformation with Triple Graph Grammars and Non-terminal Symbols.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

2017
Enhancing Cloud based Data Platforms for Smart Cities with Authentication and Authorization Features.
Proceedings of the Companion Proceedings of the 10th International Conference on Utility and Cloud Computing, 2017

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

From Metadata Catalogs to Distributed Data Processing for Smart City Platforms and Services: A Study on the Interplay of CKAN and Hadoop.
Proceedings of the Cloud Computing and Service Science - 7th International Conference, 2017

A CKAN Plugin for Data Harvesting to the Hadoop Distributed File System.
Proceedings of the CLOSER 2017, 2017

Towards an Open Data Based ICT Reference Architecture for Smart Cities.
Proceedings of the 2017 Conference for E-Democracy and Open Government, 2017

2016
Urban Data Platforms: An Overview.
Proceedings of the Companion to the Proceedings of the 12th International Symposium on Open Collaboration, 2016

Systematic Analysis of Practical Issues in Test Automation for Communication Based Systems.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

2015
Integriertes Internet-basiertes System für Authentifizierung und Autorisierung.
PIK Prax. Informationsverarbeitung Kommun., 2015

Auto-configuration of OSPFv3 routing in fixed IPv6 networks.
Proceedings of the 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2015

2014
Robust architecture for distributed intelligence in an IP-based mobile wide-area surveillance system.
J. Supercomput., 2014

Framework for Ensuring Runtime Stability of Control Loops in Multi-agent Networked Environments.
Trans. Comput. Sci., 2014

History, status, and recent trends of the testing and test control notation version 3 (TTCN-3) - With a brief introduction to selected articles from the TTCN-3 user conference 2011.
Int. J. Softw. Tools Technol. Transf., 2014

A taxonomy of risk-based testing.
Int. J. Softw. Tools Technol. Transf., 2014

Framework for distributed autonomic self-healing in fixed IPv6 networks.
Int. J. Commun. Syst., 2014

Hashing of RDF Graphs and a Solution to the Blank Node Problem.
Proceedings of the 10th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

Risk-Based Testing - (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

The Concept of a Mobility Data Cloud: Design, Implementation and Trials.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

ICT for Smart Cities: Innovative Solutions in the Public Space.
Proceedings of the Computation for Humanity - Information Technology to Advance Society., 2014

2013
Metadata aggregation at GovData.de: an experience report.
Proceedings of the 9th International Symposium on Open Collaboration, Hong Kong, China, August 05, 2013

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

Online Model-Based Behavioral Fuzzing.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Fokus!MBT: a multi-paradigmatic test modeling environment.
Proceedings of the workshop on ACadeMics Tooling with Eclipse, 2013

2012
Model-Based Testing.
IEEE Softw., 2012

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

Model-Based Security Testing
Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012

Behavioral Fuzzing Operators for UML Sequence Diagrams.
Proceedings of the System Analysis and Modeling: Theory and Practice, 2012

On the interplay of open data, cloud services and network providers towards electric mobility in smart cities.
Proceedings of the 37th Annual IEEE Conference on Local Computer Networks, 2012

Model-Based Fuzz Testing.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Auto-Collaboration for optimal network resource utilization in fixed IPv6 networks.
Proceedings of the Workshops Proceedings of the Global Communications Conference, 2012

Rotary Dial Model - A model-driven methodology for autonomic network design.
Proceedings of the Workshops Proceedings of the Global Communications Conference, 2012

Comparison of Approaches to Prioritized Test Generation for Combinatorial Interaction Testing.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

(Open) Data Quality.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Trustworthiness of Open Source, Open Data, Open Systems and Open Standards.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Identification and Utilization of Components for a Linked Open Data Platform.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011
Automated Java GUI Modeling for Model-Based Testing Purposes.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

Requirements-Driven Testing with Behavior Trees.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

On the performance of UML state machine interpretation at runtime.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains.
Proceedings of the Model-Based Testing for Embedded Systems, 2011

Model-Based X-in-the-Loop Testing.
Proceedings of the Model-Based Testing for Embedded Systems, 2011

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

Model-Based Testing.
Proceedings of the Encyclopedia of Software Engineering, 2010

Model-Based Testing: Trends.
Proceedings of the Encyclopedia of Software Engineering, 2010

Evolving Embedded Systems.
Computer, 2010

Defamation-Free Networks through User-Centered Data Control.
Proceedings of the Security and Trust Management - 6th International Workshop, 2010

Test Automation with TTCN-3 - State of the Art and a Future Perspective.
Proceedings of the Testing Software and Systems, 2010

Evaluation of Trust Policies by Simulation.
Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, 2010

Design of a Test Framework for Automated Interoperability Testing of Healthcare Information Systems.
Proceedings of the Second International Conference on eHealth, 2010

2009
Virtual WLAN: Going beyond Virtual Access Points.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Viewpoints for modeling choreographies in service-oriented architectures.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.
Proceedings of the Testing of Software and Communication Systems, 2009

Testing Embedded Real Time Systems with TTCN-3.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Software service engineering: Tenets and challenges.
Proceedings of the International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 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

A Pattern Language of Black-Box Test Design for Reactive Software Systems.
Proceedings of the EuroPLoP 2009: 14th Annual European Conference on Pattern Languages of Programming, 2009

2008
Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3.
Int. J. Softw. Tools Technol. Transf., 2008

Introduction to the special section on advances in test automation: the evolution of TTCN-3.
Int. J. Softw. Tools Technol. Transf., 2008

Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

Systematic Test Data Generation for Embedded Software.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Real-Time Testing with TTCN-3.
Proceedings of the Testing of Software and Communicating Systems, 2008

Modeling Property Based Stream Templates with TTCN-3.
Proceedings of the Testing of Software and Communicating Systems, 2008

Performance Test Design Process and Its Implementation Patterns for Multi-services Systems.
Proceedings of the Testing of Software and Communicating Systems, 2008

The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures.
Proceedings of the Distributed Embedded Systems: Design, 2008

Test Data Provision for ERP Systems.
Proceedings of the First International Conference on Software Testing, 2008

A Workload Model for Benchmarking BPEL Engines.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Application of Clustering Methods for Analysing of TTCN-3 Test Data Quality.
Proceedings of the Third International Conference on Software Engineering Advances, 2008

The Test Technology TTCN-3.
Proceedings of the Formal Methods and Testing, 2008

2007
Testing Embedded Control Systems with TTCN-3.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval - a Concept for Testing of Software Dedicated for Hybrid Embedded Systems.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Applying the ISO 9126 quality model to test specifications - exemplified for TTCN-3 test specifications.
Proceedings of the Software Engineering 2007, 2007

Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3.
Proceedings of the Testing of Software and Communicating Systems, 2007

Improving evolutionary class testing in the presence of non-public methods.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Quality Assurance for Autonomous Systems - A Review of Model-Based Methods.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

A Workload Model for Benchmarking IMS Core Networks.
Proceedings of the Global Communications Conference, 2007

Evaluating Modeling Solutions on Their Ability to Support the Partitioning of Automotive Embedded Systems.
Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2007

Model-Based Analysis and Development of Dependable Systems.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006
Distributed Load Tests with TTCN-3.
Proceedings of the Testing of Communicating Systems, 2006

Derivation of Executable Test Models from Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain -.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Testing of Embedded Control Systems with Continous Signals.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Defect rate profile in large software-systems.
Proceedings of the Knowledge-Based Software Engineering, 2006

Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

2005
Distributed functional and load tests for Web services.
Int. J. Softw. Tools Technol. Transf., 2005

Model-Based Built-In Tests.
Electron. Notes Theor. Comput. Sci., 2005

From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing.
Proceedings of the Testing of Communicating Systems, 2005

The UML 2.0 Test Profile as a Basis for Integrated System and Test Development.
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004
Combining System Development and System Test in a Model-Centric Approach.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

Execution of External Applications using TTCN-3.
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

A Meta-model for TTCN-3.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Test Patterns with TTCN-3.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003
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., 2003

Tool Supported Test Frameworks in TTCN-3.
Electron. Notes Theor. Comput. Sci., 2003

An introduction to the testing and test control notation (TTCN-3).
Comput. Networks, 2003

Realizing Distributed TTCN-3 Test Systems with TCI.
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 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

Automated Testing of XML/SOAP based Web Services.
Proceedings of the Kommunikation in Verteilten Systemen (KiVS), 2003

A TTCN-3 Based Online Test and Validation Platform for Internet Services.
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

An Auditing System for QoS-Enabled Networks.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

2002
The Graphical Format of TTCN-3 in the Context of MSC and UML.
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

A platform architecture to support the deployment of distributed applications.
Proceedings of the IEEE International Conference on Communications, 2002

2001
Graphical Test Specification - The Graphical Format of TTCN-3.
Proceedings of the SDL 2001: Meeting UML, 2001

A Test Framework for CORBA Interoperability.
Proceedings of the 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 2001

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

2000
HyperMSC - a Graphical Representation of TTCN.
Proceedings of the SAM 2000, 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

Test Framework for Component-Based Systems.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Development of a MSC/UML Test Format.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999
Configuration and Execution Support for Distributed Tests.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

On Programming of Network Services.
Proceedings of the Proceedings 26th Conference on Local Computer Networks, 1999

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

Combining Design Methods for Service Development (Short Paper).
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

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

1998
Eine Leistungsmethodik und ihre Anwendungen auf ATM Protokolle.
PIK Prax. Informationsverarbeitung Kommun., 1998

Case Study in Protocol Validation: Validating an ATM Signalling Protocol.
Formal Aspects Comput., 1998

Test Architectures for Distributed Systems: State of the Art and Beyond.
Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 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

Conformance Testing of TINA Service Components - The TTCN/ CORBA Gateway.
Proceedings of the Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services, 1998

Test Suite Simulation.
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
Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics.
PhD thesis, 1995

Performance-Oriented Formal Specifications - the LotoTis Approach.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Customer requirements on teleservice management.
Proceedings of the Integrated Network Management IV, 1995

Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS.
Proceedings of the Formal Methods for Industrial Applications, 1995

1990
Eine SDL-Maschine für Entwurf und Analyse von Spezifikationen verteilter Systeme.
it Inf. Technol., 1990


  Loading...