Concepedia

Markus Wedler

MW

Statistics

Publications

10

Citations

281

H-Index

10

Active since

2004

Affiliations

University of Kaiserslautern(Current)

Fraunhofer Institute for Industrial Mathematics

Markus Wedler is an author at University of Kaiserslautern specializing in formal methods, formal verification, and verification.

Top concepts

EngineeringVerificationFormal MethodsFormal VerificationComputer ScienceComputer EngineeringProgram AnalysisHardware SecurityAutomated ReasoningSystems Engineering

Publications per year

2004–2013

10

Publications

10

Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants

Minh Duc Nguyen, Max Thalmaier, Markus Wedler et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 64 citations

Engineering, Reachability Problem, Information Security +19

New developments in the theory of Gröbner bases and applications to formal verification

Michael Brickenstein, Alexander Dreyer, Gert–Martin Greuel et al. · Journal of Pure and Applied Algebra · 2009 · 50 citations

Formal Specification, Engineering, Gröbner Bases +9

STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra

E. Yu. Pavlenko, Markus Wedler, Dominik Stoffel et al. · 2011 · 43 citations

Mathematical Programming, Engineering, Smt Formulas +24

Formal hardware/software co-verification by interval property checking with abstraction

Minh Duc Nguyen, Markus Wedler, Dominik Stoffel et al. · 2011 · 26 citations

Engineering, Hardware Verification Language, Verification +22

Structural FSM Traversal

Dominik Stoffel, Markus Wedler, P. Warkentin et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2004 · 22 citations

Circuit Complexity, Engineering, Reachability Problem +19

1–5 of 10