Mihai Carabas

According to our database1, Mihai Carabas authored at least 14 papers between 2014 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.



In proceedings 
PhD thesis 


On csauthors.net:


µQC: a property-based testing framework for L4 microkernels.
IJCCBS, 2018

Network Self-healing.
Proceedings of the Image Processing and Communications Challenges 10, 2018

Integrating Parallel Computing in the Curriculum of the University Politehnica of Bucharest.
Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018

Energy-efficient virtualized clusters.
Future Generation Comp. Syst., 2017

Optimizing Memory Usage in L4-Based Microkernel.
Computing and Informatics, 2017

Monitoring and auditing mobile operating systems.
IJSSC, 2016

Generic Data Synchronization Algorithm in Distributed Systems.
Proceedings of the Exploring Services Science - 7th International Conference, 2016

Smart malware detection on Android.
Security and Communication Networks, 2015

Towards the Property-Based Testing of an L4 Microkernel API.
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

Native Runtime Environment for Internet of Things.
Proceedings of the Advanced Computational Methods for Knowledge Engineering - Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications, 2015

Routing enhancements based on evolutionary algorithm.
Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2015

Performance Evaluation of In-kernel System Calls.
Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, 2015

Error Monitoring for Mobile Operating Systems.
Proceedings of the Ninth International Conference on Complex, 2015

Lightweight Display Virtualization For Mobile Devices.
Proceedings of the 2014 International Workshop on Secure Internet of Things, 2014