Ana Sokolova: Papers

• Quantitative relaxation of concurrent data structures
  Together with Thomas Henzinger, Christoph Kirsch, Hannes Payer, and Ali Sezgin.
  POPL 2013. p. 317-328, ACM, 2013. Download (pdf)
  
  
• Congruences of convex algebras
  Together with Harald Woracek. Submitted, preprint (ASC report 39/2012, TU Vienna) available here.

• Trace semantics via determinization
  Together with Bart Jacobs and Alexandra Silva.
  In proceedings of CMCS'12, LNCS 7399, p. 109-129, 2012.
  Download (pdf)
  
  
• Temporal isolation in real-time systems
  Together with Silviu Craciunas, Christoph Kirsch, Hannes Payer, and Harald Roeck.
  Software Tools for Technology Transfer, 2012, to appear.
  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 probabilsitic 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
  Extended abstract. Together with Eduardo Marques, Luis Lopes and Christoph Kirsch. Proc. International Workshop on Formal Aspects of Component Software (FACS) 2010, Doctoral Track, LNCS 6921, p. 290-294.
  Download (pdf)    bibtex   
  
  
• Runtime programming through model-preserving, scalable runtime patches
  Together with Eduardo Marques, Luis Lopes and Christoph Kirsch. Technical report TR-2010-08, University of Salzburg, 27pp, 2010.
  Download (pdf)    Abstract    bibtex   
  
  
• Exemplaric expressivity of modal logics
  Together with Bart Jacobs
  Journal of Logic and Computation, 20(5), p.1041-1068, 2010.
  Download (pdf)    DOI link    Download preprint(pdf)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  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)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  
• Response time versus utilization in scheduler overhead accounting
  Together with Silviu Craciunas and Christoph Kirsch. In proceedings of RTAS'10, IEEE 2010. Download (pdf)    Abstract    bibtex   
  
  

  ---

  
  
• Distributed, modular HTL
  Together with Thomas Henzinger, Christoph Kirsch, and Eduardo Marques,
  In proceedings of RTSS'09, p.171-180, IEEE, 2009. Download (pdf)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex  
  
  
• A workload-oriented programming model for temporal isolation with VBS
  Together with Silviu Craciunas and Christoph Kirsch
  RePP Workshop'09, ESWeek, 2009. Download (pdf)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  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)    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  
• Traces, executions and schedulers, coalgebraically
  Together with Bart Jacobs
  In proceedings of CALCO'09, LNCS 5728, p. 206-221, 2009. Download (pdf)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  
• 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)    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  

  ---

  
  
• 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)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  
• 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.
  Download (pdf)    LMCS    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  An extended version appeared as Technical report CS-07-17, TU Eindhoven, 2007, 18pp. Download (pdf)    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  
• Coalgebraic weak bisimulation for action-type systems
  Together with Erik de Vink and Harald Woracek
  Preprint, 2007. Download (pdf)    Abstract   
  
  

  ---

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

  ---

  
  
• Coalgebraic analysis of probabilistic systems
  PhD thesis, september 2005, defended 3-11-2005. Download (pdf)    bibtex more-info   
  
  
• On compositions and paths for coalgebras
  Technical report CSR-05-26, TU Eindhoven, 2005. 23pp. Download (pdf)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  

  ---

  
  
• Weak bisimulation for action-type coalgebras
  Together with Erik de Vink and Harald Woracek
  Technical report CSR-04-16, TU Eindhoven. 43pp. Download (pdf)    Abstract    bibtex
  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)    Abstract    bibtex   
  
  
• 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)    Abstract    bibtex   
  
  

  ---

  
  
• 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)    Abstract    bibtex
  
  
• A hierarchy of probabilistic system types
  Together with Falk Bartels and Erik de Vink
  Proceedings of CMCS'03, ENTCS 82(1), 19pp. Download (pdf)    Abstract    bibtex   
  
  

  ---

  
  
• 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)    Abstract    bibtex   

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)    Abstract   
  
  
• 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)    Abstract   
  
  
• 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)    Abstract   
  
  
• 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)    Abstract   
  
  
• Free Steiner loops
  Together with Smile Markovski
  Glasnik Matematicki Vol. 36 (56) (2001), 85 - 93. Download (ps)    Abstract   
  
  
• 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)    Abstract   
  
  
• 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)    Abstract   
  
  
• Word problems
  Master thesis (in Macedonian), St Cyril and Methodious University, Skopje, Macedonia, 1999. Download (ps)   
  

  ---

  
  back home