Michal Konecný

29 papers B 4C 2Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Extracting efficient exact real number computation from proofs in constructive type theory.
J. Log. Comput.
Michal Konecný, Sewon Park, Holger Thies
2024 J jnl
Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers.
CoRR
Michal Konecný, Sewon Park, Holger Thies
2024 J jnl
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.
Log. Methods Comput. Sci.
Sewon Park, Franz Brauße, Pieter Collins, Sunyoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
2023 B conf
Formalizing Hyperspaces for Extracting Efficient Exact Real Computation.
MFCS
Michal Konecný, Sewon Park, Holger Thies
2022 B conf
Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers.
SEFM
Junaid Rasheed, Michal Konecný
2022 J jnl
Auto-active Verification of Floating-point Programs via Nonlinear Real Provers.
CoRR
Junaid Rasheed, Michal Konecný
2022 — conf
Certified Computation of Nondeterministic Limits.
NFM
Michal Konecný, Sewon Park, Holger Thies
2022 J jnl
Extracting efficient exact real number computation from proofs in constructive type theory.
CoRR
Michal Konecný, Sewon Park, Holger Thies
2021 C conf
Axiomatic Reals and Certified Efficient Exact Real Computation.
WoLLIC
Michal Konecný, Sewon Park, Holger Thies
2021 J jnl
Representations and evaluation strategies for feasibly approximable functions.
Comput.
Michal Konecný, Eike Neumann
2020 — conf
Computable Analysis for Verified Exact Real Computation.
FSTTCS
Michal Konecný, Florian Steinberg, Holger Thies
2020 B conf
Continuous and Monotone Machines.
MFCS
Michal Konecný, Florian Steinberg, Holger Thies
2020 J jnl
Continuous and monotone machines.
CoRR
Michal Konecný, Florian Steinberg, Holger Thies
2019 J jnl
Implementing evaluation strategies for continuous real functions.
CoRR
Michal Konecný, Eike Neumann
2017 J jnl
Representations and evaluation strategies for feasibly approximable functions.
CoRR
Michal Konecný, Eike Neumann
2015 — conf
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research.
IoT 360 (1)
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
2015 B conf
Regrouping Metric-Space Search Index for Search Engine Size Adaptation.
SISAP
Khalil Al Ruqeishi, Michal Konecný
2014 — conf
Function Interval Arithmetic.
ICMS
Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha
2014 J jnl
Polynomial function intervals for floating-point software verification.
Ann. Math. Artif. Intell.
Jan Duracz, Michal Konecný
2013 — conf
Enclosing the behavior of a hybrid system up to and beyond a Zeno point.
CPSNA
Michal Konecný, Walid Taha, Jan Duracz, Adam Duracz, Aaron D. Ames
2011 — conf
Integration of secure agents with a secure communication infrastructure for crisis management.
CTS
Zoltán Balogh, Emil Gatial, Ladislav Hluchý, Vlasta Hudek, Michal Konecný
2010 J jnl
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values.
J. Univers. Comput. Sci.
Michal Konecný, Amin Farjudian
2010 J jnl
Semantics of Query-Driven Communication of Exact Values.
J. Univers. Comput. Sci.
Michal Konecný, Amin Farjudian
2008 J jnl
A type system with usage aspects.
J. Funct. Program.
David Aspinall, Martin Hofmann, Michal Konecný
2008 C conf
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method.
WoLLIC
Amin Farjudian, Michal Konecný
2004 J jnl
Real functions incrementally computable by finite automata.
Theor. Comput. Sci.
Michal Konecný
2003 — conf
Functional In-Place Update with Layered Datatype Sharing.
TLCA
Michal Konecný
2002 J jnl
Real functions computable by finite automata using affine representations.
Theor. Comput. Sci.
Michal Konecný
2002 — conf
Typing with Conditions and Guarantees for Functional In-place Update.
TYPES
Michal Konecný