Pages that link to "Item:Q5494310"

The following pages link to Formal Methods for the Design of Real-Time Systems (Q5494310):

Displaying 35 items.

• Automated formal analysis and verification: an overview (Q2871577) (← links)
• Abstraction and Completeness for Real-Time Maude (Q2873773) (← links)
• New Results on Timed Specifications (Q2890330) (← links)
• Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
• Verification of Timed-Arc Petri Nets (Q3075507) (← links)
• Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
• An Abstract Model for Proving Safety of Autonomous Urban Traffic (Q3179406) (← links)
• Employing Costs in Multiagent Systems with Timed Migration and Timed Communication (Q3297779) (← links)
• Transformations for Compositional Verification of Assumption-Commitment Properties (Q3447708) (← links)
• Timed Control with Observation Based and Stuttering Invariant Strategies (Q3510796) (← links)
• Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems (Q3510802) (← links)
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
• Compositional Abstraction in Real-Time Model Checking (Q3543301) (← links)
• Analysis of Linear Hybrid Systems in CLP (Q3617430) (← links)
• Design and Verification of Fault-Tolerant Components (Q3623817) (← links)
• A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata (Q3648831) (← links)
• A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)
• (Q4643961) (← links)
• On Implementable Timed Automata (Q5041274) (← links)
• On the Modeling of Sequential Reactive Systems by Means of Real Time Automata (Q5060075) (← links)
• (Q5089123) (← links)
• Trace Analysis Using an Event-Driven Interval Temporal Logic (Q5097635) (← links)
• Towards an Efficient Tree Automata based technique for Timed Systems (Q5111654) (← links)
• Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
• A menagerie of timed automata (Q5176174) (← links)
• Formal Verification of Graph Grammars using Mathematical Induction (Q5179351) (← links)
• Model Checking of Biological Systems (Q5300885) (← links)
• Fast Directed Model Checking Via Russian Doll Abstraction (Q5458328) (← links)
• An Introduction to Timed Automata (Q5496927) (← links)
• Verification of Linear Duration Invariants by Model Checking CTL Properties (Q5505616) (← links)
• Bonding calculus (Q6062028) (← links)
• A modeling concept for formal verification of OS-based compositional software (Q6535218) (← links)
• Learning assumptions for compositional verification of timed automata (Q6535626) (← links)
• Max-entropy sampling for deterministic timed automata under linear duration constraints (Q6546454) (← links)
• Optimal control strategies for stormwater detention ponds (Q6581280) (← links)