Ana Sokolova

According to our database, Ana Sokolova authored at least 61 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Introduction to the special issue for SPIN 2021.

Alfons Laarman, Ana Sokolova

Int. J. Softw. Tools Technol. Transf., February, 2023

Preface to the special issue on Open Problems in Concurrency Theory.

Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova

J. Log. Algebraic Methods Program., 2023

2022

Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492).

Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova

Dagstuhl Reports, December, 2022

Report on women in logic 2020 & 2021.

Sandra Alves, Sandra Kiefer, Ana Sokolova

ACM SIGLOG News, 2022

The Theory of Traces for Systems with Nondeterminism, Probability, and Termination.

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

Log. Methods Comput. Sci., 2022

2021

Distribution Bisimilarity via the Power of Convex Algebras.

Filippo Bonchi, Alexandra Silva, Ana Sokolova

Log. Methods Comput. Sci., 2021

Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively.

Ana Sokolova, Harald Woracek

CoRR, 2021

Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls).

Ana Sokolova, Harald Woracek

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls).

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Presenting convex sets of probability distributions by convex semilattices and unique bases.

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

CoRR, 2020

2019

Helmut Veith memorial workshop 2019 report.

Michael Morak, Anna Prianichnikova, Ana Sokolova

ACM SIGLOG News, 2019

Preface for the special issue of Proof, Structure, and Computation 2014.

Dirk Pattinson, Peter Schuster, Ana Sokolova

J. Log. Comput., 2019

The Theory of Traces for Systems with Nondeterminism and Probability.

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Termination in Convex Sets of Distributions.

Ana Sokolova, Harald Woracek

Log. Methods Comput. Sci., 2018

Trace Semantics for Nondeterministic Probabilistic Automata via Determinization.

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

CoRR, 2018

Parameter-Independent Strategies for pMDPs via POMDPs.

Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Proper Semirings and Proper Convex Functors.

Ana Sokolova, Harald Woracek

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

SEA-PARAM: Exploring Schedulers in Parametric MDPs.

Sebastian Arming, Ezio Bartocci, Ana Sokolova

Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

Dynamic Reductions for Model Checking Concurrent Software.

Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

The Power of Convex Algebras.

Filippo Bonchi, Alexandra Silva, Ana Sokolova

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Preface for the special issue on Interaction and Concurrency Experience 2014.

Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2016

Local Linearizability for Concurrent Container-Type Data Structures.

Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Preface for the special issue of Interaction and Concurrency Experience 2013.

Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova

Sci. Comput. Program., 2015

Preface for the special issue on Interaction and Concurrency Experience 2012.

Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova

Sci. Comput. Program., 2015

Trace semantics via determinization.

Bart Jacobs, Alexandra Silva, Ana Sokolova

J. Comput. Syst. Sci., 2015

Local Linearizability.

Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith

CoRR, 2015

Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures.

Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Scal: A Benchmarking Suite for Concurrent Data Structures.

Andreas Haas, Thomas Hütter, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, Ana Sokolova

Proceedings of the Networked Systems - Third International Conference, 2015

2014

Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit.

Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova

CoRR, 2014

2013

Temporal isolation in real-time systems: the VBS approach.

Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova

Int. J. Softw. Tools Technol. Transf., 2013

Quantitative relaxation of concurrent data structures.

Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation.

Andreas Haas, Michael Lippautz, Thomas A. Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, Ali Sezgin

Proceedings of the Computing Frontiers Conference, 2013

2012

Performance, Scalability, and Semantics of Concurrent FIFO Queues.

Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova

Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

The Logical Execution Time Paradigm.

Christoph M. Kirsch, Ana Sokolova

Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

2011

Probabilistic systems coalgebraically: A survey.

Ana Sokolova

Theor. Comput. Sci., 2011

Information hiding in probabilistic concurrent systems.

Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova

Theor. Comput. Sci., 2011

Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems.

Alexandra Silva, Ana Sokolova

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

Scalability versus semantics of concurrent FIFO queues.

Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Short-term memory for self-collecting mutators.

Martin Aigner, Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova, Stephanie Stroka, Andreas Unterweger

Proceedings of the 10th International Symposium on Memory Management, 2011

2010

Exemplaric Expressivity of Modal Logics.

Bart Jacobs, Ana Sokolova

J. Log. Comput., 2010

Response Time versus Utilization in Scheduler Overhead Accounting.

Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing.

Silviu S. Craciunas, Andreas Haas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Andreas Rottmann, Ana Sokolova, Rainer Trummer, Joshua Love, Raja Sengupta

Proceedings of the 2nd USENIX Workshop on Hot Topics in Cloud Computing, 2010

Runtime Programming through Model-Preserving, Scalable Runtime Patches.

Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Power-aware temporal isolation with variable-bandwidth servers.

Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova

Proceedings of the 10th International conference on Embedded software, 2010

2009

Compositionality for Markov reward chains with fast and silent transitions.

Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink

Perform. Evaluation, 2009

Coalgebraic Weak Bisimulation for Action-Type Systems.

Ana Sokolova, Erik P. de Vink, Harald Woracek

Sci. Ann. Comput. Sci., 2009

Programmable temporal isolation through variable-bandwidth servers.

Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova

Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Distributed, Modular HTL.

Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Programmable temporal isolation in real-time and embedded execution environments.

Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova

Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, 2009

Traces, Executions and Schedulers, Coalgebraically.

Bart Jacobs, Ana Sokolova

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Coalgebraic Components in a Many-Sorted Microcosm.

Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462.

Jos C. M. Baeten, Ana Sokolova

J. Log. Algebraic Methods Program., 2008

A Compacting Real-Time Memory Management System.

Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger

Proceedings of the 2008 USENIX Annual Technical Conference, 2008

The Microcosm Principle and Concurrency in Coalgebra.

Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

Generic Trace Semantics via Coinduction.

Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Log. Methods Comput. Sci., 2007

Probabilistic Anonymity and Admissible Schedulers

Flavio D. Garcia, Peter van Rossum, Ana Sokolova

CoRR, 2007

Compositionality for Markov Reward Chains with Fast Transitions.

Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

2006

Generic Trace Theory.

Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

2004

A hierarchy of probabilistic system types.

Falk Bartels, Ana Sokolova, Erik P. de Vink

Theor. Comput. Sci., 2004

Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract).

Ana Sokolova, Erik P. de Vink, Harald Woracek

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

Probabilistic Automata: System Types, Parallel Composition and Comparison.

Ana Sokolova, Erik P. de Vink

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004