Marius Minea

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 28

Top Topics

Artificial Intelligence

Wireless Communication

Top Venues

Publications

Valentin Iordache, Marius Minea, Razvan Andrei Gheorghiu, Angel Ciprian Cormos, Florin Badau
Testing Bluetooth Low Energy v5 Capabilities for Connected Vehicles Applications. TSP (2024)
Marius Minea, Bogdan George Popescu, Roberto-Mario Bors, Andreea-Alexandra Ticu, Paul-Dan Stoichici
Detection of Vehicles and Travelers in Public Transport System Using Bluetooth and Wi-Fi. ECAI (2024)
Valentin Iordache, Marius Minea, Razvan Andrei Gheorghiu, Florin Badau, Victor Stoica, Valentin Alexandru Stan
Assessing performance of long-range ZigBee for road infrastructure communications. ECAI (2024)
Razvan Andrei Gheorghiu, Marius Minea, Valentin Iordache, Buretea Laurentiu Dorin
Field testing of nRF24 communications as a support for Smart City applications. TSP (2023)
Marius Minea, Catalin Marian Dumitrescu
Urban Traffic Noise Analysis Using UAV-Based Array of Microphones. Sensors 23 (4) (2023)
Sérgio Vale Aguiar Campos, Marius Minea
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021). Sci. Comput. Program. 230 (2023)
Marius Minea, Viviana Laetitia Minea, Augustin Semenescu
Smart Preventive Maintenance of Hybrid Networks and IoT Systems Using Software Sensing and Future State Prediction. Sensors 23 (13) (2023)
Marius Minea
An Experimental Assessment of People's Location Efficiency Using Low-Energy Communications-Based Movement Tracking. Sensors 22 (22) (2022)
Marius Minea, Catalin Dumitrescu, Mihai Dima
Robotic Railway Multi-Sensing and Profiling Unit Based on Artificial Intelligence and Data Fusion. Sensors 21 (20) (2021)
Marius Minea, Catalin Marian Dumitrescu, Viviana Laetitia Minea, Augustin Semenescu
Designing Intelligent Agents for the Management of Complex Data Communication Networks in Smart Cities. ECAI (2021)
Marius Minea, Catalin Dumitrescu, Ilona Madalina Costea
Advanced e-Call Support Based on Non-Intrusive Driver Condition Monitoring for Connected and Autonomous Vehicles. Sensors 21 (24) (2021)
Marius Minea, Catalin Dumitrescu, Viviana Laetitia Minea
Intelligent Network Applications Monitoring and Diagnosis Employing Software Sensing and Machine Learning Solutions. Sensors 21 (15) (2021)
Marius Minea, Catalin Dumitrescu, Ilona Madalina Costea, Ionut Cosmin Chiva, Augustin Semenescu
Developing a Solution for Mobility and Distribution Analysis Based on Bluetooth and Artificial Intelligence. Sensors 20 (24) (2020)
Catalin Dumitrescu, Marius Minea, Ilona Madalina Costea, Ionut Cosmin Chiva, Augustin Semenescu
Development of an Acoustic System for UAV Detection. Sensors 20 (17) (2020)
Catalin Dumitrescu, Marius Minea, Petrica Ciotirnae
UAV Detection Employing Sensor Data Fusion and Artificial Intelligence. ISAT (1) (2019)
Marius Minea, Catalin Dumitrescu, Ilona Madalina Costea
Non-Intrusive Driver Condition Monitoring in Highly Automated Vehicles with Medical Information Support for Emergency Calling. TSP (2019)
Razvan Andrei Gheorghiu, Valentin Iordache, Marius Minea
Assessment of ZigBee communications efficiency for truck platooning applications. ECAI (2019)
Marius Minea, Catalin Dumitrescu, Ionut Cosmin Chiva
Unconventional Public Transport Anonymous Data Collection employing Artificial Intelligence. ECAI (2019)
Marius Minea, Razvan Andrei Gheorghiu, Valentin Iordache, Maria Claudia Surugiu, Mihai Dima
ZigBee Efficiency Assessment for Additional Subway Safety Communications in Tunnel Environments. TSP (2018)
Mihai Dima, Iulian Adrian Chihaia, Maria Claudia Surugiu, Marius Minea
Preventive Maintenance of the Railway Infrastructure employing Robotized Platform and Virtual Instrumentation. ECAI (2018)
Razvan Andrei Gheorghiu, Angel Ciprian Cormos, Marius Minea, Mihai Radu
Digitally migration concept for railway failsafe protection circuit. ECAI (2018)
Marius Minea, Razvan Andrei Gheorghiu, Valentin Iordache, Maria Claudia Surugiu, Mihai Dima
A Survey on ZigBee Communications Efficiency for Subway Additional Services. TSP (2018)
Marius Minea, Viviana Laetitia Minea, Valentin Alexandru Stan
A Survey on Wi-Fi Usability for Additional Safety Communications in Subway Environment. ECAI (2018)
Marius Minea
On the design of V2I communications architecture with reduced infrastructural set: Urban scenario. ECAI (2017)
Marius Minea
Cellular - Sensorless V2I - based traffic information and communications infrastructure: Case study for high class motorways. ECAI (2017)
Valentin Iordache, Marius Minea, Razvan Andrei Gheorghiu
Considerations for using ZigBee technology in vehicular non-critical applications. FedCSIS (2017)
Razvan Andrei Gheorghiu, Valentin Iordache, Marius Minea, Angel Ciprian Cormos
Bluetooth latency analysis for vehicular communications in a Wi-Fi noisy environment. TSP (2017)
Valentin Iordache, Razvan Andrei Gheorghiu, Marius Minea
Analysis of Interferences in Data Transmission for Wireless Communications Implemented in Vehicular Environments. FedCSIS (2017)
Petru Florin Mihancea, Marius Minea
JMODEX: Model extraction for verifying security properties of web applications. CSMR-WCRE (2014)
Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat
Model inference and security testing in the spacios project. CSMR-WCRE (2014)
Petru Florin Mihancea, Edit Mercedes Mera-Batiz, Marius Minea
Guiding Random Test Generation for Intra-class Dataflow Coverage. SYNASC (2014)
Bogdan Groza, Marius Minea
Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive Channels. CRITIS (2013)
Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke
Finding Errors in Python Programs Using Dynamic Symbolic Execution. ICTSS (2013)
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)
Bogdan Groza, Marius Minea
Formal modelling and automatic detection of resource exhaustion attacks. AsiaCCS (2011)
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)
Mihai Balint, Marius Minea
Automatic inference of model fields and their representation. FTfJP@ECOOP (2011)
Bogdan Groza, Marius Minea
A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing. Financial Cryptography (2010)
Bogdan Groza, Marius Minea
Customizing Protocol Specifications for Detecting Resource Exhaustion and Guessing Attacks. FMCO (2010)
Danny Dig, Mihai Tarce, Cosmin Radoi, Marius Minea, Ralph E. Johnson
Relooper: refactoring for loop parallelism in Java. OOPSLA Companion (2009)
Bogdan Groza, Marius Minea
A Calculus to Detect Guessing Attacks. ISC (2009)
Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea
Preface. Electron. Notes Theor. Comput. Sci. 186 (2007)
Danièle Beauquier, Marie Duflot, Marius Minea
A Probabilistic Property-Specific Approach to Information Flow. MMM-ACNS (2005)
Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea
Safety Interfaces for Component-Based Systems. SAFECOMP (2005)
Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled
Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS (2004)
Marius Minea, Cornel Izbasa, Calin Jebelean
Experience with Formal Verification of SDL Protocols. Int. J. Comput. 2 (3) (2003)
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
Combining Software and Hardware Verification Techniques. Formal Methods Syst. Des. 21 (3) (2002)
Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. HSCC (2001)
Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron A. Peled
State Space Reduction Using Partial Order Techniques. Int. J. Softw. Tools Technol. Transf. 2 (3) (1999)
Marius Minea
Partial Order Reduction for Model Checking of Timed Automata. CONCUR (1999)
Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke
Model Checking Semi-Continuous Time Models Using BDDs. Electron. Notes Theor. Comput. Sci. 23 (2) (1999)
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
Static Partial Order Reduction. TACAS (1998)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea
Symbolic Techniques for Formally Verifying Industrial Systems. Sci. Comput. Program. 29 (1-2) (1997)
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)
Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke
Equivalence Checking Using Abstract BDDs. ICCD (1997)
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
Verifying hardware in its software context. ICCAD (1997)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea
Timing analysis of industrial real-time systems. WIFT (1995)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi
Temporal Verification of Real-Time Systems. IEICE Trans. Inf. Syst. (7) (1995)
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)
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)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi
Computing Quantitative Characteristics of Finite-State Real-Time Systems. RTSS (1994)
Petru Eles, Marius Minea, Krzysztof Kuchcinski, Zebo Peng
Synthesis of VHDL concurrent processes. EURO-DAC (1994)
Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Marius Minea
Compiling VHDL into a high-level synthesis design representation. EURO-DAC (1992)