Jori Dubrovin

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Formal Specification

Binary Decision Diagrams

Top Venues

Sci. Comput. Program.

Aalto University, Helsinki, Finland (PHD)

Education History

Aalto University, Helsinki, Finland

PHD

Publications

Xiang Gan, Jori Dubrovin, Keijo Heljanko
A symbolic model checking approach to verifying satellite onboard software. Sci. Comput. Program. 82 (2014)
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
Exploiting step semantics for efficient bounded model checking of asynchronous systems. Sci. Comput. Program. 77 (10-11) (2012)
Xiang Gan, Jori Dubrovin, Keijo Heljanko
A Symbolic Model Checking Approach to Verifying Satellite Onboard Software. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Jori Dubrovin
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing. VMCAI (2010)
Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri
Structure-aware computation of predicate abstraction. FMCAD (2009)
Tommi A. Junttila, Jori Dubrovin
Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking. LPAR (2008)
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
Symbolic Step Encodings for Object Based Communicating State Machines. FMOODS (2008)
Jori Dubrovin, Tommi A. Junttila
Symbolic model checking of hierarchical UML state machines. ACSD (2008)