Jörg Bormann - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2023

An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of ProcessorsMohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz. TC, 72(1):222-235, 2023. [doi]

2022

2014

Coverage of compositional property sets under reactive constraintsBinghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz. isqed 2014: 589-596 [doi]

2013

Compositional Completeness over reactive ConstraintsBinghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz. mbmv 2013: 83-96

A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System SoftwareBernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann. mbmv 2013: 49-60

A computational model for SAT-based verification of hardware-dependent low-level embedded system softwareBernard Schmidt, Carlos Villarraga, Jörg Bormann, Dominik Stoffel, Markus Wedler, Wolfgang Kunz. aspdac 2013: 711-716 [doi]

A New Formal Verification Approach for Hardware-dependent Embedded System SoftwareBernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz. ipsj, 6:135-145, 2013. [doi]

An equivalence checker for hardware-dependent embedded system softwareCarlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz. memocode 2013: 119-128 [doi]

2012

Formal plausibility checks for environment constraintsBinghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz. fdl 2012: 13-19 [doi]

Formal Plausibility Checks for Environment ConstraintsBinghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz. fdl 2014: 1-16 [doi]

2010

2009

A re-use methodology for formal SoC protocol compliance verificationMinh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann. fdl 2009: 1-6 [doi]

2008

Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checkingJens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann. TCS, 404(3):293-307, 2008. [doi]

2004

Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property CheckingMartin Freibothe, Jens Schönherr, Bernd Straube, Jörg Bormann. ISoLA 2004: 181-187

Formale Verifikation eines Sonet/SDH FramersAlexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann. mbmv 2004: 280-288

2001

Formale Verifikation wird zum HandwerkJörg Bormann. mbmv 2001: 9-10

Formale Verifikation für Nicht-Formalisten (Formal Verification for Non-Formalists)Jörg Bormann, Christoph Spalinger. it, 43(1):22-28, 2001. [doi]

1995

Model Checking in Industrial Hardware DesignJörg Bormann, Jörg Lohse, Michael Payer, Gerd Venzl. dac 1995: 298-303 [doi]

1992

Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and PerspectivesJörg Bormann, H. Nusser-Wehlan, Gerd Venzl. ifip10-2 1992: 193-213

Sign in or sign up to see more results.

runs on WebDSL