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

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

Model-Based Analysis and Development of Dependable Systems. - Christian Buckl; Alois C. Knoll; Ina Schieferdecker; Justyna Zander (Model-Based Engineering of Embedded Real-Time 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. - Justyna Zander-Nowicka; Abel Marrero Pérez; Ina Schieferdecker (Software Engineering Research and Practice, 2007)

Systematic Test Data Generation for Embedded Software. - Justyna Zander-Nowicka; Xuezheng Xiong; Ina Schieferdecker (Software Engineering Research and Practice, 2008)

Towards Computational Hybrid System Semantics for Time-Based Block Diagrams. - Pieter J. Mosterman; Justyna Zander; Grégoire Hamon; Ben Denckla (ADHS, 2009)

Three-dimensional conceptual model for service-oriented simulation - Wenguang Wang; Weiping Wang 002; Justyna Zander; Yifan Zhu (CoRR, 2009)

A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains. - Justyna Zander; Ina Schieferdecker (Model-Based Testing for Embedded Systems, 2011)

AdvancingModel-Based Design by Modeling Approximations of Computational Semantics. - Pieter J. Mosterman; Justyna Zander (EOOLT, 2011)

A Vision on Collaborative Computation of Things for Personalized Analyses. - Justyna Zander (WETICE, 2012)

Technical engine for democratization of modeling, simulations, and predictions. - Justyna Zander; Pieter J. Mosterman (WSC, 2012)

A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models. - Pieter J. Mosterman; Gabor Simko; Justyna Zander (MPM@MoDELS, 2013)

Systematic management of simulation state for multi-branch simulations in simulink. - Zhi Han; Pieter J. Mosterman; Justyna Zander; Fu Zhang 003 (SpringSim (TMS-DEVS), 2013)

Grand challenges on the theory of modeling and simulation. - Simon J. E. Taylor; Azam Khan; Katherine L. Morse; Andreas Tolk; Levent Yilmaz 001; Justyna Zander (SpringSim (TMS-DEVS), 2013)

Semantics for an interdisciplinary computation (WIP). - Justyna Zander; Pieter J. Mosterman (SpringSim (TMS-DEVS), 2013)

Computation Taxonomy: Capabilities and Challenges. - Justyna Zander; Pieter J. Mosterman (Computation for Humanity, 2014)

A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities. - Pieter J. Mosterman; Gabor Simko; Justyna Zander; Zhi Han (HSCC, 2014)

Automating humanitarian missions with a heterogeneous fleet of vehicles. - Pieter J. Mosterman; David Escobar Sanabria; Enes Bilgin; Kun Zhang; Justyna Zander (Annu. Rev. Control., 2014)

A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions. - Pieter J. Mosterman; David Escobar Sanabria; Enes Bilgin; Kun Zhang; Justyna Zander (Comput. Sci. Eng., 2014)

Lightweight Contracts for Safety-Critical Automotive Systems. - Bernhard Kaiser; Stefan Sonski; Suryo Buono; Hauke Petersen; Justyna Zander (GI-Jahrestagung, 2015)

An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models. - Suryo Buono; Viktor Ramich; Bernhard Kaiser; Justyna Zander (Software Engineering (Workshops), 2015)

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety. - Bernhard Kaiser; Raphael Weber; Markus Oertel; Eckard Böde; Behrang Monajemi Nejad; Justyna Zander (Complex Syst. Informatics Model. Q., 2015)

Grand challenges for modeling and simulation: simulation everywhere - from cyberinfrastructure to clouds to citizens. - Simon J. E. Taylor; Azam Khan; Katherine L. Morse; Andreas Tolk; Levent Yilmaz 001; Justyna Zander; Pieter J. Mosterman (Simul., 2015)

Modular Safety Assurance. - Arnaud Boyer; Bastian Tenbergen; Santiago Velasco; Pablo Oliveira Antonino; Peter Battram; Suryo Buono; Bernhard Kaiser; Justyna Zander; Kai Bizik; Alexander Prohaska; Michael Käßmeyer (Advanced Model-Based Engineering of Embedded Systems, 2016)

Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems. - Pieter J. Mosterman; Justyna Zander (Softw. Syst. Model., 2016)

Industry 4.0 as a Cyber-Physical System study. - Pieter J. Mosterman; Justyna Zander (Softw. Syst. Model., 2016)

Automatic generation of test system instances for configurable cyber-physical systems. - Aitor Arrieta; Goiuria Sagardui; Leire Etxeberria; Justyna Zander (Softw. Qual. J., 2017)