Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229): Difference between revisions

@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Min and Max Invariants Using Max-Plus Polyhedra
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817528
@@ Property / cites work: Q4817528 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic and Topological Semantics for Timed Automata
+Normal rank
@@ Property / cites work @@
+Efficient CTMC Model Checking of Linear Real-Time Objectives
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754085
@@ Property / cites work: Q2754085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818802
@@ Property / cites work: Q4818802 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28--30, 2001. Proceedings
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264103
@@ Property / cites work: Q4264103 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved undecidability results on weighted timed automata
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Timed automata with observers under energy constraints
+Normal rank
@@ Property / cites work @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+Almost Optimal Strategies in One Clock Priced Timed Games
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Control with Observation Based and Stuttering Invariant Strategies
+Normal rank
@@ Property / cites work @@
+Energy Parity Games
@@ Property / cites work: Energy Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Mean-payoff and Energy Games
@@ Property / cites work: Generalized Mean-payoff and Energy Games / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum and maximum delay problems in real-time systems
+Normal rank
@@ Property / cites work @@
+Statistical Model Checking for Networks of Priced Timed Automata
+Normal rank
@@ Property / cites work @@
+Q3370733
@@ Property / cites work: Q3370733 / rank @@
+Normal rank
@@ Property / cites work @@
+Energy Games in Multiweighted Automata
@@ Property / cites work: Energy Games in Multiweighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Discount-Optimal Infinite Runs in Priced Timed Automata
+Normal rank
@@ Property / cites work @@
+Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Semantics and Verification of a Language for Modelling Hardware Architectures
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q2911614
@@ Property / cites work: Q2911614 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2743706
@@ Property / cites work: Q2743706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766627
@@ Property / cites work: Q2766627 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 10th international conference, TACAS 2004, held as part of the joint conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 -- April 2, 2004. Proceedings.
+Normal rank
@@ Property / cites work @@
+A characterization of the minimum cycle mean in a digraph
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551180
@@ Property / cites work: Q4551180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939617
@@ Property / cites work: Q4939617 / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Optimal reachability for multi-priced timed automata
+Normal rank
@@ Property / cites work @@
+Formal design and analysis of a gear controller
@@ Property / cites work: Formal design and analysis of a gear controller / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis for timed automata using max-plus algebra
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Q4945220
@@ Property / cites work: Q4945220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418006
@@ Property / cites work: Q4418006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26--28, 2005. Proceedings
+Normal rank
@@ Property / cites work @@
+On the Interval-Bound Problem for Weighted Timed Automata
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
+Normal rank
@@ Property / cites work @@
+Q4493880
@@ Property / cites work: Q4493880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5783814
@@ Property / cites work: Q5783814 / rank @@
+Normal rank