( en | de | ru )

 

Disambiguation of "Lonsing, Florian"

Author of the publication

copydeleteadd this publication to your clipboard
G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators.

, , , , , , , , , , , and . DAC, page 1-6. IEEE, (2023)

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.

Marco Lonsing

Florian Klasovsky

Syntheseparameter-Reaktivitätsbeziehungen für neue Palladiumoxidkatalysatoren in feinchemischen Hydrierungen. TU Darmstadt, (2009)

Florian Franz

Realzeittest von Fahrzeugsoftware-Komponenten. TU München, (2009)

Florian Engelhardt

Börsenprospekthaftung der Leitungsorgane von Emittenten in Deutschland und Schweden. TU Dresden, (2007)

Florian Beißner

Funktionelle Bildgebung des vegetativen Nervensystems: neue Ansätze zur fMRT-Messung des menschlichen Hirnstamms. Uni Frankfurt Main, (2010)
 

Other publications of authors with the same name

Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection., , , , , , , , and . CoRR, (2021)QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties., and . SAT, volume 11628 of Lecture Notes in Computer Science, page 203-210. Springer, (2019)Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper., , , , , , , , and . ICCAD, page 1-8. ACM, (2019)G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators., , , , , , , , , and 2 other author(s). DAC, page 1-6. IEEE, (2023)A-QED Verification of Hardware Accelerators., , , , , , , , , and 3 other author(s). DAC, page 1-6. IEEE, (2020)Integrating Dependency Schemes in Search-Based QBF Solvers., and . SAT, volume 6175 of Lecture Notes in Computer Science, page 158-171. Springer, (2010)A Compact Representation for Syntactic Dependencies in QBFs., and . SAT, volume 5584 of Lecture Notes in Computer Science, page 398-411. Springer, (2009)Lightweight Online Learning for Sets of Related Problems in Automated Reasoning., , , , , and . FMCAD, page 1-11. IEEE, (2023)DepQBF: A Dependency-Aware QBF Solver., and . J. Satisf. Boolean Model. Comput., 7 (2-3): 71-76 (2010)Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations., , , , , and . Formal Methods Syst. Des., 57 (2): 157-177 (2021)