Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jasen Markovski
2010 – today
- 2013
[j4]Jasen Markovski, E. S. Estens Musa, Michel A. Reniers: Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. Electr. Notes Theor. Comput. Sci. 296: 163-181 (2013)- [c26]Jasen Markovski: Towards Supervisory Control of Generally-Distributed Discrete-Event Systems. EPEW 2013: 43-57
- [c25]
- [c24]Jasen Markovski: Reliable supervisory coordination of stochastic communicating processes with data. SAC 2013: 1347-1354
- 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 Asp. Comput. 24(4-6): 497-518 (2012)
- [c23]
- [c22]
- [c21]Jasen Markovski: Process theory for supervisory control with partial observation of events and states. CDC 2012: 5804-5809
- [c20]Jasen Markovski: Process theory for supervisory control of stochastic systems with data. ETFA 2012: 1-4
- [c19]Jasen Markovski, Michel A. Reniers: An integrated state- and event-based framework for verifying liveness in supervised systems. ICARCV 2012: 246-251
- [c18]Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten: Partially-Supervised Plants: Embedding Control Requirements in Plant Components. IFM 2012: 253-267
- [c17]Jasen Markovski, J. M. van de Mortel-Fronczak: Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. SAFECOMP Workshops 2012: 36-49
- [c16]
- [c15]
- [c14]Jasen Markovski: Communicating Processes with Data for Supervisory Coordination. FOCLASA 2012: 97-111
- 2011
- [c13]Jasen Markovski: Towards Supervisory Control of Interactive Markov Chains: Controllability. ACSD 2011: 108-117
- [c12]Jasen Markovski: Towards supervisory control of Interactive Markov Chains: Plant minimization. ICCA 2011: 1195-1200
- [c11]
- [c10]Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski: A Process Algebra for Supervisory Coordination. PACO 2011: 36-55
- 2010
- [c9]Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, J. E. Rooda: A state-based framework for supervisory control synthesis and verification. CDC 2010: 3481-3486
- [c8]Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, J. E. Rooda: Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. FORMATS 2010: 47-61
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. Inform. 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. Eval. 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 (Eds.): Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications. EPTCS 13, 2009
- 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]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:17 CEST by the dblp team