( en | de | ru )

 

Disambiguation of "Fischer, Bernd"

Author of the publication

copydeleteadd this publication to your clipboard
Ein PASCAL-Compiler für das DIETZ-System 621x2.

, , , and . PASCAL, volume 1 of Berichte des German Chapter of the ACM, page 84-94. Teubner, (1979)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bernd Fischer

Bernd Fischer

Bernd Fischer

Bernd Fischer

Bernd Fischer

 

Other publications of authors with the same name

SMT-Based Bounded Model Checking for Embedded ANSI-C Software., , and . ASE, page 137-148. IEEE Computer Society, (2009)SMT-Based Bounded Model Checking of C++ Programs., , , , , and . ECBS, page 147-156. IEEE Computer Society, (2013)Applying AutoBayes to the Analysis of Planetary Nebulae Images., and . ASE, page 337-342. IEEE Computer Society, (2003)Program Repair as Sound Optimization of Broken Programs., , and . TASE, page 165-173. IEEE Computer Society, (2009)Bildregistrierung zur Verbrennungsanalyse., , , and . Bildverarbeitung für die Medizin, page 159-163. Springer, (2011)DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution)., , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 360-364. (2017)Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs., , , and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 174-191. (2016)AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description., , and . CADE, volume 2392 of Lecture Notes in Computer Science, page 290-294. Springer, (2002)Grammar-based testing for little languages: an experience report with student compilers., , , and . SLE, page 253-269. ACM, (2020)An Approach for Software-Driven and Standard-Based Support of Cross-Enterprise Tumor Boards., , and . eHealth, volume 212 of Studies in Health Technology and Informatics, page 219-224. IOS Press, (2015)