Alexandre Donzé

	2011
12		Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler: SpaceEx: Scalable Verification of Hybrid Systems. CAV 2011: 379-395
11		Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic: Parametric Identification of Temporal Properties. RV 2011: 147-160
	2010
10		Alexandre Donzé: Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. CAV 2010: 167-170
9		Alexandre Donzé, Oded Maler: Robust Satisfaction of Temporal Logic over Real-Valued Signals. FORMATS 2010: 92-106
8		Edmund M. Clarke, Alexandre Donzé, Axel Legay: On simulation-based probabilistic model checking of mixed-analog circuits. Formal Methods in System Design 36(2): 97-113 (2010)
	2009
7		Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans: Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC 2009: 165-179
6		Alexandre Donzé, Gilles Clermont, Axel Legay, Christopher James Langmead: Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. RECOMB 2009: 155-169
	2008
5		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
4		Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev: Sensitive state-space exploration. CDC 2008: 4049-4054
3		Edmund M. Clarke, Alexandre Donzé, Axel Legay: Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. Haifa Verification Conference 2008: 149-163
	2007
2		Alexandre Donzé, Oded Maler: Systematic Simulation Using Sensitivity Analysis. HSCC 2007: 174-189
	2004
1		Thao Dang, Alexandre Donzé, Oded Maler: Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. FMCAD 2004: 21-36

Coauthor Index

1	Eugene Asarin	[11]
2	Edmund M. Clarke	[3] [8]
3	Gilles Clermont	[6]
4	Scott Cotton	[12]
5	Thao Dang	[1] [4] [12]
6	Goran Frehse	[12]
7	Antoine Girard	[12]
8	Colas Le Guernic	[12]
9	James Kapinski	[5]
10	Bruce H. Krogh	[5] [7]
11	Christopher James Langmead	[6]
12	Olivier Lebeltel	[12]
13	Axel Legay	[3] [6] [8]
14	Flavio Lerda	[5]
15	Hitashyam Maka	[5]
16	Oded Maler	[1] [2] [4] [9] [11] [12]
17	Dejan Nickovic	[11]
18	Akshay Rajhans	[7]
19	Rajarshi Ray	[12]
20	Rodolfo Ripado	[12]
21	Noa Shalev	[4]
22	Silke Wagner	[5]

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