Filip Konecný

According to our database1, Filip Konecný authored at least 11 papers between 2009 and 2017.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Underapproximation of procedure summaries for integer programs.
Int. J. Softw. Tools Technol. Transf., 2017

2016
PTIME Computation of Transitive Closures of Octagonal Relations.
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
Deciding Conditional Termination
Log. Methods Comput. Sci., 2014

Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops.
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

A Verification Toolkit for Numerical Transition Systems - Tool Paper.
Proceedings of the FM 2012: Formal Methods, 2012

Accelerating Interpolants.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2010
Fast Acceleration of Ultimately Periodic Relations.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Tool Demonstration of the FLATA Counter Automata Toolset.
Proceedings of the Second International Workshop on Invariant Generation, 2010

2009
Automatic Verification of Integer Array Programs.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009


  Loading...