Justyna Zander
Título
Citado por
Citado por
Ano
Industry 4.0 as a cyber-physical system study
PJ Mosterman, J Zander
Software & Systems Modeling 15 (1), 17-29, 2016
1702016
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
1582011
Model-based testing for embedded systems
J Zander, I Schieferdecker, P Mosterman
CRC Press/ Taylor&Francis 13, 688, 2011
154*2011
Model-based testing of real-time embedded systems in the automotive domain
J Zander-Nowicka
Fraunhofer-IRB-Verlag, 2008
91*2008
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
892005
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems
PJ Mosterman, J Zander
Software & Systems Modeling 15 (1), 5-16, 2016
762016
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
542013
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
472015
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
342014
Computation for humanity: information technology to advance society
J Zander, PJ Mosterman
CRC Press, 2013
32*2013
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
302017
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
302009
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
27*2014
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
272012
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
27*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
202015
Cyber-physical systems can make emergency response smart
J Zander, PJ Mosterman, T Padir, Y Wan, S Fu
Procedia Engineering 107, 312-318, 2015
202015
Advancing Model-Based Design by Modeling Approximations of Computational Semantics.
PJ Mosterman, J Zander
EOOLT, 3-7, 2011
192011
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
192006
Automotive validation functions for on-line test evaluation of hybrid real-time systems
J Zander-Nowicka, I Schieferdecker, AM Pérez
2006 IEEE Autotestcon, 799-805, 2006
182006
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20