13 citations · 24 across the 5 of their papers we have counts for
5 papers
Cyber-physical and business perspectives using Federated Digital Twins in multinational and multimodal transportation systems
Ricardo M. Czekster, Alexeis Garcia Perez, Manolya Kavakli-Thorne +2
Digital Twin (DT) technologies promise to remove cyber-physical barriers in systems and services and provide seamless management of distributed resources effectively. Ideally, full…
Predicting Next Useful Location With Context-Awareness: The State-Of-The-Art
Alireza Nezhadettehad, Arkady Zaslavsky, Rakib Abdur +4
Predicting the future location of mobile objects reinforces location-aware services with proactive intelligence and helps businesses and decision-makers with better planning and ne…
Software Model Checking: A Promising Approach to Verify Mobile App Security
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach +1
In this position paper we advocate software model checking as a technique suitable for security analysis of mobile apps. Our recommendation is based on promising results that we ac…
Towards Automated Android App Collusion Detection
Irina Mariuca Asavoae, Jorge Blasco, Thomas M. Chen +5
Android OS supports multiple communication methods between apps. This opens the possibility to carry out threats in a collaborative fashion, c.f. the Soundcomber example from 2011.…
A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles
Siraj Shaikh, Padmanabhan Krishnan
Semi-autonomous vehicles are increasingly serving critical functions in various settings from mining to logistics to defence. A key characteristic of such systems is the presence o…