BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sery:Ondrej

Contributed to:

CSMR 20132013
TACAS 20132013
CAV 20122012
FASE 20092009
CBSE 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.