Pavol Černý

Available identifiers

Publication	Date of Publication	Type
Quantitative mitigation of timing side channels	2024-02-16	Paper
Synchronization synthesis for network programs	2022-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4986503	2021-04-27	Paper
Discriminating Traces with Time	2020-08-05	Paper
Type-directed bounding of collections in reactive programs	2020-01-23	Paper
Optimal consistent network updates in polynomial time	2018-08-16	Paper
From non-preemptive to preemptive scheduling using synchronization synthesis	2018-03-01	Paper
Synthesis of interface specifications for Java classes	2017-07-14	Paper
From non-preemptive to preemptive scheduling using synchronization synthesis	2017-05-15	Paper
Segment Abstraction for Worst-Case Execution Time Analysis	2016-04-26	Paper
Algorithmic analysis of array-accessing programs	2015-09-17	Paper
Interface simulation distances	2014-12-02	Paper
Quantitative abstraction refinement	2014-11-27	Paper
Streaming transducers for algorithmic verification of single-pass list-processing programs	2014-04-10	Paper
Expressiveness of Streaming String Transducers	2012-08-29	Paper
Simulation distances	2012-03-13	Paper
Quantitative Simulation Games	2010-09-07	Paper
Simulation Distances	2010-08-31	Paper
Algorithmic Analysis of Array-Accessing Programs	2009-11-12	Paper
Preserving Secrecy Under Refinement	2007-09-11	Paper
Model Checking on Trees with Path Equivalences	2007-09-03	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pavol Černý