Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ana Sokolova
2010 – today
- 2013
[j13]Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Temporal isolation in real-time systems: the VBS approach. STTT 15(3): 189-209 (2013)- [c20]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: 17
- [c19]Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova: Quantitative relaxation of concurrent data structures. POPL 2013: 317-328
- 2012
- [c18]Christoph M. Kirsch, Ana Sokolova: The Logical Execution Time Paradigm. Advances in Real-Time Systems 2012: 103-120
- [c17]
- [c16]Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Performance, Scalability, and Semantics of Concurrent FIFO Queues. ICA3PP (1) 2012: 273-287
- [e1]Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova (Eds.): Proceedings Fifth Interaction and Concurrency Experience. EPTCS 104, 2012
- 2011
- [j12]Alexandra Silva, Ana Sokolova: Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 276: 291-311 (2011)
- [j11]Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova: Information hiding in probabilistic concurrent systems. Theor. Comput. Sci. 412(28): 3072-3089 (2011)
- [j10]Ana Sokolova: Probabilistic systems coalgebraically: A survey. Theor. Comput. Sci. 412(38): 5095-5110 (2011)
- [c15]Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova: Runtime Programming through Model-Preserving, Scalable Runtime Patches. ACSD 2011: 77-86
- [c14]Martin Aigner, Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova, Stephanie Stroka, Andreas Unterweger: Short-term memory for self-collecting mutators. ISMM 2011: 99-108
- [c13]Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova: Scalability versus semantics of concurrent FIFO queues. PODC 2011: 331-332
- 2010
- [j9]Bart Jacobs, Ana Sokolova: Exemplaric Expressivity of Modal Logics. J. Log. Comput. 20(5): 1041-1068 (2010)
- [c12]Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova: Power-aware temporal isolation with variable-bandwidth servers. EMSOFT 2010: 259-268
- [c11]Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova: Runtime Programming through Model-Preserving, Scalable Runtime Patches. FACS 2010: 290-294
- [c10]Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova: Information Hiding in Probabilistic Concurrent Systems. QEST 2010: 17-26
- [c9]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: 291-300
2000 – 2009
- 2009
- [j8]Ana Sokolova, Erik P. de Vink, Harald Woracek: Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comp. Sci. 19: 93-144 (2009)
- [j7]Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov reward chains with fast and silent transitions. Perform. Eval. 66(8): 435-452 (2009)
- [c8]Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova: Coalgebraic Components in a Many-Sorted Microcosm. CALCO 2009: 64-80
- [c7]
- [c6]Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova: Distributed, Modular HTL. RTSS 2009: 171-180
- [c5]Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Programmable temporal isolation through variable-bandwidth servers. SIES 2009: 171-180
- 2008
- [j6]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. Algebr. Program. 78(1): 52 (2008)
- [c4]Ichiro Hasuo, Bart Jacobs, Ana Sokolova: The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS 2008: 246-260
- [c3]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: 349-362
- 2007
- [j5]Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction. Logical Methods in Computer Science 3(4) (2007)
- [c2]Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32
- [i2]Flavio D. Garcia, Peter van Rossum, Ana Sokolova: Probabilistic Anonymity and Admissible Schedulers. CoRR abs/0706.1019 (2007)
- [i1]Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction. CoRR abs/0710.2505 (2007)
- 2006
- [j4]Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Theory. Electr. Notes Theor. Comput. Sci. 164(1): 47-65 (2006)
- 2005
- [j3]Ana Sokolova, Erik P. de Vink, Harald Woracek: Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 122: 211-228 (2005)
- 2004
- [j2]Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1-2): 3-22 (2004)
- [c1]Ana Sokolova, Erik P. de Vink: Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems 2004: 1-43
- 2003
- [j1]Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Electr. Notes Theor. Comput. Sci. 82(1): 57-75 (2003)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:08 CEST by the dblp team