Patrik Meijer

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 5

Top Topics

Agent Based Modeling

Physical Systems

Virtual Organization

Top Venues

DESTION@CPSIoTWeek

Publications

Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Marcus Lucas
Demo: a design studio for verification tools. DESTION@CPSIoTWeek (2019)
Robert Laddaga, Paul Robertson, Howard E. Shrobe, Dan Cerys, Prakash Manghwani, Patrik Meijer
Deriving Cyber-security Requirements for Cyber Physical Systems. CoRR (2019)
Stephen A. Rees, Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Katie Dey, Paulo Tabuada, Marcus Lucas
Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry. ICCPS (2019)
Zsolt Lattmann, Tamás Kecskés, Patrik Meijer, Gabor Karsai, Péter Völgyesi, Ákos Lédeczi
Abstractions for Modeling Complex Systems. ISoLA (2) (2016)
Zsolt Lattmann, James Klingler, Patrik Meijer, Jason Scott, Sandeep Neema, Ted Bapty, Gabor Karsai
Towards an analysis-driven rapid design process for cyber-physical systems. RSP (2015)