PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Langenstein, Bruno"

Author of the publication

copydeleteadd this publication to your clipboard
A History-based Verification of Distributed Applications.

, , , and . VERIFY, volume 259 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Piero Bruno University of Stuttgart

Dr. Bruno Gompf University of Stuttgart

Bruno Ohngemach University of Stuttgart

apl. Prof. Dr. -Ing. Bruno Braun University of Stuttgart

 

Other publications of authors with the same name

On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet., , , , and . SAFECOMP, volume 8666 of Lecture Notes in Computer Science, page 246-261. Springer, (2014)The VSE Refinement Method in Hets., , , and . ECEASST, (2013)Verification Support Environment., , , and . Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 476-493. Springer, (2005)Formal API Specification of the PikeOS Separation Kernel., , , , , , , , and . NFM, volume 9058 of Lecture Notes in Computer Science, page 375-389. Springer, (2015)Verification of Distributed Applications., , , and . SAFECOMP, volume 4680 of Lecture Notes in Computer Science, page 315-328. Springer, (2007)A History-based Verification of Distributed Applications., , , and . VERIFY, volume 259 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)The VSE Refinement Method in Hets., , , and . ICFEM, volume 5885 of Lecture Notes in Computer Science, page 660-678. Springer, (2009)The Use of Formal Methods for Trusted Digital Signature Devices., , and . FLAIRS Conference, page 336-340. AAAI Press, (2000)Formal software development in the Verification Support Environment (VSE)., , , , , and . J. Exp. Theor. Artif. Intell., 12 (4): 383-406 (2000)VSE: formal methods meet industrial needs., , , , , , , , and . STTT, 3 (1): 66-77 (2000)