![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jasen Markovski
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [j6]Jasen Markovski:
A process-theoretic approach to supervisory coordination under partial observation. Sci. Comput. Program. 115-116: 127-145 (2016) - 2015
- [j5]Jasen Markovski:
Employing behavioral preorders to define controllability for nondeterministic discrete-event systems. Discret. Event Dyn. Syst. 25(1-2): 227-250 (2015) - [j4]Jos C. M. Baeten, Jasen Markovski:
The role of supervisory controller synthesis in automatic control software development. Sci. Comput. Program. 97: 17-22 (2015) - [c45]Jasen Markovski, Hesuan Hu:
Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible? CASE 2015: 521-525 - 2014
- [c44]Jasen Markovski, Hesuan Hu:
A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions. CASE 2014: 436-442 - [c43]D. A. van Beek, Wan J. Fokkink
, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
:
CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS 2014: 575-580 - 2013
- [c42]Jasen Markovski:
Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data. ACSD 2013: 31-40 - [c41]Jasen Markovski:
Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems. CASE 2013: 1075-1082 - [c40]Jasen Markovski, Rong Su
:
Towards optimal supervisory controller synthesis of stochastic nondeterministic discrete-event systems. CDC 2013: 7615-7620 - [c39]Jasen Markovski:
Towards Supervisory Control of Generally-Distributed Discrete-Event Systems. EPEW 2013: 43-57 - [c38]Jasen Markovski, Michel A. Reniers
:
Supervisory movement coordination in pipeless chemical plants. ETFA 2013: 1-4 - [c37]Jasen Markovski:
An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluation. ECC 2013: 650-657 - [c36]Jasen Markovski:
Process-theoretic supervisor synthesis framework with data. ICCA 2013: 816-821 - [c35]Jasen Markovski:
Controllability for Nondeterministic Discrete-Event Systems with Data. ICSOFT (Selected Papers) 2013: 199-214 - [c34]Jasen Markovski:
Controllability for Nondeterministic Finite Automata with Variables. ICSOFT 2013: 438-446 - [c33]Jasen Markovski:
Supervisory Coordination of Timed Communicating Processes. ICT Innovations 2013: 209-218 - [c32]Marija Nakevska, Jasen Markovski, Matthias Rauterberg
:
A Model-Driven Engineering Approach for Immersive Mixed-Reality Environments. ICEC 2013: 147-150 - [c31]Jasen Markovski, Michel A. Reniers
:
Performance-model abstraction in a synthesis-centric model-driven systems engineering framework. MED 2013: 1092-1097 - [c30]Jasen Markovski:
Reliable supervisory coordination of stochastic communicating processes with data. SAC 2013: 1347-1354 - [c29]Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski:
A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data. SEFM Workshops 2013: 101-112 - 2012
- [j3]Jasen Markovski, Pedro R. D'Argenio
, Jos C. M. Baeten, Erik P. de Vink:
Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects Comput. 24(4-6): 497-518 (2012) - [c28]Jasen Markovski, Michel A. Reniers
:
Verifying Performance of Supervised Plants. ACSD 2012: 52-61 - [c27]Jasen Markovski:
A process-theoretic state-based framework for live supervision. CASE 2012: 680-685 - [c26]Jasen Markovski:
Process theory for supervisory control with partial observation of events and states. CDC 2012: 5804-5809 - [c25]Jasen Markovski:
Process theory for supervisory control of stochastic systems with data. ETFA 2012: 1-4 - [c24]Jasen Markovski, Michel A. Reniers
:
An integrated state- and event-based framework for verifying liveness in supervised systems. ICARCV 2012: 246-251 - [c23]Jasen Markovski, Michel A. Reniers
:
Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2. ICT Innovations 2012: 295-304 - [c22]Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten:
Partially-Supervised Plants: Embedding Control Requirements in Plant Components. IFM 2012: 253-267 - [c21]Jasen Markovski, Joanna M. van de Mortel-Fronczak:
Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. SAFECOMP Workshops 2012: 36-49 - [c20]Jasen Markovski:
Performance evaluation with cost estimation for supervised systems. SMC 2012: 6-11 - [c19]Jasen Markovski:
Coarsest controllability-preserving plant minimization. WODES 2012: 251-258 - [c18]Jasen Markovski:
Scalable Minimization Algorithm for Partial Bisimulation. WS-FMDS 2012: 9-16 - [c17]Jasen Markovski:
Communicating Processes with Data for Supervisory Coordination. FOCLASA 2012: 97-111 - [c16]Jasen Markovski, E. S. Estens Musa, Michel A. Reniers
:
Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. PASM/PDMC 2012: 163-181 - 2011
- [c15]Jasen Markovski:
Towards Supervisory Control of Interactive Markov Chains: Controllability. ACSD 2011: 108-117 - [c14]Jos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, Jacobus E. Rooda:
A process-theoretic approach to supervisory control theory. ACC 2011: 4496-4501 - [c13]Jasen Markovski:
Towards supervisory control of Interactive Markov Chains: Plant minimization. ICCA 2011: 1195-1200 - [c12]Jasen Markovski:
Saving Time in a Space-Efficient Simulation Algorithm. QSIC 2011: 244-251 - [c11]Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski:
A Process Algebra for Supervisory Coordination. PACO 2011: 36-55 - 2010
- [c10]Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, Jacobus E. Rooda:
A state-based framework for supervisory control synthesis and verification. CDC 2010: 3481-3486 - [c9]Dirk A. van Beek, Pieter J. L. Cuijpers
, Jasen Markovski, D. E. Nadales Agut, Jacobus E. Rooda:
Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. FORMATS 2010: 47-61 - [c8]Jasen Markovski, Koen G. M. Jacobs, Dirk A. van Beek, Lou J. Somers, Jacobus E. Rooda:
Coordination of resources using generalized state-based requirements. WODES 2010: 287-292
2000 – 2009
- 2009
- [j2]Jasen Markovski, Erik P. de Vink:
Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra. Fundam. Informaticae 95(1): 157-186 (2009) - [j1]Jasen Markovski, Ana Sokolova
, Nikola Trcka, Erik P. de Vink:
Compositionality for Markov reward chains with fast and silent transitions. Perform. Evaluation 66(8): 435-452 (2009) - [e1]Suzana Andova, Annabelle McIver
, Pedro R. D'Argenio
, Pieter J. L. Cuijpers
, Jasen Markovski, Carroll Morgan, Manuel Núñez
:
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 13, 2009 [contents] - 2008
- [c7]Jasen Markovski, Erik P. de Vink:
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD 2008: 180-189 - [c6]Jasen Markovski, Erik P. de Vink:
Extending Timed Process Algebra with Discrete Stochastic Time. AMAST 2008: 268-283 - [c5]Jasen Markovski, Nikola Trcka:
Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions. MMB 2008: 93-108 - 2007
- [c4]Jasen Markovski, Erik P. de Vink:
Real-Time Process Algebra with Stochastic Delays. ACSD 2007: 177-186 - [c3]Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink:
Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32 - 2006
- [c2]Jasen Markovski, Erik P. de Vink:
Embedding Real Time in Stochastic Process Algebras. EPEW 2006: 47-62 - [c1]Jasen Markovski, Nikola Trcka:
Lumping Markov Chains with Silent Steps. QEST 2006: 221-232
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint