Marius Minea

	2009
21		Bogdan Groza, Marius Minea: A Calculus to Detect Guessing Attacks. ISC 2009: 59-67
20		Danny Dig, Mihai Tarce, Cosmin Radoi, Marius Minea, Ralph Johnson: Relooper: refactoring for loop parallelism in Java. OOPSLA Companion 2009: 793-794
	2007
19		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		Danièle Beauquier, Marie Duflot, Marius Minea: A Probabilistic Property-Specific Approach to Information Flow. MMM-ACNS 2005: 206-220
16		Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea: Safety Interfaces for Component-Based Systems. SAFECOMP 2005: 246-260
	2004
15		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		Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. HSCC 2001: 275-290
	1999
12		Marius Minea: Partial Order Reduction for Model Checking of Timed Automata. CONCUR 1999: 431-446
11		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		Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled: State Space Reduction Using Partial Order Techniques. STTT 2(3): 279-287 (1999)
	1998
9		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		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		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		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	Danny Dig	[20]
5	Catalin Dima	[19]
6	Marie Duflot	[17]
7	Petru Eles	[2]
8	Jonas Elmqvist	[16]
9	Blaise Genest	[15]
10	Bogdan Groza	[21]
11	Orna Grumberg	[10]
12	Thomas A. Henzinger	[13]
13	Hiromi Hiraishi	[1]
14	Somesh Jha	[6]
15	Ralph Johnson	[20]
16	Krzysztof Kuchcinski	[2]
17	Andreas Kuehlmann	[11]
18	Robert P. Kurshan	[7] [9] [14]
19	Vladimir Levin	[7] [9] [14]
20	Yuan Lu	[6]
21	Wilfredo R. Marrero	[1] [3] [4]
22	Anca Muscholl	[15]
23	Simin Nadjm-Tehrani	[16]
24	Doron Peled	[7] [9] [10] [14] [15]
25	Zebo Peng	[2]
26	Vinayak S. Prabhu	[13]
27	Cosmin Radoi	[20]
28	Mihai Tarce	[20]
29	Marcio Teixeira	[11]
30	Ferucio Laurentiu Tiplea	[18] [19]
31	Hüsnü Yenigün	[7] [9] [14]

Colors in the list of coauthors