My Papers
• 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 6158 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
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, to appear). 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, Helmut Veith. CONCUR 2016. Download (pdf)
• Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and
global data structures
In short, 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.
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).
• 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. LNCS 9466 p. 1-14, 2015. Download (pdf)
• Local linearizability
Together wirh 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
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
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, to appear. 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
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
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
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.
• Information hiding in probabilistic concurrent systems
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 appeared as Short-term memory for self-collecting
mutators, by the same authors and Hannes Payer and Andreas Schoenegger. Technical report TR-2010-03,
University of Salzburg, 29pp, 2010. Download (pdf)
• Power-aware temporal isolation with variable-bandwidth servers
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.
• 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
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
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.
• Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling,
Specification and Verification, Cambridge University Press (2007) ISBN 9780521875462 Book review,
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.
• 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
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.
• Coalgebraic analysis of probabilistic systems. PhD thesis, September 2005, defended 3-11-2005
• On compositions and paths for coalgebras. Technical report CSR-05-26, TU Eindhoven, 2005. 23pp.
• 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. Together with Erik de Vink and Harald Woracek.
Technical report CSR-04-16, TU Eindhoven. 43pp. Download (pdf)
Slightly extended version available on the following link (50pp). Download-extended (ps)
• A hierarchy of probabilistic system types
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, 22nd of
October 2003. Download (pdf)
• A hierarchy of probabilistic system types
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)
Papers during the period spent at the Institute of Informatics, Skopje, Macedonia
• 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. Public. de l'Inst. Matem. Belgrade(in print).
• Free groupoids defined by the identity (xy)y = yx
Together with Smile Markovski and Lidija Goracinova Ilieva. Proc. of the 10th Cong. Yugosl. Mathem., Belgrade,
21-24.01.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. Matem. Bilt. 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 Methodious University, Skopje, Macedonia, 1999.
Jakob-Haringer-Str. 2
5020 Salzburg
Room 2.17
+43 662 8044 6417
anas@cs.uni-salzburg.at
