( en | de | ru )

 

Disambiguierung von "Fischer, Bernd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SMT-Based Bounded Model Checking for Embedded ANSI-C Software.

, , und . IEEE Trans. Software Eng., 38 (4): 957-974 (2012)

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.

Bernd Fischer

Bernd Fischer

Bernd Fischer

Bernd Fischer

Bernd Fischer

 

Weitere Publikationen von Autoren mit dem selben Namen

Weighted medical image registration with automatic mask generation., , und . Medical Imaging: Image Processing, Volume 6144 von SPIE Proceedings, Seite 61442B. SPIE, (2006)Image registration for CT and intra-operative ultrasound data of the liver., , , , und . Medical Imaging: Image-Guided Procedures, Volume 6918 von SPIE Proceedings, Seite 691808. SPIE, (2008)Insights into RNA biology from an atlas of mammalian mRNA-binding proteins, , , , , , , , , und 2 andere Autor(en). Cell, 149 (6): 1393--1406 (2012)SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer., , , , und . CoRR, (2018)Bildregistrierung zur Verbrennungsanalyse., , , und . Bildverarbeitung für die Medizin, Seite 159-163. Springer, (2011)Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs., , , und . ATVA, Volume 9938 von Lecture Notes in Computer Science, Seite 174-191. (2016)DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution)., , , , und . TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 360-364. (2017)AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description., , und . CADE, Volume 2392 von Lecture Notes in Computer Science, Seite 290-294. Springer, (2002)CVExplorer: identifying candidate developers by mining and exploring their open source contributions., und . ASE, Seite 804-809. ACM, (2016)Static Test Case Prioritization Strategies for Grammar-Based Testing., , und . ASEW, Seite 151-158. IEEE, (2023)