( en | de | ru )

 

Disambiguation of "Markovski, Jasen"

Author of the publication

copydeleteadd this publication to your clipboard
Reconciling real and stochastic time: the need for probabilistic refinement.

, , , and . Formal Asp. Comput., 24 (4-6): 497-518 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Markovski

Zuzana Jasen áková

Anne-Katherine Jasensky

Axel Jasenek

 

Other publications of authors with the same name

Scalable Minimization Algorithm for Partial Bisimulation. WS-FMDS, volume 86 of EPTCS, page 9-16. (2012)Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems.. CASE, page 1075-1082. IEEE, (2013)Controllability for Nondeterministic Discrete-Event Systems with Data.. ICSOFT (Selected Papers), volume 457 of Communications in Computer and Information Science, page 199-214. Springer, (2013)The role of supervisory controller synthesis in automatic control software development., and . Sci. Comput. Program., (2015)Controllability for Nondeterministic Finite Automata with Variables.. ICSOFT, page 438-446. SciTePress, (2013)Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible?, and . CASE, page 521-525. IEEE, (2015)Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems., and . ACSD, page 180-189. IEEE, (2008)Towards Supervisory Control of Generally-Distributed Discrete-Event Systems.. EPEW, volume 8168 of Lecture Notes in Computer Science, page 43-57. Springer, (2013)Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting., , , , and . FORMATS, volume 6246 of Lecture Notes in Computer Science, page 47-61. Springer, (2010)An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluation.. ECC, page 650-657. IEEE, (2013)