| 2014 | TACAS | 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 |
| 2013 | ETFA | Supervisory movement coordination in pipeless chemical plants. | Jasen Markovski, Michel A. Reniers |
| 2013 | ICSoft | Controllability for Nondeterministic Finite Automata with Variables. | Jasen Markovski |
| 2013 | ICSoft | Controllability for Nondeterministic Discrete-Event Systems with Data. | Jasen Markovski |
| 2013 | SAC | Reliable supervisory coordination of stochastic communicating processes with data. | Jasen Markovski |
| 2013 | SEFM | A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data. | Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski |
| 2012 | ETFA | Process theory for supervisory control of stochastic systems with data. | Jasen Markovski |
| 2012 | ICARCV | An integrated state- and event-based framework for verifying liveness in supervised systems. | Jasen Markovski, Michel A. Reniers |
| 2012 | IFM | Partially-Supervised Plants: Embedding Control Requirements in Plant Components. | Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten |
| 2012 | SMC | Performance evaluation with cost estimation for supervised systems. | Jasen Markovski |
| 2012 | SAFECOMP | Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. | Jasen Markovski, Joanna M. van de Mortel-Fronczak |