Jure Kukovec

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

Collaborative distances:

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

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

2020

Extracting symbolic transitions from TLA⁺ specifications.

Jure Kukovec, Thanh-Hai Tran, Igor Konnov

Sci. Comput. Program., 2020

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