Bram van der Sanden

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

Collaborative distances:

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

2023

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit.

Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, Lars Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Bram van der Sanden, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel

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.

Jacques Verriet, Bram van der Sanden, Gijs van der Veen, André van Splunter, Sam Lousberg, Martijn Hendriks, Twan Basten

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

2022

Partial-Order Reduction for Supervisory Controller Synthesis.

Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten

IEEE Trans. Autom. Control., 2022

2021

Data set of paper Model-Driven System-Performance Engineering for Cyber-Physical Systems.

Bram van der Sanden, Yonghui Li, Joris van den Aker, Benny Akesson, Twan Basten

Dataset, July, 2021

Data set of paper Model-Driven System-Performance Engineering for Cyber-Physical Systems.

Bram van der Sanden, Yonghui Li, Joris van den Aker, Benny Akesson, Twan Basten

Dataset, July, 2021

Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems.

Berend Jan Christiaan van Putten, Bram van der Sanden, Michel A. Reniers, Jeroen Voeten, Ramon R. H. Schiffelers

Discret. Event Dyn. Syst., 2021

Model-driven system-performance engineering for cyber-physical systems.

Bram van der Sanden, Yonghui Li, Joris van den Aker, Benny Akesson, Tjerk Bijlsma, Martijn Hendriks, Kostas Triantafyllidis, Jacques Verriet, Jeroen Voeten, Twan Basten

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.

Bram van der Sanden, Yuri Blankenstein, Ramon R. H. Schiffelers, Jeroen Voeten

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.

Bram van der Sanden, Alexandr Vasenev

Proceedings of the IEEE International Systems Conference, 2020

2019

Decision support methodology for evolutionary embedded system design.

Tjerk Bijlsma, Bram van der Sanden, Yonghui Li, Rob Janssen, Raymond Tinsel

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.

Josh G. M. Mengerink, Bram van der Sanden, Bram C. M. Cappers, Alexander Serebrenik, Ramon R. H. Schiffelers, Mark G. J. van den Brand

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.

Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

Identifying bottlenecks in manufacturing systems using stochastic criticality analysis.

João Bastos, Bram van der Sanden, Olaf Donk, Jeroen Voeten, Sander Stuijk, Ramon R. H. Schiffelers, Henk Corporaal

Proceedings of the 2017 Forum on Specification and Design Languages, 2017

2016

xCPS: a tool to explore cyber physical systems.

Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Martijn Hendriks, Sander Stuijk, Michel A. Reniers, Jeroen Voeten

SIGBED Rev., 2016

Compositional specification of functionality and timing of manufacturing systems.

Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2015

Modular model-based supervisory controller design for wafer logistics in lithography machines.

Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

xCPS: A tool to eXplore Cyber Physical Systems.

Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Sander Stuijk, Michel A. Reniers, Jeroen Voeten

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015

2012

Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts.

Pieter Van Gorp, Irene Vanderfeesten, Willem Dalinghaus, Josh Mengerink, Bram van der Sanden, Pieter Leonard Kubben

Proceedings of the Foundations of Health Information Engineering and Systems, 2012