Publications

Export 22 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Last Name is M  [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   [Show ALL]
M
J. Markovski, “Process-theoretic supervisor synthesis framework with data”, in ICCA, 2013.
J. Markovski, D. A. van Beek, and J. C. M. Baeten, “Partially-Supervised Plants: Embedding Control Requirements in Plant Components”, in IFM, 2012.
J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, in ACSD, 2012.
J. Markovski, E. E. S. Musa, and M. A. Reniers, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Proceedings PASM 2012. In Press.
J. Markovski, “A process-theoretic state-based framework for live supervision”, in CASE, 2012.
J. Markovski, “Reliable supervisory coordination of stochastic communicating processes with data”, in SAC, 2013.
J. Markovski and J. M. van de Mortel-Fronczak, “Modeling for Safety in a Synthesis-Centric Systems Engineering Framework”, in SAFECOMP Workshops, 2012.
J. Markovski and M. A. Reniers, “An integrated state- and event-based framework for verifying liveness in supervised systems”, in ICARCV, 2012.
J. Markovski, P. R. D'Argenio, J. C. M. Baeten, and E. P. de Vink, “Reconciling real and stochastic time: the need for probabilistic refinement”, Formal Aspects of Computing, vol. 24, p. 497-518, 2012.
J. Markovski and M. A. Reniers, “Supervisory Movement Coordination in Pipeless Chemical Plants”, in ETFA, 2013.
J. Markovski, “Process theory for supervisory control of stochastic systems with data”, in ETFA, 2012.
J. Markovski, “Towards Supervisory Control of Generally-Distributed Discrete-Event Systems”, in EPEW, 2013.
J. Markovski, “Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data”, in ACSD, 2013.
J. Markovski, E. E. S. Musa, and M. A. Reniers, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Electr. Notes Theor. Comput. Sci., vol. 296, p. 163-181, 2013.
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.
J. Markovski, “Process theory for supervisory control with partial observation of events and states”, in CDC, 2012.
S. Merz and H. Vanzetto, “Automatic Verification of TLA + Proof Obligations with SMT Solvers”, in 18th Intl. Conf. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18), Mérida, Venezuela, 2012.
S. Merz and H. Vanzetto, “Harnessing SMT Solvers for TLA+ Proofs”, ECEASST, vol. 53, 2012.
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.
M. M. Moscato, C. G. López Pombo, and M. F. Frias, “Dynamite: A tool for the verification of alloy models based on PVS”, {ACM} Trans. Softw. Eng. Methodol., vol. 23, p. 20, 2014.
E. E. S. Musa, “Verification of Stochastic Requirements in Supervised Plants”, SE Report, TUE. 2012.