HyTech
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Model-checking timed temporal logics
- Dynamical properties of timed automata
- CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems
- scientific article; zbMATH DE number 1956630 (Why is no real title available?)
- A survey of timed automata for the development of real-time systems
- scientific article; zbMATH DE number 1444347 (Why is no real title available?)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Formal Verification Applied to Robotic Surgery
- Non-convex invariants and urgency conditions on linear hybrid automata
- Geometric Model Checking of Continuous Space
- Continuous modeling of real-time and hybrid systems: From concepts to tools
- High-automation proofs for properties of requirements models
- Integrating tools in the ETI platform
- Interacting with ETI: A user session
- Positive loop-closed automata: A decidable class of hybrid systems
- scientific article; zbMATH DE number 1444341 (Why is no real title available?)
- A logical reconstruction of reachability
- Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
- scientific article; zbMATH DE number 1670801 (Why is no real title available?)
- Exploring optimal solution to hardware/software partitioning for synchronous model
- Fixpoint-Guided Abstraction Refinements
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Hybrid Systems: Computation and Control
- Modelling and analysing neural networks using a hybrid process algebra
- Petri net analysis using invariant generation
- Hybrid Systems: Computation and Control
- scientific article; zbMATH DE number 1670789 (Why is no real title available?)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
- scientific article; zbMATH DE number 910719 (Why is no real title available?)
- SMT-based scenario verification for hybrid systems
- Parametric probabilistic transition systems for system design and analysis
- scientific article; zbMATH DE number 1444343 (Why is no real title available?)
- scientific article; zbMATH DE number 1301631 (Why is no real title available?)
- scientific article; zbMATH DE number 1956640 (Why is no real title available?)
- scientific article; zbMATH DE number 2222691 (Why is no real title available?)
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
- scientific article; zbMATH DE number 1962849 (Why is no real title available?)
- Scheduler modeling based on the controller synthesis paradigm
- Automated Technology for Verification and Analysis
- A compared study of two correctness proofs for the standardized algorithm of ABR conformance
- HYPE: hybrid modelling by composition of flows
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
- Semantics and pragmatics of real-time maude
- scientific article; zbMATH DE number 2090856 (Why is no real title available?)
- A Kleene-Schützenberger theorem for weighted timed automata
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- Hybrid automata as a modelling approach in the behavioural sciences
- Reachability analysis of linear systems with stepwise constant inputs
- scientific article; zbMATH DE number 1670795 (Why is no real title available?)
- Synthesis of optimal strategies using \textsc{HyTech}
- Formal Modeling and Analysis of Timed Systems
- scientific article; zbMATH DE number 1303058 (Why is no real title available?)
- scientific article; zbMATH DE number 1759410 (Why is no real title available?)
- scientific article; zbMATH DE number 1948388 (Why is no real title available?)
- scientific article; zbMATH DE number 1962792 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata
- scientific article; zbMATH DE number 1538050 (Why is no real title available?)
- scientific article; zbMATH DE number 1796141 (Why is no real title available?)
- Efficient Symbolic Representations for Arithmetic Constraints in Verification
- Quantitative Model Checking for a Controller Design
- Languages and Tools for Hybrid Systems Design
- Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming
- Rigorous simulation-based analysis of linear hybrid systems
- scientific article; zbMATH DE number 1693530 (Why is no real title available?)
- Towards Component Based Design of Hybrid Systems: Safety and Stability
- Cyber-physical systems
- Approximate simulation relations for hybrid systems
- Action language verifier: An infinite-state model checker for reactive software specifications
- Trajectory-based theory for hybrid systems
- Fairness of transitions in diagnosability of discrete event systems
- Differential dynamic logic for hybrid systems
- Efficient constraint/generator removal from double description of polyhedra
- SPHIN: a model checker for reconfigurable hybrid systems based on SPIN
- Equivalent Piecewise Affine Models of Linear Hybrid Automata
- COLIN: planning with continuous linear numeric change
- scientific article; zbMATH DE number 1759713 (Why is no real title available?)
- An algebra of hybrid systems
- Computer Science Logic
- Hybrid dynamics of stochastic programs
- The structure of differential invariants and differential cut elimination
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
- scientific article; zbMATH DE number 1670768 (Why is no real title available?)
- scientific article; zbMATH DE number 2079824 (Why is no real title available?)
- scientific article; zbMATH DE number 1905118 (Why is no real title available?)
- scientific article; zbMATH DE number 2090855 (Why is no real title available?)
- scientific article; zbMATH DE number 1301628 (Why is no real title available?)
- scientific article; zbMATH DE number 2140431 (Why is no real title available?)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Introduction to constraint databases
- Foundations of algebraic specification and formal software development.
- Model-based engineering of embedded systems using the hybrid process algebra Chi
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- What's decidable about hybrid automata?
- Testing timed automata
- Hybrid Systems: Computation and Control
- scientific article; zbMATH DE number 1905119 (Why is no real title available?)
This page was built for software: HyTech
