Ondrej Sery

25 papers A* 1A 1B 7C 2Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2017 J jnl
Flexible SAT-based framework for incremental bounded upgrade checking.
Int. J. Softw. Tools Technol. Transf.
Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina
2015 — ch.
Function Summarization-Based Bounded Model Checking.
Validation of Evolving Software
Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
2015 — ch.
Incremental Upgrade Checking.
Validation of Evolving Software
Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
2013 — conf
PINCETTE - Validating Changes and Upgrades in Networked Software.
CSMR
Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig
2013 J jnl
Threaded behavior protocols.
Formal Aspects Comput.
Tomás Poch, Ondrej Sery, Frantisek Plásil, Jan Kofron
2013 A conf
eVolCheck: Incremental Upgrade Checker for C.
TACAS
Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina
2012 B conf
FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization.
ATVA
Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
2012 B conf
Incremental upgrade checking by means of interpolation-based function summaries.
FMCAD
Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
2012 A* conf
Leveraging Interpolant Strength in Model Checking.
CAV
Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina
2011 — conf
Function Summaries in Software Upgrade Checking.
Haifa Verification Conference
Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina
2011 — conf
Interpolation-Based Function Summaries in Bounded Model Checking.
Haifa Verification Conference
Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
2011 — conf
Strengthening Component Architectures by Modeling Fine-Grained Entities.
EUROMICRO-SEAA
Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery
2009 — conf
Applicability of the BLAST Model Checker: An Industrial Case Study.
Ershov Memorial Conference
Emanuel Kolb, Ondrej Sery, Roland Weiss
2009 B conf
Enhanced Property Specification and Verification in BLAST.
FASE
Ondrej Sery
2009 J jnl
Modes in component behavior specification via EBP and their application in product lines.
Inf. Softw. Technol.
Jan Kofron, Frantisek Plásil, Ondrej Sery
2009 — conf
On Teaching Formal Methods: Behavior Models and Code Analysis.
TFM
Jan Kofron, Pavel Parízek, Ondrej Sery
2009 B conf
UnitCheck: Unit Testing and Model Checking Combined.
ATVA
Michal Kebrt, Ondrej Sery
2008 C conf
Making Components Fit: SPINing.
SEW
Jan Kofron, Tomás Poch, Ondrej Sery
2008 C conf
TBP: Code-Oriented Component Behavior Specification.
SEW
Jan Kofron, Tomás Poch, Ondrej Sery
2007 — conf
CoCoME in Fractal.
CoCoME
Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parízek, Frantisek Plásil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma
2007 — conf
CoCoME in SOFA.
CoCoME
Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plásil, Tomás Poch, Ondrej Sery, Petr Tuma
2007 B conf
Simulation Level of Detail for Virtual Humans.
IVA
Cyril Brom, Ondrej Sery, Tomás Poch
2007 — conf
Slicing of Component Behavior Specification with Respect to Their Composition.
CBSE
Ondrej Sery, Frantisek Plásil
2006 B conf
Level-of-Detail in Behaviour of Virtual Humans.
SOFSEM
Ondrej Sery, Tomás Poch, Pavel Safrata, Cyril Brom
2005 B conf
GAL: Towards Large Simulations with Tens of Agents.
IVA
Cyril Brom, Ondrej Sery, Tomás Poch, Pavel Safrata