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 | 264 | 2004 |
Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007 | 213 | 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 | 175 | 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 | 158 | 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 | 130 | 2006 |
Code synthesis for timed automata T Amnell Uppsala University, 2003 | 89 | 2003 |
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 | 77 | 2019 |
Personalized interaction using codes A Damola, E Fersman US Patent 8,671,440, 2014 | 63 | 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 |
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 | 47 | 2003 |
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 | 41 | 2016 |
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 | 40 | 2022 |
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 | 38 | 2017 |
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 | 35 | 2017 |
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 | 29 | 2018 |
Disclosing and controlling collection of information from electronic devices J Formo, M Anneroth, E Fersman, F Zaloshnja US Patent 9,544,763, 2017 | 26 | 2017 |
System and method for communication session correlation M Jansson, I Fikouras, S Loreto, E Fersman, R Levenshteyn, G Camarillo, ... US Patent 7,983,240, 2011 | 25 | 2011 |
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 | 24 | 2020 |
A generic approach to schedulability analysis of real-time systems E Fersman Acta Universitatis Upsaliensis, 2003 | 24 | 2003 |
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 | 23 | 2016 |