According to our database1, Mihai Carabas
Legend:Book In proceedings Article PhD thesis Other
µQC: a property-based testing framework for L4 microkernels.
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.
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