Ana Sokolova

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 28

Top Topics

Top Venues

Log. Methods Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

Alfons Laarman, Ana Sokolova
Introduction to the special issue for SPIN 2021. Int. J. Softw. Tools Technol. Transf. 25 (1) (2023)
Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova
Preface to the special issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 130 (2023)
Sandra Alves, Sandra Kiefer, Ana Sokolova
Report on women in logic 2020 & 2021. ACM SIGLOG News 9 (2) (2022)
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination. Log. Methods Comput. Sci. 18 (2) (2022)
Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492). Dagstuhl Reports 12 (12) (2022)
Ana Sokolova, Harald Woracek
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively. CoRR (2021)
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). CALCO (2021)
Filippo Bonchi, Alexandra Silva, Ana Sokolova
Distribution Bisimilarity via the Power of Convex Algebras. Log. Methods Comput. Sci. 17 (3) (2021)
Ana Sokolova, Harald Woracek
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls). CALCO (2021)
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
Presenting convex sets of probability distributions by convex semilattices and unique bases. CoRR (2020)
Michael Morak, Anna Prianichnikova, Ana Sokolova
Helmut Veith memorial workshop 2019 report. ACM SIGLOG News 6 (3) (2019)
Dirk Pattinson, Peter Schuster, Ana Sokolova
Preface for the special issue of Proof, Structure, and Computation 2014. J. Log. Comput. 29 (4) (2019)
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
The Theory of Traces for Systems with Nondeterminism and Probability. LICS (2019)
Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
Parameter-Independent Strategies for pMDPs via POMDPs. QEST (2018)
Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
Parameter-Independent Strategies for pMDPs via POMDPs. CoRR (2018)
Ana Sokolova, Harald Woracek
Proper Semirings and Proper Convex Functors. FoSSaCS (2018)
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
Trace Semantics for Nondeterministic Probabilistic Automata via Determinization. CoRR (2018)
Ana Sokolova, Harald Woracek
Termination in Convex Sets of Distributions. Log. Methods Comput. Sci. 14 (4) (2018)
Ana Sokolova, Harald Woracek
Proper Semirings and Proper Convex Functors. CoRR (2018)
Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
Dynamic Reductions for Model Checking Concurrent Software. VMCAI (2017)
Sebastian Arming, Ezio Bartocci, Ana Sokolova
SEA-PARAM: Exploring Schedulers in Parametric MDPs. QAPL@ETAPS (2017)
Ana Sokolova, Harald Woracek
Termination in Convex Sets of Distributions. CALCO (2017)
Filippo Bonchi, Alexandra Silva, Ana Sokolova
The Power of Convex Algebras. CoRR (2017)
Filippo Bonchi, Alexandra Silva, Ana Sokolova
The Power of Convex Algebras. CONCUR (2017)
Ana Sokolova, Harald Woracek
Termination in Convex Sets of Distributions. CoRR (2017)
Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
Dynamic Reductions for Model Checking Concurrent Software. CoRR (2016)
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
Local Linearizability for Concurrent Container-Type Data Structures. CONCUR (2016)
Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
Preface for the special issue on Interaction and Concurrency Experience 2014. J. Log. Algebraic Methods Program. 85 (3) (2016)
Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova
Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures. OOPSLA (2015)
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
Preface for the special issue on Interaction and Concurrency Experience 2012. Sci. Comput. Program. 100 (2015)
Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova
Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. 109 (2015)
Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova
Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures. CoRR (2015)
Bart Jacobs, Alexandra Silva, Ana Sokolova
Trace semantics via determinization. J. Comput. Syst. Sci. 81 (5) (2015)
Andreas Haas, Thomas Hütter, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, Ana Sokolova
Scal: A Benchmarking Suite for Concurrent Data Structures. NETYS (2015)
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
Local Linearizability. CoRR (2015)
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit. CoRR (2014)
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
Temporal isolation in real-time systems: the VBS approach. Int. J. Softw. Tools Technol. Transf. 15 (3) (2013)
Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova
Quantitative relaxation of concurrent data structures. POPL (2013)
Andreas Haas, Michael Lippautz, Thomas A. Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, Ali Sezgin
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation. Conf. Computing Frontiers (2013)
Bart Jacobs, Alexandra Silva, Ana Sokolova
Trace Semantics via Determinization. CMCS (2012)
Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
Performance, Scalability, and Semantics of Concurrent FIFO Queues. ICA3PP (1) (2012)
Christoph M. Kirsch, Ana Sokolova
The Logical Execution Time Paradigm. Advances in Real-Time Systems (2012)
Ana Sokolova
Probabilistic systems coalgebraically: A survey. Theor. Comput. Sci. 412 (38) (2011)
Alexandra Silva, Ana Sokolova
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. MFPS (2011)
Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova
Runtime Programming through Model-Preserving, Scalable Runtime Patches. ACSD (2011)
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
Information hiding in probabilistic concurrent systems. Theor. Comput. Sci. 412 (28) (2011)
Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova
Scalability versus semantics of concurrent FIFO queues. PODC (2011)
Martin Aigner, Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova, Stephanie Stroka, Andreas Unterweger
Short-term memory for self-collecting mutators. ISMM (2011)
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
Information Hiding in Probabilistic Concurrent Systems. QEST (2010)
Silviu S. Craciunas, Andreas Haas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Andreas Rottmann, Ana Sokolova, Rainer Trummer, Joshua Love, Raja Sengupta
Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing. HotCloud (2010)
Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova
Power-aware temporal isolation with variable-bandwidth servers. EMSOFT (2010)
Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova
Runtime Programming through Model-Preserving, Scalable Runtime Patches. FACS (2010)
Bart Jacobs, Ana Sokolova
Exemplaric Expressivity of Modal Logics. J. Log. Comput. 20 (5) (2010)
Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova
Response Time versus Utilization in Scheduler Overhead Accounting. IEEE Real-Time and Embedded Technology and Applications Symposium (2010)
Ana Sokolova, Erik P. de Vink, Harald Woracek
Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comput. Sci. 19 (2009)
Bart Jacobs, Ana Sokolova
Traces, Executions and Schedulers, Coalgebraically. CALCO (2009)
Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
Coalgebraic Components in a Many-Sorted Microcosm. CALCO (2009)
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
Programmable temporal isolation in real-time and embedded execution environments. IIES@EuroSys (2009)
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova
Distributed, Modular HTL. RTSS (2009)
Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
Compositionality for Markov reward chains with fast and silent transitions. Perform. Evaluation 66 (8) (2009)
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
Programmable temporal isolation through variable-bandwidth servers. SIES (2009)
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger
A Compacting Real-Time Memory Management System. USENIX Annual Technical Conference (2008)
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS (2008)
Jos C. M. Baeten, Ana Sokolova
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462. J. Log. Algebraic Methods Program. 78 (1) (2008)
Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
Compositionality for Markov Reward Chains with Fast Transitions. EPEW (2007)
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
Generic Trace Semantics via Coinduction. Log. Methods Comput. Sci. 3 (4) (2007)
Flavio D. Garcia, Peter van Rossum, Ana Sokolova
Probabilistic Anonymity and Admissible Schedulers CoRR (2007)
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
Generic Trace Semantics via Coinduction CoRR (2007)
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
Generic Trace Theory. CMCS (2006)
Falk Bartels, Ana Sokolova, Erik P. de Vink
A hierarchy of probabilistic system types. Theor. Comput. Sci. 327 (1-2) (2004)
Ana Sokolova, Erik P. de Vink, Harald Woracek
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). CTCS (2004)
Ana Sokolova, Erik P. de Vink
Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems (2004)
Falk Bartels, Ana Sokolova, Erik P. de Vink
A hierarchy of probabilistic system types. CMCS (2003)