PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Weissenbacher, Georg"

Author of the publication

copydeleteadd this publication to your clipboard
Post-silicon fault localisation using maximum satisfiability and backbones.

, , and . FMCAD, page 63-66. FMCAD Inc., (2011)

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.

Dr. Ilche Georgievski University of Stuttgart

M. Sc. Patrick Georgi University of Stuttgart

Daniel Georg University of Stuttgart

Prof. Dr. Hans-Georg Kemper

Führungsinformationssysteme im Kontext der Business Intelligence: Das Beispiel bms:roi der Bayer MaterialScience, , and . HMD Praxis der Wirtschaftsinformatik, 48 (6): 46-54 (2011)

Hon. -Prof. Dr. Georg Urban University of Stuttgart

 

Other publications of authors with the same name

Boolean Satisfiability: Solvers and Extensions., , and . Software Systems Safety, volume 36 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2014)Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)., , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 831-848. Springer, (2014)Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution)., , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 954-957. Springer, (2016)Boolean Satisfiability Solvers: Techniques and Extensions., and . Software Safety and Security, volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2012)Program analysis with interpolants.. University of Oxford, UK, (2010)British Library, EThOS.Abstraction and Mining of Traces to Explain Concurrency Bugs., , and . RV, volume 8734 of Lecture Notes in Computer Science, page 162-177. Springer, (2014)Interpolant Strength Revisited.. SAT, volume 7317 of Lecture Notes in Computer Science, page 312-326. Springer, (2012)A Complete Bounded Model Checking Algorithm for Pushdown Systems., , and . Haifa Verification Conference, volume 4899 of Lecture Notes in Computer Science, page 202-217. Springer, (2007)SAT-based techniques for determining backbones for post-silicon fault localisation., , , and . HLDVT, page 84-91. IEEE Computer Society, (2011)Model-based, mutation-driven test case generation via heuristic-guided branching search., , , , and . MEMOCODE, page 56-66. ACM, (2017)