Photo of Michal Konečný
    • School of Engineering and Applied Science, Aston University

      B4 7ET Birmingham

      United Kingdom

    20062016
    If you made any changes in Pure these will be visible here soon.

    Research Output 2006 2016

    • 6 Conference contribution
    • 6 Article
    • 1 Technical report
    2016

    Acumen : an open-source testbed for cyber-physical systems research

    Taha, W., Duracz, A., Zeng, Y., Atkinson, K., Bartha, F. A., Brauner, P., Duracz, J., Xu, F., Cartwright, R., Konečný, M., Moggi, E., Masood, J., Andreasson, P., Inoue, J., Sant’Anna, A., Philippsen, R., Chapoutot, A., O’Malley, M., Ames, A., Gaspes, V. & 4 others, Hvatum, L., Mehta, S., Eriksson, H. & Grante, C., 18 Nov 2016, Internet of Things: IoT Infrastructures: second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers. Mandler, B., Marquez-Barja, J. & et al (eds.). Chem (CH): Springer, p. 118-130 13 p. (Lecture Notes of the Institute for Computer Sciences; vol. 169).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    Testbeds
    Computer simulation languages
    Cyber Physical System

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

    Konečný, M., Taha, W., Bartha, F. A., Duracz, J., Duracz, A. & Ames, A. D., May 2016, In : Nonlinear Analysis : Hybrid Systems. 20, p. 1-20 20 p.

    Research output: Contribution to journalArticle

    Open Access
    File
    Hybrid Automata
    Enclosures
    Enclosure
    Simulators
    Trajectories
    2015

    Regrouping metric-space search index for search engine size adaptation

    Al Ruqeishi, K. & Konečný, M., 17 Oct 2015, Similarity search and applications: 8th international conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, proceedings. Amato, G., Connor, R., Falchi, F. & Gennaro, C. (eds.). Chem (CH): Springer, p. 271-282 12 p. (Lecture notes in computer science; vol. 9371).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    Search engines
    Engines
    Experiments
    Virtual machine
    2014

    Function interval arithmetic

    Duracz, J., Farjudian, A., Konečný, M. & Taha, W., 31 Dec 2014, Mathematical software – ICMS 2014: 4th international congress, Seoul, South Korea, August 5-9, 2014, proceedings. Hong, H. & Yap, C. (eds.). Berlin (DE): Springer, p. 677-684 8 p. (Lecture Notes in Computer Science; vol. 8592).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Interval Arithmetic
    Hybrid Modeling
    Theorem proving
    Interval
    Theorem Proving

    Polynomial function intervals for floating-point software verification

    Duracz, J. & Konečný, M., 24 Apr 2014, In : Annals of Mathematics And artificial Intelligence. 70, 4, p. 351-398 48 p.

    Research output: Contribution to journalArticle

    Open Access
    File
    Software Verification
    Floating point
    Polynomial function
    Polynomials
    Specification
    2013

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

    Konečný, M., Taha, W., Duracz, J., Duracz, A. & Ames, A., 2013, 2013 IEEE 1st international conference on cyber-physical systems, networks, and applications (CPSNA). IEEE, p. 120-125 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    Enclosures
    Hybrid systems
    Hybrid Systems
    Simulators
    Hybrid Modeling
    2010

    Compositional semantics of dataflow networks with query-driven communication of exact values

    Michal Konecny, M. & Farjudian, A., 2010, In : Journal of Universal Computer Science. 16, 18, p. 2629-2656 28 p.

    Research output: Contribution to journalArticle

    File
    Data Flow
    Semantics
    Query
    Communication
    Denotational Semantics

    Semantics of query-driven communication of exact values

    Konečný, M. & Farjudian, A., 28 Sep 2010, In : Journal of Universal Computer Science. 16, 18, p. 2597-2628 32 p.

    Research output: Contribution to journalArticle

    File
    Semantics
    Query
    Network protocols
    Communication
    Computational complexity
    2008

    A type system with usage aspects

    Aspinall, D., Hofmann, M. & Konečný, M., Mar 2008, In : Journal of Functional Programming. 18, 2, p. 141-178 38 p.

    Research output: Contribution to journalArticle

    Open Access
    File
    Semantics
    Static analysis

    Time complexity and convergence analysis of domain theoretic Picard method

    Farjudian, A. & Konečný, M., 2008, Logic, language, information and computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. Hodges, W. & de Queiroz, R. (eds.). Berlin (DE): Springer, p. 149-163 15 p. (Lecture notes in computer science; vol. 5110).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    Initial value problems

    Time Complexity and Convergence Analysis of Domain Theoretic Picard Method (Extended Abstract)

    Farjudian, M. A. & Konecny, M., 23 Apr 2008.

    Research output: Working paperTechnical report

    File
    2006
    search engine
    Internet
    language
    language barrier
    sociolinguistics

    Modeling geometric rules in object based models: an XML / GML approach

    Reeves, T., Cornford, D., Konecny, M. & Ellis, J., 26 Jul 2006, Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling. Springer, Vol. 3. p. 133-148 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    Markup languages
    XML
    Information systems
    Computer aided design
    Crosswalks