Abstraction and Verification of Properties of a Real-Time Java. - Nadezhda Baklanova; Martin Strecker (ICTERI (Revised Selected Papers), 2012)

A Formal Model of Resource Sharing Conicts in Multithreaded Java. - Nadezhda Baklanova; Martin Strecker (ICTERI, 2013)

Provably Correct Graph Transformations with Small-tALC. - Nadezhda Baklanova; Jon Haël Brenas; Rachid Echahed; Christian Percebois; Martin Strecker; Hanh Nhi Tran (ICTERI, 2015)

Abstracting an Operational Semantics to Finite Automata. - Nadezhda Baklanova; Wilmer Ricciotti; Jan-Georg Smaus; Martin Strecker (ICTERI (Revised Selected Papers), 2015)