Bram van der Sanden

Orcid: 0000-0002-1851-2501

According to our database1, Bram van der Sanden authored at least 16 papers between 2012 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Experiences and Lessons from Introducing Model-Based Analysis in Brown-Field Product Family Development.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

2022
Partial-Order Reduction for Supervisory Controller Synthesis.
IEEE Trans. Autom. Control., 2022

2021
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems.
Discret. Event Dyn. Syst., 2021

Model-driven system-performance engineering for cyber-physical systems.
Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020
Architectural Guidance in Automotive for Privacy and Security: Survey and Classification.
Proceedings of the IEEE International Systems Conference, 2020

2019
Decision support methodology for evolutionary embedded system design.
Proceedings of the International Symposium on Systems Engineering, 2019

2018
Exploring DSL Evolutionary Patterns in Practice - A Study of DSL Evolution in a Large-scale Industrial DSL Repository.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017
Identifying bottlenecks in manufacturing systems using stochastic criticality analysis.
Proceedings of the 2017 Forum on Specification and Design Languages, 2017

2016
xCPS: a tool to explore cyber physical systems.
SIGBED Rev., 2016

Compositional specification of functionality and timing of manufacturing systems.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2015
Modular model-based supervisory controller design for wafer logistics in lithography machines.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015


2012
Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts.
Proceedings of the Foundations of Health Information Engineering and Systems, 2012


  Loading...