Embedding Real Time in Stochastic Process Algebras. - Jasen Markovski; Erik P. de Vink (EPEW, 2006)

Lumping Markov Chains with Silent Steps. - Jasen Markovski; Nikola Trcka (QEST, 2006)

Real-Time Process Algebra with Stochastic Delays. - Jasen Markovski; Erik P. de Vink (ACSD, 2007)

Compositionality for Markov Reward Chains with Fast Transitions. - Jasen Markovski; Ana Sokolova; Nikola Trcka; Erik P. de Vink (EPEW, 2007)

Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. - Jasen Markovski; Erik P. de Vink (ACSD, 2008)

Extending Timed Process Algebra with Discrete Stochastic Time. - Jasen Markovski; Erik P. de Vink (AMAST, 2008)

Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions. - Jasen Markovski; Nikola Trcka (MMB, 2008)

Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra. - Jasen Markovski; Erik P. de Vink (Fundam. Informaticae, 2009)

Compositionality for Markov reward chains with fast and silent transitions. - Jasen Markovski; Ana Sokolova; Nikola Trcka; Erik P. de Vink (Perform. Evaluation, 2009)

A state-based framework for supervisory control synthesis and verification. - Jasen Markovski; Dirk A. van Beek; Rolf J. M. Theunissen; Koen G. M. Jacobs; Jacobus E. Rooda (CDC, 2010)

Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. - Dirk A. van Beek; Pieter J. L. Cuijpers; Jasen Markovski; D. E. Nadales Agut; Jacobus E. Rooda (FORMATS, 2010)

Coordination of resources using generalized state-based requirements. - Jasen Markovski; Koen G. M. Jacobs; Dirk A. van Beek; Lou J. Somers; Jacobus E. Rooda (WODES, 2010)

Towards Supervisory Control of Interactive Markov Chains: Controllability. - Jasen Markovski (ACSD, 2011)

A process-theoretic approach to supervisory control theory. - Jos C. M. Baeten; D. A. van Beek; Bas Luttik; Jasen Markovski; Jacobus E. Rooda (ACC, 2011)

Towards supervisory control of Interactive Markov Chains: Plant minimization. - Jasen Markovski (ICCA, 2011)

Saving Time in a Space-Efficient Simulation Algorithm. - Jasen Markovski (QSIC, 2011)

A Process Algebra for Supervisory Coordination - Jos C. M. Baeten; Bert van Beek; Allan van Hulst; Jasen Markovski (PACO, 2011)

Verifying Performance of Supervised Plants. - Jasen Markovski; Michel A. Reniers (ACSD, 2012)

A process-theoretic state-based framework for live supervision. - Jasen Markovski (CASE, 2012)

Process theory for supervisory control with partial observation of events and states. - Jasen Markovski (CDC, 2012)

Process theory for supervisory control of stochastic systems with data. - Jasen Markovski (ETFA, 2012)

An integrated state- and event-based framework for verifying liveness in supervised systems. - Jasen Markovski; Michel A. Reniers (ICARCV, 2012)

Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2. - Jasen Markovski; Michel A. Reniers (ICT Innovations, 2012)

Partially-Supervised Plants: Embedding Control Requirements in Plant Components. - Jasen Markovski; Dirk A. van Beek; Jos C. M. Baeten (IFM, 2012)

Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. - Jasen Markovski; Joanna M. van de Mortel-Fronczak (SAFECOMP Workshops, 2012)

Performance evaluation with cost estimation for supervised systems. - Jasen Markovski (SMC, 2012)

Coarsest controllability-preserving plant minimization. - Jasen Markovski (WODES, 2012)

Scalable Minimization Algorithm for Partial Bisimulation - Jasen Markovski (WS-FMDS, 2012)

Communicating Processes with Data for Supervisory Coordination - Jasen Markovski (FOCLASA, 2012)

Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. - Jasen Markovski; E. S. Estens Musa; Michel A. Reniers (PASM/PDMC, 2012)

Reconciling real and stochastic time: the need for probabilistic refinement. - Jasen Markovski; Pedro R. D'Argenio; Jos C. M. Baeten; Erik P. de Vink (Formal Aspects Comput., 2012)

Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data. - Jasen Markovski (ACSD, 2013)

Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems. - Jasen Markovski (CASE, 2013)

Towards optimal supervisory controller synthesis of stochastic nondeterministic discrete-event systems. - Jasen Markovski; Rong Su 001 (CDC, 2013)

Towards Supervisory Control of Generally-Distributed Discrete-Event Systems. - Jasen Markovski (EPEW, 2013)

Supervisory movement coordination in pipeless chemical plants. - Jasen Markovski; Michel A. Reniers (ETFA, 2013)

An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluation. - Jasen Markovski (ECC, 2013)

Process-theoretic supervisor synthesis framework with data. - Jasen Markovski (ICCA, 2013)

Controllability for Nondeterministic Finite Automata with Variables. - Jasen Markovski (ICSOFT, 2013)

Controllability for Nondeterministic Discrete-Event Systems with Data. - Jasen Markovski (ICSOFT (Selected Papers), 2013)

Supervisory Coordination of Timed Communicating Processes. - Jasen Markovski (ICT Innovations, 2013)

A Model-Driven Engineering Approach for Immersive Mixed-Reality Environments. - Marija Nakevska; Jasen Markovski; Matthias Rauterberg (ICEC, 2013)

Performance-model abstraction in a synthesis-centric model-driven systems engineering framework. - Jasen Markovski; Michel A. Reniers (MED, 2013)

Reliable supervisory coordination of stochastic communicating processes with data. - Jasen Markovski (SAC, 2013)

A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data. - Aleksandar Kirilov; Darko Martinovikj; Kristijan Mishevski; Marija Petkovska; Zlatka Trajcheska; Jasen Markovski (SEFM Workshops, 2013)

A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions. - Jasen Markovski; Hesuan Hu (CASE, 2014)

CIF 3: Model-Based Engineering of Supervisory Controllers. - D. A. van Beek; Wan J. Fokkink; Dennis Hendriks; Albert T. Hofkamp; Jasen Markovski; Joanna M. van de Mortel-Fronczak; Michel A. Reniers (TACAS, 2014)

Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible? - Jasen Markovski; Hesuan Hu (CASE, 2015)

Employing behavioral preorders to define controllability for nondeterministic discrete-event systems. - Jasen Markovski (Discret. Event Dyn. Syst., 2015)

The role of supervisory controller synthesis in automatic control software development. - Jos C. M. Baeten; Jasen Markovski (Sci. Comput. Program., 2015)

A process-theoretic approach to supervisory coordination under partial observation. - Jasen Markovski (Sci. Comput. Program., 2016)