Michael Schlichtig

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Teaching Materials

Symbolic Execution

Simulation Game

Top Venues

Software Engineering

Publications

Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. CoRR (2024)
Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. SANER (2024)
Michael Schlichtig
Building a Framework to Improve the User Experience of Static Analysis Tools. ICSE Companion (2024)
Michael Schlichtig, Steffen Sassalla, Krishna Narasimhan, Eric Bodden
Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. Software Engineering (2023)
Marcus Nachtigall, Michael Schlichtig, Eric Bodden
Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. Software Engineering (2023)
Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild. CoRR (2022)
Marcus Nachtigall, Michael Schlichtig, Eric Bodden
A large-scale study of usability criteria addressed by static analysis tools. ISSTA (2022)
Michael Schlichtig, Steffen Sassalla, Krishna Narasimhan, Eric Bodden
FUM - A Framework for API Usage constraint and Misuse Classification. SANER (2022)
Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, Mira Mezini
CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite. CoRR (2022)
Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild. TrustCom (2022)
Michael Schlichtig, Simone Opel, Carsten Schulte, Rolf Biehler, Daniel Frischemeier, Susanne Podworny, Thomas Wassong
Maschinelles Lernen im Unterricht mit Jupyter Notebook. INFOS (2019)
Simone Opel, Michael Schlichtig, Carsten Schulte
Developing Teaching Materials on Artificial Intelligence by Using a Simulation Game (Work in Progress). WiPSCE (2019)
Simone Opel, Michael Schlichtig, Carsten Schulte, Rolf Biehler, Daniel Frischemeier, Susanne Podworny, Thomas Wassong
Entwicklung und Reflexion einer Unterrichtssequenz zum Maschinellen Lernen als Aspekt von Data Science in der Sekundarstufe II. INFOS (2019)
Kai Bemmann, Johannes Blömer, Jan Bobolz, Henrik Bröcher, Denis Diemert, Fabian Eidens, Lukas Eilers, Jan Haltermann, Jakob Juhnke, Burhan Otour, Laurens Porzenheim, Simon Pukrop, Erik Schilling, Michael Schlichtig, Marcel Stienemeier
Fully-Featured Anonymous Credentials with Reputation System. ARES (2018)
Kai Bemmann, Johannes Blömer, Jan Bobolz, Henrik Bröcher, Denis Diemert, Fabian Eidens, Lukas Eilers, Jan Haltermann, Jakob Juhnke, Burhan Otour, Laurens Porzenheim, Simon Pukrop, Erik Schilling, Michael Schlichtig, Marcel Stienemeier
Fully-Featured Anonymous Credentials with Reputation System. IACR Cryptol. ePrint Arch. 2018 (2018)