Jasen Markovski
Jasen Markovski
E-mail megerősítve itt: tue.nl - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
CIF 3: Model-based engineering of supervisory controllers
DA van Beek, WJ Fokkink, D Hendriks, A Hofkamp, J Markovski, ...
International Conference on Tools and Algorithms for the Construction and …, 2014
632014
Coordination of resources using generalized state-based requirements
J Markovski, KGM Jacobs, DA van Beek, L Somers, JE Rooda
IFAC Proceedings Volumes 43 (12), 287-292, 2010
532010
On quasigroup pseudo random sequence generator
V Dimitrova, J Markovski
Proc. of the 1-st Balkan Conference in Informatics, Thessaloniki, 393-401, 2004
462004
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
442010
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
412011
A process algebra for supervisory coordination
J Baeten, B van Beek, A van Hulst, J Markovski
arXiv preprint arXiv:1108.1863, 2011
242011
Verifying performance of supervised plants
J Markovski, MA Reniers
2012 12th International Conference on Application of Concurrency to System …, 2012
192012
Classification of quasigroups by random walk on torus
S Markovski, D Gligoroski, J Markovski
Journal of applied mathematics and computing 19 (1-2), 57-75, 2005
182005
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
172009
Towards supervisory control of Interactive Markov chains: Controllability
J Markovski
2011 Eleventh International Conference on Application of Concurrency to …, 2011
152011
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
152009
Extending timed process algebra with discrete stochastic time
J Markovski, EP de Vink
International Conference on Algebraic Methodology and Software Technology …, 2008
152008
Lumping Markov chains with silent steps
J Markovski, N Trcka
Third International Conference on the Quantitative Evaluation of Systems …, 2006
132006
Communicating processes with data for supervisory coordination
J Markovski
arXiv preprint arXiv:1209.1434, 2012
102012
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-6), 497-518, 2012
102012
Saving time in a space-efficient simulation algorithm
J Markovski
2011 11th International Conference on Quality Software, 244-251, 2011
102011
Reconciling urgency and variable abstraction in a hybrid compositional setting
DA van Beek, PJL Cuijpers, J Markovski, DEN Agut, JE Rooda
International Conference on Formal Modeling and Analysis of Timed Systems, 47-61, 2010
92010
Embedding real time in stochastic process algebras
J Markovski, EP de Vink
European Performance Engineering Workshop, 47-62, 2006
82006
Partial bisimulation
JCM Baeten, DA van Beek, B Luttik, J Markovski, JE Rooda
Eindhoven University of Technology, SE Report, 10-04, 2010
72010
Modeling for safety in a synthesis-centric systems engineering framework
J Markovski, JM Van de Mortel-Fronczak
International Conference on Computer Safety, Reliability, and Security, 36-49, 2012
62012
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20