![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Marius Minea
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c49]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: 1-5 - [c48]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: 1-6 - [c47]Valentin Iordache, Marius Minea, Razvan Andrei Gheorghiu, Angel Ciprian Cormos, Florin Badau:
Testing Bluetooth Low Energy v5 Capabilities for Connected Vehicles Applications. TSP 2024: 130-134 - 2023
- [j14]Sérgio Vale Aguiar Campos, Marius Minea:
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021). Sci. Comput. Program. 230: 102991 (2023) - [j13]Marius Minea
, Catalin Marian Dumitrescu
:
Urban Traffic Noise Analysis Using UAV-Based Array of Microphones. Sensors 23(4): 1912 (2023) - [j12]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): 6012 (2023) - [c46]Razvan Andrei Gheorghiu, Marius Minea, Valentin Iordache, Buretea Laurentiu Dorin:
Field testing of nRF24 communications as a support for Smart City applications. TSP 2023: 74-77 - 2022
- [j11]Marius Minea
:
An Experimental Assessment of People's Location Efficiency Using Low-Energy Communications-Based Movement Tracking. Sensors 22(22): 9025 (2022) - 2021
- [j10]Marius Minea
, Catalin Marian Dumitrescu
, Viviana Laetitia Minea:
Intelligent Network Applications Monitoring and Diagnosis Employing Software Sensing and Machine Learning Solutions. Sensors 21(15): 5036 (2021) - [j9]Marius Minea
, Catalin Marian Dumitrescu
, Mihai Dima:
Robotic Railway Multi-Sensing and Profiling Unit Based on Artificial Intelligence and Data Fusion. Sensors 21(20): 6876 (2021) - [j8]Marius Minea
, Catalin Marian Dumitrescu
, Ilona Madalina Costea:
Advanced e-Call Support Based on Non-Intrusive Driver Condition Monitoring for Connected and Autonomous Vehicles. Sensors 21(24): 8272 (2021) - [c45]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: 1-6 - [e4]Sérgio Campos
, Marius Minea:
Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings. Lecture Notes in Computer Science 13130, Springer 2021, ISBN 978-3-030-92136-1 [contents] - 2020
- [j7]Catalin Marian Dumitrescu
, Marius Minea
, Ilona Madalina Costea, Ionut Cosmin Chiva
, Augustin Semenescu:
Development of an Acoustic System for UAV Detection. Sensors 20(17): 4870 (2020) - [j6]Marius Minea
, Catalin Marian 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): 7327 (2020)
2010 – 2019
- 2019
- [c44]Razvan Andrei Gheorghiu, Valentin Iordache, Marius Minea:
Assessment of ZigBee communications efficiency for truck platooning applications. ECAI 2019: 1-4 - [c43]Marius Minea
, Catalin Marian Dumitrescu
, Ionut Cosmin Chiva
:
Unconventional Public Transport Anonymous Data Collection employing Artificial Intelligence. ECAI 2019: 1-6 - [c42]Catalin Marian Dumitrescu
, Marius Minea
, Petrica Ciotirnae
:
UAV Detection Employing Sensor Data Fusion and Artificial Intelligence. ISAT (1) 2019: 129-139 - [c41]Marius Minea, Catalin Marian Dumitrescu, Ilona Madalina Costea:
Non-Intrusive Driver Condition Monitoring in Highly Automated Vehicles with Medical Information Support for Emergency Calling. TSP 2019: 62-66 - 2018
- [c40]Mihai Dima
, Iulian Adrian Chihaia, Maria Claudia Surugiu, Marius Minea:
Preventive Maintenance of the Railway Infrastructure employing Robotized Platform and Virtual Instrumentation. ECAI 2018: 1-6 - [c39]Razvan Andrei Gheorghiu, Angel Ciprian Cormos, Marius Minea, Mihai Radu:
Digitally migration concept for railway failsafe protection circuit. ECAI 2018: 1-4 - [c38]Marius Minea, Viviana Laetitia Minea, Valentin Alexandru Stan:
A Survey on Wi-Fi Usability for Additional Safety Communications in Subway Environment. ECAI 2018: 1-6 - [c37]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: 1-4 - [c36]Marius Minea, Razvan Andrei Gheorghiu, Valentin Iordache, Maria Claudia Surugiu, Mihai Dima:
A Survey on ZigBee Communications Efficiency for Subway Additional Services. TSP 2018: 1-5 - 2017
- [c35]Marius Minea:
Cellular - Sensorless V2I - based traffic information and communications infrastructure: Case study for high class motorways. ECAI 2017: 1-6 - [c34]Marius Minea:
On the design of V2I communications architecture with reduced infrastructural set: Urban scenario. ECAI 2017: 1-4 - [c33]Valentin Iordache
, Razvan Andrei Gheorghiu, Marius Minea:
Analysis of Interferences in Data Transmission for Wireless Communications Implemented in Vehicular Environments. FedCSIS 2017: 849-852 - [c32]Valentin Iordache
, Marius Minea, Razvan Andrei Gheorghiu:
Considerations for using ZigBee technology in vehicular non-critical applications. FedCSIS 2017: 853-856 - [c31]Razvan Andrei Gheorghiu, Valentin Iordache
, Marius Minea, Angel Ciprian Cormos:
Bluetooth latency analysis for vehicular communications in a Wi-Fi noisy environment. TSP 2017: 148-151 - 2014
- [c30]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: 411-414 - [c29]Petru Florin Mihancea, Marius Minea:
JMODEX: Model extraction for verifying security properties of web applications. CSMR-WCRE 2014: 450-453 - [c28]Petru Florin Mihancea, Edit Mercedes Mera-Batiz, Marius Minea:
Guiding Random Test Generation for Intra-class Dataflow Coverage. SYNASC 2014: 149-155 - 2013
- [c27]Bogdan Groza, Marius Minea:
Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive Channels. CRITIS 2013: 167-178 - [c26]Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel
, Edmund M. Clarke:
Finding Errors in Python Programs Using Dynamic Symbolic Execution. ICTSS 2013: 283-289 - 2012
- [c25]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
- [c24]Bogdan Groza, Marius Minea:
Formal modelling and automatic detection of resource exhaustion attacks. AsiaCCS 2011: 326-333 - [c23]Mihai Balint, Marius Minea:
Automatic inference of model fields and their representation. FTfJP@ECOOP 2011: 9:1-9:6 - [c22]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 - [e3]Frédéric Cuppens, Simon N. 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 Computer Society 2011, ISBN 978-1-4577-1889-2 [contents] - 2010
- [c21]Bogdan Groza
, Marius Minea:
A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing. Financial Cryptography 2010: 391-399 - [c20]Bogdan Groza, Marius Minea:
Customizing Protocol Specifications for Detecting Resource Exhaustion and Guessing Attacks. FMCO 2010: 45-60
2000 – 2009
- 2009
- [c19]Bogdan Groza
, Marius Minea:
A Calculus to Detect Guessing Attacks. ISC 2009: 59-67 - [c18]Danny Dig, Mihai Tarce
, Cosmin Radoi, Marius Minea, Ralph E. Johnson:
Relooper: refactoring for loop parallelism in Java. OOPSLA Companion 2009: 793-794 - 2007
- [e2]Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea:
Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006. Electronic Notes in Theoretical Computer Science 186, Elsevier 2007 [contents] - 2006
- [c17]Catalin Dima
, Marius Minea, Ferucio Laurentiu Tiplea:
Preface. ICS@SYNASC 2006: 1-2 - [e1]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. NATO Security through Science Series D: Information and Communication Security 1, IOS Press 2006, ISBN 1-58603-570-3 [contents] - 2005
- [c16]Danièle Beauquier, Marie Duflot
, Marius Minea:
A Probabilistic Property-Specific Approach to Information Flow. MMM-ACNS 2005: 206-220 - [c15]Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea:
Safety Interfaces for Component-Based Systems. SAFECOMP 2005: 246-260 - 2004
- [c14]Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled:
Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS 2004: 195-210 - 2003
- [j5]Marius Minea, Cornel Izbasa, Calin Jebelean:
Experience with Formal Verification of SDL Protocols. Int. J. Comput. 2(3): 63-68 (2003) - 2002
- [j4]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): 251-280 (2002) - 2001
- [c13]Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu
:
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. HSCC 2001: 275-290
1990 – 1999
- 1999
- [j3]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): 279-287 (1999) - [c12]Marius Minea:
Partial Order Reduction for Model Checking of Timed Automata. CONCUR 1999: 431-446 - [c11]Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke:
Model Checking Semi-Continuous Time Models Using BDDs. SMC@FLoC 1999: 75-87 - 1998
- [c10]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün:
Static Partial Order Reduction. TACAS 1998: 345-357 - 1997
- [j2]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) - [c9]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 - [c8]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün:
Verifying hardware in its software context. ICCAD 1997: 742-749 - [c7]Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke:
Equivalence Checking Using Abstract BDDs. ICCD 1997: 332-337 - 1995
- [j1]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. 78-D(7): 796-801 (1995) - [c6]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 - [c5]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 - [c4]Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea:
Timing analysis of industrial real-time systems. WIFT 1995: 97-107 - 1994
- [c3]Petru Eles, Marius Minea, Krzysztof Kuchcinski, Zebo Peng:
Synthesis of VHDL concurrent processes. EURO-DAC 1994: 540-545 - [c2]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: 266-270 - 1992
- [c1]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Marius Minea:
Compiling VHDL into a high-level synthesis design representation. EURO-DAC 1992: 604-609
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 18:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint