Michal Konecný

According to our database, Michal Konecný authored at least 24 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.

Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler

Log. Methods Comput. Sci., 2024

2023

Formalizing Hyperspaces for Extracting Efficient Exact Real Computation.

Michal Konecný, Sewon Park, Holger Thies

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

Extracting efficient exact real number computation from proofs in constructive type theory.

Michal Konecný, Sewon Park, Holger Thies

CoRR, 2022

Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers.

Junaid Rasheed, Michal Konecný

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Certified Computation of Nondeterministic Limits.

Michal Konecný, Sewon Park, Holger Thies

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Representations and evaluation strategies for feasibly approximable functions.

Michal Konecný, Eike Neumann

Comput., 2021

Axiomatic Reals and Certified Efficient Exact Real Computation.

Michal Konecný, Sewon Park, Holger Thies

Proceedings of the Logic, Language, Information, and Computation, 2021

2020

Continuous and Monotone Machines.

Michal Konecný, Florian Steinberg, Holger Thies

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Computable Analysis for Verified Exact Real Computation.

Michal Konecný, Florian Steinberg, Holger Thies

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2019

Implementing evaluation strategies for continuous real functions.

Michal Konecný, Eike Neumann

CoRR, 2019

2015

Regrouping Metric-Space Search Index for Search Engine Size Adaptation.

Khalil Al Ruqeishi, Michal Konecný

Proceedings of the Similarity Search and Applications - 8th International Conference, 2015

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research.

Walid Taha, Adam Duracz, Yingfu Zeng, Kevin Atkinson, Ferenc A. Bartha, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecný, Eugenio Moggi, Jawad Masood, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante

Proceedings of the Internet of Things. IoT Infrastructures, 2015

2014

Polynomial function intervals for floating-point software verification.

Jan Duracz, Michal Konecný

Ann. Math. Artif. Intell., 2014

Function Interval Arithmetic.

Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

Enclosing the behavior of a hybrid system up to and beyond a Zeno point.

Michal Konecný, Walid Taha, Jan Duracz, Adam Duracz, Aaron D. Ames

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2011

Integration of secure agents with a secure communication infrastructure for crisis management.

Zoltán Balogh, Emil Gatial, Ladislav Hluchý, Vlasta Hudek, Michal Konecný

Proceedings of the 2011 International Conference on Collaboration Technologies and Systems, 2011

2010

Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values.

Michal Konecný, Amin Farjudian

J. Univers. Comput. Sci., 2010

Semantics of Query-Driven Communication of Exact Values.

Michal Konecný, Amin Farjudian

J. Univers. Comput. Sci., 2010

2008

A type system with usage aspects.

David Aspinall, Martin Hofmann, Michal Konecný

J. Funct. Program., 2008

Time Complexity and Convergence Analysis of Domain Theoretic Picard Method.

Amin Farjudian, Michal Konecný

Proceedings of the Logic, 2008

2004

Real functions incrementally computable by finite automata.

Michal Konecný

Theor. Comput. Sci., 2004

2003

Functional In-Place Update with Layered Datatype Sharing.

Michal Konecný

Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003

2002

Real functions computable by finite automata using affine representations.

Michal Konecný

Theor. Comput. Sci., 2002

Typing with Conditions and Guarantees for Functional In-place Update.

Michal Konecný

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002