Marius Minea - RankMe

67 papers A* 1A 15B 3C 8Misc 1Journal 14Unranked 22

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