default search action
Ina Schieferdecker
Person information
- affiliation: Fraunhofer Institute for Open Communication Systems, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [j21]Philipp Lämmel
, Benjamin Dittwald
Metadata Harvesting and Quality Assurance within Open Urban Platforms. ACM J. Data Inf. Qual. 12(4): 22:1-22:20 (2020) - [j20]Juergen Grossmann
A Taxonomy to Assess and Tailor Risk-Based Testing in Recent Testing Standards. IEEE Softw. 37(1): 40-49 (2020) - [j19]Ina Schieferdecker, Atif Memon, Hironori Washizaki:
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. 30(7-8) (2020) - [c107]Ramon Barakat
Industrial Grade Methodology for Firewall Simulation and Requirements Verification. NOMS 2020: 1-7 - [c106]Andrea Hamm
Edge Computing: A Comprehensive Survey of Current Initiatives and a Roadmap for a Sustainable Edge Computing Development. Wirtschaftsinformatik (Zentrale Tracks) 2020: 694-709 - [p4]Ina Schieferdecker:
Responsible Software Engineering. The Future of Software Quality Assurance 2020: 137-146
2010 – 2019
- 2019
- [j18]Silke Cuno
Data Governance and Sovereignty in Urban Data Spaces Based on Standardized ICT Reference Architectures. Data 4(1): 16 (2019) - [c105]Denis Rangelov, Nikolay Tcholtchev
Experiences Designing a Multi-Tier Architecture for a Decentralized Blockchain Application in the Energy Domain. ICUMT 2019: 1-7 - [c104]Nikolay Tcholtchev
The Need for Unified Testbed Management Across Multiple Teams and Stakeholders in a Large Scale Telecom Integration Context. QRS Companion 2019: 427-434 - [e8]Katinka Wolter, Ina Schieferdecker, Barbara Gallina, Michel Cukier, Roberto Natella, Naghmeh Ramezani Ivaki, Nuno Laranjeiro:
30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019. IEEE 2019, ISBN 978-1-7281-4982-0 [contents] - [e7]Katinka Wolter, Ina Schieferdecker, Barbara Gallina, Michel Cukier, Roberto Natella, Naghmeh Ramezani Ivaki, Nuno Laranjeiro:
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019. IEEE 2019, ISBN 978-1-7281-5138-0 [contents] - [i5]Jürgen Großmann, Michael Felderer, Johannes Viehmann, Ina Schieferdecker:
A Taxonomy to Assess and Tailor Risk-based Testing in Recent Testing Standards. CoRR abs/1905.10676 (2019) - [i4]Andrea Hamm
Edge Computing: A Comprehensive Survey of Current Initiatives and a Roadmap for a Sustainable Edge Computing Development. CoRR abs/1912.08530 (2019) - [i3]Michael Felderer, Ina Schieferdecker:
A taxonomy of risk-based testing. CoRR abs/1912.11519 (2019) - 2018
- [c103]William da Silva, Max Bureck, Ina Schieferdecker, Christian Hein:
Model Transformation with Triple Graph Grammars and Non-terminal Symbols. FTSCS 2018: 161-177 - [c102]Armin Lunkeit, Ina Schieferdecker:
Model-Based Security Testing - Deriving Test Models from Artefacts of Security Engineering. ICST Workshops 2018: 244-251 - [c101]Nikolay Tcholtchev
Enabling the Structuring, Enhancement and Creation of Urban ICT through the Extension of a Standardized Smart City Reference Model. UCC Companion 2018: 121-127 - [i2]Michael Felderer, Juergen Grossmann, Ina Schieferdecker:
Recent Results on Classifying Risk-Based Testing Approaches. CoRR abs/1801.06812 (2018) - 2017
- [c100]Ina Schieferdecker, Nikolay Tcholtchev
Towards an Open Data Based ICT Reference Architecture for Smart Cities. CeDEM 2017: 184-193 - [c99]Robert Scholz, Nikolay Tcholtchev, Philipp Lämmel, Ina Schieferdecker:
A CKAN Plugin for Data Harvesting to the Hadoop Distributed File System. CLOSER 2017: 19-28 - [c98]Robert Scholz, Nikolay Tcholtchev
From Metadata Catalogs to Distributed Data Processing for Smart City Platforms and Services: A Study on the Interplay of CKAN and Hadoop. CLOSER (Selected Papers) 2017: 115-136 - [c97]Ina Schieferdecker, Sascha Kretzschmann
IoT-Testware - An Eclipse Project. QRS 2017: 1-8 - [c96]Philipp Lämmel
Enhancing Cloud based Data Platforms for Smart Cities with Authentication and Authorization Features. UCC (Companion") 2017: 167-172 - 2016
- [c95]Nikolay Tcholtchev
Systematic Analysis of Practical Issues in Test Automation for Communication Based Systems. ICST Workshops 2016: 250-256 - [c94]Ina Schieferdecker, Nikolay Tcholtchev
Urban Data Platforms: An Overview. OpenSym (Companion) 2016: 14:1-14:4 - 2015
- [j17]Philipp Lämmel, Nikolay Tcholtchev, Ina Schieferdecker:
Integriertes Internet-basiertes System für Authentifizierung und Autorisierung. Prax. Inf.verarb. Kommun. 38(1-2): 43-62 (2015) - [c93]Alexej Starschenko, Nikolay Tcholtchev
Auto-configuration of OSPFv3 routing in fixed IPv6 networks. ICUMT 2015: 196-205 - [e6]Joachim Fischer, Markus Scheidgen, Ina Schieferdecker
SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings. Lecture Notes in Computer Science 9369, Springer 2015, ISBN 978-3-319-24911-7 [contents] - 2014
- [j16]Nikolay Tcholtchev
Framework for distributed autonomic self-healing in fixed IPv6 networks. Int. J. Commun. Syst. 27(12): 4103-4125 (2014) - [j15]Jens Grabowski, Ina Schieferdecker
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. 16(3): 215-225 (2014) - [j14]Michael Felderer, Ina Schieferdecker
A taxonomy of risk-based testing. Int. J. Softw. Tools Technol. Transf. 16(5): 559-568 (2014) - [j13]Nikolay Tcholtchev
Framework for Ensuring Runtime Stability of Control Loops in Multi-agent Networked Environments. Trans. Comput. Sci. 22: 64-92 (2014) - [j12]Mikko Nieminen, Nikolay Tcholtchev
Robust architecture for distributed intelligence in an IP-based mobile wide-area surveillance system. J. Supercomput. 70(3): 1120-1141 (2014) - [c92]Nikolay Tcholtchev
The Concept of a Mobility Data Cloud: Design, Implementation and Trials. COMPSAC Workshops 2014: 192-198 - [c91]Michael Felderer, Marc-Florian Wendland, Ina Schieferdecker:
Risk-Based Testing - (Track Introduction). ISoLA (2) 2014: 274-276 - [c90]Edzard Höfig, Ina Schieferdecker:
Hashing of RDF Graphs and a Solution to the Blank Node Problem. URSW 2014: 55-66 - [p3]Ina Schieferdecker, Walter Mattauch:
ICT for Smart Cities: Innovative Solutions in the Public Space. Computation for Humanity 2014: 127-156 - [e5]Dirk Riehle, Jesús M. González-Barahona, Gregorio Robles, Kathrin M. Möslein, Ina Schieferdecker, Ulrike Cress, Astrid Wichmann, Brent J. Hecht, Nicolas Jullien:
Proceedings of The International Symposium on Open Collaboration, OpenSym 2014, Berlin, Germany, August 27 - 29, 2014. ACM 2014, ISBN 978-1-4503-3016-9 [contents] - 2013
- [c89]Marc-Florian Wendland, Andreas Hoffmann, Ina Schieferdecker
Fokus!MBT: a multi-paradigmatic test modeling environment. ACME@ECOOP 2013: 3:1-3:10 - [c88]Martin A. Schneider
Online Model-Based Behavioral Fuzzing. ICST Workshops 2013: 469-475 - [c87]Axel Rennoch
Security Testing Approaches - For Research, Industry and Standardization. ISCTCS 2013: 397-406 - [c86]Florian Marienfeld, Ina Schieferdecker
Metadata aggregation at GovData.de: an experience report. OpenSym 2013: 21:1-21:5 - 2012
- [j11]Ina Schieferdecker:
Model-Based Testing. IEEE Softw. 29(1): 14-18 (2012) - [c85]Ina Schieferdecker
Trustworthiness of Open Source, Open Data, Open Systems and Open Standards. COMPSAC 2012: 82 - [c84]Ina Schieferdecker
(Open) Data Quality. COMPSAC 2012: 83-84 - [c83]Evanela Lapi, Nikolay Tcholtchev
Identification and Utilization of Components for a Linked Open Data Platform. COMPSAC Workshops 2012: 112-115 - [c82]Peter M. Kruse, Ina Schieferdecker:
Comparison of Approaches to Prioritized Test Generation for Combinatorial Interaction Testing. FedCSIS 2012: 1323-1330 - [c81]Nikolay Tcholtchev
Auto-Collaboration for optimal network resource utilization in fixed IPv6 networks. GLOBECOM Workshops 2012: 807-812 - [c80]Arun Prakash, Ina Schieferdecker
Rotary Dial Model - A model-driven methodology for autonomic network design. GLOBECOM Workshops 2012: 891-896 - [c79]Ina Schieferdecker
Model-Based Fuzz Testing. ICST 2012: 814 - [c78]Nikolay Tcholtchev
On the interplay of open data, cloud services and network providers towards electric mobility in smart cities. LCN Workshops 2012: 860-867 - [c77]Martin A. Schneider
Behavioral Fuzzing Operators for UML Sequence Diagrams. SAM 2012: 88-104 - [c76]Ina Schieferdecker, Juergen Grossmann, Martin A. Schneider:
Model-Based Security Testing. MBT 2012: 1-12 - [i1]Ina Schieferdecker, Axel Rennoch, Jürgen Großmann:
DIAMONDS do IT with MODELS: Innovative Security Testing Approaches. ERCIM News 2012(88) (2012) - 2011
- [c75]Edzard Höfig, Peter H. Deussen, Ina Schieferdecker
On the performance of UML state machine interpretation at runtime. SEAMS 2011: 118-127 - [c74]Marc-Florian Wendland, Ina Schieferdecker
Requirements-Driven Testing with Behavior Trees. ICST Workshops 2011: 501-510 - [c73]Pekka Aho, Nadja Menz, Tomi Räty, Ina Schieferdecker
Automated Java GUI Modeling for Model-Based Testing Purposes. ITNG 2011: 268-273 - [p2]Jürgen Großmann, Philip Makedonski, Hans-Werner Wiesbrock, Jaroslav Svacina, Ina Schieferdecker, Jens Grabowski:
Model-Based X-in-the-Loop Testing. Model-Based Testing for Embedded Systems 2011 - [p1]Justyna Zander, Ina Schieferdecker:
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains. Model-Based Testing for Embedded Systems 2011 - [e4]Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman:
Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, & Design Dynamic Systems, CRC Press 2011, ISBN 978-1-4398-1845-9 [contents] - 2010
- [j10]Gabor Karsai
Evolving Embedded Systems. Computer 43(5): 34-40 (2010) - [c72]Diana Elena Vega, Ina Schieferdecker
Design of a Test Framework for Automated Interoperability Testing of Healthcare Information Systems. eTELEMED 2010: 134-140 - [c71]Cosmin Mogos, Ina Schieferdecker:
Evaluation of Trust Policies by Simulation. ICAART (2) 2010: 178-183 - [c70]Ina Schieferdecker
Test Automation with TTCN-3 - State of the Art and a Future Perspective. ICTSS 2010: 1-14 - [c69]Nadim Sarrouh, Florian Eilers, Uwe Nestmann, Ina Schieferdecker
Defamation-Free Networks through User-Centered Data Control. STM 2010: 179-193 - [r3]Ina Schieferdecker, Andreas Hoffmann:
Model-Based Testing. Encyclopedia of Software Engineering 2010: 556-570 - [r2]Ina Schieferdecker, Axel Rennoch, Alain Vouffo-Feudjio:
Model-Based Testing: Approaches and Notations. Encyclopedia of Software Engineering 2010: 571-576 - [r1]Ina Schieferdecker, Jürgen Großmann, Marc-Florian Wendland:
Model-Based Testing: Trends. Encyclopedia of Software Engineering 2010: 577-593
2000 – 2009
- 2009
- [j9]Hakan Coskun, Ina Schieferdecker, Yahya Al-Hazmi:
Virtual WLAN: Going beyond Virtual Access Points. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 17 (2009) - [c68]Alain Vouffo-Feudjio, Ina Schieferdecker:
A Pattern Language of Black-Box Test Design for Reactive Software Systems. EuroPLoP 2009 - [c67]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 - [c66]Willem-Jan van den Heuvel, Olaf Zimmermann, Frank Leymann
Software service engineering: Tenets and challenges. PESOS@ICSE 2009: 26-33 - [c65]Juergen Grossmann, Diana Alina Serbanescu, Ina Schieferdecker
Testing Embedded Real Time Systems with TTCN-3. ICST 2009: 81-90 - [c64]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 - [c63]Sebastian Wieczorek, Andreas Roth, Alin Stefanescu
Viewpoints for modeling choreographies in service-oriented architectures. WICSA/ECSA 2009: 11-20 - 2008
- [j8]Ina Schieferdecker
Introduction to the special section on advances in test automation: the evolution of TTCN-3. Int. J. Softw. Tools Technol. Transf. 10(4): 281-283 (2008) - [j7]Ina Schieferdecker
Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3. Int. J. Softw. Tools Technol. Transf. 10(4): 383-400 (2008) - [c62]Ina Schieferdecker
The Test Technology TTCN-3. Formal Methods and Testing 2008: 292-319 - [c61]Diana Vega, George Din, Stefan Taranu, Ina Schieferdecker
Application of Clustering Methods for Analysing of TTCN-3 Test Data Quality. ICSEA 2008: 237-244 - [c60]George Din, Klaus-Peter Eckert, Ina Schieferdecker
A Workload Model for Benchmarking BPEL Engines. ICST Workshops 2008: 356-360 - [c59]Sebastian Wieczorek, Alin Stefanescu
Test Data Provision for ERP Systems. ICST 2008: 396-403 - [c58]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 - [c57]Jürgen Großmann, Ina Schieferdecker, Hans-Werner Wiesbrock:
Modeling Property Based Stream Templates with TTCN-3. TestCom/FATES 2008: 70-85 - [c56]George Din, Ina Schieferdecker, Razvan Petre:
Performance Test Design Process and Its Implementation Patterns for Multi-services Systems. TestCom/FATES 2008: 135-152 - [c55]Diana Alina Serbanescu, Victoria Molovata, George Din, Ina Schieferdecker, Ilja Radusch
Real-Time Testing with TTCN-3. TestCom/FATES 2008: 283-301 - [c54]Justyna Zander-Nowicka, Xuezheng Xiong, Ina Schieferdecker:
Systematic Test Data Generation for Embedded Software. Software Engineering Research and Practice 2008: 164-170 - [c53]George Din, Diana Vega, Ina Schieferdecker
Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking. SEUS 2008: 417-430 - [e3]Ina Schieferdecker, Alan Hartman:
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 [contents] - 2007
- [c52]Christian Buckl
Model-Based Analysis and Development of Dependable Systems. Model-Based Engineering of Embedded Real-Time Systems 2007: 271-293 - [c51]Augustin Kebemou, Ina Schieferdecker:
Evaluating Modeling Solutions on Their Ability to Support the Partitioning of Automotive Embedded Systems. EUC Workshops 2007: 674-685 - [c50]Ina Schieferdecker
Quality Assurance for Autonomous Systems-A Review of Model-Based Methods. FTDCS 2007: 199-204 - [c49]George Din, Razvan Petre, Ina Schieferdecker
A Workload Model for Benchmarking IMS Core Networks. GLOBECOM 2007: 2623-2627 - [c48]Ina Schieferdecker
Quality Assurance for Autonomous Systems - A Review of Model-Based Methods. ISADS 2007: 305-307 - [c47]Stefan Wappler, Ina Schieferdecker
Improving evolutionary class testing in the presence of non-public methods. ASE 2007: 381-384 - [c46]Diana Vega, Ina Schieferdecker, George Din:
Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3. TestCom/FATES 2007: 351-364 - [c45]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-242 - [c44]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 - [c43]Ina Schieferdecker, Jürgen Großmann:
Testing Embedded Control Systems with TTCN-3. SEUS 2007: 125-136 - 2006
- [c42]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 - [c41]Elena-Ramona Modroiu, Ina Schieferdecker:
Defect rate profile in large software-systems. JCKBSE 2006: 106-114 - [c40]Ina Schieferdecker, Jürgen Großmann:
Testing of Embedded Control Systems with Continous Signals. MBEES 2006: 113-122 - [c39]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 - [c38]George Din, Sorin Tolea, Ina Schieferdecker
Distributed Load Tests with TTCN-3. TestCom 2006: 177-196 - 2005
- [j6]Ina Schieferdecker
Distributed functional and load tests for Web services. Int. J. Softw. Tools Technol. Transf. 7(4): 351-360 (2005) - [c37]Ina Schieferdecker:
The UML 2.0 Test Profile as a Basis for Integrated System and Test Development. GI Jahrestagung (1) 2005: 395-399 - [c36]Justyna Zander
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing. TestCom 2005: 289-303 - 2004
- [c35]Alain Vouffo-Feudjio, Ina Schieferdecker:
Test Patterns with TTCN-3. FATES 2004: 170-179 - [c34]Ina Schieferdecker, George Din:
A Meta-model for TTCN-3. FORTE Workshops 2004: 366-379 - [c33]Theofanis Vassiliou-Gioles, George Din, Ina Schieferdecker:
Execution of External Applications using TTCN-3. TestCom 2004: 209-223 - [c32]Marc Born, Ina Schieferdecker, Olaf Kath, Chiaki Hirai:
Combining System Development and System Test in a Model-Centric Approach. RISE 2004: 132-143 - [c31]Hans-Gerhard Groß, Ina Schieferdecker
Model-Based Built-In Tests. MBT 2004: 161-182 - 2003
- [j5]Jens Grabowski, Dieter Hogrefe, György Réthy, Ina Schieferdecker
An introduction to the testing and test control notation (TTCN-3). Comput. Networks 42(3): 375-403 (2003) - [j4]Hubert Garavel, Stefania Gnesi
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) - [c30]George Din, Akihiro Hayakawa, Ina Schieferdecker
An Auditing System for QoS-Enabled Networks. ICDCS Workshops 2003: 159- - [c29]Peter H. Deussen, George Din, Ina Schieferdecker
A TTCN-3 Based Online Test and Validation Platform for Internet Services. ISADS 2003: 177-184 - [c28]Ina Schieferdecker, Bernard Stepien:
Automated Testing of XML/SOAP based Web Services. KiVS 2003: 43-54 - [c27]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 - [c26]Ina Schieferdecker, Theofanis Vassiliou-Gioles:
Realizing Distributed TTCN-3 Test Systems with TCI. TestCom 2003: 95-109 - [c25]Ina Schieferdecker
Tool Supported Test Frameworks in TTCN-3. FMICS 2003: 251-260 - 2002
- [c24]Tonghong Li, Andreas Hoffmann, Marc Born, Ina Schieferdecker:
A platform architecture to support the deployment of distributed applications. ICC 2002: 2592-2596 - [c23]Ina Schieferdecker, Jens Grabowski:
The Graphical Format of TTCN-3 in the Context of MSC and UML. SAM 2002: 233-252 - [e2]Ina Schieferdecker, Hartmut König, Adam Wolisz:
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 [contents] - 2001
- [c22]Mang Li, Axel Rennoch
Experience Report on Conformance Tests for CORBA ORBs. APAQS 2001: 173-184 - [c21]Mang Li, Ina Schieferdecker
A Test Framework for CORBA Interoperability. EDOC 2001: 152- - [c20]Paul Baker, Ekkart Rudolph, Ina Schieferdecker:
Graphical Test Specification - The Graphical Format of TTCN-3. SDL Forum 2001: 148-167 - 2000
- [c19]Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski:
Development of a MSC/UML Test Format. FBT 2000: 153-164 - [c18]Marc Born, Ina Schieferdecker, Mang Li:
Test Framework for Component-Based Systems. ICDCS Workshop on Distributed System Validation and Verification 2000: E75-E78 - [c17]Ina Schieferdecker, Mang Li, Axel Rennoch:
Incremental Testing at System Reference Points. TestCom 2000: 75-90 - [c16]Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski:
HyperMSC - a Graphical Representation of TTCN. SAM 2000: 76-
1990 – 1999
- 1999
- [c15]Axel Rennoch, Jan de Meer, Ina Schieferdecker:
Test Data Filtering. FBT 1999: 175-184 - [c14]Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker:
Combining Design Methods for Service Development (Short Paper). FMOODS 1999 - [c13]Mang Li, Ina Schieferdecker, Axel Rennoch:
Testing the TINA Retailer Reference Point. ISADS 1999: 268-275 - [c12]Ascan F. Morlang, Ina Schieferdecker:
On Programming of Network Services. LCN 1999: 71-72 - [c11]Theofanis Vassiliou-Gioles, Ina Schieferdecker, Marc Born, Mario Winkler, Mang Li:
Configuration and Execution Support for Distributed Tests. IWTCS 1999: 61-76 - 1998
- [j3]Theofanis Vassiliou-Gioles, Ina Schieferdecker:
Case Study in Protocol Validation: Validating an ATM Signalling Protocol. Formal Aspects Comput. 10(5-6): 483-508 (1998) - [j2]Ina Schieferdecker, Axel Rennoch, Mang Li, Bernard Stepien:
Eine Leistungsmethodik und ihre Anwendungen auf ATM Protokolle. Prax. Inf.verarb. Kommun. 21(3): 136-139 (1998) - [c10]Stephan Pietsch, Ina Schieferdecker:
Test Suite Simulation. FBT 1998: 38-47 - [c9]Ina Schieferdecker, Mang Li, Andreas Hoffmann:
Conformance Testing of TINA Service Components - The TTCN/ CORBA Gateway. IS&N 1998: 393-408 - [c8]Thomas Walter, Ina Schieferdecker, Jens Grabowski:
Test Architectures for Distributed Systems: State of the Art and Beyond. IWTCS 1998: 149-174 - [c7]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 - 1997
- [c6]Ina Schieferdecker, Axel Rennoch, Olaf Mertens:
Timed MSCx - an Extension to MSC'96. FBT 1997: 165-174 - [c5]Ina Schieferdecker, Mang Li, Axel Rennoch:
An AAL5 Performance Test Suite in PerfTTCN. FBT 1997: 241-250 - [e1]Adam Wolisz, Ina Schieferdecker, Axel Rennoch:
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 [contents] - 1995
- [b1]Ina Schieferdecker:
Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics. Technical University of Berlin, Germany, Oldenbourg 1995, ISBN 978-3-486-23328-5, pp. 1-256 - [c4]Andreas Willig, Ina Schieferdecker:
Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS. Formal Methods for Industrial Applications 1995: 473-492 - [c3]Jane Hall, Ina Schieferdecker, Michael Tschichholz:
Customer requirements on teleservice management. Integrated Network Management 1995: 143-155 - [c2]Ina Schieferdecker:
Performance-Oriented Formal Specifications - the LotoTis Approach. TAPSOFT 1995: 772-786 - 1991
- [c1]Klaus Ahrens, Joachim Fischer, Eckhardt Holz, Ina Schieferdecker, Günter Schwarze, Dorota Witaszek, Andreas Vogel:
Entwurf und Analyse von Spezifikationen verteilter Systeme. ASIM 1991: 490-494 - 1990
- [j1]Klaus Ahrens, Joachim Fischer, Eckhardt Holz, Ina Schieferdecker:
Eine SDL-Maschine für Entwurf und Analyse von Spezifikationen verteilter Systeme. it Inf. Technol. 32(6): 400-409 (1990)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: