Concepedia

Martin Weiglhofer

MW

12

Publications

464

Citations

11

H-Index

2007

Active since

Affiliations

Graz University of Technology(Current)

École Polytechnique Fédérale de Lausanne

Weizmann Institute of Science

Martin Weiglhofer is an author at Graz University of Technology specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSystems EngineeringSoftware EngineeringSoftware TestingComputer EngineeringVerification

Publications per year

2007–2010

12

Publications

12

Specify, Compile, Run: Hardware from PSL

Roderick Bloem, Stefan Galler, Barbara Jobstmann et al. · Electronic Notes in Theoretical Computer Science · 2007 · 123 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +18

Automatic Hardware Synthesis from Specifications: A Case Study

Roderick Bloem, Stefan Galler, Barbara Jobstmann et al. · 2007 · 86 citations

Generalized Buffer, Hardware Modeling, Engineering +17

Interactive presentation: Automatic hardware synthesis from specifications: a case study

Roderick Bloem, Stefan Galler, Barbara Jobstmann et al. · Design, Automation, and Test in Europe · 2007 · 70 citations

Hardware Modeling, Engineering, Hardware Verification Language +23

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods

Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer et al. · 2007 · 35 citations

Engineering, Information Security, Verification +26

Automated Conformance Verification of Hybrid Systems

Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig · 2010 · 32 citations · Full text

Engineering, Continuous Behavior, Verification +21

Rows per page

1–5 of 12