Patrik Meijer

According to our database, Patrik Meijer authored at least 5 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Deriving Cyber-security Requirements for Cyber Physical Systems.

Robert Laddaga, Paul Robertson, Howard E. Shrobe, Dan Cerys, Prakash Manghwani, Patrik Meijer

CoRR, 2019

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

Stephen A. Rees, Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Katie Dey, Paulo Tabuada, Marcus Lucas

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Demo: a design studio for verification tools.

Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Marcus Lucas

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2016

Abstractions for Modeling Complex Systems.

Zsolt Lattmann, Tamás Kecskés, Patrik Meijer, Gabor Karsai, Péter Völgyesi, Ákos Lédeczi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

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

Zsolt Lattmann, James Klingler, Patrik Meijer, Jason Scott, Sandeep Neema, Ted Bapty, Gabor Karsai

Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015