Markus Wedler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
7
Active years
2003–2015
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | FDL | Virtual hardware-in-the-loop co-simulation for multi-domain automotive systems via the functional mock-up interface. | Robert Lajos Bcs, Luis Gabriel Murillo, Ekaterina Korotcenko, Gaurav Dugge, Rainer Leupers, Gerd Ascheid, Andreas Ropers, Markus Wedler, Andreas Hoffmann |
| 2013 | ASPDAC | A computational model for SAT-based verification of hardware-dependent low-level embedded system software. | Bernard Schmidt, Carlos Villarraga, Jrg Bormann, Dominik Stoffel, Markus Wedler, Wolfgang Kunz |
| 2013 | ICCAD | Proof logging for computer algebra based SMT solving. | Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer |
| 2012 | DAC | System verification of concurrent RTL modules by compositional path predicate abstraction. | Joakim Urdahl, Dominik Stoffel, Markus Wedler, Wolfgang Kunz |
| 2012 | FDL | Formal plausibility checks for environment constraints. | Binghao Bao, Jrg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
| 2012 | FDL | Formal Plausibility Checks for Environment Constraints. | Binghao Bao, Jrg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
| 2011 | DAC | Formal hardware/software co-verification by interval property checking with abstraction. | Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
| 2011 | DATE | STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra. | Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel |
| 2010 | DAC | Analyzing | Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jrg Bormann, Wolfgang Kunz |
| 2010 | FDL | Complete Verification of Weakly Programmable IPs against Their Operational ISA Model. | Sacha Loitz, Markus Wedler, Dominik Stoffel, Christian Brehm, Norbert Wehn, Wolfgang Kunz |
| 2010 | FMCAD | Path predicate abstraction by complete interval property checking. | Joakim Urdahl, Dominik Stoffel, Jrg Bormann, Markus Wedler, Wolfgang Kunz |
| 2009 | FDL | A re-use methodology for formal SoC protocol compliance verification. | Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jrg Bormann |
| 2008 | ASPDAC | Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. | Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi, Matthias Pflanz |
| 2008 | CAV | An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths. | Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel |
| 2008 | FDL | Modeling of Custom-Designed Arithmetic Components for ABL Normalization. | Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev |
| 2008 | FDL | A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level. | Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev |
| 2005 | DAC | Normalization at the arithmetic bit level. | Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
| 2005 | ICCAD | Transition-by-transition FSM traversal for reachability analysis in bounded model checking. | Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz |
| 2004 | ASPDAC | Exploiting state encoding for invariant generation in induction-based property checking. | Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
| 2004 | DATE | Arithmetic Reasoning in DPLL-Based SAT Solving. | Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
| 2003 | DATE | Using RTL Statespace Information and State Encoding for Induction Based Property Checking. | Markus Wedler, Dominik Stoffel, Wolfgang Kunz |