Ondrej Sery

发表

Jan Kofron, Ondrej Sery, Pavel Parízek, 2009, TFM.
Ondrej Sery, Cyril Brom, Tomás Poch, 2006, SOFSEM.
Grigory Fedyukovich, Natasha Sharygina, Ondrej Sery, 2015, Validation of Evolving Software.
Grigory Fedyukovich, Natasha Sharygina, Ondrej Sery, 2013, TACAS.
Grigory Fedyukovich, Natasha Sharygina, Ondrej Sery, 2012, ATVA.
Jan Kofron, Ondrej Sery, Tomás Poch, 2008, 2008 32nd Annual IEEE Software Engineering Workshop.
Petr Tuma, Martin Decký, Petr Hnetynka, 2007, CoCoME.
Natasha Sharygina, Simone Rollini, Ondrej Sery, 2012, CAV.
Jan Kofron, Frantisek Plasil, Ondrej Sery, 2009, Inf. Softw. Technol..
Petr Tuma, Martin Decký, Thierry Coupaye, 2007, CoCoME.
Ondrej Sery, Michal Kebrt, 2009, ATVA.
Grigory Fedyukovich, Natasha Sharygina, Ondrej Sery, 2015, Validation of Evolving Software.
Ondrej Sery, Cyril Brom, Tomás Poch, 2005, IVA.
Grigory Fedyukovich, Natasha Sharygina, Ondrej Sery, 2015, International Journal on Software Tools for Technology Transfer.
Roland J. Weiss, Ondrej Sery, Emanuel Kolb, 2009, Ershov Memorial Conference.
Grigory Fedyukovich, Natasha Sharygina, Ondrej Sery, 2011, Haifa Verification Conference.
Ondrej Sery, Cyril Brom, Tomás Poch, 2007, IVA.
Jan Kofron, Ondrej Sery, Tomás Poch, 2008, 2008 32nd Annual IEEE Software Engineering Workshop.
Tomás Bures, Ondrej Sery, Michal Malohlava, 2011, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.
Jan Kofron, Frantisek Plasil, Ondrej Sery, 2011, Formal Aspects of Computing.
Grigory Fedyukovich, Natasha Sharygina, Ondrej Sery, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).
Grigory Fedyukovich, Natasha Sharygina, Ondrej Sery, 2011, Haifa Verification Conference.