CIF 3: Model-based engineering of supervisory controllers DA van Beek, WJ Fokkink, D Hendriks, A Hofkamp, J Markovski, ... Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 128 | 2014 |
A state-based framework for supervisory control synthesis and verification J Markovski, DA van Beek, RJM Theunissen, KGM Jacobs, JE Rooda 49th IEEE Conference on Decision and Control (CDC), 3481-3486, 2010 | 69 | 2010 |
Coordination of resources using generalized state-based requirements J Markovski, KGM Jacobs, DA van Beek, LJAM Somers, JE Rooda IFAC Proceedings Volumes 43 (12), 287-292, 2010 | 66 | 2010 |
On quasigroup pseudo random sequence generator V Dimitrova, J Markovski Proc. of the 1-st Balkan Conference in Informatics, Thessaloniki, 2004 | 57 | 2004 |
A process-theoretic approach to supervisory control theory JCM Baeten, DA Van Beek, B Luttik, J Markovski, JE Rooda Proceedings of the 2011 American Control Conference, 4496-4501, 2011 | 42 | 2011 |
A process algebra for supervisory coordination J Baeten, B van Beek, A van Hulst, J Markovski arXiv preprint arXiv:1108.1863, 2011 | 27 | 2011 |
Classification of quasigroups by random walk on torus S Markovski, D Gligoroski, J Markovski Journal of applied mathematics and computing 19 (1), 57-75, 2005 | 23 | 2005 |
Verifying performance of supervised plants J Markovski, MA Reniers 2012 12th International Conference on Application of Concurrency to System …, 2012 | 20 | 2012 |
Performance evaluation of distributed systems based on a discrete real-and stochastic-time process algebra J Markovski, EP de Vink Fundamenta Informaticae 95 (1), 157-186, 2009 | 20 | 2009 |
Extending timed process algebra with discrete stochastic time J Markovski, EP de Vink International Conference on Algebraic Methodology and Software Technology …, 2008 | 18 | 2008 |
Compositionality for Markov reward chains with fast and silent transitions J Markovski, A Sokolova, N Trčka, EP de Vink Performance Evaluation 66 (8), 435-452, 2009 | 17 | 2009 |
Reconciling real and stochastic time: the need for probabilistic refinement J Markovski, PR D’Argenio, JCM Baeten, EP de Vink Formal Aspects of Computing 24 (4), 497-518, 2012 | 16 | 2012 |
Towards supervisory control of Interactive Markov chains: Controllability J Markovski 2011 Eleventh International Conference on Application of Concurrency to …, 2011 | 15 | 2011 |
Lumping Markov chains with silent steps J Markovski, N Trcka Third International Conference on the Quantitative Evaluation of Systems …, 2006 | 13 | 2006 |
Reconciling urgency and variable abstraction in a hybrid compositional setting DA van Beek, PJL Cuijpers, J Markovski, DE Nadales Agut, JE Rooda Formal Modeling and Analysis of Timed Systems: 8th International Conference …, 2010 | 11 | 2010 |
Communicating processes with data for supervisory coordination J Markovski arXiv preprint arXiv:1209.1434, 2012 | 10 | 2012 |
Saving time in a space-efficient simulation algorithm J Markovski 2011 11th International Conference on Quality Software, 244-251, 2011 | 10 | 2011 |
Embedding real time in stochastic process algebras J Markovski, EP de Vink Formal Methods and Stochastic Models for Performance Evaluation: Third …, 2006 | 9 | 2006 |
Partial bisimulation JCM Baeten, DA Van Beek, SP Luttik, J Markovski, JE Rooda Technische Universiteit Eindhoven, 2010 | 7 | 2010 |
Real and stochastic time in process algebras for performance evaluation J Markovski | 7 | 2008 |