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.

    Fingerprint Dive into the research topics where Michal Konečný is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

    Mathematics

    Finite Automata
    Update
    Interval Arithmetic
    Query
    Interval
    Sharing
    Hybrid Automata
    Software Verification
    Heap
    Hybrid Systems
    Enclosure
    Floating point
    Polynomial function
    Data Flow
    Transducer
    Continuously differentiable
    Signed
    Digit
    Specification
    Hybrid Modeling
    Affine Function
    Event Detection
    Correctness
    Aliasing
    Specification Languages
    Valid
    Assertion
    Denotational Semantics
    First-order
    Precondition
    Reuse
    Soundness
    Simulator
    Ball
    Approximation
    Classify
    Semantics
    Binary
    Restriction
    Software
    Communication
    Theorem Proving
    Tool Support
    Cover
    Polynomial Approximation
    Graph in graph theory
    Theorem
    System Modeling
    Integral Operator
    Language

    Engineering & Materials Science

    Semantics
    Enclosures
    Finite automata
    Markup languages
    Hybrid systems
    Simulators
    Communication
    Search engines
    Testbeds
    XML
    Polynomials
    Acoustic waves
    Transducers
    Specifications
    Network protocols
    Information systems
    Specification languages
    Computational complexity
    Initial value problems
    Trajectories
    Real variables
    Computer aided design
    Computer simulation languages
    Theorem proving
    Polynomial approximation
    Computer science
    Crosswalks
    Ordinary differential equations
    Scalability
    Static analysis
    Experiments
    Data structures
    Engines
    Engineers
    Concretes
    Cyber Physical System