Ondrej Sery

FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization

Grigory Fedyukovich, Natasha Sharygina, Ondrej Sery, 2012, ATVA.

eVolCheck: Incremental Upgrade Checker for C

Grigory Fedyukovich, Natasha Sharygina, Ondrej Sery, 2013, TACAS.

The establishment of inter-municipal cooperation: the case of a polycentric post-socialist region

Ondrej Sery, Filip Alexandrescu, Ondřej Mulíček, 2020 .

Under consideration for publication in Formal Aspects of Computing Threaded Behavior Protocols 1

Ondrej Sery, F. Plášil, J. Kofron, 2011 .

Threaded Behavior Protocols 1

Ondrej Sery, F. Plášil, J. Kofron, 2011 .