Marius Minea
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
15
Active years
1994–2017
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | FedCSIS | Analysis of Interferences in Data Transmission for Wireless Communications Implemented in Vehicular Environments. | Valentin Iordache, Razvan Andrei Gheorghiu, Marius Minea |
| 2017 | FedCSIS | Considerations for using ZigBee technology in vehicular non-critical applications. | Valentin Iordache, Marius Minea, Razvan Andrei Gheorghiu |
| 2014 | SYNASC | Guiding Random Test Generation for Intra-class Dataflow Coverage. | Petru Florin Mihancea, Edit Mercedes Mera-Batiz, Marius Minea |
| 2013 | CRITIS | Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive Channels. | Bogdan Groza, Marius Minea |
| 2012 | TACAS | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |
| 2011 | CCS | Formal modelling and automatic detection of resource exhaustion attacks. | Bogdan Groza, Marius Minea |
| 2011 | ECOOP | Automatic inference of model fields and their representation. | Mihai Balint, Marius Minea |
| 2010 | FC | A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing. | Bogdan Groza, Marius Minea |
| 2009 | OOPSLA | Relooper: refactoring for loop parallelism in Java. | Danny Dig, Mihai Tarce, Cosmin Radoi, Marius Minea, Ralph E. Johnson |
| 2005 | SAFECOMP | Safety Interfaces for Component-Based Systems. | Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea |
| 2004 | FOSSACS | Specifying and Verifying Partial Order Properties Using Template MSCs. | Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled |
| 1999 | CONCUR | Partial Order Reduction for Model Checking of Timed Automata. | Marius Minea |
| 1998 | TACAS | Static Partial Order Reduction. | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hsn Yenign |
| 1997 | CAV | The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems. | Srgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea |
| 1997 | ICCAD | Verifying hardware in its software context. | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hsn Yenign |
| 1997 | ICCD | Equivalence Checking Using Abstract BDDs. | Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke |
| 1995 | ICCD | Verifying the performance of the PCI local bus using symbolic techniques. | Srgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea |
| 1994 | RTSS | Computing Quantitative Characteristics of Finite-State Real-Time Systems. | Srgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi |