Jrg Bormann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
1995–2022
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | DATE | The Scale4Edge RISC-V Ecosystem. | Wolfgang Ecker, Peer Adelt, Wolfgang Mller, 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 Grttner, Paul Palomero Bernardo, Oliver Bringmann, Mihaela Damian, Julian Oppermann, Andreas Koch, Jrg Bormann, Johannes Partzsch, Christian Mayr, Wolfgang Kunz |
| 2013 | ASPDAC | A computational model for SAT-based verification of hardware-dependent low-level embedded system software. | Bernard Schmidt, Carlos Villarraga, Jrg Bormann, Dominik Stoffel, Markus Wedler, Wolfgang Kunz |
| 2013 | MEMOCODE | An equivalence checker for hardware-dependent embedded system software. | Carlos Villarraga, Bernard Schmidt, Jrg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz |
| 2012 | FDL | Formal plausibility checks for environment constraints. | Binghao Bao, Jrg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
| 2012 | FDL | Formal Plausibility Checks for Environment Constraints. | Binghao Bao, Jrg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
| 2010 | DAC | Analyzing | Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jrg Bormann, Wolfgang Kunz |
| 2010 | FMCAD | Automated formal verification of processors based on architectural models. | Ulrich Khne, Sven Beyer, Jrg Bormann, John Barstow |
| 2010 | FMCAD | Path predicate abstraction by complete interval property checking. | Joakim Urdahl, Dominik Stoffel, Jrg Bormann, Markus Wedler, Wolfgang Kunz |
| 2009 | FDL | A re-use methodology for formal SoC protocol compliance verification. | Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jrg Bormann |
| 2004 | ISoLA | Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking. | Martin Freibothe, Jens Schnherr, Bernd Straube, Jrg Bormann |
| 1995 | DAC | Model Checking in Industrial Hardware Design. | Jrg Bormann, Jrg Lohse, Michael Payer, Gerd Venzl |