RP
Ruzica Piskac
cs.SEcs.LOcs.AIcs.CRcs.PLcs.LGcs.FLcs.CCcs.CLcs.CY
On Valency
published · living versionsW_9zv6edxy·v1 · currentpublished
Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance
with Xi Zheng, Ivan Ruchkin, Hong Jin Kang, Tevfik Bultan +9
1 version
Preprints & journals
30 papers in the corpus · 2013–2026Certified but Private: Scalable Zero-Knowledge Proofs for Neural Network Guarantees2608.17070v2 · Youwei Zhong, Ben Merbaum, Timos Antonopoulos et al.2026 · 0 citationsarXiv
Learning GR(1) Specifications from Traces2608.06546v1 · Sam Nicholas Kouteili, William Fishell, Mark Santolucito et al.2026 · 0 citationsarXiv
Report on the Designing Accountable Software Systems Workshop2606.02804v1 · Catherine Albiston, Travis Breaux, Kat Dearstyne et al.2026 · 0 citationsarXiv
Learning How to Cube2605.16632v1 · Ferhat Erata, Sam Kouteili, Thanos Typaldos et al.2026 · 0 citationsarXiv
Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications2603.06710v1 · Sam Nicholas Kouteili, William Fishell, Christian Scaff et al.2026 · 0 citationsarXiv
A Systematic Study of Time Limit Exceeded Errors in Online Programming Assignments2510.14339v1 · Jialu Zhang, Jialiang Gu, Wangmeiyu Zhang et al.2025 · 1 citationarXiv
Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge2504.01198v1 · John Kolesar, Shan Ali, Timos Antonopoulos et al.2025 · 4 citationsarXiv
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS2502.12267v2 · Xi Zheng, Ziyang Li, Ivan Ruchkin et al.2025 · 7 citationsFSE Companion '25: Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, Trondheim, Norway, June 2025
Learning Randomized Reductions2412.18134v5 · Ferhat Erata, Orr Paradise, Thanos Typaldos et al.2024 · 0 citationsProceedings of the 43rd International Conference on Machine Learning, PMLR 306, 2026
Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems2410.00151v4 · Stephen Miner, Yoshiki Takashima, Simeng Han et al.2024 · 0 citationsarXiv
Systematic Use of Random Self-Reducibility against Physical Attacks2405.05193v1 · Ferhat Erata, TingHung Chiu, Anthony Etim et al.2024 · 0 citationsarXiv
Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers2401.15869v2 · Ferhat Erata, Chuanqi Xu, Ruzica Piskac et al.2024 · 21 citationsarXiv
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach2311.07377v3 · Xi Zheng, Aloysius K. Mok, Ruzica Piskac et al.2023 · 7 citationsarXiv
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty2307.01532v1 · Filip Cano C'ordoba, Samuel Judson, Timos Antonopoulos et al.2023 · 4 citationsarXiv
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions2305.05731v2 · Samuel Judson, Matthew Elacqua, Filip Cano et al.2023 · 1 citationarXiv
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code2304.02102v1 · Ferhat Erata, Ruzica Piskac, Victor Mateu et al.2023 · 4 citationsarXiv
Repairing Bugs in Python Assignments Using Large Language Models2209.14876v1 · Jialu Zhang, Jos'e Cambronero, Sumit Gulwani et al.2022 · 34 citationsarXiv
Automated Feedback Generation for Competition-Level Code2206.01848v1 · Jialu Zhang, De Li, John C. Kolesar et al.2022 · 22 citationsarXiv
IVeri: Privacy-Preserving Interdomain Verification2202.02729v1 · Ning Luo, Qiao Xiang, Timos Antonopoulos et al.2022 · 1 citationarXiv
ETAP: Energy-aware Timing Analysis of Intermittent Programs2201.11433v2 · Ferhat Erata, Arda Goknil, Eren Y\ild\iz et al.2022 · 14 citationsarXiv
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts?2111.11904v1 · Jialu Zhang, Todd Mytkowicz, Mike Kaufman et al.2021 · 2 citationsarXiv
Succinct Explanations With Cascading Decision Trees2010.06631v2 · Jialu Zhang, Yitan Wang, Mark Santolucito et al.2020 · 0 citationsarXiv
Grammar Filtering For Syntax-Guided Synthesis2002.02884v1 · Kairo Morton, William Hallahan, Elven Shum et al.2020 · 10 citationsarXiv
Synthesizing Functional Reactive Programs1905.09825v1 · Bernd Finkbeiner, Felix Klein, Ruzica Piskac et al.2019 · 18 citationsarXiv
Identifying Maximal Non-Redundant Integer Cone Generators1903.08571v1 · Slobodan Mitrovi'c, Ruzica Piskac, Viktor Kuncak2019 · 0 citationsarXiv
Statically Verifying Continuous Integration Configurations1805.04473v1 · Mark Santolucito, Jialu Zhang, Ennan Zhai et al.2018 · 4 citationsarXiv
Vehicle Platooning Simulations with Functional Reactive Programming1803.10383v1 · Bernd Finkbeiner, Felix Klein, Ruzica Piskac et al.2018 · 11 citationsarXiv
Temporal Stream Logic: Synthesis beyond the Bools1712.00246v2 · Bernd Finkbeiner, Felix Klein, Ruzica Piskac et al.2017 · 35 citationsarXiv
Proceedings Fifth Workshop on Synthesis1611.07178v1 · Ruzica Piskac, Rayna Dimitrova2016 · 1 citationEPTCS 229, 2016
Incremental, Inductive Coverability1301.7321v2 · Johannes Kloos, Rupak Majumdar, Filip Niksic et al.2013 · 2 citationsarXiv
Career total: 151 works. 30 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.