Ondrej Sery

According to our database, Ondrej Sery authored at least 25 papers between 2005 and 2017.

Collaborative distances:

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

2017

Flexible SAT-based framework for incremental bounded upgrade checking.

Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina

Int. J. Softw. Tools Technol. Transf., 2017

2015

Incremental Upgrade Checking.

Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

Function Summarization-Based Bounded Model Checking.

Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

2013

Threaded behavior protocols.

Tomás Poch, Ondrej Sery, Frantisek Plásil, Jan Kofron

Formal Aspects Comput., 2013

eVolCheck: Incremental Upgrade Checker for C.

Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina

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

PINCETTE - Validating Changes and Upgrades in Networked Software.

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

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012

Incremental upgrade checking by means of interpolation-based function summaries.

Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Leveraging Interpolant Strength in Model Checking.

Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization.

Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Interpolation-Based Function Summaries in Bounded Model Checking.

Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Hardware and Software: Verification and Testing, 2011

Function Summaries in Software Upgrade Checking.

Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina

Proceedings of the Hardware and Software: Verification and Testing, 2011

Strengthening Component Architectures by Modeling Fine-Grained Entities.

Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2009

Modes in component behavior specification via EBP and their application in product lines.

Jan Kofron, Frantisek Plásil, Ondrej Sery

Inf. Softw. Technol., 2009

On Teaching Formal Methods: Behavior Models and Code Analysis.

Jan Kofron, Pavel Parízek, Ondrej Sery

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Enhanced Property Specification and Verification in BLAST.

Ondrej Sery

Proceedings of the Fundamental Approaches to Software Engineering, 2009

Applicability of the BLAST Model Checker: An Industrial Case Study.

Emanuel Kolb, Ondrej Sery, Roland Weiss

Proceedings of the Perspectives of Systems Informatics, 2009

UnitCheck: Unit Testing and Model Checking Combined.

Michal Kebrt, Ondrej Sery

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

TBP: Code-Oriented Component Behavior Specification.

Jan Kofron, Tomás Poch, Ondrej Sery

Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

Making Components Fit: SPINing.

Jan Kofron, Tomás Poch, Ondrej Sery

Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

2007

Simulation Level of Detail for Virtual Humans.

Cyril Brom, Ondrej Sery, Tomás Poch

Proceedings of the Intelligent Virtual Agents, 7th International Conference, 2007

CoCoME in SOFA.

Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plásil, Tomás Poch, Ondrej Sery, Petr Tuma

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

CoCoME in Fractal.

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

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Slicing of Component Behavior Specification with Respect to Their Composition.

Ondrej Sery, Frantisek Plásil

Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

2006

Level-of-Detail in Behaviour of Virtual Humans.

Ondrej Sery, Tomás Poch, Pavel Safrata, Cyril Brom

Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

2005

GAL: Towards Large Simulations with Tens of Agents.

Cyril Brom, Ondrej Sery, Tomás Poch, Pavel Safrata

Proceedings of the Intelligent Virtual Agents, 5th International Working Conference, 2005