Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Max Planck Institute for Software Systems | Researchclopedia
Back to institutions
Max Planck Institute for Software Systems
Saarbrücken
facility
Website
Top Researchers
View all
Recent Research
View all
Security and Verification in Computing
Parallel Computing and Optimization Techniques
Software Testing and Debugging Techniques
semigroups and automata theory
Petri Nets in System Modeling
Advanced Malware Detection Techniques
Logic, Reasoning, and Knowledge
Real-Time Systems Scheduling
Complex Network Analysis Techniques
Patrick McDaniel
University of Wisconsin–Madison
415 works
36,414 citations
h-index: 73
Python Reference Implementation of LiME's Model Inference Algorithms
Bite Ye
,
Filip Marković
,
et al.
2026
0 citations