Marius Minea

2007
19	EE	Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea: Preface. Electr. Notes Theor. Comput. Sci. 186: 1-2 (2007)
2006
18		Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop "Verification of Infinite State Systems with Applications to Security VISSAS 2005", Timisoara, Romania, March 17-22, 2005 IOS Press 2006
2005
17	EE	Danièle Beauquier, Marie Duflot, Marius Minea: A Probabilistic Property-Specific Approach to Information Flow. MMM-ACNS 2005: 206-220
16	EE	Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea: Safety Interfaces for Component-Based Systems. SAFECOMP 2005: 246-260
2004
15	EE	Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled: Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS 2004: 195-210
2002
14		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Combining Software and Hardware Verification Techniques. Formal Methods in System Design 21(3): 251-280 (2002)
2001
13	EE	Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. HSCC 2001: 275-290
1999
12	EE	Marius Minea: Partial Order Reduction for Model Checking of Timed Automata. CONCUR 1999: 431-446
11	EE	Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke: Model Checking Semi-Continuous Time Models Using BDDs. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
10	EE	Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled: State Space Reduction Using Partial Order Techniques. STTT 2(3): 279-287 (1999)
1998
9	EE	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
1997
8		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea: The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems. CAV 1997: 452-455
7	EE	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749
6		Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke: Equivalence Checking Using Abstract BDDs. ICCD 1997: 332-337
5		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea: Symbolic Techniques for Formally Verifying Industrial Systems. Sci. Comput. Program. 29(1-2): 79-98 (1997)
1995
4	EE	Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea: Verifying the performance of the PCI local bus using symbolic techniques. ICCD 1995: 72-78
3		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea: Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems. Workshop on Languages, Compilers, & Tools for Real-Time Systems 1995: 70-78
1994
2	EE	Petru Eles, Marius Minea, Krzysztof Kuchcinski, Zebo Peng: Synthesis of VHDL concurrent processes. EURO-DAC 1994: 540-545
1		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi: Computing Quantitative Characteristics of Finite-State Real-Time Systems. IEEE Real-Time Systems Symposium 1994: 266-270

Coauthor Index

1	Danièle Beauquier	[17]
2	Sérgio Vale Aguiar Campos	[1] [3] [4] [5] [8] [11]
3	Edmund M. Clarke	[1] [3] [4] [5] [6] [8] [10] [11] [18]
4	Catalin Dima	[19]
5	Marie Duflot	[17]
6	Petru Eles	[2]
7	Jonas Elmqvist	[16]
8	Blaise Genest	[15]
9	Orna Grumberg	[10]
10	Thomas A. Henzinger	[13]
11	Hiromi Hiraishi	[1]
12	Somesh Jha	[6]
13	Krzysztof Kuchcinski	[2]
14	Andreas Kuehlmann	[11]
15	Robert P. Kurshan	[7] [9] [14]
16	Vladimir Levin	[7] [9] [14]
17	Yuan Lu	[6]
18	Wilfredo R. Marrero	[1] [3] [4]
19	Anca Muscholl	[15]
20	Simin Nadjm-Tehrani	[16]
21	Doron Peled	[7] [9] [10] [14] [15]
22	Zebo Peng	[2]
23	Vinayak S. Prabhu	[13]
24	Marcio Teixeira	[11]
25	Ferucio Laurentiu Tiplea	[18] [19]
26	Hüsnü Yenigün	[7] [9] [14]

Colors in the list of coauthors