Jori Dubrovin

	2011
6		Xiang Gan, Jori Dubrovin, Keijo Heljanko: A Symbolic Model Checking Approach to Verifying Satellite Onboard Software. ECEASST 46: (2011)
	2010
5		Jori Dubrovin: Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing. VMCAI 2010: 146-162
	2009
4		Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri: Structure-aware computation of predicate abstraction. FMCAD 2009: 9-16
	2008
3		Jori Dubrovin, Tommi A. Junttila: Symbolic model checking of hierarchical UML state machines. ACSD 2008: 108-117
2		Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko: Symbolic Step Encodings for Object Based Communicating State Machines. FMOODS 2008: 96-112
1		Tommi A. Junttila, Jori Dubrovin: Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking. LPAR 2008: 290-304

Coauthor Index

1	Alessandro Cimatti	[4]
2	Xiang Gan	[6]
3	Keijo Heljanko	[2] [6]
4	Tommi A. Junttila	[1] [2] [3] [4]
5	Marco Roveri	[4]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page