Topics in monitoring and planning for embedded real-time systems
<p>The verification of real-time systems has gained much interest in the formal verification community during the past two decades. In this thesis, we investigate two real-time verification problems that benefit from the techniques normally used in untimed verification.</p> <p>The...
Váldodahkki: | Ho, H |
---|---|
Eará dahkkit: | Ouaknine, J |
Materiálatiipa: | Oahppočájánas |
Giella: | English |
Almmustuhtton: |
2015
|
Fáttát: |
Geahča maid
Geahča maid
-
Saturation methods for global model-checking pushdown systems
Dahkki: Hague, M
Almmustuhtton: (2009) -
Tractable query answering for description logics via query rewriting
Dahkki: Perez-Urbina, H, et al.
Almmustuhtton: (2010) -
Synthesis and alternating automata over real time
Dahkki: Jenkins, M, et al.
Almmustuhtton: (2012) -
A framework of trust in service workflows
Dahkki: Viriyasitavat, W
Almmustuhtton: (2013) -
Quantitative verification of real-time properties with application to medical devices
Dahkki: Marco Diciolla, M, et al.
Almmustuhtton: (2014)