Jure Kukovec

According to our database, Jure Kukovec authored at least 7 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A benchmark for vericoding: formally verified program synthesis.

Sergiu Bursuc, Theodore Ehrenborg, Shaowei Lin, Lacramioara Astefanoaei, Ionel Emilian Chiosa, Jure Kukovec, Alok Singh, Oliver Butterley, Adem Bizid, Quinn Dougherty, Miranda Zhao, Max Tan, Max Tegmark

CoRR, September, 2025

Technical Report: Exploring Automatic Model-Checking of the Ethereum specification.

Igor Konnov, Jure Kukovec, Thomas Pani, Roberto Saltini, Thanh-Hai Tran

CoRR, January, 2025

2023

Symbolic Model Checking for TLA+ Made Faster.

Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2019

TLA+ model checking made symbolic.

Igor Konnov, Jure Kukovec, Thanh-Hai Tran

Proc. ACM Program. Lang., 2019

Reachability Analysis for AWS-Based Networks.

John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Reachability in Parameterized Systems: All Flavors of Threshold Automata.

Jure Kukovec, Igor Konnov, Josef Widder

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Extracting Symbolic Transitions from TLA⁺ Specifications.

Jure Kukovec, Thanh-Hai Tran, Igor Konnov

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018