Static and dynamic analysis of malware applications
Program Analysis and Verification
Analysing and modeling dynamic multi-agent systems
Alk- An educational platform for learning algorithms and acquiring an algorithmic thinking
Capturing Initial and Final Semantics in Matching Logic
Executable Semantic Framework (K Framework)
K Semantics for Domain Specific Modelling Languages
Automated Verification Using Circularities
