Topics in monitoring and planning for embedded real-time systems

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...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Ho, H
Tác giả khác:	Ouaknine, J
Định dạng:	Luận văn
Ngôn ngữ:	English
Được phát hành:	2015
Những chủ đề:	Applications and algorithms Computer science (mathematics) Modal logic Theory and automated verification

Những quyển sách tương tự

Saturation methods for global model-checking pushdown systems
Bằng: Hague, M
Được phát hành: (2009)

Tractable query answering for description logics via query rewriting
Bằng: Perez-Urbina, H, et al.
Được phát hành: (2010)

Synthesis and alternating automata over real time
Bằng: Jenkins, M, et al.
Được phát hành: (2012)

A framework of trust in service workflows
Bằng: Viriyasitavat, W
Được phát hành: (2013)

Quantitative verification of real-time properties with application to medical devices
Bằng: Marco Diciolla, M, et al.
Được phát hành: (2014)

EL-ifying ontologies
Bằng: Carral, D, et al.
Được phát hành: (2014)

Pushing the boundaries of tractable ontology reasoning
Bằng: Carral, D, et al.
Được phát hành: (2014)

Verification of asynchronous concurrency and the shaped stack constraint
Bằng: Kochems, J
Được phát hành: (2014)

Reasoning with !-graphs
Bằng: Merry, A
Được phát hành: (2013)

Higher-order semantics for quantum programming languages with classical control
Bằng: Atzemoglou, GP
Được phát hành: (2012)

On learning assumptions for compositional verification of probabilistic systems
Bằng: Feng, L
Được phát hành: (2014)

Repairing strings and trees
Bằng: Riveros Jaeger, C
Được phát hành: (2013)

An interpolating decision procedure for transitive relations with uninterpreted functions
Bằng: Kroening, D, et al.
Được phát hành: (2009)

Abstract satisfaction
Bằng: Haller, L
Được phát hành: (2013)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
Bằng: D'Costa, J, et al.
Được phát hành: (2022)

Static analyses over weak memory
Bằng: Nimal, V, et al.
Được phát hành: (2014)

Program analysis with interpolants
Bằng: Weissenbacher, G, et al.
Được phát hành: (2010)

Formal methods for the analysis of wireless network protocols
Bằng: Fruth, M
Được phát hành: (2011)

Reasoning under minimal upper bounds in propositional logic
Bằng: Eiter, T, et al.
Được phát hành: (2006)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
Bằng: Baier, C, et al.
Được phát hành: (2022)

Reachability and escape problems in linear dynamical systems
Bằng: Dcosta, J
Được phát hành: (2024)

Central limit model checking
Bằng: Bortolussi, L, et al.
Được phát hành: (2018)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
Bằng: Adams, S
Được phát hành: (2014)

Skolem meets Schanuel
Bằng: Bilu, Y, et al.
Được phát hành: (2022)

Scalable reasoning for description logics
Bằng: Shearer, R
Được phát hành: (2011)

A hierarchy of failures-based models: theory and application
Bằng: Bolton, C, et al.
Được phát hành: (2005)

Pictures of processes
Bằng: Kissinger, A
Được phát hành: (2011)

Predicate Abstraction of ANSI-C Programs Using SAT
Bằng: Clarke, E, et al.
Được phát hành: (2004)

Universal Horn Sentences and the Joint Embedding Property
Bằng: Manuel Bodirsky, et al.
Được phát hành: (2022-05-01)

Continuous hidden Markov models and the sequential probability ratio test
Bằng: Darwin, O
Được phát hành: (2023)

Program synthesis from domain specific object models
Bằng: Faitelson, D
Được phát hành: (2008)

Monotonicity in shared-memory program verification
Bằng: Kaiser, A
Được phát hành: (2013)

Approach on runtime monitoring based on the embedded trusted platforms
Bằng: Zhao-chang SUN, et al.
Được phát hành: (2017-10-01)

Approach on runtime monitoring based on the embedded trusted platforms
Bằng: Zhao-chang SUN,Jian-feng MA,Cong SUN,Di LU
Được phát hành: (2017-10-01)

Automated quantitative software verification
Bằng: Kattenbelt, M
Được phát hành: (2010)

Forward looking logics and automata
Bằng: Ley, C
Được phát hành: (2011)

Intersection types and higer-order model checking
Bằng: Ramsay, S, et al.
Được phát hành: (2014)

Precise verification of C programs
Bằng: Lewis, M
Được phát hành: (2014)

Probabilistic guarded commands mechanized in HOL
Bằng: Hurd, J, et al.
Được phát hành: (2005)

Incremental modelling for verified communication architectures
Bằng: Boehm, P, et al.
Được phát hành: (2011)