Concepedia

Jori Dubrovin

JD

6

Publications

166

Citations

6

H-Index

2006

Active since

Affiliations

Aalto University(Current)

Jori Dubrovin is an author at Aalto University specializing in formal methods, engineering, and verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSoftware AnalysisAutomated ReasoningSystems EngineeringProgram AnalysisSoftware Design

Publications per year

2006–2013

6

Publications

6

Model Checking Dynamic and Hierarchical UML State Machines

Toni Jussila, Jori Dubrovin, Tommi Junttila et al. · 2006 · 48 citations

Engineering, Verification, Software Engineering +21

Symbolic model checking of hierarchical UML state machines

Jori Dubrovin, Tommi Junttila · 2008 · 43 citations

Engineering, Verification, Computer Architecture +17

A symbolic model checking approach to verifying satellite onboard software

Xiang Gan, Jori Dubrovin, Keijo Heljanko · Science of Computer Programming · 2013 · 30 citations

Formal Methods for Open Object-based Distributed Systems (FMOODS'08)

Jori Dubrovin, Tommi Junttila, Keijo Heljanko · 2008 · 19 citations

Distributed Object Middleware, Engineering, Verification +8

Structure-aware computation of predicate abstraction

Alessandro Cimatti, Jori Dubrovin, Tommi Junttila et al. · 2009 · 14 citations

Formal Specification, Engineering, Automated Reasoning +15

Rows per page

1–5 of 6