Bruno Langenstein

According to our database1, Bruno Langenstein authored at least 13 papers between 1996 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Formal API Specification of the PikeOS Separation Kernel.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014
Formal Specification of a Generic Separation Kernel.
Archive of Formal Proofs, 2014

On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.
Proceedings of the Computer Safety, Reliability, and Security, 2014

2013
The VSE Refinement Method in Hets.
ECEASST, 2013

2009
The VSE Refinement Method in Hets.
Proceedings of the Formal Methods and Software Engineering, 2009


2007
Verification of Distributed Applications.
Proceedings of the Computer Safety, 2007

A History-based Verification of Distributed Applications.
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2005
Verification Support Environment.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2000
VSE: formal methods meet industrial needs.
STTT, 2000

Formal software development in the Verification Support Environment (VSE).
J. Exp. Theor. Artif. Intell., 2000

The Use of Formal Methods for Trusted Digital Signature Devices.
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1996
Deduction in the Verification Support Environment (VSE).
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996


  Loading...