Marius Minea

	2012
28		Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 2012: 267-282
	2011
27		Frédéric Cuppens, Simon Foley, Bogdan Groza, Marius Minea: CRiSIS 2011, Proceedings of the Sixth International Conference on Risks and Security of Internet and Systems, Timișoara, Romania, September 26-28, 2011 IEEE 2011
26		Bogdan Groza, Marius Minea: Formal modelling and automatic detection of resource exhaustion attacks. ASIACCS 2011: 326-333
25		Roberto Carbone, Marius Minea, Sebastian Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò: Towards Formal Validation of Trust and Security in the Internet of Services. Future Internet Assembly 2011: 193-208
	2010
24		Bogdan Groza, Marius Minea: Customizing Protocol Specifications for Detecting Resource Exhaustion and Guessing Attacks. FMCO 2010: 45-60
23		Bogdan Groza, Marius Minea: A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing. Financial Cryptography 2010: 391-399
	2009
22		Bogdan Groza, Marius Minea: A Calculus to Detect Guessing Attacks. ISC 2009: 59-67
21		Danny Dig, Mihai Tarce, Cosmin Radoi, Marius Minea, Ralph E. Johnson: Relooper: refactoring for loop parallelism in Java. OOPSLA Companion 2009: 793-794
	2007
20		Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea: Preface. Electr. Notes Theor. Comput. Sci. 186: 1-2 (2007)
	2006
19		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
18		Danièle Beauquier, Marie Duflot, Marius Minea: A Probabilistic Property-Specific Approach to Information Flow. MMM-ACNS 2005: 206-220
17		Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea: Safety Interfaces for Component-Based Systems. SAFECOMP 2005: 246-260
	2004
16		Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled: Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS 2004: 195-210
	2002
15		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
14		Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. HSCC 2001: 275-290
	1999
13		Marius Minea: Partial Order Reduction for Model Checking of Timed Automata. CONCUR 1999: 431-446
12		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): 75-87 (1999)
11		Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled: State Space Reduction Using Partial Order Techniques. STTT 2(3): 279-287 (1999)
	1998
10		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
	1997
9		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
8		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749
7		Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke: Equivalence Checking Using Abstract BDDs. ICCD 1997: 332-337
6		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
5		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
4		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
3		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi: Temporal Verification of Real-Time Systems. IEICE Transactions 78-D(7): 796-801 (1995)
	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	Alessandro Armando	[28]
2	Wihem Arsac	[28]
3	Tigran Avanesov	[28]
4	Michele Barletta	[28]
5	Danièle Beauquier	[18]
6	Alberto Calvi	[28]
7	Sérgio Vale Aguiar Campos	[1] [3] [4] [5] [6] [9] [12]
8	Alessandro Cappai	[28]
9	Roberto Carbone	[25] [28]
10	Yannick Chevalier	[28]
11	Edmund M. Clarke	[1] [3] [4] [5] [6] [7] [9] [11] [12] [19]
12	Luca Compagna	[28]
13	Jorge Cuéllar (Jorge Ricardo Cuellar)	[28]
14	Frédéric Cuppens	[27]
15	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[28]
16	Danny Dig	[21]
17	Catalin Dima	[20]
18	Marie Duflot	[18]
19	Petru Eles	[2]
20	Jonas Elmqvist	[17]
21	Gabriel Erzse	[28]
22	Simon Foley	[27]
23	Simone Frau	[28]
24	Blaise Genest	[16]
25	Bogdan Groza	[22] [23] [24] [26] [27]
26	Orna Grumberg	[11]
27	Thomas A. Henzinger	[14]
28	Hiromi Hiraishi	[1] [3]
29	Somesh Jha	[7]
30	Ralph E. Johnson	[21]
31	Krzysztof Kuchcinski	[2]
32	Andreas Kuehlmann	[12]
33	Robert P. Kurshan	[8] [10] [15]
34	Vladimir Levin	[8] [10] [15]
35	Yuan Lu	[7]
36	Wilfredo R. Marrero	[1] [3] [4] [5]
37	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[25] [28]
38	Anca Muscholl	[16]
39	Simin Nadjm-Tehrani	[17]
40	David von Oheimb	[28]
41	Doron Peled	[8] [10] [11] [15] [16]
42	Giancarlo Pellegrino	[28]
43	Zebo Peng	[2]
44	Serena Elisa Ponta	[25] [28]
45	Vinayak S. Prabhu	[14]
46	Cosmin Radoi	[21]
47	Marco Rocchetto	[28]
48	Michaël Rusinowitch	[28]
49	Mihai Tarce	[21]
50	Marcio Teixeira	[12]
51	Ferucio Laurentiu Tiplea	[19] [20]
52	Mathieu Turuani	[25] [28]
53	Luca Viganò	[25] [28]
54	Hüsnü Yenigün	[8] [10] [15]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page