Timos Antonopoulos
Timos Antonopoulos
Unknown affiliation
Verified email at
Cited by
Cited by
Decomposition instead of self-composition for proving the absence of timing channels
T Antonopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
ACM SIGPLAN Notices 52 (6), 362-375, 2017
Foundations for decision problems in separation logic with general inductive predicates
T Antonopoulos, N Gorogiannis, C Haase, M Kanovich, J Ouaknine
International Conference on Foundations of Software Science and Computation …, 2014
Reachability problems for Markov chains
S Akshay, T Antonopoulos, J Ouaknine, J Worrell
Information Processing Letters 115 (2), 155-158, 2015
Counterexample-guided approach to finding numerical invariants
TV Nguyen, T Antonopoulos, A Ruef, M Hicks
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
Definability problems for graph query languages
T Antonopoulos, F Neven, F Servais
Proceedings of the 16th International Conference on Database Theory, 141-152, 2013
Separating graph logic from MSO
T Antonopoulos, A Dawar
International Conference on Foundations of Software Science and …, 2009
Generating, sampling and counting subclasses of regular tree languages
T Antonopoulos, F Geerts, W Martens, F Neven
Theory of Computing Systems 52 (3), 542-585, 2013
DynamiTe: dynamic termination and non-termination proofs
TC Le, T Antonopoulos, P Fathololumi, E Koskinen, TV Nguyen
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
Specification and inference of trace refinement relations
T Antonopoulos, E Koskinen, TC Le
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
Strongly unambiguous Büchi automata are polynomially predictable with membership queries
D Angluin, T Antonopoulos, D Fisman
28th EACSL Annual Conference on Computer Science Logic (CSL 2020), 2020
Query learning of derived -tree languages in polynomial time
D Fisman, T Antonopoulos, D Angluin
Logical Methods in Computer Science 15, 2019
A formal analysis of timing channel security via bucketing
T Terauchi, T Antonopoulos
International Conference on Principles of Security and Trust, 29-50, 2019
Deciding twig-definability of node selecting tree automata
T Antonopoulos, D Hovland, W Martens, F Neven
Theory of Computing Systems 57 (4), 967-1007, 2015
ppSAT: Towards Two-Party Private SAT Solving.
N Luo, S Judson, T Antonopoulos, R Piskac, X Wang
IACR Cryptol. ePrint Arch. 2021, 1584, 2021
Three variables suffice for real-time logic
T Antonopoulos, P Hunter, S Raza, J Worrell
International Conference on Foundations of Software Science and Computation …, 2015
The complexity of text-preserving XML transformations
T Antonopoulos, W Martens, F Neven
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on …, 2011
Looking for the maximum independent set: a new perspective on the stable path problem
Y Cheng, N Luo, J Zhang, T Antonopoulos, R Piskac, Q Xiang
IEEE INFOCOM 2021-IEEE Conference on Computer Communications, 1-10, 2021
Using dynamically inferred invariants to analyze program runtime complexity
TV Nguyen, D Ishimwe, A Malyshev, T Antonopoulos, QS Phan
Proceedings of the 3rd ACM SIGSOFT International Workshop on Software …, 2020
IVeri: Privacy-Preserving Interdomain Verification
N Luo, Q Xiang, T Antonopoulos, R Piskac, YR Yang, F Le
arXiv preprint arXiv:2202.02729, 2022
Games for security under adaptive adversaries
T Antonopoulos, T Terauchi
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 216-21613, 2019
The system can't perform the operation now. Try again later.
Articles 1–20