Ondrej Sery

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Flexible SAT-based framework for incremental bounded upgrade checking.
Int. J. Softw. Tools Technol. Transf., 2017

2015
Incremental Upgrade Checking.
Proceedings of the Validation of Evolving Software, 2015

Function Summarization-Based Bounded Model Checking.
Proceedings of the Validation of Evolving Software, 2015

2013
Threaded behavior protocols.
Formal Aspects Comput., 2013

eVolCheck: Incremental Upgrade Checker for C.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012
Incremental upgrade checking by means of interpolation-based function summaries.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

Leveraging Interpolant Strength in Model Checking.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Interpolation-Based Function Summaries in Bounded Model Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2011

Function Summaries in Software Upgrade Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2011

Strengthening Component Architectures by Modeling Fine-Grained Entities.
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.
Inf. Softw. Technol., 2009

On Teaching Formal Methods: Behavior Models and Code Analysis.
Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Enhanced Property Specification and Verification in BLAST.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

Applicability of the BLAST Model Checker: An Industrial Case Study.
Proceedings of the Perspectives of Systems Informatics, 2009

UnitCheck: Unit Testing and Model Checking Combined.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
TBP: Code-Oriented Component Behavior Specification.
Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

Making Components Fit: SPINing.
Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

2007
Simulation Level of Detail for Virtual Humans.
Proceedings of the Intelligent Virtual Agents, 7th International Conference, 2007

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

CoCoME in Fractal.
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.
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

2006
Level-of-Detail in Behaviour of Virtual Humans.
Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

2005
GAL: Towards Large Simulations with Tens of Agents.
Proceedings of the Intelligent Virtual Agents, 5th International Working Conference, 2005


  Loading...