TIMES: a tool for schedulability analysis and code generation of real-time systems T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004 | 269 | 2004 |
Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007 | 210 | 2007 |
TIMES b—A tool for modelling and implementation of embedded systems T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002 | 177 | 2002 |
Timed automata with asynchronous processes: Schedulability and decidability E Fersman, P Pettersson, W Yi Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002 | 156 | 2002 |
Schedulability analysis of fixed-priority systems using timed automata E Fersman, L Mokrushin, P Pettersson, W Yi Theoretical Computer Science 354 (2), 301-317, 2006 | 126 | 2006 |
A systematic literature review about the impact of artificial intelligence on autonomous vehicle safety AM Nascimento, LF Vismari, CBST Molina, PS Cugnasca, JB Camargo, ... IEEE Transactions on Intelligent Transportation Systems 21 (12), 4928-4946, 2019 | 119 | 2019 |
Code synthesis for timed automata T Amnell Uppsala University, 2003 | 87 | 2003 |
Personalized interaction using codes A Damola, E Fersman US Patent 8,671,440, 2014 | 66 | 2014 |
A generic approach to schedulability analysis of real-time tasks E Fersman, W Yi Nordic Journal of Computing 11, 129-147, 2004 | 49 | 2004 |
Methods and systems for providing updates to and receiving data from devices having short range wireless communication capabilities K Vandikas, E Fersman, R Inam, L Mokrushin US Patent 9,836,296, 2017 | 48 | 2017 |
Feasibility assessment to realise vehicle teleoperation using cellular networks R Inam, N Schrammar, K Wang, A Karapantelakis, L Mokrushin, AV Feljan, ... 2016 IEEE 19th International Conference on Intelligent Transportation …, 2016 | 46 | 2016 |
Schedulability analysis using two clocks E Fersman, L Mokrushin, P Pettersson, W Yi Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003 | 46 | 2003 |
A2CPS: A Vehicle-Centric Safety Conceptual Framework for Autonomous Transport Systems JK Naufal, JB Camargo, LF Vismari, JR de Almeida, C Molina, ... IEEE Transactions on Intelligent Transportation Systems 19 (6), 1925-1939, 2017 | 44 | 2017 |
Method for traffic control entity for controlling vehicle traffic C Donovan, E Fersman, R Inam, S Pierrel, V Tsiatsis US Patent 11,527,157, 2022 | 42 | 2022 |
Explainability methods for identifying root-cause of SLA violation prediction in 5G network A Terra, R Inam, S Baskaran, P Batista, I Burdick, E Fersman GLOBECOM 2020-2020 IEEE Global Communications Conference, 1-7, 2020 | 36 | 2020 |
Knowledge representation of cyber-physical systems for monitoring purpose D Gürdür, AV Feljan, J El-khoury, SK Mohalik, R Badrinath, AP Mujumdar, ... Procedia Cirp 72, 468-473, 2018 | 33 | 2018 |
Disclosing and controlling collection of information from electronic devices J Formo, M Anneroth, E Fersman, F Zaloshnja US Patent 9,544,763, 2017 | 27 | 2017 |
Edge computing for cyber-physical systems: A systematic mapping study emphasizing trustworthiness JMG Sánchez, N Jörgensen, M Törngren, R Inam, A Berezovskyi, L Feng, ... ACM Transactions on Cyber-Physical Systems (TCPS) 6 (3), 1-28, 2022 | 25 | 2022 |
Communication device, first radio node, second radio node, and methods therein, for determining whether to allow a first vehicle to overtake a vehicle platoon R Inam, E Fersman, A Karapantelakis, K Vandikas US Patent 11,122,400, 2021 | 25 | 2021 |
DevOps for IoT applications using cellular networks and cloud A Karapantelakis, H Liang, K Wang, K Vandikas, R Inam, E Fersman, ... 2016 IEEE 4th International Conference on Future Internet of Things and …, 2016 | 25 | 2016 |