Justyna Zander

27 papers C 2Misc 1Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Validating Autonomy in the Era of Software-Defined Robotaxis.
Softwaretechnik-Trends
Justyna Zander
2017 J jnl
Automatic generation of test system instances for configurable cyber-physical systems.
Softw. Qual. J.
Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria, Justyna Zander
2016 J jnl
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems.
Softw. Syst. Model.
Pieter J. Mosterman, Justyna Zander
2016 J jnl
Industry 4.0 as a Cyber-Physical System study.
Softw. Syst. Model.
Pieter J. Mosterman, Justyna Zander
2016 — ch.
Modular Safety Assurance.
Advanced Model-Based Engineering of Embedded Systems
Arnaud Boyer, Bastian Tenbergen, Santiago Velasco, Pablo Oliveira Antonino, Peter Battram, Suryo Buono, Bernhard Kaiser, Justyna Zander, Kai Bizik, Alexander Prohaska, Michael Käßmeyer
2015 C conf
An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models.
Software Engineering (Workshops)
Suryo Buono, Viktor Ramich, Bernhard Kaiser, Justyna Zander
2015 J jnl
Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety.
Complex Syst. Informatics Model. Q.
Bernhard Kaiser, Raphael Weber, Markus Oertel, Eckard Böde, Behrang Monajemi Nejad, Justyna Zander
2015 J jnl
Grand challenges for modeling and simulation: simulation everywhere - from cyberinfrastructure to clouds to citizens.
Simul.
Simon J. E. Taylor, Azam Khan, Katherine L. Morse, Andreas Tolk, Levent Yilmaz, Justyna Zander, Pieter J. Mosterman
2015 — conf
Lightweight Contracts for Safety-Critical Automotive Systems.
GI-Jahrestagung
Bernhard Kaiser, Stefan Sonski, Suryo Buono, Hauke Petersen, Justyna Zander
2014 J jnl
A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions.
Comput. Sci. Eng.
Pieter J. Mosterman, David Escobar Sanabria, Enes Bilgin, Kun Zhang, Justyna Zander
2014 — conf
A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities.
HSCC
Pieter J. Mosterman, Gabor Simko, Justyna Zander, Zhi Han
2014 J jnl
Automating humanitarian missions with a heterogeneous fleet of vehicles.
Annu. Rev. Control.
Pieter J. Mosterman, David Escobar Sanabria, Enes Bilgin, Kun Zhang, Justyna Zander
2014 — ch.
Computation Taxonomy: Capabilities and Challenges.
Computation for Humanity
Justyna Zander, Pieter J. Mosterman
2014 — book
Computation for Humanity - Information Technology to Advance Society.
Computation for Humanity
Justyna Zander, Pieter J. Mosterman
2013 — conf
A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models.
MPM@MoDELS
Pieter J. Mosterman, Gabor Simko, Justyna Zander
2013 — conf
Grand challenges on the theory of modeling and simulation.
SpringSim (TMS-DEVS)
Simon J. E. Taylor, Azam Khan, Katherine L. Morse, Andreas Tolk, Levent Yilmaz, Justyna Zander
2013 — conf
Semantics for an interdisciplinary computation (WIP).
SpringSim (TMS-DEVS)
Justyna Zander, Pieter J. Mosterman
2013 — conf
Systematic management of simulation state for multi-branch simulations in simulink.
SpringSim (TMS-DEVS)
Zhi Han, Pieter J. Mosterman, Justyna Zander, Fu Zhang
2012 C conf
A Vision on Collaborative Computation of Things for Personalized Analyses.
WETICE
Justyna Zander
2012 Misc conf
Technical engine for democratization of modeling, simulations, and predictions.
WSC
Justyna Zander, Pieter J. Mosterman
2011 — ch.
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains.
Model-Based Testing for Embedded Systems
Justyna Zander, Ina Schieferdecker
2011 — conf
AdvancingModel-Based Design by Modeling Approximations of Computational Semantics.
EOOLT
Pieter J. Mosterman, Justyna Zander
2011 — book
Model-Based Testing for Embedded Systems
Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman
2009 J jnl
Three-dimensional conceptual model for service-oriented simulation
CoRR
Wenguang Wang, Weiping Wang, Justyna Zander, Yifan Zhu
2009 — conf
Towards Computational Hybrid System Semantics for Time-Based Block Diagrams.
ADHS
Pieter J. Mosterman, Justyna Zander, Grégoire Hamon, Ben Denckla
2007 — conf
Model-Based Analysis and Development of Dependable Systems.
Model-Based Engineering of Embedded Real-Time Systems
Christian Buckl, Alois C. Knoll, Ina Schieferdecker, Justyna Zander
2005 — conf
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing.
TestCom
Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din