Manuela L. Bujorianu

	2011
18		Manuela L. Bujorianu, Marius C. Bujorianu, Howard Barringer: Systems theory in an analytic setting. CDC-ECE 2011: 2901-2906
17		Manuela L. Bujorianu: How good are the stochastic analysis methods for stochastic reachability. CDC-ECE 2011: 3295-3300
16		Manuela L. Bujorianu, Marius C. Bujorianu: Stochastic non sequitur behavior analysis of fault tolerant hybrid systems. HSCC 2011: 53-62
15		Manuela L. Bujorianu, Michael Fisher, Corina S. Pasareanu: Preface. Ann. Math. Artif. Intell. 63(1): 1-3 (2011)
	2010
14		Manuela L. Bujorianu: Variational inequalities for the stochastic reachability problem. CDC 2010: 1854-1859
	2009
13		Manuela L. Bujorianu, Michael Fisher: Proceedings FM-09 Workshop on Formal Methods for Aerospace FMA 2009
12		Manuela L. Bujorianu: Dealing with stochastic reachability. CDC 2009: 2935-2940
11		Manuela L. Bujorianu, Hong Wang: Large deviation methods for stochastic reachability. CDC 2009: 3932-3937
10		Manuela L. Bujorianu, Marius C. Bujorianu: Co-evolution Preserving Model Reduction for Uncertain Cyber-physical Systems - Towards a Framework for Nanoscience. ICINCO-SPSMC 2009: 39-46
	2008
9		Manuela L. Bujorianu, Joost-Pieter Katoen: Symmetry reduction for stochastic hybrid systems. CDC 2008: 233-238
8		Marius C. Bujorianu, Manuela L. Bujorianu, Howard Barringer: A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. CLIMA 2008: 97-116
7		Manuela L. Bujorianu, John Lygeros, Rom Langerak: Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. HSCC 2008: 610-613
	2007
6		Marius C. Bujorianu, Manuela L. Bujorianu: Towards Hilbertian Formal Methods. ACSD 2007: 240-241
5		Marius C. Bujorianu, Manuela L. Bujorianu: An Integrated Specification Framework for Embedded Systems. SEFM 2007: 161-172
	2006
4		Manuela L. Bujorianu, Marius C. Bujorianu: Model Checking for a Class of Performance Properties of Fluid Stochastic Models. EPEW 2006: 93-107
	2005
3		Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu: Bisimulation for General Stochastic Hybrid Systems. HSCC 2005: 198-214
	2004
2		Manuela L. Bujorianu: Extended Stochastic Hybrid Systems and Their Reachability Problem. HSCC 2004: 234-249
	2003
1		Manuela L. Bujorianu, John Lygeros: Reachability Questions in Piecewise Deterministic Markov Processes. HSCC 2003: 126-140

Coauthor Index

1	Howard Barringer	[8] [18]
2	Marius C. Bujorianu	[3] [4] [5] [6] [8] [10] [16] [18]
3	Michael Fisher	[13] [15]
4	Joost-Pieter Katoen	[9]
5	Rom Langerak	[7]
6	John Lygeros	[1] [3] [7]
7	Corina S. Pasareanu	[15]
8	Hong Wang	[11]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page