Submissions and Publications

(by year of submission/publication)

In submission:

  • J. Markovski: "Abstraction-Based Supervisory Control Synthesis of Stochastic Discrete-Event Systems", submitted to ACM TECS
  • J. Markovski: "A Process-Theoretic Approach to Supervisory Coordination under Partial Observation", submitted to Science of Computer Programming
  • J. Markovski: "Reliable Discrete-Event Control of Interactive Markov Chains with Data-Based Observations", submitted to Acta Informatica
2014
  • J. Markovski and Hesuan Hu: "A Synthesis-Centric Model-Based Systems Engineering Framework for Reliable Supervision of Systems with General Distributions", in Proceedings of CASE 2014, IEEE, To appear
  • J. Markovski: "Controllability and Minimization for Nondeterministic Discrete-Event Systems", accepted in Discrete-Event Dynamical Systems, Springer
  • J. Markovski: "A Process Theory for Reliable Supervisory Coordination of Stochastic Communicating Processes", accepted in Science of Computer Programming, Elsevier
  • J.C.M. Baeten and J. Markovski: "The Role of Supervisory Controller Synthesis in Automated Control Software Development",  Science of Computer Programming, Elsevier, To appear, 2014
2013
  • J. Markovski: "A Process-theoretic Approach to Supervisory Control of Interactive Markov Chains", Journal of Modern Mathematics Frontier, vol. 2(3), SEPC, 2013
  • J. Markovski: "Synthesis-Centric Systems Engineering Framework for Supervisory Control with Data-Based Observers", in the Proceedings of SMC 2013, IEEE, To appear, 2013
  • J. Markovski and R. Su: "Towards Optimal Supervisory Controller Synthesis of Stochastic Nondeterministic Discrete-Event Systems", in the Proceedings of CDC 2013, IEEE, To appear, 2013
  • J. Markovski and M. A. Reniers: "Supervisory Movement Coordination in Pipeless Chemical Plants", in the Proceedings of ETFA 2013, IEEE, To appear, 2013
  • J. Markovski: "Synthesis and Analysis of Time-Abstracted Discrete-Event Systems", in the Proceedings of CASE 2013, IEEE, To appear, 2013
  • S. Kirilov, D. Martinovikj, K. Mishevski, M. Petkovska, Z. Trajcheska, and J. Markovski: " A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data", in the Proceedings of FMDS 2013, LNCS, Springer, 2013, To appear
  • J. Markovski: "Controllability for Nondeterministic Finite Automata with Variables", in the Proceedings of ICSOFT 2013, AISC, Springer, To appear, 2014
  • J. Markovski: "Supervisory Coordination of Timed Communicating Processes", in the Proceedings of ICTI 2013, AISC, vol 231, Springer, pp. 209-218, 2014
  • J. Markovski: "Towards Supervisory Control of Generally-Distributed Discrete-Event Systems", in the Proceedings of EPEW 2013, LNCS, vol 8168, Springer, pp. 43-57, 2013
  • J. Markovski and M. A. Reniers: "Performance-Model Abstraction in Synthesis-Centric Model-Driven Systems Engineering Framework", in the Proceedings of MED 2013, IEEE, To appear, 2013
  • J. Markovski: "An Integrated Framework for Supervisory Controller Synthesis, Verification, and Performance Analysis", in the Proceedings of ECC 2013, EUCA, To appear, 2013
  • J. Markovski: "Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data", in the Proceedings of ACSD 2013, IEEE, To appear, 2013
  • J. Markovski: "Process-Theoretic Approach to Supervisory Control with Data", in the Proceedings of ICCA 2013, IEEE, To appear, 2013
  • J. Markovski: "Reliable Supervisory Coordination of Stochastic Communicating Processes with Data", In the Proceedings of SAC 2013, ACM, pp. 1347-1354, 2013
2012
  • J. Markovski: "A Synthesis-Based Framework for Systems Engineering", short paper at SYNT 2012 

  • J. Markovski: "Process Theory for Supervisory Control with Partial Observation of Events and States",  accepted CDC 2012 
2011
2001 - 2010
  • J. Markovski, M. Gusev: “Logic Circuit Design Visualization in Computer Architecture Course”, Proceedings of Workshops on Computer Science Education of TEMPUS project CD-JEP 16160/2001  “Innovation of Computer Science Curriculum in Higher Education”, 2004, pp. 117 – 121

  • J. Markovski, M. Gusev: “Parallel and Pipelining Compiler Techniques for ILP Course”, Proceedings of Workshops on Computer Science Education of TEMPUS project CD-JEP 16160/2001 “Innovation of Computer Science Curriculum in Higher Education”, 2004, pp. 55 – 58

  • Lj. Antovski, J. Markovski, M. Gusev: “Designing Simple Logic Circuits”, Proceedings of Workshops on Computer Science Education of TEMPUS project CD-JEP 16160/2001 “Innovation of Computer Science Curriculum in Higher Education”, 2004, pp. 49 – 54

  • J. Markovski, M. Gusev: “Comparative Analysis of Value Predictors”, Proceedings of the IV Conference for Informatics and Information Technologies CiiT2003, Bitola, Republic of Macedonia, December 2003
  • J. Markovski, V. Dimitrova: “Improving existing PRSG using Quasigroup String Processing”, Proceedings of the IV Conference for Informatics and Information Technologies CiiT2003, Bitola, Republic of Macedonia, December 2003

  • V. Dimitrova, J. Markovski: “On Quasigroup Sequence Random Generator”, Proceedings of the 1st  Balkan Conference in Informatics, Y. Manolopoulos and E. Spirakis, Eds., 21-23 November, 2003, Thessaloniki, Greece, pp. 393 - 401 

  • V. Dimitrova, J. Markovski: “Implementation of Pseudo Random Number Generators Using Quasigroup String Processing”, Proceedings of the VI National Conference ETAI 2003, Ohrid, Republic of Macedonia, October 2003

  • J. Markovski, M. Gusev: “Application Level Security of Mobile Communications”, Proceedings of the 1st International Conference Mathematics and Informatics for Industry MII 2003, Thessaloniki, Greece, April 2003, pp. 309 - 317

  • J. Markovski, M. Gusev: “Security Aspects of Mobile Communications”, Proceedings of the III  Conference for Informatics and Information Technologies CiiT2002, M. Gusev and S. Markovski, Eds.,  Bitola, Republic of Macedonia, December 2002, pp.170 – 177
  • J. Markovski: “WML Concepts and Reference”, Proceedings of the Wireless and Mobile Technologies Workshop, M. Gusev, Ed., May 9-12, 2002, Ohrid, Republic of Macedonia, pp.234-268

  • J. Markovski: “WMLScript Concepts and Reference”, Proceedings of the Wireless and Mobile Technologies Workshop, M. Gusev Ed., May 9-12, 2002, Ohrid, Republic of Macedonia, pp. 269-279

  • J. Markovski, A. Misev, M. Gusev: “Logic Circuit Visualization”, Proceedings of the II Conference for Informatics and Information Technologies CiiT2001, M. Gusev and S. Markovski, Eds., Bitola, Republic of Macedonia, December 2001 pp. 71 – 77

Ċ
Jasen Markovski,
Apr 15, 2011, 8:31 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:09 AM
Ċ
ACSD08.pdf
(620k)
Jasen Markovski,
Feb 2, 2009, 3:09 AM
Ċ
Jasen Markovski,
Apr 15, 2011, 8:32 AM
Ċ
Jasen Markovski,
Jan 27, 2012, 8:29 AM
ċ
ACSD2013demo.rar
(5k)
Jasen Markovski,
Jan 15, 2013, 10:59 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:10 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:10 AM
Ċ
Jasen Markovski,
Feb 24, 2012, 8:23 AM
Ċ
Jasen Markovski,
Apr 13, 2010, 4:12 AM
Ċ
Jasen Markovski,
Apr 15, 2011, 8:33 AM
Ċ
Jasen Markovski,
Mar 7, 2012, 3:13 PM
Ċ
Jasen Markovski,
Mar 7, 2012, 3:13 PM
ċ
CDC2013demo.rar
(25k)
Jasen Markovski,
Mar 11, 2013, 6:31 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:10 AM
Ċ
Jasen Markovski,
Apr 28, 2010, 1:43 AM
ċ
COORDINATION2013.rar
(38k)
Jasen Markovski,
Feb 18, 2013, 10:24 AM
ċ
COORDINATION2013demo.rar
(38k)
Jasen Markovski,
Feb 18, 2013, 10:24 AM
ċ
DCDS2013demo.rar
(6k)
Jasen Markovski,
Apr 6, 2013, 7:09 AM
ċ
ECC2013demo.rar
(13k)
Jasen Markovski,
Oct 16, 2012, 4:58 PM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:11 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:11 AM
Ċ
Jasen Markovski,
Jun 13, 2012, 5:48 AM
ċ
ETFA2012demo.rar
(160k)
Jasen Markovski,
Apr 2, 2012, 7:04 AM
Ċ
Jasen Markovski,
Apr 23, 2012, 3:51 AM
Ċ
Jasen Markovski,
Nov 6, 2009, 2:51 AM
Ċ
Jasen Markovski,
Mar 23, 2012, 4:26 AM
ċ
FMDS2013demo.rar
(14k)
Jasen Markovski,
Jun 6, 2013, 8:05 AM
Ċ
Jasen Markovski,
Apr 28, 2010, 1:43 AM
Ċ
Jasen Markovski,
Apr 2, 2012, 4:32 AM
ċ
ICARCV2012demo.rar
(9k)
Jasen Markovski,
Apr 2, 2012, 4:32 AM
Ċ
Jasen Markovski,
Apr 15, 2011, 8:33 AM
ċ
ICTI2012models.rar
(6k)
Jasen Markovski,
Jul 26, 2012, 8:04 AM
ċ
ICTI2013demo.rar
(38k)
Jasen Markovski,
Mar 26, 2013, 7:23 AM
Ċ
Jasen Markovski,
Oct 16, 2012, 4:58 PM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:16 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:11 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:11 AM
ċ
MODELS2013demo.rar
(71k)
Jasen Markovski,
Mar 15, 2013, 1:44 AM
Ċ
Jasen Markovski,
Dec 4, 2011, 11:39 PM
ċ
PASM2012demo.rar
(233k)
Jasen Markovski,
Jul 3, 2012, 1:05 AM
Ċ
Jasen Markovski,
May 25, 2009, 3:07 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:16 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:11 AM
Ċ
Jasen Markovski,
Sep 16, 2012, 1:40 PM
Ċ
Jasen Markovski,
May 14, 2012, 7:45 AM
ċ
SMC2012demo.rar
(13k)
Jasen Markovski,
May 14, 2012, 7:43 AM
Ċ
Jasen Markovski,
Jun 13, 2014, 5:37 AM
ć
Jasen Markovski,
Jun 13, 2014, 5:35 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:16 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:16 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:12 AM
Ċ
Jasen Markovski,
Apr 13, 2010, 4:11 AM
Ċ
Jasen Markovski,
May 23, 2012, 8:12 AM
ċ
WODES2012demo.rar
(1503k)
Jasen Markovski,
May 23, 2012, 8:09 AM
Ċ
Jasen Markovski,
Apr 15, 2011, 8:31 AM
Ċ
Jasen Markovski,
Feb 2, 2009, 3:12 AM
Ċ
Jasen Markovski,
Dec 4, 2011, 11:38 PM
ċ
pp.wmod
(142k)
Jasen Markovski,
Mar 6, 2012, 1:03 PM