« Previous | 1 - 10 of 22 |
1
Thesis icon
Thesis

Topics in monitoring and planning for embedded real-time systems

  • Ho, H
  • 2015
2
Thesis icon
Thesis

Synthesis and alternating automata over real time

  • Jenkins, M, Mark Jenkins
  • 2012
3
Thesis icon
Thesis

Formal methods for the analysis of wireless network protocols

  • Fruth, M
  • 2011
4
Thesis icon
Thesis

Verification of asynchronous concurrency and the shaped stack constraint

  • Kochems, J
  • 2014
5
Book section icon
Book section

An interpolating decision procedure for transitive relations with uninterpreted functions

  • Kroening, D, Weissenbacher, G
  • 2009-01-01
6
Thesis icon
Thesis

Higher-order semantics for quantum programming languages with classical control

  • Atzemoglou, GP
  • 2012
7
Journal article icon
Journal article

A hierarchy of failures-based models: theory and application

  • Bolton, C, Lowe, G
  • 2005-02-01
8
Thesis icon
Thesis

The formal semantics of a domain-specific modelling language

  • Grealish, C
  • 2010
9
Thesis icon
Thesis

Exploiting whole-PDB analysis in novel bioinformatics applications

  • Ramraj, V
  • 2014
10
Thesis icon
Thesis

Program analysis with interpolants

  • Weissenbacher, G, Georg Weissenbacher
  • 2010
FILTER RESULTS

TO TOP