Parameter synthesis for hierarchical concurrent real-time systems (Q488231): Difference between revisions

@@ Property / DOI @@
-.1007/s11241-014-9208-6
@@ Property / DOI: 10.1007/s11241-014-9208-6 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2068710718
@@ Property / OpenAlex ID: W2068710718 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472231
@@ Property / cites work: Q4472231 / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling with timed automata
@@ Property / cites work: Scheduling with timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Robustness of Time Petri Nets under Guard Enlargement
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4929342
@@ Property / cites work: Q4929342 / 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 @@
+Behavioral Cartography of Timed Automata
@@ Property / cites work: Behavioral Cartography of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Merge and Conquer: State Merging in Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs
+Normal rank
@@ Property / cites work @@
+Q4551165
@@ Property / cites work: Q4551165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251920
@@ Property / cites work: Q4251920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+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 @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of non-observable actions in timed automata
+Normal rank
@@ Property / cites work @@
+Q4264103
@@ Property / cites work: Q4264103 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Automata Can Always Be Made Implementable
@@ Property / cites work: Timed Automata Can Always Be Made Implementable / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Reachability in Timed Automata: A Game-Based Approach
+Normal rank
@@ Property / cites work @@
+Robustness in Timed Automata
@@ Property / cites work: Robustness in Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for lower/upper bound parametric timed automata
+Normal rank
@@ Property / cites work @@
+Integrated Formal Methods
@@ Property / cites work: Integrated Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Timed verification of the generic architecture of a memory circuit using parametric timed automata
+Normal rank
@@ Property / cites work @@
+The octahedron abstract domain
@@ Property / cites work: The octahedron abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and Proof in Real Time CSP
@@ Property / cites work: Specification and Proof in Real Time CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Time Separation of Events: An Inverse Method
@@ Property / cites work: Time Separation of Events: An Inverse Method / 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 @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737563
@@ Property / cites work: Q4737563 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear parametric model checking of timed automata
+Normal rank
@@ Property / cites work @@
+Quantitative Robustness Analysis of Flat Timed Automata
+Normal rank
@@ Property / cites work @@
+Integer Parameter Synthesis for Timed Automata
@@ Property / cites work: Integer Parameter Synthesis for Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Model Checking for Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494239
@@ Property / cites work: Q4494239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457839
@@ Property / cites work: Q4457839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804897
@@ Property / cites work: Q4804897 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11241-014-9208-6
@@ Property / DOI: 10.1007/S11241-014-9208-6 / rank @@
+Normal rank