Jörg Bormann

23 papers A* 2A 1B 2C 3Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2023 J jnl
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors.
IEEE Trans. Computers
Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz
2022 A conf
The Scale4Edge RISC-V Ecosystem.
DATE
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
2021 J jnl
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors.
CoRR
Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz
2014 — conf
Coverage of compositional property sets under reactive constraints.
ISQED
Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2013 — conf
A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software.
MBMV
Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann
2013 J jnl
A New Formal Verification Approach for Hardware-dependent Embedded System Software.
IPSJ Trans. Syst. LSI Des. Methodol.
Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz
2013 — conf
A computational model for SAT-based verification of hardware-dependent low-level embedded system software.
ASP-DAC
Bernard Schmidt, Carlos Villarraga, Jörg Bormann, Dominik Stoffel, Markus Wedler, Wolfgang Kunz
2013 C conf
An equivalence checker for hardware-dependent embedded system software.
MEMOCODE
Carlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz
2013 — conf
Compositional Completeness over reactive Constraints.
MBMV
Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2012 — conf
Formal Plausibility Checks for Environment Constraints.
FDL (Selected Papers)
Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2012 C conf
Formal plausibility checks for environment constraints.
FDL
Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2010 A* conf
Analyzing
DAC
Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz
2010 B conf
Automated formal verification of processors based on architectural models.
FMCAD
Ulrich Kühne, Sven Beyer, Jörg Bormann, John Barstow
2010 B conf
Path predicate abstraction by complete interval property checking.
FMCAD
Joakim Urdahl, Dominik Stoffel, Jörg Bormann, Markus Wedler, Wolfgang Kunz
2009 C conf
A re-use methodology for formal SoC protocol compliance verification.
FDL
Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann
2008 J jnl
Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking.
Theor. Comput. Sci.
Jens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann
2008 J jnl
Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Minh D. Nguyen, Max Thalmaier, Markus Wedler, Jörg Bormann, Dominik Stoffel, Wolfgang Kunz
2004 — conf
Formale Verifikation eines Sonet/SDH Framers.
MBMV
Alexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann
2004 — conf
Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking.
ISoLA (Preliminary proceedings)
Martin Freibothe, Jens Schönherr, Bernd Straube, Jörg Bormann
2001 J jnl
Formale Verifikation für Nicht-Formalisten (Formal Verification for Non-Formalists).
Informationstechnik Tech. Inform.
Jörg Bormann, Christoph Spalinger
2001 — conf
Formale Verifikation wird zum Handwerk.
MBMV (1)
Jörg Bormann
1995 A* conf
Model Checking in Industrial Hardware Design.
DAC
Jörg Bormann, Jörg Lohse, Michael Payer, Gerd Venzl
1992 — conf
Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives.
Designing Correct Circuits
Jörg Bormann, H. Nusser-Wehlan, Gerd Venzl