Jori Dubrovin

According to our database, Jori Dubrovin authored at least 8 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A symbolic model checking approach to verifying satellite onboard software.

Xiang Gan, Jori Dubrovin, Keijo Heljanko

Sci. Comput. Program., 2014

2012

Exploiting step semantics for efficient bounded model checking of asynchronous systems.

Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko

Sci. Comput. Program., 2012

2011

Efficient symbolic model checking of concurrent systems.

Jori Dubrovin

PhD thesis, 2011

2010

Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing.

Jori Dubrovin

Proceedings of the Verification, 2010

2009

Structure-aware computation of predicate abstraction.

Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking.

Tommi A. Junttila, Jori Dubrovin

Proceedings of the Logic for Programming, 2008

Symbolic Step Encodings for Object Based Communicating State Machines.

Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Symbolic model checking of hierarchical UML state machines.

Jori Dubrovin, Tommi A. Junttila

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008