Travelled to:1 × United Kingdom
2 × Italy
2 × USA
Collaborated with:N.Sharygina ∅ F.Plasil G.Fedyukovich S.F.Rollini H.Chockler G.Denaro M.Ling A.E.J.Hyvärinen L.Mariani A.Muhammad M.Oriol A.Rajan M.Tautschnig
Talks about:upgrad (2) specif (2) increment (1) evolcheck (1) strength (1) properti (1) interpol (1) composit (1) behavior (1) softwar (1)
Person: Ondrej Sery
DBLP: Sery:Ondrej
Contributed to:
2013
2013
2012
2009
2007Wrote 5 papers:
- CSMR-2013-ChocklerDLFHMMORSST #named #validation
- PINCETTE — Validating Changes and Upgrades in Networked Software (HC, GD, ML, GF, AEJH, LM, AM, MO, AR, OS, NS, MT), pp. 461–464.
- TACAS-2013-FedyukovichSS #c #incremental #named
- eVolCheck: Incremental Upgrade Checker for C (GF, OS, NS), pp. 292–307.
- CAV-2012-RolliniSS #model checking
- Leveraging Interpolant Strength in Model Checking (SFR, OS, NS), pp. 193–209.
- FASE-2009-Sery #specification #verification
- Enhanced Property Specification and Verification in BLAST (OS), pp. 456–469.
- CBSE-2007-SeryP #behaviour #component #composition #slicing #specification
- Slicing of Component Behavior Specification with Respect to Their Composition (OS, FP), pp. 189–202.