Papers

• The theory of traces for systems with probability, nondeterminism, and termination
  Together with Filippo Bonchi and Valeria Vignudelli. LMCS 18(2), 2022. Link to paper.
• Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Basis ((Co)algebraic pearls)
  Together with Filippo Bonchi and Valeria Vignudelli. In Proc. CALCO 2021, LIPIcs 211, 11:1–11:18, 2021.
• Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls)
  Together with Harald Woracek. In Proc. CALCO 2021, LIPIcs 211, 23:1–23:16, 2021.
• Distribution Bisimilarity via the Power of Convex Algebras
  Together with Filippo Bonchi and Alexandra Silva. LMCS 17 (3:10), p. 1–28, 2021.

• The theory of traces for systems with probability and nondeterminism
  Together with Filippo Bonchi and Valeria Vignudelli. In Proc. LICS 2019.
• The theory of traces for systems with probability and nondeterminism (preprint)
  Together with Filippo Bonchi and Valeria Vignudelli. CoRR abs/1808.00923, 2019.

• Termination in convex sets of distributions
  Together with Harald Woracek. LMCS 14(4), 2018.
• Parameter-independent strategies for pMDPs via POMDPs
  Together with Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, and Joost-Pieter Katoen. QEST 2018, LNCS 11024, p. 53–70. Download (pdf). Extended version download (pdf).
• Proper semirings and proper convex functors
  Together with Harald Woracek. FoSSaCS 2018, LNCS 10803, p. 331–347 (best paper nominee). Download (pdf). Extended version download (pdf).
• Trace semantics for nondeterministic probabilistic automata via determinisation
  Together with Filippo Bonchi and Valeria Vignudelli. CoRR abs/1808.00923v2, 2018.

• The power of convex algebras
  Together with Filippo Bonchi and Alexandra Silva. CONCUR 2017, LIPIcs 85, 23:1–23:18. Extended version download (pdf).
• Termination in convex sets of distributions (extended version)
  Together with Harald Woracek. CALCO 2017, LIPIcs 72, 22:1–22:16. Download (pdf). Extended version appeared as ASC report 08/2017, TU Vienna, available here.
• SEA-PARAM: Exploring schedulers in parametric MDPs
  Together with Sebastian Arming and Ezio Bartocci. QAPL 2017 (EPTCS). Download (pdf).
• Dynamic reductions for model checking concurrent software
  Together with Henning Guenther, Alfons Laarman, and Georg Weissenbacher. VMCAI 2017. Download (pdf).

• Local linearizability for concurrent container-type data structures
  Together with Andreas Haas, Thomas Henzinger, Andreas Holzer, Christoph Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, and Helmut Veith. CONCUR 2016. Download (pdf).

• Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures
  The Scalloc paper. Together with Martin Aigner, Christoph Kirsch, Michael Lippautz. OOPSLA 2015. Download (pdf).
• Congruences of convex algebras
  Together with Harald Woracek. Journal of Pure and Applied Algebra (JPAA) 219 (8): 3110–3148, 2015. Download (pdf). An older version with less material but containing some of the proofs missing in the paper appeared as ASC report 39/2012, TU Vienna, available here.
• Trace semantics via determinization
  Together with Bart Jacobs and Alexandra Silva. Journal of Computer and System Sciences 81 (5): 859–879, 2015. Download (pdf).
• Scal: A benchmarking suite for concurrent data structures
  Together with Andreas Haas, Thomas Huetter, Christoph Kirsch, Michael Lippautz, Mario Preishuber. Networked Systems (NETYS), LNCS 9466 p. 1–14, 2015. Download (pdf).
• Local linearizability
  Together with Andreas Haas, Thomas Henzinger, Andreas Holzer, Christoph Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, and Helmut Veith. CoRR abs/1502.07118, 2015 (latest version June 2016).

• Concurrency and Scalability versus Fragmentation and Compaction with Compact-Fit
  Together with Silviu Craciunas, Christoph Kirsch, Hannes Payer, and Harald Roeck. CoRR abs/1404.1830, 2014.

• Temporal isolation in real-time systems: the VBS approach
  Together with Silviu Craciunas, Christoph Kirsch, Hannes Payer, and Harald Roeck. Software Tools for Technology Transfer, 15(3): 189–209, 2013. Download (pdf).
• Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation
  Together with Andreas Haas, Thomas Henzinger, Christoph Kirsch, Michael Lippautz, Hannes Payer, and Ali Sezgin. In proceedings of Computing Frontiers 2013, ACM, 2013. Download (pdf).
• Quantitative relaxation of concurrent data structures
  Together with Thomas Henzinger, Christoph Kirsch, Hannes Payer, and Ali Sezgin. In proceedings of POPL 2013, p. 317–328, ACM, 2013. Download (pdf).

• Trace semantics via determinization (conference version)
  Together with Bart Jacobs and Alexandra Silva. In proceedings of CMCS'12, LNCS 7399, p. 109–129, 2012. Download (pdf).
• Performance, scalability, and semantics of concurrent FIFO queues
  Together with Christoph Kirsch, Hannes Payer, and Harald Roeck. In proceedings of ICA3PP'12, LNCS 7439, p. 273–287, 2012. Download (pdf).
• Quantitative relaxation of concurrent data structures (technical report)
  Together with Thomas Henzinger, Christoph Kirsch, Hannes Payer, and Ali Sezgin. Technical report TR-2012-03, University of Salzburg, 19pp, 2012. Download (pdf).
• The logical execution time paradigm
  Together with Christoph Kirsch. Advances in Real-Time Systems 2012, book chapter, p. 103–120. Download (pdf).

• Sound and complete axiomatization of trace semantics for probabilistic systems
  Together with Alexandra Silva. In proceedings of MFPS XXVII, ENTCS 276, p. 291–311, 2011. Download (pdf).
• Probabilistic systems coalgebraically: A survey
  Theoretical Computer Science, 412 (38), p. 5095–5110, 2011. Download (pdf).
• Runtime programming through model-preserving, scalable runtime patches
  Together with Eduardo Marques, Luis Lopes, and Christoph Kirsch. In proceedings of ACSD'11, IEEE CS, p. 77–86, 2011. Download (pdf).
• Brief announcement: Scalability versus semantics of concurrent FIFO queues
  Together with Christoph Kirsch, Hannes Payer, and Harald Roeck. In proceedings of PODC'11, p. 331–332, ACM 2011. Download (pdf).
• Short-term memory for self-collecting mutators
  Together with Martin Aigner, Andreas Haas, Christoph Kirsch, Michael Lippautz, Stephanie Stroka, Andreas Unterweger. In proceedings of ISMM'11, p. 99–108, ACM 2011. Download (pdf).
• Information hiding in probabilistic concurrent systems (journal version)
  Together with Miguel Andres, Catuscia Palamidessi, and Peter van Rossum. Theoretical Computer Science, 412(28), p. 3072–3089, 2011. Download preprint (pdf).

• Runtime programming through model-preserving, scalable runtime patches (workshop version)
  Together with Christoph Kirsch, Luis Lopes, and Eduardo Marques. Proc. International Workshop on Formal Aspects of Component Software (FACS) 2010, Doctoral Track, LNCS 6921, p. 290–294. Download (pdf).
• Runtime programming through model-preserving, scalable runtime patches (technical report)
  Together with Christoph Kirsch, Luis Lopes, and Eduardo Marques. Technical report TR-2010-08, University of Salzburg, 27pp, 2010. Download (pdf).
• Exemplaric expressivity of modal logics
  Together with Bart Jacobs. Journal of Logic and Computation, 20(5), p. 1041–1068, 2010. Download (pdf), DOI link, Preprint (pdf).
• Power-aware temporal isolation with variable-bandwidth servers
  Together with Silviu Craciunas and Christoph Kirsch. In proceedings of EMSOFT'10, p. 259–268, ACM 2010. Download (pdf).
• Information hiding in probabilistic concurrent systems (conference version)
  Together with Miguel Andres, Catuscia Palamidessi, and Peter van Rossum. In proceedings of QEST'10, p. 17–26, IEEE 2010. Download (pdf).
• Information-acquisition-as-a-service for cyber-physical cloud computing
  Together with Silviu Craciunas, Andreas Haas, Christoph Kirsch, Hannes Payer, Harald Roeck, Andreas Rottmann, Rainer Trummer, Joshua Love, and Raja Sengupta. In proceedings of HotCloud'10, USENIX 2010. Download (pdf).
• Short-term memory for self-collecting mutators, revised version
  Together with Martin Aigner, Andreas Haas, Christoph Kirsch. Technical report TR-2010-06, University of Salzburg, 34pp, 2010. Download (pdf). An older version by the same authors and Hannes Payer and Andreas Schoenegger appeared as Technical report TR-2010-03, University of Salzburg, 29pp, 2010. Download (pdf).
• Power-aware temporal isolation with variable-bandwidth servers (technical report)
  Together with Silviu Craciunas and Christoph Kirsch. Technical report TR-2010-02, University of Salzburg, 24pp, 2010. Download (pdf).
• Response time versus utilization in scheduler overhead accounting
  Together with Silviu Craciunas and Christoph Kirsch. In proceedings of RTAS'10, IEEE 2010. Download (pdf).

• Distributed, modular HTL
  Together with Thomas Henzinger, Christoph Kirsch, and Eduardo Marques. In proceedings of RTSS'09, p. 171–180, IEEE, 2009. Download (pdf).
• Coalgebraic weak bisimulation for action-type systems
  Together with Erik de Vink and Harald Woracek. Scientific Annals of Computer Science 19 (2009), 93–144. Download preprint (pdf).
• A workload-oriented programming model for temporal isolation with VBS
  Together with Silviu Craciunas and Christoph Kirsch. RePP Workshop'09, ESWeek, 2009. Download (pdf).
• Response time versus utilization in scheduler overhead accounting (technical report)
  Together with Silviu Craciunas and Christoph Kirsch. Technical report TR-2009-03, University of Salzburg, 24pp, 2009. Download (pdf).
• Programmable temporal isolation through variable-bandwidth servers
  Together with Silviu Craciunas, Christoph Kirsch, Hannes Payer, and Harald Roeck. In proceedings of SIES'09, p. 171–180, IEEE, 2009. Download (pdf). Extended version appeared as Real-time scheduling for workload-oriented programming, Technical report TR-2008-02, University of Salzburg, 30pp, 2008. Download (pdf).
• Coalgebraic components in a many-sorted microcosm
  Together with Ichiro Hasuo, Chris Heunen, and Bart Jacobs. In proceedings of CALCO'09, LNCS 5728, p. 64–81, 2009. Download (pdf).
• Traces, executions and schedulers, coalgebraically
  Together with Bart Jacobs. In proceedings of CALCO'09, LNCS 5728, p. 206–221, 2009. Download (pdf).
• Compositionality for Markov reward chains with fast and silent transitions
  Together with Jasen Markovski, Nikola Trcka, and Erik de Vink. Performance Evaluation Vol. 66(8), p. 435–452, 2009. An extended version of the EPEW'07 paper below. Download (pdf).
• Concurrency and scalability versus fragmentation and compaction with Compact-fit (technical report)
  Together with Silviu Craciunas, Christoph Kirsch, Hannes Payer, and Harald Roeck. Technical report TR-2009-02, University of Salzburg, 28pp, 2009. Download (pdf).
• Everyone virtualizes everything but time
  Together with Silviu Craciunas, Christoph Kirsch, Hannes Payer, and Harald Roeck. Poster at RTAS'09, 2009. Poster abstract (pdf), Poster (pdf).
• Programmable temporal isolation in real-time and embedded execution environments
  Together with Silviu Craciunas, Christoph Kirsch, Hannes Payer, and Harald Roeck. In the proceedings of IIES'09, p. 19–24, ACM, 2009. Download (pdf).

• A compacting real-time memory management system
  Together with Silviu Craciunas, Christoph Kirsch, Hannes Payer, Horst Stadler, and Robert Staudinger. In proceedings of USENIX 2008, Annual Technical Conference, p. 349–363, 2008. Download (pdf).
• The microcosm principle and concurrency in coalgebra
  Together with Ichiro Hasuo and Bart Jacobs. In proceedings of FoSSaCS 2008, LNCS 4962, p. 246–260, 2008. Download (pdf).
• Book review: Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification, Cambridge University Press (2007) ISBN 9780521875462.
  Together with Jos Baeten. Journal of Logic and Algebraic Programming 71(1):52, 2008.

• Generic trace semantics via coinduction
  Together with Ichiro Hasuo and Bart Jacobs. Logical Methods in Computer Science Vol. 3 (4:11), p. 1–36, 2007. Extended version of the CMCS 2006 paper below, and a CALCO 2005 paper by Ichiro Hasuo and Bart Jacobs. Download (pdf).
• Compositionality for Markov reward chains with fast transitions
  Together with Jasen Markovski, Nikola Trcka, and Erik de Vink. Proceedings of EPEW 2007, LNCS 4748, p. 18–32, 2007. Download (pdf). An extended version appeared as Technical report CS-07-17, TU Eindhoven, 2007, 18pp. Download (pdf).
• The microcosm principle and concurrency in coalgebra (short abstract)
  Together with Ichiro Hasuo and Bart Jacobs. CALCO-jnr 2007. 2-page abstract of the preprint below. Download (pdf).
• A companion to coalgebraic weak bisimulation for action-type systems
  Together with Erik de Vink and Harald Woracek. Technical report CSR-07-12, TU Eindhoven, 64pp — an extended version of the preprint below. Download (pdf).
• Coalgebraic weak bisimulation for action-type systems (preprint)
  Together with Erik de Vink and Harald Woracek. Preprint, 2007. Download (pdf).

• Generic Trace Theory
  Together with Ichiro Hasuo and Bart Jacobs. Proceedings of CMCS'06. ENTCS 164 (1), p. 47–65, 2006. Download (pdf).

• Coalgebraic analysis of probabilistic systems
  PhD thesis, September 2005, defended 3-11-2005. Download (pdf).
• On compositions and paths for coalgebras
  Technical report CSR-05-26, TU Eindhoven, 2005. 23pp. Download (pdf).
• Weak bisimulation for action-type coalgebras
  Together with Erik de Vink and Harald Woracek. Proceedings of CTCS'04. ENTCS 122 (2005), p. 211–228. Download (pdf).

• Weak bisimulation for action-type coalgebras (technical report)
  Together with Erik de Vink and Harald Woracek. Technical report CSR-04-16, TU Eindhoven, 43pp. Download (pdf). Slightly extended version (50pp) available here (ps).
• A hierarchy of probabilistic system types (journal version)
  Together with Falk Bartels and Erik de Vink. Extended version of the CMCS'03 paper with the same title. Theoretical Computer Science 327 (2004), 3–22. Download preprint (ps).
• Probabilistic automata: system types, parallel composition and comparison
  Together with Erik de Vink. Validation of Stochastic Systems. C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen and M. Siegle, editors. LNCS 2925 (2004), 1–43. Download preprint (pdf).

• On relational properties of lumpability
  Together with Erik de Vink. Proceedings of the 4th PROGRESS symposium on embedded systems, Utrecht, 22 October 2003. Download (pdf).
• A hierarchy of probabilistic system types (conference version)
  Together with Falk Bartels and Erik de Vink. Proceedings of CMCS'03, ENTCS 82(1), 19pp. Download (pdf).

• Algebraic representation of bisimulation for the tagh format
  Together with Erik de Vink. Eindhoven University of Technology, Technical Report CSR-02-02, 2002. Download (ps).

• On groupoids with identity x(xy) = y
  Together with Smile Markovski and Lidija Goracinova Ilieva. Quasigroups and related systems 11 (2004), 39–54. Download (ps).
• On semigroups defined by the identity xxy = y
  Together with Smile Markovski and Lidija Goracinova Ilieva. Publications de l'Institut Mathématique, Belgrade. Download (ps).
• Free groupoids defined by the identity (xy)y = yx
  Together with Smile Markovski and Lidija Goracinova Ilieva. Proc. of the 10th Congress of Yugoslav Mathematicians, Belgrade, 21–24 January 2001, 173–176. Download (ps).
• On the functional equation A(x, B(x,y)) = y in the variety of groupoids
  Together with Smile Markovski and Lidija Goracinova Ilieva. A Tribute to S. B. Presic, A. Krapez ed., Mat. Inst., Belgrade, 2001, 84–88. Download (ps).
• Free Steiner loops
  Together with Smile Markovski. Glasnik Matematicki Vol. 36 (56) (2001), 85–93. Download (ps).
• Term rewriting system for solving the word problem for Steiner loops
  Together with Smile Markovski. Matematički Bilten 24 (L), Skopje 2000, 7–18. Download (ps).
• Free basic process algebra
  Together with Smile Markovski. Contributions to General Algebra 11, Proc. of the Olomouc Conf. and the Summer School 1998, Klagenfurt (1999), 145–150. Download (ps).
• Word problems
  Master thesis (in Macedonian), Ss Cyril and Methodius University, Skopje, Macedonia, 1999. Download (ps).