Marius Minea

According to our database, Marius Minea authored at least 59 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021).

Sérgio Vale Aguiar Campos, Marius Minea

Sci. Comput. Program., August, 2023

Smart Preventive Maintenance of Hybrid Networks and IoT Systems Using Software Sensing and Future State Prediction.

Marius Minea, Viviana Laetitia Minea, Augustin Semenescu

Sensors, July, 2023

Urban Traffic Noise Analysis Using UAV-Based Array of Microphones.

Marius Minea, Catalin Marian Dumitrescu

Sensors, February, 2023

Field testing of nRF24 communications as a support for Smart City applications.

Razvan Andrei Gheorghiu, Marius Minea, Valentin Iordache, Buretea Laurentiu Dorin

Proceedings of the 46th International Conference on Telecommunications and Signal Processing, 2023

2022

An Experimental Assessment of People's Location Efficiency Using Low-Energy Communications-Based Movement Tracking.

Marius Minea

Sensors, 2022

2021

Intelligent Network Applications Monitoring and Diagnosis Employing Software Sensing and Machine Learning Solutions.

Marius Minea, Catalin Marian Dumitrescu, Viviana Laetitia Minea

Sensors, 2021

Robotic Railway Multi-Sensing and Profiling Unit Based on Artificial Intelligence and Data Fusion.

Marius Minea, Catalin Marian Dumitrescu, Mihai Dima

Sensors, 2021

Advanced e-Call Support Based on Non-Intrusive Driver Condition Monitoring for Connected and Autonomous Vehicles.

Marius Minea, Catalin Marian Dumitrescu, Ilona Madalina Costea

Sensors, 2021

Designing Intelligent Agents for the Management of Complex Data Communication Networks in Smart Cities.

Marius Minea, Catalin Marian Dumitrescu, Viviana Laetitia Minea, Augustin Semenescu

Proceedings of the 13th International Conference on Electronics, 2021

2020

Developing a Solution for Mobility and Distribution Analysis Based on Bluetooth and Artificial Intelligence.

Marius Minea, Catalin Marian Dumitrescu, Ilona Madalina Costea, Ionut Cosmin Chiva, Augustin Semenescu

Sensors, 2020

Development of an Acoustic System for UAV Detection.

Catalin Marian Dumitrescu, Marius Minea, Ilona Madalina Costea, Ionut Cosmin Chiva, Augustin Semenescu

Sensors, 2020

2019

Non-Intrusive Driver Condition Monitoring in Highly Automated Vehicles with Medical Information Support for Emergency Calling.

Marius Minea, Catalin Marian Dumitrescu, Ilona Madalina Costea

Proceedings of the 42nd International Conference on Telecommunications and Signal Processing, 2019

UAV Detection Employing Sensor Data Fusion and Artificial Intelligence.

Catalin Marian Dumitrescu, Marius Minea, Petrica Ciotirnae

Proceedings of the Information Systems Architecture and Technology: Proceedings of 40th Anniversary International Conference on Information Systems Architecture and Technology - ISAT 2019, 2019

Unconventional Public Transport Anonymous Data Collection employing Artificial Intelligence.

Marius Minea, Catalin Marian Dumitrescu, Ionut Cosmin Chiva

Proceedings of the 11th International Conference on Electronics, 2019

Assessment of ZigBee communications efficiency for truck platooning applications.

Razvan Andrei Gheorghiu, Valentin Iordache, Marius Minea

Proceedings of the 11th International Conference on Electronics, 2019

2018

A Survey on ZigBee Communications Efficiency for Subway Additional Services.

Marius Minea, Razvan Andrei Gheorghiu, Valentin Iordache, Maria Claudia Surugiu, Mihai Dima

Proceedings of the 41st International Conference on Telecommunications and Signal Processing, 2018

ZigBee Efficiency Assessment for Additional Subway Safety Communications in Tunnel Environments.

Marius Minea, Razvan Andrei Gheorghiu, Valentin Iordache, Maria Claudia Surugiu, Mihai Dima

Proceedings of the 41st International Conference on Telecommunications and Signal Processing, 2018

A Survey on Wi-Fi Usability for Additional Safety Communications in Subway Environment.

Marius Minea, Viviana Laetitia Minea, Valentin Alexandru Stan

Proceedings of the 2018 10th International Conference on Electronics, 2018

Digitally migration concept for railway failsafe protection circuit.

Razvan Andrei Gheorghiu, Angel Ciprian Cormos, Marius Minea, Mihai Radu

Proceedings of the 2018 10th International Conference on Electronics, 2018

Preventive Maintenance of the Railway Infrastructure employing Robotized Platform and Virtual Instrumentation.

Mihai Dima, Iulian Adrian Chihaia, Maria Claudia Surugiu, Marius Minea

Proceedings of the 2018 10th International Conference on Electronics, 2018

2017

Bluetooth latency analysis for vehicular communications in a Wi-Fi noisy environment.

Razvan Andrei Gheorghiu, Valentin Iordache, Marius Minea, Angel Ciprian Cormos

Proceedings of the 40th International Conference on Telecommunications and Signal Processing, 2017

Considerations for using ZigBee technology in vehicular non-critical applications.

Valentin Iordache, Marius Minea, Razvan Andrei Gheorghiu

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

Analysis of Interferences in Data Transmission for Wireless Communications Implemented in Vehicular Environments.

Valentin Iordache, Razvan Andrei Gheorghiu, Marius Minea

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

On the design of V2I communications architecture with reduced infrastructural set: Urban scenario.

Marius Minea

Proceedings of the 9th International Conference on Electronics, 2017

Cellular - Sensorless V2I - based traffic information and communications infrastructure: Case study for high class motorways.

Marius Minea

Proceedings of the 9th International Conference on Electronics, 2017

2014

Guiding Random Test Generation for Intra-class Dataflow Coverage.

Petru Florin Mihancea, Edit Mercedes Mera-Batiz, Marius Minea

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

JMODEX: Model extraction for verifying security properties of web applications.

Petru Florin Mihancea, Marius Minea

Proceedings of the 2014 Software Evolution Week, 2014

Model inference and security testing in the spacios project.

Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat

Proceedings of the 2014 Software Evolution Week, 2014

2013

Finding Errors in Python Programs Using Dynamic Symbolic Execution.

Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke

Proceedings of the Testing Software and Systems, 2013

Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive Channels.

Bogdan Groza, Marius Minea

Proceedings of the Critical Information Infrastructures Security, 2013

2012

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 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ò

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

Towards Formal Validation of Trust and Security in the Internet of Services.

Roberto Carbone, Marius Minea, Sebastian Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò

Proceedings of the Future Internet, 2011

Automatic inference of model fields and their representation.

Mihai Balint, Marius Minea

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

Formal modelling and automatic detection of resource exhaustion attacks.

Bogdan Groza, Marius Minea

Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, 2011

2010

Customizing Protocol Specifications for Detecting Resource Exhaustion and Guessing Attacks.

Bogdan Groza, Marius Minea

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing.

Bogdan Groza, Marius Minea

Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010

2009

Relooper: refactoring for loop parallelism in Java.

Danny Dig, Mihai Tarce, Cosmin Radoi, Marius Minea, Ralph E. Johnson

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

A Calculus to Detect Guessing Attacks.

Bogdan Groza, Marius Minea

Proceedings of the Information Security, 12th International Conference, 2009

2006

Preface.

Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea

Proceedings of the First Workshop in Information and Computer Security, 2006

2005

Safety Interfaces for Component-Based Systems.

Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea

Proceedings of the Computer Safety, 2005

A Probabilistic Property-Specific Approach to Information Flow.

Danièle Beauquier, Marie Duflot, Marius Minea

Proceedings of the Computer Network Security, 2005

2004

Specifying and Verifying Partial Order Properties Using Template MSCs.

Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2002

Combining Software and Hardware Verification Techniques.

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün

Formal Methods Syst. Des., 2002

2001

Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.

Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

1999

State Space Reduction Using Partial Order Techniques.

Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron A. Peled

Int. J. Softw. Tools Technol. Transf., 1999

Model Checking Semi-Continuous Time Models Using BDDs.

Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke

Proceedings of the First International Workshop on Symbolic Model Checking, 1999

Partial Order Reduction for Model Checking of Timed Automata.

Marius Minea

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Static Partial Order Reduction.

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997

Symbolic Techniques for Formally Verifying Industrial Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea

Sci. Comput. Program., 1997

Equivalence Checking Using Abstract BDDs.

Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

Verifying hardware in its software context.

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1995

Temporal Verification of Real-Time Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi

IEICE Trans. Inf. Syst., 1995

Timing analysis of industrial real-time systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea

Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, 1995

Verifying the performance of the PCI local bus using symbolic techniques.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

Computing Quantitative Characteristics of Finite-State Real-Time Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

Synthesis of VHDL concurrent processes.

Petru Eles, Marius Minea, Krzysztof Kuchcinski, Zebo Peng

Proceedings of the Proceedings EURO-DAC'94, 1994

1992

Compiling VHDL into a high-level synthesis design representation.

Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Marius Minea

Proceedings of the conference on European design automation, 1992