CUFinder

Michael Tautschnig

About Michael Tautschnig

Michael Tautschnig, With an exceptional h-index of 22 and a recent h-index of 14 (since 2020), a distinguished researcher at Queen Mary University of London, specializes in the field of Software Verification, Testing, Formal Methods, Satisfiability, SMT.

His recent articles reflect a diverse array of research interests and contributions to the field:

Automated threat modeling using machine-readable threat models

Verification witnesses

Automated software verification service

v2c-a verilog to c translator tool

Static code analysis tool and configuration selection via codebase analysis

Refinement of static analysis of program code

Code‐level model checking in the software development workflow at Amazon web services

Targeted security monitoring using semantic behavioral change analysis

Michael Tautschnig Information

University

Position

___

Citations(all)

2351

Citations(since 2020)

997

Cited By

1752

hIndex(all)

22

hIndex(since 2020)

14

i10Index(all)

40

i10Index(since 2020)

19

Email

University Profile Page

Google Scholar

Michael Tautschnig Skills & Research Interests

Software Verification

Testing

Formal Methods

Satisfiability

SMT

Top articles of Michael Tautschnig

Automated threat modeling using machine-readable threat models

2023/9/5

Verification witnesses

ACM Transactions on Software Engineering and Methodology (TOSEM)

2022/9/8

Dirk Beyer
Dirk Beyer

H-Index: 34

Matthias Dangl
Matthias Dangl

H-Index: 9

Daniel Dietsch
Daniel Dietsch

H-Index: 12

Thomas Lemberger
Thomas Lemberger

H-Index: 4

Michael Tautschnig
Michael Tautschnig

H-Index: 14

Automated software verification service

2022/1/25

v2c-a verilog to c translator tool

2022

Rajdeep Mukherjee
Rajdeep Mukherjee

H-Index: 2

Michael Tautschnig
Michael Tautschnig

H-Index: 14

Static code analysis tool and configuration selection via codebase analysis

2022/11/8

Refinement of static analysis of program code

2021/12/14

Code‐level model checking in the software development workflow at Amazon web services

Software: Practice and Experience

2021/4

Byron Cook
Byron Cook

H-Index: 25

Konstantinos Kallas
Konstantinos Kallas

H-Index: 3

Michael Tautschnig
Michael Tautschnig

H-Index: 14

Targeted security monitoring using semantic behavioral change analysis

2020/9/8

Using model checking tools to triage the severity of security bugs in the Xen hypervisor

2020

Byron Cook
Byron Cook

H-Index: 25

Norbert Manthey
Norbert Manthey

H-Index: 12

Michael Tautschnig
Michael Tautschnig

H-Index: 14

See List of Professors in Michael Tautschnig University(Queen Mary University of London)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine