Johan Jacobs

According to our database, Johan Jacobs authored at least 3 papers between 2015 and 2016.

Collaborative distances:

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

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

Modeling resource sharing using FSM-SADF.

João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015