James Kapinski

	2008
3		James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh: Control software model checking using bisimulation functions for nonlinear systems. CDC 2008: 4024-4029
2		Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh: Verification of Supervisory Control Software Using State Proximity and Merging. HSCC 2008: 344-357
	2003
1		James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg: On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297

Coauthor Index

1	Edmund M. Clarke	[2]
2	Alexandre Donzé	[3]
3	Bruce H. Krogh	[1] [2] [3]
4	Flavio Lerda	[2] [3]
5	Hitashyam Maka	[3]
6	Oded Maler	[1]
7	Olaf Stursberg	[1]
8	Silke Wagner	[3]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page