J
Jörg Lohse
Researcher at Siemens
Publications - 5
Citations - 42
Jörg Lohse is an academic researcher from Siemens. The author has contributed to research in topics: Siemens & Model checking. The author has an hindex of 1, co-authored 5 publications receiving 42 citations.
Papers
More filters
Proceedings ArticleDOI
Model Checking in Industrial Hardware Design
TL;DR: An application oriented specification language for assumption/commitment style properties and an abstraction algorithm that generates an intuitive and efficient representation of synchronous circuits that is embedded in the Circuit Verification Environment CVE.
Book ChapterDOI
The FORMAT Model Checker
TL;DR: This chapter describes the tools used for automatic verification within the FORMAT project and gives an overview of the architecture of the model checker and each of its components.
Patent
Method and device for comparing technical systems with each other
Jörg Lohse,Peter Warkentin +1 more
TL;DR: In this paper, a framework for several partial provers is created in the form of a hybrid prover in order to compare two technical systems, especially electric circuits, with each other.
Book ChapterDOI
Siemens Industrial Experience
TL;DR: This chapter presents a summary of the application results obtained by using automatic verification tools in practice and a walk through several different applications, which have been treated with formal verifications tools at several different sites of the Siemens AG.
Patent
Verfahren und anordnung zum vergleich einer ersten eigenschaft mit vorgegebenen eigenschaften eines technischen systems
Jörg Lohse,Peter Warkentin +1 more
TL;DR: In this article, a model checker is versucht, eine Eigenschaft an einem technischen system nachzuweisen, bei dem mehrere Vergleichsverfahren derart zu koordinieren sind.