Mihai Carabas

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

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

2016
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

2015
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

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


  Loading...