Nadezhda Baklanova

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Operational Semantics

Finite Automata

Top Venues

ICTERI (Revised Selected Papers)

Publications

Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an Operational Semantics to Finite Automata. ICTERI (Revised Selected Papers) (2015)
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an Operational Semantics to Finite Automata. ICTERI (2015)
Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
Provably Correct Graph Transformations with Small-tALC. ICTERI (2015)
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an operational semantics to finite automata. CoRR (2014)
Nadezhda Baklanova, Martin Strecker
A Formal Model of Resource Sharing Conicts in Multithreaded Java. ICTERI (2013)
Nadezhda Baklanova, Martin Strecker
Abstraction and Verification of Properties of a Real-Time Java. ICTERI (Revised Selected Papers) (2012)