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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Normalize DOI.
 
(14 intermediate revisions by 7 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s11241-014-9208-6 / rank
Normal rank
 
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68M20 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68Q60 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6390325 / rank
 
Normal rank
Property / zbMATH Keywords
 
real-time specification
Property / zbMATH Keywords: real-time specification / rank
 
Normal rank
Property / zbMATH Keywords
 
parametric timed verification
Property / zbMATH Keywords: parametric timed verification / rank
 
Normal rank
Property / zbMATH Keywords
 
model checking
Property / zbMATH Keywords: model checking / rank
 
Normal rank
Property / zbMATH Keywords
 
robustness
Property / zbMATH Keywords: robustness / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: VINAS-P / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: PPL / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: IMITATOR / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Uppaal / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Shrinktech / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: TREX / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: HyTech / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: PAT / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2068710718 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4472231 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Scheduling with timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Robustness of Time Petri Nets under Guard Enlargement / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Methods for the Design of Real-Time Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parametric real-time reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4929342 / rank
 
Normal rank
Property / cites work
 
Property / cites work: AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA / rank
 
Normal rank
Property / cites work
 
Property / cites work: Behavioral Cartography of Timed Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Merge and Conquer: State Merging in Parametric Timed Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4551165 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4251920 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5322945 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Modeling and Analysis of Timed Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lectures on Concurrency and Petri Nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the power of non-observable actions in timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4264103 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Timed Automata Can Always Be Made Implementable / rank
 
Normal rank
Property / cites work
 
Property / cites work: Robust Reachability in Timed Automata: A Game-Based Approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: Robustness in Timed Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decision problems for lower/upper bound parametric timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integrated Formal Methods / rank
 
Normal rank
Property / cites work
 
Property / cites work: Timed verification of the generic architecture of a memory circuit using parametric timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: The octahedron abstract domain / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2754081 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Specification and Proof in Real Time CSP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Time Separation of Events: An Inverse Method / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symbolic model checking for real-time systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: HyTech: A model checker for hybrid systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3777424 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4737563 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear parametric model checking of timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantitative Robustness Analysis of Flat Timed Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integer Parameter Synthesis for Timed Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounded Model Checking for Parametric Timed Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uppaal in a nutshell / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4494239 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5590814 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4457839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3818127 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4804897 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S11241-014-9208-6 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 19:10, 9 December 2024

scientific article
Language Label Description Also known as
English
Parameter synthesis for hierarchical concurrent real-time systems
scientific article

    Statements

    Parameter synthesis for hierarchical concurrent real-time systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    23 January 2015
    0 references
    real-time specification
    0 references
    parametric timed verification
    0 references
    model checking
    0 references
    robustness
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers