Markus Wedler

40 papers A* 5A 5B 1C 5Journal 4Unranked 20
YearRankTypeTitle / Venue / Authors
2015 C conf
Virtual hardware-in-the-loop co-simulation for multi-domain automotive systems via the functional mock-up interface.
FDL
Robert Lajos Bücs, Luis Gabriel Murillo, Ekaterina Korotcenko, Gaurav Dugge, Rainer Leupers, Gerd Ascheid, Andreas Ropers, Markus Wedler, Andreas Hoffmann
2014 — conf
Coverage of compositional property sets under reactive constraints.
ISQED
Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2013 J jnl
A New Formal Verification Approach for Hardware-dependent Embedded System Software.
IPSJ Trans. Syst. LSI Des. Methodol.
Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz
2013 — conf
A computational model for SAT-based verification of hardware-dependent low-level embedded system software.
ASP-DAC
Bernard Schmidt, Carlos Villarraga, Jörg Bormann, Dominik Stoffel, Markus Wedler, Wolfgang Kunz
2013 — conf
Compositional Completeness over reactive Constraints.
MBMV
Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2013 — conf
Proof Logging for Computer Algebra based SMT Solving.
MBMV
Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer
2013 A conf
Proof logging for computer algebra based SMT solving.
ICCAD
Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer
2012 — conf
Formal Plausibility Checks for Environment Constraints.
FDL (Selected Papers)
Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2012 C conf
Formal plausibility checks for environment constraints.
FDL
Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2012 A* conf
System verification of concurrent RTL modules by compositional path predicate abstraction.
DAC
Joakim Urdahl, Dominik Stoffel, Markus Wedler, Wolfgang Kunz
2011 — conf
Formal Hardware/Software Co-Verification by Interval Property Checking with Abstraction.
MBMV
Minh D. Nguyen, Markus Wedler, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz
2011 A* conf
Formal hardware/software co-verification by interval property checking with abstraction.
DAC
Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2011 — conf
STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra.
MBMV
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
2011 A conf
STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra.
DATE
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
2010 A* conf
Analyzing
DAC
Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz
2010 — conf
Analyzing k-step induction to compute invariants for SAT-based property checking.
MBMV
Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2010 C conf
Complete Verification of Weakly Programmable IPs against Their Operational ISA Model.
FDL
Sacha Loitz, Markus Wedler, Dominik Stoffel, Christian Brehm, Norbert Wehn, Wolfgang Kunz
2010 B conf
Path predicate abstraction by complete interval property checking.
FMCAD
Joakim Urdahl, Dominik Stoffel, Jörg Bormann, Markus Wedler, Wolfgang Kunz
2009 — conf
A Re-Use Methodology for SoC Protocol Compliance Verification.
MBMV
Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2009 C conf
A re-use methodology for formal SoC protocol compliance verification.
FDL
Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann
2009 — conf
Solving hard instances in QF-BV combining Boolean reasoning with computer algebra.
Algorithms and Applications for Next Generation SAT Solvers
Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, Wolfgang Kunz
2008 — conf
A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level.
FDL (Selected Papers)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
2008 A* conf
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths.
CAV
Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel
2008 — conf
Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers.
MBMV
Bernard Schmidt, Slava Bulach, Katharina Weinberger, Markus Wedler
2008 C conf
Modeling of Custom-Designed Arithmetic Components for ABL Normalization.
FDL
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
2008 — conf
Modeling of Custom-Designed Arithmetic Components for ABL Normalization.
MBMV
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
2008 — conf
Proving Functional Correctness of Weakly Programmable IPs - A Case Study with Formal Property Checking.
SASP
Sacha Loitz, Markus Wedler, Christian Brehm, Timo Vogt, Norbert Wehn, Wolfgang Kunz
2008 J jnl
Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Minh D. Nguyen, Max Thalmaier, Markus Wedler, Jörg Bormann, Dominik Stoffel, Wolfgang Kunz
2008 — conf
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof.
ASP-DAC
Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi, Matthias Pflanz
2007 J jnl
A Normalization Method for Arithmetic Data-Path Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Markus Wedler, Dominik Stoffel, Raik Brinkmann, Wolfgang Kunz
2007 — conf
Arithmetic Constraints in SAT-based Property Checking.
MBMV
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2006 — conf
A case study on applying bounded model checking to analog circuit verification.
MBMV
Alexander Jesser, Markus Wedler, Lars Hedrich, Wolfgang Kunz
2005 A* conf
Normalization at the arithmetic bit level.
DAC
Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2005 A conf
Transition-by-transition FSM traversal for reachability analysis in bounded model checking.
ICCAD
Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz
2004 A conf
Arithmetic Reasoning in DPLL-Based SAT Solving.
DATE
Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2004 — conf
Exploiting state encoding for invariant generation in induction-based property checking.
ASP-DAC
Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2004 J jnl
Structural FSM traversal.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Dominik Stoffel, Markus Wedler, Peter Warkentin, Wolfgang Kunz
2003 — conf
Towards the impact of state encoding on induction-based property checking.
MBMV
Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2003 A conf
Using RTL Statespace Information and State Encoding for Induction Based Property Checking.
DATE
Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2002 — conf
Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation.
ISVLSI
Markus Wedler, Dominik Stoffel, Wolfgang Kunz