|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 6 keywords
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christoph M. Kirsch, Ana Sokolova |
The Logical Execution Time Paradigm.  |
Advances in Real-Time Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova |
Information hiding in probabilistic concurrent systems. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sokolova |
Probabilistic systems coalgebraically: A survey. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Ana Sokolova |
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Kirsch, Luís Lopes, Eduardo R. B. Marques, Ana Sokolova |
Runtime Programming through Model-Preserving, Scalable Runtime Patches. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Aigner, Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova, Stephanie Stroka, Andreas Unterweger |
Short-term memory for self-collecting mutators. |
ISMM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova |
Scalability versus semantics of concurrent FIFO queues. |
PODC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Ana Sokolova |
Exemplaric Expressivity of Modal Logics. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova |
Power-aware temporal isolation with variable-bandwidth servers. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Kirsch, Luís Lopes, Eduardo R. B. Marques, Ana Sokolova |
Runtime Programming through Model-Preserving, Scalable Runtime Patches. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova |
Information Hiding in Probabilistic Concurrent Systems. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Scheduling, Real time systems |
| 1 | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink |
Compositionality for Markov reward chains with fast and silent transitions. |
Perform. Eval. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sokolova, Erik P. de Vink, Harald Woracek |
Coalgebraic Weak Bisimulation for Action-Type Systems. |
Sci. Ann. Comp. Sci. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova |
Programmable temporal isolation through variable-bandwidth servers. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova |
Distributed, Modular HTL. |
IEEE Real-Time Systems Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova |
Coalgebraic Components in a Many-Sorted Microcosm. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Ana Sokolova |
Traces, Executions and Schedulers, Coalgebraically. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Ichiro Hasuo, Bart Jacobs, Ana Sokolova |
The Microcosm Principle and Concurrency in Coalgebra. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo, Bart Jacobs, Ana Sokolova |
Generic Trace Semantics via Coinduction. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio D. Garcia, Peter van Rossum, Ana Sokolova |
Probabilistic Anonymity and Admissible Schedulers |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ichiro Hasuo, Bart Jacobs, Ana Sokolova |
Generic Trace Semantics via Coinduction |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink |
Compositionality for Markov Reward Chains with Fast Transitions. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition |
| 1 | Ichiro Hasuo, Bart Jacobs, Ana Sokolova |
Generic Trace Theory. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sokolova, Erik P. de Vink, Harald Woracek |
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Bartels, Ana Sokolova, Erik P. de Vink |
A hierarchy of probabilistic system types. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sokolova, Erik P. de Vink |
Probabilistic Automata: System Types, Parallel Composition and Comparison. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition |
| 1 | Falk Bartels, Ana Sokolova, Erik P. de Vink |
A hierarchy of probabilistic system types. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")