Publications

Export 13 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Michel A. Reniers  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
A. van Hulst, M. A. Reniers, and W. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic”, in ACSD, 2013.
A. V. C. Hulst, M. A. Reniers, and W. J. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic”, {ACM} Trans. Embedded Comput. Syst., vol. 14, p. 10:1–10:21, 2015.
A. van Hulst, M. A. Reniers, and W. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic with the Box Modality”, in Workshop on Discrete Event Systems, Cachan, France, 2014.
A. van Hulst, M. A. Reniers, and W. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic with the Box Modality”, in 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., 2014.
A. van Hulst, M. A. Reniers, and W. J. Fokkink, “Maximally Permissive Controlled System Synthesis for Modal Logic”, in SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněżkou, Czech Republic, January 24-29, 2015. Proceedings, 2015.
S
J. M. van de Mortel{-}Fronczak, R. G. M. Huisman, M. H. R. van der Heijden, and M. A. Reniers, “Supervisor synthesis in model-based automotive systems engineering”, in {ACM/IEEE} International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014, 2014.
J. M. van de Mortel{-}Fronczak, R. G. M. Huisman, M. H. R. van der Heijden, and M. A. Reniers, “Supervisor synthesis in model-based automotive systems engineering”, in ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014, 2014.
J. Markovski and M. A. Reniers, “Supervisory Movement Coordination in Pipeless Chemical Plants”, in ETFA, 2013.
V
J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, in ACSD, 2012.
J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, 2010 10th International Conference on Application of Concurrency to System Design, p. 52-61, 2012.