Patrik Meijer

Orcid: 0009-0002-5801-6673

According to our database1, Patrik Meijer authored at least 6 papers between 2015 and 2024.

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

Timeline

2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2019
Deriving Cyber-security Requirements for Cyber Physical Systems.
CoRR, 2019

Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Demo: a design studio for verification tools.
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2016
Abstractions for Modeling Complex Systems.
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.
Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015


  Loading...