Patrik Meijer

Design Space Exploration and Manipulation for Cyber Physical Systems

Gabor Karsai, Sandeep Neema, Janos Sztipanovits, 2014 .

Modelica On The Web

Peter Fritzson, Adrian Pop, Arunkumar Palanisamy, 2019 .

Deriving Cyber-security Requirements for Cyber Physical Systems pdf

Robert Laddaga, Paul Robertson, Howard E. Shrobe, 2019, ArXiv.

Abstractions for Modeling Complex Systems

Gabor Karsai, Ákos Lédeczi, Péter Völgyesi, 2016, ISoLA.

Demo: a design studio for verification tools

Taylor T. Johnson, Tamás Kecskés, Patrik Meijer, 2019, DESTION@CPSIoTWeek.

Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry

Paulo Tabuada, Taylor T. Johnson, Tamás Kecskés, 2019, ICCPS.

Towards an analysis-driven rapid design process for cyber-physical systems

Gabor Karsai, Sandeep Neema, Ted Bapty, 2015, 2015 International Symposium on Rapid System Prototyping (RSP).

Institute for Software-Integrated Systems Technical Report TR # : ISIS-15-110 Title : Integration Platform Technology Components in the META Toolchain

Sandeep Neema, Ted Bapty, Zsolt Lattmann, 2015 .

Institute for Software-Integrated Systems Technical Report TR # : ISIS-15-106 Title : META Design Space Exploration Using Dynamics

Sandeep Neema, Ted Bapty, Zsolt Lattmann, 2015 .