Justyna Zander

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 3

Top Topics

Physical Systems

Grand Challenges

Top Venues

SpringSim (TMS-DEVS)

Softw. Syst. Model.

Annu. Rev. Control.

Publications

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