Q5094115 (Q5094115): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
@@ Property / cites work: AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA / 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 @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q5208876
@@ Property / cites work: Q5208876 / rank @@
+Normal rank
@@ Property / cites work @@
+Integer-complete synthesis for bounded parametric timed automata
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+TCTL model checking lower/upper-bound parametric timed automata without invariants
+Normal rank
@@ Property / cites work @@
+Q4989408
@@ Property / cites work: Q4989408 / rank @@
+Normal rank
@@ Property / cites work @@
+Durations and parametric model-checking in timed automata
+Normal rank
@@ Property / cites work @@
+Decision problems for lower/upper bound parametric timed automata
+Normal rank
@@ Property / cites work @@
+Advances in Parametric Real-Time Reasoning
@@ Property / cites work: Advances in Parametric Real-Time Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On parametric timed automata and one-counter machines
+Normal rank
@@ Property / cites work @@
+Real-Time Model-Checking: Parameters everywhere
@@ Property / cites work: Real-Time Model-Checking: Parameters everywhere / rank @@
+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 @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q4536599
@@ Property / cites work: Q4536599 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust parametric reachability for timed automata
@@ Property / cites work: Robust parametric reachability for timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Linear parametric model checking of timed automata
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953401
@@ Property / cites work: Q4953401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994958
@@ Property / cites work: Q4994958 / rank @@
+Normal rank
@@ Property / cites work @@
+Untimed Language Preservation in Timed Systems
@@ Property / cites work: Untimed Language Preservation in Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4929342
@@ Property / cites work: Q4929342 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of timed systems using time-abstracting bisimulations
+Normal rank
@@ Property / cites work @@
+Parametric timing analysis for real-time systems
@@ Property / cites work: Parametric timing analysis for real-time systems / rank @@
+Normal rank