|
1.
|
Book
|
Open Systems Dependability: Dependability Engineering for Ever-Changing Systems, Second Edition
2015
|
|
2.
|
Papers
|
A modelling approach for system life cycles assurance
(Collaboration)
2019
|
|
3.
|
Papers
|
Assurance Case as a Proof in a Theory - towards formulation of rebuttals
(Collaboration)
2013
|
|
4.
|
Papers
|
Using a Proof Assistant to Construct Assurance Cases - Correctness by Construction (Fast abstract)
(Collaboration)
2012
|
|
5.
|
Papers
|
Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications
(Collaboration)
2010
|
|
6.
|
Papers
|
Towards a Language for Communication among Stakeholders
(Collaboration)
2010
|
|
7.
|
Papers
|
Toward User Oriented Dependability Standard for Future Embedded Systems
(Collaboration)
2009
|
|
8.
|
Papers
|
A Logical Framework with Dependently Typed Records
(Collaboration)
2005/02
|
|
9.
|
Papers
|
An Emacs Interaface for Type-Directed Support for Constructing Proofs and Programs
(Collaboration)
2005
|
|
10.
|
Papers
|
Random Generators for Dependent Types
(Collaboration)
2005
|
|
11.
|
Papers
|
Verifying Haskell Programs by Combining, Model Checking and Interactive Theorem Proving
(Collaboration)
2004/12
|
|
12.
|
Papers
|
A Logical Framework with Dependently Typed Record (proceedings version)
(Collaboration)
2003
|
|
13.
|
Papers
|
Combining Testing and Proving in Dependent Type Theory
(Collaboration)
2003
|
|
14.
|
Papers
|
Verifying Haskell Programs by Combining Testing and Proving
(Collaboration)
2003
|
|
15.
|
Papers
|
An implementation of Type:Type
(Collaboration)
2002
|
|
16.
|
Papers
|
Bireflectivity
(Collaboration)
1999
|
|
17.
|
Papers
|
Sketches
(Collaboration)
1999
|
|
18.
|
Papers
|
Syntactic Control of Interference Revisited
(Collaboration)
1999
|
|
19.
|
Papers
|
An axiomatic approach to binary logical relations with applications to data refinement
(Collaboration)
1997
|
|
20.
|
Papers
|
Sketches (proceedings version)
(Collaboration)
1997
|
|
21.
|
Papers
|
Bireflectivity (proceedings version)
(Collaboration)
1995
|
|
22.
|
Papers
|
Syntactic Control of Interference Revisited (proceedings version)
(Collaboration)
1995
|
|
5 display
|
|
All display(22)
|
