Justyna Zander
Justyna Zander
Geverifieerd e-mailadres voor hsph.harvard.edu - Homepage
Geciteerd door
Geciteerd door
Industry 4.0 as a cyber-physical system study
PJ Mosterman, J Zander
Software & Systems Modeling 15 (1), 17-29, 2016
Systems, Methods and Devices for the Rapid Assessment and Deployment of Appropriate Modular Aid Solutions in Response to Disasters.
SR Daniel, TW Coleman, Y Schwartz, ZR Wadia, J Zander
US Patent App. 12/870,117, 2011
Model-based testing for embedded systems
J Zander, I Schieferdecker, P Mosterman
CRC Press/ Taylor&Francis 13, 688, 2011
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems
PJ Mosterman, J Zander
Software & Systems Modeling 15 (1), 5-16, 2016
From U2TP models to executable tests with TTCN-3-an approach to model driven testing
J Zander, ZR Dai, I Schieferdecker, G Din
IFIP International Conference on Testing of Communicating Systems, 289-303, 2005
Model-based testing of real-time embedded systems in the automotive domain
J Zander-Nowicka
Grand challenges on the theory of modeling and simulation.
SJE Taylor, A Khan, KL Morse, A Tolk, L Yilmaz, J Zander
SpringSim (TMS-DEVS), 34, 2013
Grand challenges for modeling and simulation: simulation everywhere—from cyberinfrastructure to clouds to citizens
SJE Taylor, A Khan, KL Morse, A Tolk, L Yilmaz, J Zander, PJ Mosterman
simulation 91 (7), 648-665, 2015
A heterogeneous fleet of vehicles for automated humanitarian missions
PJ Mosterman, DE Sanabria, E Bilgin, K Zhang, J Zander
Computing in Science & Engineering 16 (3), 90-95, 2014
Automatic generation of test system instances for configurable cyber-physical systems
A Arrieta, G Sagardui, L Etxeberria, J Zander
Software Quality Journal 25 (3), 1041-1083, 2017
Computation for humanity: Information technology to advance society
J Zander, PJ Mosterman
CRC Press, 2013
Towards computational hybrid system semantics for time-based block diagrams
PJ Mosterman, J Zander, G Hamon, B Denckla
IFAC Proceedings Volumes 42 (17), 376-385, 2009
A Computational Model of Time for Stiff Hybrid Systems Applied to Control Synthesis
PJ Mosterman, J Zander, G Hamon, B Denckla
Control Engineering Practice 20 (1), 69-81, 2012
Automating humanitarian missions with a heterogeneous fleet of vehicles
PJ Mosterman, DE Sanabria, E Bilgin, K Zhang, J Zander
Annual Reviews in Control 38 (2), 259-270, 2014
Cyber-physical systems can make emergency response smart
J Zander, PJ Mosterman, T Padir, Y Wan, S Fu
Procedia Engineering 107, 312-318, 2015
Model-Based Testing in Embedded Automotive Systems.
P Skruch, M Panek, B Kowalczyk, J Zander-Nowicka, I Schieferdecker, ...
Model-Based Testing for Embedded Systems, 293-308, 2011
Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety
JZ Bernhard Kaiser, Raphael Weber, Markus Oertel, Eckard Böde, Behrang ...
Complex Systems Informatics and Modeling Quarterly, 2015
Advancing Model-Based Design by Modeling Approximations of Computational Semantics.
PJ Mosterman, J Zander
EOOLT, 3-7, 2011
A taxonomy of model-based testing for embedded systems from multiple industry domains
PM Justyna Zander, Ina Schieferdecker
Model-based testing for embedded systems 1, 1-22, 2011
Model transformers for test generation from system models
M Busch, R Chaparadza, ZR Dai, A Hoffmann, L Lacmene, T Ngwangwen, ...
Proceedings of Conquest 2006, 10th International Conference on Quality …, 2006
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20