Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Propositional approximations for bounded model checking of partial circuit designs.

B. Becker, M. Herbstritt, N. Kalinnik, M. Lewis, J. Lichtner, T. Nopper, und R. Wimmer. ICCD, Seite 52-59. IEEE Computer Society, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dominic Marcello

Dipl.-Ing. Marc Riedlinger

An adaptive self-managing platform for cabin management systemsM. Riedlinger, O. Marquardt, R. Ahmadi, und R. Reichel. CEAS Aeronautical Journal, 7 (3): 483--498 (2016)

An adaptive self-managing platform for cabin management systemsM. Riedlinger, O. Marquardt, R. Ahmadi, und R. Reichel. CEAS Aeronautical Journal, 7 (3): 483--498 (2016)DIANA - Technologien für eine Energie-autarke, intelligente Kabine: Selbstadaptive Kabinenelektronik Plattform : Schlussbericht :M. Riedlinger, und R. Reichel. (2015)An adaptive middleware approach for fault-tolerant avionic systemsO. Marquardt, M. Riedlinger, R. Ahmadi, und R. Reichel. 2015 IEEE Aerospace Conference, Institute of Electrical and Electronics Engineers (IEEE), (März 2015)

Marc Gauger University of Stuttgart

Marc Schneider University of Stuttgart

Marc Bresser University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Memory-aware Bounded Model Checking for Linear Hybrid Systems.E. Ábrahám, M. Herbstritt, B. Becker, und M. Steffen. MBMV, Seite 153-162. Fraunhofer Institut für Integrierte Schaltungen, (2006)Grouping heuristics for word-level decision diagrams.R. Drechsler, M. Herbstritt, und B. Becker. ISCAS (1), Seite 411-414. IEEE, (1999)SAT-based verification: from core algorithms to novel application domains.M. Herbstritt. University of Freiburg, (2008)Probabilistic Model Checking and Reliability of Results.R. Wimmer, A. Kortus, M. Herbstritt, und B. Becker. DDECS, Seite 207-212. IEEE Computer Society, (2008)On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata.M. Herbstritt, B. Becker, E. Ábrahám, und C. Herde. DDECS, Seite 391-396. IEEE Computer Society, (2007)Minimization of Large State Spaces using Symbolic Branching Bisimulation.R. Wimmer, M. Herbstritt, und B. Becker. DDECS, Seite 9-14. IEEE Computer Society, (2006)Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation.R. Wimmer, M. Herbstritt, und B. Becker. MBMV, Seite 203-212. Shaker, (2007)On Combining 01X-Logic and QBF.M. Herbstritt, und B. Becker. EUROCAST, Volume 4739 von Lecture Notes in Computer Science, Seite 531-538. Springer, (2007)The Demand for Reliability in Probabilistic Verification.R. Wimmer, A. Kortus, M. Herbstritt, und B. Becker. MBMV, Seite 99-108. Shaker, (2008)Exploiting don't cares to minimize *BMDs.C. Scholl, M. Herbstritt, und B. Becker. ISCAS (5), Seite 191-194. IEEE, (2001)