Jasen Markovski

52 papers A 1B 2C 6Misc 1Journal 6Unranked 35

Year	Rank	Type	Title / Venue / Authors
2016	J	`jnl`	A process-theoretic approach to supervisory coordination under partial observation. Sci. Comput. Program. Jasen Markovski
2015	J	`jnl`	Employing behavioral preorders to define controllability for nondeterministic discrete-event systems. Discret. Event Dyn. Syst. Jasen Markovski
2015	—	`conf`	Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible? CASE Jasen Markovski, Hesuan Hu
2015	J	`jnl`	The role of supervisory controller synthesis in automatic control software development. Sci. Comput. Program. Jos C. M. Baeten, Jasen Markovski
2014	—	`conf`	A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions. CASE Jasen Markovski, Hesuan Hu
2014	A	`conf`	CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
2013	C	`conf`	A Model-Driven Engineering Approach for Immersive Mixed-Reality Environments. ICEC Marija Nakevska, Jasen Markovski, Matthias Rauterberg
2013	—	`conf`	A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data. SEFM Workshops Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski
2013	—	`conf`	An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluation. ECC Jasen Markovski
2013	—	`conf`	Controllability for Nondeterministic Discrete-Event Systems with Data. ICSOFT (Selected Papers) Jasen Markovski
2013	C	`conf`	Controllability for Nondeterministic Finite Automata with Variables. ICSOFT Jasen Markovski
2013	—	`conf`	Performance-model abstraction in a synthesis-centric model-driven systems engineering framework. MED Jasen Markovski, Michel A. Reniers
2013	—	`conf`	Process-theoretic supervisor synthesis framework with data. ICCA Jasen Markovski
2013	Misc	`conf`	Reliable supervisory coordination of stochastic communicating processes with data. SAC Jasen Markovski
2013	—	`conf`	Supervisory Coordination of Timed Communicating Processes. ICT Innovations Jasen Markovski
2013	C	`conf`	Supervisory movement coordination in pipeless chemical plants. ETFA Jasen Markovski, Michel A. Reniers
2013	—	`conf`	Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems. CASE Jasen Markovski
2013	—	`conf`	Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data. ACSD Jasen Markovski
2013	—	`conf`	Towards Supervisory Control of Generally-Distributed Discrete-Event Systems. EPEW Jasen Markovski
2013	—	`conf`	Towards optimal supervisory controller synthesis of stochastic nondeterministic discrete-event systems. CDC Jasen Markovski, Rong Su
2012	—	`conf`	A process-theoretic state-based framework for live supervision. CASE Jasen Markovski
2012	C	`conf`	An integrated state- and event-based framework for verifying liveness in supervised systems. ICARCV Jasen Markovski, Michel A. Reniers
2012	—	`conf`	Coarsest controllability-preserving plant minimization. WODES Jasen Markovski
2012	—	`conf`	Communicating Processes with Data for Supervisory Coordination FOCLASA Jasen Markovski
2012	—	`conf`	Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. PASM/PDMC Jasen Markovski, E. S. Estens Musa, Michel A. Reniers
2012	—	`conf`	Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. SAFECOMP Workshops Jasen Markovski, Joanna M. van de Mortel-Fronczak
2012	B	`conf`	Partially-Supervised Plants: Embedding Control Requirements in Plant Components. IFM Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten
2012	B	`conf`	Performance evaluation with cost estimation for supervised systems. SMC Jasen Markovski
2012	C	`conf`	Process theory for supervisory control of stochastic systems with data. ETFA Jasen Markovski
2012	—	`conf`	Process theory for supervisory control with partial observation of events and states. CDC Jasen Markovski
2012	J	`jnl`	Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects Comput. Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink
2012	—	`conf`	Scalable Minimization Algorithm for Partial Bisimulation WS-FMDS Jasen Markovski
2012	—	`conf`	Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2. ICT Innovations Jasen Markovski, Michel A. Reniers
2012	—	`conf`	Verifying Performance of Supervised Plants. ACSD Jasen Markovski, Michel A. Reniers
2011	—	`conf`	A Process Algebra for Supervisory Coordination PACO Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski
2011	C	`conf`	A process-theoretic approach to supervisory control theory. ACC Jos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, Jacobus E. Rooda
2011	—	`conf`	Saving Time in a Space-Efficient Simulation Algorithm. QSIC Jasen Markovski
2011	—	`conf`	Towards Supervisory Control of Interactive Markov Chains: Controllability. ACSD Jasen Markovski
2011	—	`conf`	Towards supervisory control of Interactive Markov Chains: Plant minimization. ICCA Jasen Markovski
2010	—	`conf`	A state-based framework for supervisory control synthesis and verification. CDC Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, Jacobus E. Rooda
2010	—	`conf`	Coordination of resources using generalized state-based requirements. WODES Jasen Markovski, Koen G. M. Jacobs, Dirk A. van Beek, Lou J. Somers, Jacobus E. Rooda
2010	—	`conf`	Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. FORMATS Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, Jacobus E. Rooda
2009	J	`jnl`	Compositionality for Markov reward chains with fast and silent transitions. Perform. Evaluation Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
2009	J	`jnl`	Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra. Fundam. Informaticae Jasen Markovski, Erik P. de Vink
2009	—	`ed.`	Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. QFM Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez
2008	—	`conf`	Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions. MMB Jasen Markovski, Nikola Trcka
2008	—	`conf`	Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD Jasen Markovski, Erik P. de Vink
2008	—	`conf`	Extending Timed Process Algebra with Discrete Stochastic Time. AMAST Jasen Markovski, Erik P. de Vink
2007	—	`conf`	Compositionality for Markov Reward Chains with Fast Transitions. EPEW Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
2007	—	`conf`	Real-Time Process Algebra with Stochastic Delays. ACSD Jasen Markovski, Erik P. de Vink
2006	—	`conf`	Embedding Real Time in Stochastic Process Algebras. EPEW Jasen Markovski, Erik P. de Vink
2006	—	`conf`	Lumping Markov Chains with Silent Steps. QEST Jasen Markovski, Nikola Trcka