Ana Sokolova

According to our database1, Ana Sokolova authored at least 45 papers between 2003 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Parameter-Independent Strategies for pMDPs via POMDPs.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Proper Semirings and Proper Convex Functors.
Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017
SEA-PARAM: Exploring Schedulers in Parametric MDPs.
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

Dynamic Reductions for Model Checking Concurrent Software.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

The Power of Convex Algebras.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Termination in Convex Sets of Distributions.
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016
Preface for the special issue on Interaction and Concurrency Experience 2014.
J. Log. Algebr. Meth. Program., 2016

Local Linearizability for Concurrent Container-Type Data Structures.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Preface for the special issue of Interaction and Concurrency Experience 2013.
Sci. Comput. Program., 2015

Preface for the special issue on Interaction and Concurrency Experience 2012.
Sci. Comput. Program., 2015

Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Scal: A Benchmarking Suite for Concurrent Data Structures.
Proceedings of the Networked Systems - Third International Conference, 2015

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

Quantitative relaxation of concurrent data structures.
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.
Proceedings of the Computing Frontiers Conference, 2013

2012
Performance, Scalability, and Semantics of Concurrent FIFO Queues.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

Trace Semantics via Determinization.
Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

The Logical Execution Time Paradigm.
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.
Theor. Comput. Sci., 2011

Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems.
Electr. Notes Theor. Comput. Sci., 2011

Scalability versus semantics of concurrent FIFO queues.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Short-term memory for self-collecting mutators.
Proceedings of the 10th International Symposium on Memory Management, 2011

Runtime Programming through Model-Preserving, Scalable Runtime Patches.
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010
Exemplaric Expressivity of Modal Logics.
J. Log. Comput., 2010

Response Time versus Utilization in Scheduler Overhead Accounting.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Information Hiding in Probabilistic Concurrent Systems.
Proceedings of the QEST 2010, 2010

Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing.
Proceedings of the 2nd USENIX Workshop on Hot Topics in Cloud Computing, 2010

Runtime Programming through Model-Preserving, Scalable Runtime Patches.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Power-aware temporal isolation with variable-bandwidth servers.
Proceedings of the 10th International conference on Embedded software, 2010

2009
Compositionality for Markov reward chains with fast and silent transitions.
Perform. Eval., 2009

Coalgebraic Weak Bisimulation for Action-Type Systems.
Sci. Ann. Comp. Sci., 2009

Programmable temporal isolation through variable-bandwidth servers.
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Distributed, Modular HTL.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Traces, Executions and Schedulers, Coalgebraically.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Coalgebraic Components in a Many-Sorted Microcosm.
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.
J. Log. Algebr. Program., 2008

A Compacting Real-Time Memory Management System.
Proceedings of the 2008 USENIX Annual Technical Conference, 2008

The Microcosm Principle and Concurrency in Coalgebra.
Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007
Generic Trace Semantics via Coinduction.
Logical Methods in Computer Science, 2007

Compositionality for Markov Reward Chains with Fast Transitions.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

2006
Generic Trace Theory.
Electr. Notes Theor. Comput. Sci., 2006

2005
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract).
Electr. Notes Theor. Comput. Sci., 2005

2004
A hierarchy of probabilistic system types.
Theor. Comput. Sci., 2004

Probabilistic Automata: System Types, Parallel Composition and Comparison.
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

2003
A hierarchy of probabilistic system types.
Electr. Notes Theor. Comput. Sci., 2003


  Loading...