1. Monitoring and auditing mobile operating systems. (2016) Authors: Carabas, Mihai; Carabas, Costin; Gheorghe, Laura; Deaconescu, Razvan; Tapus, Nicolae Journal: International journal of space-based and situated computing Issue: Volume 6:Number 1(2016) Page Start: 54 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Smart malware detection on Android. Issue 18 (1st September 2015) Authors: Gheorghe, Laura; Marin, Bogdan; Gibson, Gary; Mogosanu, Lucian; Deaconescu, Razvan; Voiculescu, Valentin‐Gabriel; Carabas, Mihai Journal: Security and communication networks Issue: Volume 8:Issue 18(2015) Page Start: 4254 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. ΜQC: a property-based testing framework for L4 microkernels. (2018) Authors: Dragomir, Cosmin; Mogosanu, Lucian; Carabas, Mihai; Deaconescu, Razvan; Tapus, Nicolae Journal: International journal of critical computer-based systems Issue: Volume 8:Number 1(2018) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗