researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

mariusminea

Statistics

Publications: 0
Edited: 0
Credit: 0

Aliases

Minea
Marius Minea
Minea, M.
Minea, Marius
M. Minea

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Marius Minea's Profile

Publications

Unidentified Publications

Publications with a 'Marius Minea' as author, editor, or advisor:

Smart Preventive Maintenance of Hybrid Networks and IoT Systems Using Software Sensing and Future State PredictionMarius Minea, Viviana Laetitia Minea, Augustin Semenescu. sensors, 23(13):6012, July 2023. [doi]
Designing Intelligent Agents for the Management of Complex Data Communication Networks in Smart CitiesMarius Minea, Catalin Marian Dumitrescu, Viviana Laetitia Minea, Augustin Semenescu. ecai2 2021: 1-6 [doi]
Analysis of Interferences in Data Transmission for Wireless Communications Implemented in Vehicular EnvironmentsValentin Iordache, Razvan Andrei Gheorghiu, Marius Minea. FedCSIS 2017: 849-852 [doi]
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time SystemsSérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea. lctrts 1995: 70-78
Digitally migration concept for railway failsafe protection circuitRazvan Andrei Gheorghiu, Angel Ciprian Cormos, Marius Minea, Mihai Radu. ecai2 2018: 1-4 [doi]
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, 2005Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea, editors, Volume 1 of NATO Security through Science Series D: Information and Communication Security, IOS Press, 2006.
JMODEX: Model extraction for verifying security properties of web applicationsPetru Florin Mihancea, Marius Minea. CSMR 2014: 450-453 [doi]
A Survey on ZigBee Communications Efficiency for Subway Additional ServicesMarius Minea, Razvan Andrei Gheorghiu, Valentin Iordache, Maria Claudia Surugiu, Mihai Dima. arbeitspl 2018: 1-5 [doi]
The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time SystemsSérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea. cav 1997: 452-455
UAV Detection Employing Sensor Data Fusion and Artificial IntelligenceCatalin Dumitrescu, Marius Minea, Petrica Ciotirnae. isat 2020: 129-139 [doi]
Temporal Verification of Real-Time SystemsSérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi. ieicet, 78-D(7):796-801, 1995. [doi]
Cellular - Sensorless V2I - based traffic information and communications infrastructure: Case study for high class motorwaysMarius Minea. ecai2 2017: 1-6 [doi]
State Space Reduction Using Partial Order TechniquesEdmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled. STTT, 2(3):279-287, 1999. [doi]
Advanced e-Call Support Based on Non-Intrusive Driver Condition Monitoring for Connected and Autonomous VehiclesMarius Minea, Catalin Dumitrescu, Ilona Madalina Costea. sensors, 21(24):8272, 2021. [doi]
Finding Errors in Python Programs Using Dynamic Symbolic ExecutionSamir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke. pts 2013: 283-289 [doi]
An Experimental Assessment of People's Location Efficiency Using Low-Energy Communications-Based Movement TrackingMarius Minea. sensors, 22(22):9025, 2022. [doi]
Safety Interfaces for Component-Based SystemsJonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea. safecomp 2005: 246-260 [doi]
CRiSIS 2011, Proceedings of the Sixth International Conference on Risks and Security of Internet and Systems, Timișoara, Romania, September 26-28, 2011Frédéric Cuppens, Simon Foley, Bogdan Groza, Marius Minea, editors, IEEE, 2011.
Partial Order Reduction for Model Checking of Timed AutomataMarius Minea. concur 1999: 431-446 [doi]
Model Checking Semi-Continuous Time Models Using BDDsSérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke. ENTCS, 23(2):75-87, 1999. [doi]
A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line GuessingBogdan Groza, Marius Minea. fc 2010: 391-399 [doi]
Static Partial Order ReductionRobert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün. TACAS 1998: 345-357 [doi]
Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea, editors, Volume 186 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
Symbolic Techniques for Formally Verifying Industrial SystemsSérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea. SCP, 29(1-2):79-98, 1997.
Computing Quantitative Characteristics of Finite-State Real-Time SystemsSérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi. rtss 1994: 266-270
Robotic Railway Multi-Sensing and Profiling Unit Based on Artificial Intelligence and Data FusionMarius Minea, Catalin Dumitrescu, Mihai Dima. sensors, 21(20):6876, 2021. [doi]
Bluetooth latency analysis for vehicular communications in a Wi-Fi noisy environmentRazvan Andrei Gheorghiu, Valentin Iordache, Marius Minea, Angel Ciprian Cormos. arbeitspl 2017: 148-151 [doi]
A Probabilistic Property-Specific Approach to Information FlowDanièle Beauquier, Marie Duflot, Marius Minea. mmmacns 2005: 206-220 [doi]
ZigBee Efficiency Assessment for Additional Subway Safety Communications in Tunnel EnvironmentsMarius Minea, Razvan Andrei Gheorghiu, Valentin Iordache, Maria Claudia Surugiu, Mihai Dima. arbeitspl 2018: 1-4 [doi]
Guiding Random Test Generation for Intra-class Dataflow CoveragePetru Florin Mihancea, Edit Mercedes Mera-Batiz, Marius Minea. synasc 2014: 149-155 [doi]
Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, ProceedingsSérgio Campos, Marius Minea, editors, Volume 13130 of Lecture Notes in Computer Science, Springer, 2021. [doi]
Formal modelling and automatic detection of resource exhaustion attacksBogdan Groza, Marius Minea. ccs 2011: 326-333 [doi]
Specifying and Verifying Partial Order Properties Using Template MSCsBlaise Genest, Marius Minea, Anca Muscholl, Doron Peled. fossacs 2004: 195-210 [doi]
Synthesis of VHDL concurrent processesPetru Eles, Marius Minea, Krzysztof Kuchcinski, Zebo Peng. eurodac 1994: 540-545 [doi]
Customizing Protocol Specifications for Detecting Resource Exhaustion and Guessing AttacksBogdan Groza, Marius Minea. FMCO 2012: 45-60 [doi]
Urban Traffic Noise Analysis Using UAV-Based Array of MicrophonesMarius Minea, Catalin Marian Dumitrescu. sensors, 23(4):1912, February 2023. [doi]
Model inference and security testing in the spacios projectMatthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat. CSMR 2014: 411-414 [doi]
Intelligent Network Applications Monitoring and Diagnosis Employing Software Sensing and Machine Learning SolutionsMarius Minea, Catalin Dumitrescu, Viviana Laetitia Minea. sensors, 21(15):5036, 2021. [doi]
Automatic inference of model fields and their representationMihai Balint, Marius Minea. ECOOP 2011: [doi]
Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive ChannelsBogdan Groza, Marius Minea. critis 2013: 167-178 [doi]
On the design of V2I communications architecture with reduced infrastructural set: Urban scenarioMarius Minea. ecai2 2017: 1-4 [doi]
Field testing of nRF24 communications as a support for Smart City applicationsRazvan Andrei Gheorghiu, Marius Minea, Valentin Iordache, Buretea Laurentiu Dorin. arbeitspl 2023: 74-77 [doi]
A Survey on Wi-Fi Usability for Additional Safety Communications in Subway EnvironmentMarius Minea, Viviana Laetitia Minea, Valentin Alexandru Stan. ecai2 2018: 1-6 [doi]
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021)Sérgio Vale Aguiar Campos, Marius Minea. SCP, 230:102991, August 2023. [doi]
A Calculus to Detect Guessing AttacksBogdan Groza, Marius Minea. isw 2009: 59-67 [doi]
Verifying the performance of the PCI local bus using symbolic techniquesSérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea. iccd 1995: 72-78 [doi]
Developing a Solution for Mobility and Distribution Analysis Based on Bluetooth and Artificial IntelligenceMarius Minea, Catalin Dumitrescu, Ilona Madalina Costea, Ionut Cosmin Chiva, Augustin Semenescu. sensors, 20(24):7327, 2020. [doi]
Assessment of ZigBee communications efficiency for truck platooning applicationsRazvan Andrei Gheorghiu, Valentin Iordache, Marius Minea. ecai2 2019: 1-4 [doi]
Preventive Maintenance of the Railway Infrastructure employing Robotized Platform and Virtual InstrumentationMihai Dima, Iulian Adrian Chihaia, Maria Claudia Surugiu, Marius Minea. ecai2 2018: 1-6 [doi]
Considerations for using ZigBee technology in vehicular non-critical applicationsValentin Iordache, Marius Minea, Razvan Andrei Gheorghiu. FedCSIS 2017: 853-856 [doi]
Combining Software and Hardware Verification TechniquesRobert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün. fmsd, 21(3):251-280, 2002.
Assume-Guarantee Reasoning for Hierarchical Hybrid SystemsThomas A. Henzinger, Marius Minea, Vinayak S. Prabhu. hybrid 2001: 275-290 [doi]
Non-Intrusive Driver Condition Monitoring in Highly Automated Vehicles with Medical Information Support for Emergency CallingMarius Minea, Catalin Dumitrescu, Ilona Madalina Costea. arbeitspl 2019: 62-66 [doi]
Development of an Acoustic System for UAV DetectionCatalin Dumitrescu, Marius Minea, Ilona Madalina Costea, Ionut Cosmin Chiva, Augustin Semenescu. sensors, 20(17):4870, 2020. [doi]
Unconventional Public Transport Anonymous Data Collection employing Artificial IntelligenceMarius Minea, Catalin Dumitrescu, Ionut Cosmin Chiva. ecai2 2019: 1-6 [doi]
Relooper: refactoring for loop parallelism in JavaDanny Dig, Mihai Tarce, Cosmin Radoi, Marius Minea, Ralph E. Johnson. OOPSLA 2009: 793-794 [doi]
Equivalence Checking Using Abstract BDDsSomesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke. iccd 1997: 332-337
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented ArchitecturesAlessandro 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ò. TACAS 2012: 267-282 [doi]
Timing analysis of industrial real-time systemsSérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea. wift 1995: 97-107 [doi]
Verifying hardware in its software contextRobert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün. iccad 1997: 742-749 [doi]
Compiling VHDL into a high-level synthesis design representationPetru Eles, Krzysztof Kuchcinski, Zebo Peng, Marius Minea. eurodac 1992: 604-609 [doi]
Towards Formal Validation of Trust and Security in the Internet of ServicesRoberto Carbone, Marius Minea, Sebastian Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò. fia 2011: 193-208 [doi]
PrefaceCatalin Dima, Marius Minea, Ferucio Laurentiu Tiplea. ENTCS, 186:1-2, 2007. [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL