Filip Konecný
Orcid: 0000-0001-5930-8040
According to our database1,
Filip Konecný
authored at least 11 papers
between 2009 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
2015
2016
2017
0
1
2
3
4
1
1
1
1
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Int. J. Softw. Tools Technol. Transf., 2017
2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
2015
Real-time telemetric physiologic recordings of ventricle pressure-volume in an awake swine model with histopathological evaluation.
Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2015
2014
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014
2012
Relační verifikace programů s celočíselnými daty (Relational Verification of Programs with Integer Data; Vérification relationnelle pour des programmes avec des données entières).
PhD thesis, 2012
Proceedings of the FM 2012: Formal Methods, 2012
Proceedings of the Automated Technology for Verification and Analysis, 2012
2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Second International Workshop on Invariant Generation, 2010
2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009