Marius C. Bujorianu

2007
6	EE	Marius C. Bujorianu, Manuela L. Bujorianu: Towards Hilbertian Formal Methods. ACSD 2007: 240-241
5	EE	Marius C. Bujorianu, Manuela L. Bujorianu: An Integrated Specification Framework for Embedded Systems. SEFM 2007: 161-172
2006
4	EE	Manuela L. Bujorianu, Marius C. Bujorianu: Model Checking for a Class of Performance Properties of Fluid Stochastic Models. EPEW 2006: 93-107
2005
3	EE	Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu: Bisimulation for General Stochastic Hybrid Systems. HSCC 2005: 198-214
2004
2	EE	Marius C. Bujorianu, Eerke A. Boiten: Towards Correspondence Carrying Specifications. AMAST 2004: 57-71
1	EE	Marius C. Bujorianu: Integration of Specification Languages Using Viewpoints. IFM 2004: 421-440

Coauthor Index

1	Eerke A. Boiten	[2]
2	Manuela L. Bujorianu	[3] [4] [5] [6]
3	John Lygeros	[3]

Colors in the list of coauthors