List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Quantitative mitigation of timing side channels Computer Aided Verification | 2024-02-16 | Paper |
| Synchronization synthesis for network programs | 2022-08-12 | Paper |
| Interface simulation distances | 2021-04-27 | Paper |
| Discriminating traces with time Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Type-directed bounding of collections in reactive programs (available as arXiv preprint) | 2020-01-23 | Paper |
| Optimal consistent network updates in polynomial time (available as arXiv preprint) | 2018-08-16 | Paper |
| From non-preemptive to preemptive scheduling using synchronization synthesis Computer Aided Verification | 2018-03-01 | Paper |
| Synthesis of interface specifications for Java classes Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
| From non-preemptive to preemptive scheduling using synchronization synthesis Formal Methods in System Design | 2017-05-15 | Paper |
| Segment Abstraction for Worst-Case Execution Time Analysis Programming Languages and Systems | 2016-04-26 | Paper |
| Algorithmic analysis of array-accessing programs ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| Interface simulation distances Theoretical Computer Science | 2014-12-02 | Paper |
| Quantitative abstraction refinement Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Streaming transducers for algorithmic verification of single-pass list-processing programs Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Expressiveness of streaming string transducers | 2012-08-29 | Paper |
| Simulation distances Theoretical Computer Science | 2012-03-13 | Paper |
| Quantitative simulation games Time for Verification | 2010-09-07 | Paper |
| Simulation distances CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
| Algorithmic Analysis of Array-Accessing Programs Computer Science Logic | 2009-11-12 | Paper |
| Preserving Secrecy Under Refinement Automata, Languages and Programming | 2007-09-11 | Paper |
| Model Checking on Trees with Path Equivalences Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Research outcomes over time
This page was built for person: Pavol Černý
