Address

Jakob-Haringer-Str. 2

5020 Salzburg, Austria


Room 2.17


Phone

+43 (0)662 8044 6417

+43 (0)662 8044 611 (fax)


Skype ana_sokolova

Papers


  1. The power of convex algebras

        Together with Filippo Bonchi and Alexandra Silva. CONCUR 2017 (LIPICS, to appear).

        Extended (submitted) version download (pdf)


  1. Termination in convex sets of distributions (extended version)

        Together with Harald Woracek. CALCO 2017 (LIPICS, to appear). Download (pdf)

        Extended version appeared as ASC report 08/2017, TU Vienna, available here.


  1. SEA-PARAM: Exploring schedulers in parametric MDPs

        Together with Sebastian Arming and Ezio Bartocci. QAPL 2017 (EPTCS, to appear). Download (pdf)

  1. Dynamic reductions for model checking concurrent software
    Together with Henning Guenther, Alfons Laarman, and Georg Weissenbacher. VMCAI 2017. Download (pdf)




  1. 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)



  1. 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)

  1. Congruences of convex algebras
    Together with Harald Woracek. Journal of Pure and Applied Algebra (JPAA) 219 (8): 3110-3148. 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.

  2. Trace semantics via determinization
    Together with Bart Jacobs and Alexandra Silva. Journal of Computer and System Sciences 81 (5): 859-879 (2015). Download (pdf)

  3. 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)


  1. Local linearizability
    Together with Andreas Haas, Thomas Henzinger, Andreas Holzer, Christoph Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Helmut Veith. CoRR abs/1502.07118, 2015 (latest version June 2016).

  2. 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.



  1. 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)

  2. 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)


  1. 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)



  1. Trace semantics via determinization
    Together with Bart Jacobs and Alexandra Silva. In proceedings of CMCS'12, LNCS 7399, p. 109-129, 2012. Download (pdf)

  2. 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)

  3. 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)

  4. The logical execution time paradigm
    Together with Christoph Kirsch. Advances in Real-Time Systems 2012, book chapter, p.103-120. Download (pdf)   




  1. 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)   

  2. Probabilistic systems coalgebraically: A survey
    Theoretical Computer Science, 412 (38), p. 5095-5110, 2011. Download (pdf)   

  3. 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)   

  4. 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)

  5. 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)   

  6. 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)

  



  1. Runtime programming through model-preserving, scalable runtime patches
    Extended abstract. 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)


  1. 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)   

  2. 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)    

  3. 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)  

  4. 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)   

  5. 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)    

  6. 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)   

  7. 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)

  8. Response time versus utilization in scheduler overhead accounting
    Together with Silviu Craciunas and Christoph Kirsch. In proceedings of RTAS'10, IEEE 2010. Download (pdf)    




  1. Distributed, modular HTL
    Together with Thomas Henzinger, Christoph Kirsch, and Eduardo Marques.  In proceedings of RTSS'09, p.171-180, IEEE, 2009. Download (pdf) 

  2. 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)

  3. A workload-oriented programming model for temporal isolation with VBS
    Together with Silviu Craciunas and Christoph Kirsch. RePP Workshop'09, ESWeek, 2009. Download (pdf)  

  4. 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)  

  5. 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)   
    An extended older version appeared as Real-time scheduling for workload-oriented programming, Technical report TR-2008-02, University of Salzburg, 30pp, 2008. Download (pdf)    

  6. 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)     

  7. Traces, executions and schedulers, coalgebraically
    Together with Bart Jacobs . In proceedings of CALCO'09, LNCS 5728, p. 206-221, 2009. Download (pdf)   

  8. 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)     

  9. 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)    

  10. 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)    

  11. 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)   




  1. 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)    

  2. 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)


  1. 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 BaetenJournal of Logic and Algebraic Programming 71(1):52, 2008.




  1. 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)    LMCS    

  2. 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)  

  3. 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)   

  4. 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)      

  5. Coalgebraic weak bisimulation for action-type systems
    Together with Erik de Vink and Harald Woracek.  Preprint, 2007. Download (pdf) 




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




  1. Coalgebraic analysis of probabilistic systems
    PhD thesis, september 2005, defended 3-11-2005. Download (pdf)       

  2. On compositions and paths for coalgebras
    Technical report CSR-05-26, TU Eindhoven, 2005. 23pp. Download (pdf)     

  3. 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)      




  1. 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)  


  1. 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)  

  2. 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)      




  1. 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)

  2. A hierarchy of probabilistic system types
    Together with Falk Bartels and Erik de Vink. Proceedings of CMCS'03, ENTCS 82(1), 19pp. Download (pdf)      




  1. 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

  1. 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)

  2. On semigroups defined by the identity xxy = y
    Together with Smile Markovski and Lidija Goracinova Ilieva. Public. de l'Inst. Matem. Belgrade(in print). Download (ps)   

  3. 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)    

  4. 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)    

  5. Free Steiner loops
    Together with Smile Markovski.  Glasnik Matematicki Vol. 36 (56) (2001), 85 - 93. Download (ps) 

  6. 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)  

  7. 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)     

  8. Word problems
    Master thesis (in Macedonian), Ss Cyril and Methodious University, Skopje, Macedonia, 1999. Download (ps)   

 

Many thanks to Silviu Craciunas for the photo (RTAS 2010 in Stockholm) and his help with iWeb!

Ana Sokolova

Dr. TU Eindhoven, The Netherlands, 2005



Associate Professor


Computational Systems Group

Department of Computer Sciences

University of Salzburg

Austria


anas@cs.uni-salzburg.at