Ina Schieferdecker
Orcid: 0000-0001-6298-2327Affiliations:
- Fraunhofer Institute for Open Communication Systems, Germany
According to our database1,
Ina Schieferdecker
authored at least 139 papers
between 1990 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Proceedings of the Combined Power of Research, Education, and Dissemination, 2025
2024
Proceedings of the Bridging the Gap Between AI and Reality, 2024
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
IEEE Softw., 2020
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
Proceedings of the NOMS 2020, 2020
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
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
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
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
Proceedings of the CLOSER 2017, 2017
Proceedings of the 2017 Conference for E-Democracy and Open Government, 2017
2016
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
Prax. Inf.verarb. Kommun., 2015
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
Int. J. Commun. Syst., 2014
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
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
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
Proceedings of the 9th International Symposium on Open Collaboration, Hong Kong, China, August 05, 2013
Proceedings of the Trustworthy Computing and Services, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the workshop on ACadeMics Tooling with Eclipse, 2013
2012
Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012
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
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the Workshops Proceedings of the Global Communications Conference, 2012
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
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012
2011
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
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
Proceedings of the Model-Based Testing for Embedded Systems, 2011
2010
Proceedings of the Encyclopedia of Software Engineering, 2010
Proceedings of the Encyclopedia of Software Engineering, 2010
Proceedings of the Security and Trust Management - 6th International Workshop, 2010
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
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
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
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
Proceedings of the EuroPLoP 2009: 14th Annual European Conference on Pattern Languages of Programming, 2009
2008
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
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
Proceedings of the Testing of Software and Communicating Systems, 2008
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
Proceedings of the First International Conference on Software Testing, 2008
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Proceedings of the Third International Conference on Software Engineering Advances, 2008
2007
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
Proceedings of the Testing of Software and Communicating Systems, 2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the Global Communications Conference, 2007
Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 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
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007
2006
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
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006
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
Int. J. Softw. Tools Technol. Transf., 2005
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing.
Proceedings of the Testing of Communicating Systems, 2005
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005
2004
Proceedings of the Rapid Integration of Software Engineering Techniques, 2004
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004
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
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
Comput. Networks, 2003
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003
Proceedings of the Kommunikation in Verteilten Systemen (KiVS), 2003
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003
2002
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002
Proceedings of the IEEE International Conference on Communications, 2002
2001
Proceedings of the SDL 2001: Meeting UML, 2001
Proceedings of the 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 2001
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
Proceedings of the Proceedings 26th Conference on Local Computer Networks, 1999
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
Prax. Inf.verarb. Kommun., 1998
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
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
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
Proceedings of the Formal Methods for Industrial Applications, 1995
1991
Entwurf und Analyse von Spezifikationen verteilter Systeme.
Proceedings of the 7. Symposium Simulationstechnik: Fortschritte in der Simulationstechnik, 1991
1990
it Inf. Technol., 1990