Justyna Zander

Orcid: 0000-0001-7215-0962

Affiliations:
  • Worcester Polytechnic Institute; MA, USA
  • Berner and Mattner Systemtechnik GmbH, Berlin, Germany
  • HumanoidWay, Natick, MA, USA
  • MathWorks Inc., Natick, MA, USA
  • Gdansk University of Technology, Poland
  • Harvard University, Harvard Humanitarian Initiative, Cambridge, MA, USA
  • Fraunhofer Institute for Open Communication Systems (FOKUS), Berlin, Germany


According to our database1, Justyna Zander authored at least 27 papers between 2005 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2006
2008
2010
2012
2014
2016
0
1
2
3
4
5
1
1
1
1
2
2
2
1
2
1
4
2
1
1
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Automatic generation of test system instances for configurable cyber-physical systems.
Softw. Qual. J., 2017

2016
Industry 4.0 as a Cyber-Physical System study.
Softw. Syst. Model., 2016

Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems.
Softw. Syst. Model., 2016

Modular Safety Assurance.
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015
Grand challenges for modeling and simulation: simulation everywhere - from cyberinfrastructure to clouds to citizens.
Simul., 2015

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety.
Complex Syst. Informatics Model. Q., 2015

An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

Lightweight Contracts for Safety-Critical Automotive Systems.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

2014
A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions.
Comput. Sci. Eng., 2014

Automating humanitarian missions with a heterogeneous fleet of vehicles.
Annu. Rev. Control., 2014

A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Computation Taxonomy: Capabilities and Challenges.
Proceedings of the Computation for Humanity - Information Technology to Advance Society., 2014

2013
Semantics for an interdisciplinary computation (WIP).
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Grand challenges on the theory of modeling and simulation.
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Systematic management of simulation state for multi-branch simulations in simulink.
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models.
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013

2012
Technical engine for democratization of modeling, simulations, and predictions.
Proceedings of the Winter Simulation Conference, 2012

A Vision on Collaborative Computation of Things for Personalized Analyses.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

2011
AdvancingModel-Based Design by Modeling Approximations of Computational Semantics.
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains.
Proceedings of the Model-Based Testing for Embedded Systems, 2011

2009
Three-dimensional conceptual model for service-oriented simulation
CoRR, 2009

Towards Computational Hybrid System Semantics for Time-Based Block Diagrams.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008
Systematic Test Data Generation for Embedded Software.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

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.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Model-Based Analysis and Development of Dependable Systems.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006
Derivation of Executable Test Models from Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain -.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

2005
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing.
Proceedings of the Testing of Communicating Systems, 2005


  Loading...