dblp.uni-trier.dewww.uni-trier.de

Marius Minea Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
21EEBogdan Groza, Marius Minea: A Calculus to Detect Guessing Attacks. ISC 2009: 59-67
20EEDanny Dig, Mihai Tarce, Cosmin Radoi, Marius Minea, Ralph Johnson: Relooper: refactoring for loop parallelism in Java. OOPSLA Companion 2009: 793-794
2007
19EECatalin 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
17EEDanièle Beauquier, Marie Duflot, Marius Minea: A Probabilistic Property-Specific Approach to Information Flow. MMM-ACNS 2005: 206-220
16EEJonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea: Safety Interfaces for Component-Based Systems. SAFECOMP 2005: 246-260
2004
15EEBlaise 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
13EEThomas A. Henzinger, Marius Minea, Vinayak S. Prabhu: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. HSCC 2001: 275-290
1999
12EEMarius Minea: Partial Order Reduction for Model Checking of Timed Automata. CONCUR 1999: 431-446
11EESé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)
10EEEdmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled: State Space Reduction Using Partial Order Techniques. STTT 2(3): 279-287 (1999)
1998
9EERobert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
1997
8EESé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
7EERobert 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
4EESé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
2EEPetru 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)