TIMES: a tool for schedulability analysis and code generation of real-time systems T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi International Conference on Formal Modeling and Analysis of Timed Systems, 60-72, 2003 | 252 | 2003 |
Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007 | 202 | 2007 |
TIMES b—A tool for modelling and implementation of embedded systems T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi International Conference on Tools and Algorithms for the Construction and …, 2002 | 170 | 2002 |
Timed automata with asynchronous processes: Schedulability and decidability E Fersman, P Pettersson, W Yi International Conference on Tools and Algorithms for the Construction and …, 2002 | 152 | 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 | 124 | 2006 |
Code synthesis for timed automata T Amnell Uppsala University, 2003 | 90 | 2003 |
Personalized interaction using codes A Damola, E Fersman US Patent 8,671,440, 2014 | 59 | 2014 |
A generic approach to schedulability analysis of real-time tasks E Fersman, W Yi Nordic Journal of Computing 11, 129-147, 2004 | 46 | 2004 |
Schedulability analysis using two clocks E Fersman, L Mokrushin, P Pettersson, W Yi International Conference on Tools and Algorithms for the Construction and …, 2003 | 46 | 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 | 30 | 2016 |
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 | 28 | 2019 |
Method for traffic control entity for controlling vehicle traffic C Donovan, E Fersman, R Inam, S Pierrel, V Tsiatsis US Patent App. 16/081,287, 2019 | 27 | 2019 |
Disclosing and controlling collection of information from electronic devices J Formo, M Anneroth, E Fersman, F Zaloshnja US Patent 9,544,763, 2017 | 25 | 2017 |
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 | 24 | 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 | 24 | 2011 |
A generic approach to schedulability analysis of real-time systems E Fersman Acta Universitatis Upsaliensis, 2003 | 24 | 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 | 23 | 2017 |
Abstraction of communication channels in Promela: A case study E Fersman, B Jonsson International SPIN Workshop on Model Checking of Software, 187-204, 2000 | 23 | 2000 |
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 | 18 | 2018 |
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 | 18 | 2016 |