Jörg Bormann

According to our database, Jörg Bormann authored at least 21 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors.

Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz

IEEE Trans. Computers, 2023

2022

The Scale4Edge RISC-V Ecosystem.

Wolfgang Ecker, Peer Adelt, Wolfgang Müller, Reinhold Heckmann, Milos Krstic, Vladimir Herdt, Rolf Drechsler, Gerhard Angst, Ralf Wimmer, Andreas Mauderer, Rafael Stahl, Karsten Emrich, Daniel Mueller-Gritschneder, Bernd Becker, Philipp Scholl, Eyck Jentzsch, Jan Schlamelcher, Kim Grüttner, Paul Palomero Bernardo, Oliver Bringmann, Mihaela Damian, Julian Oppermann, Andreas Koch, Jörg Bormann, Johannes Partzsch, Christian Mayr, Wolfgang Kunz

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2014

Coverage of compositional property sets under reactive constraints.

Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Fifteenth International Symposium on Quality Electronic Design, 2014

2013

A New Formal Verification Approach for Hardware-dependent Embedded System Software.

Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz

IPSJ Trans. Syst. LSI Des. Methodol., 2013

An equivalence checker for hardware-dependent embedded system software.

Carlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software.

Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Compositional Completeness over reactive Constraints.

Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

A computational model for SAT-based verification of hardware-dependent low-level embedded system software.

Bernard Schmidt, Carlos Villarraga, Jörg Bormann, Dominik Stoffel, Markus Wedler, Wolfgang Kunz

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012

Formal plausibility checks for environment constraints.

Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

2010

Path predicate abstraction by complete interval property checking.

Joakim Urdahl, Dominik Stoffel, Jörg Bormann, Markus Wedler, Wolfgang Kunz

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Automated formal verification of processors based on architectural models.

Ulrich Kühne, Sven Beyer, Jörg Bormann, John Barstow

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Analyzing <i>k</i>-step induction to compute invariants for SAT-based property checking.

Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz

Proceedings of the 47th Design Automation Conference, 2010

2009

A re-use methodology for formal SoC protocol compliance verification.

Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann

Proceedings of the Forum on specification and Design Languages, 2009

2008

Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking.

Jens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann

Theor. Comput. Sci., 2008

Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants.

Minh D. Nguyen, Max Thalmaier, Markus Wedler, Jörg Bormann, Dominik Stoffel, Wolfgang Kunz

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2004

Formale Verifikation eines Sonet/SDH Framers.

Alexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking.

Martin Freibothe, Jens Schönherr, Bernd Straube, Jörg Bormann

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2001

Formale Verifikation für Nicht-Formalisten (Formal Verification for Non-Formalists).

Jörg Bormann, Christoph Spalinger

Informationstechnik Tech. Inform., 2001

Formale Verifikation wird zum Handwerk.

Jörg Bormann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2001

1995

Model Checking in Industrial Hardware Design.

Jörg Bormann, Jörg Lohse, Michael Payer, Gerd Venzl

Proceedings of the 32st Conference on Design Automation, 1995

1992

Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives.

Jörg Bormann, H. Nusser-Wehlan, Gerd Venzl

Proceedings of the Designing Correct Circuits, 1992