Marius C. Bujorianu

	2011
11		Manuela L. Bujorianu, Marius C. Bujorianu, Howard Barringer: Systems theory in an analytic setting. CDC-ECE 2011: 2901-2906
10		Manuela L. Bujorianu, Marius C. Bujorianu: Stochastic non sequitur behavior analysis of fault tolerant hybrid systems. HSCC 2011: 53-62
	2009
9		Marius C. Bujorianu, Howard Barringer: An Integrated Specification Logic for Cyber-Physical Systems. ICECCS 2009: 291-300
8		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
7		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
	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		Marius C. Bujorianu, Eerke A. Boiten: Towards Correspondence Carrying Specifications. AMAST 2004: 57-71
1		Marius C. Bujorianu: Integration of Specification Languages Using Viewpoints. IFM 2004: 421-440

Coauthor Index

1	Howard Barringer	[7] [9] [11]
2	Eerke A. Boiten	[2]
3	Manuela L. Bujorianu	[3] [4] [5] [6] [7] [8] [10] [11]
4	John Lygeros	[3]

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