Elena Fersman
Elena Fersman
Research Director at Ericsson, Adjunct Professor at Royal Institute of Technology, Stockholm
Verified email at ericsson.com
Title
Cited by
Cited by
Year
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
2342003
Task automata: Schedulability, decidability and undecidability
E Fersman, P Krcal, P Pettersson, W Yi
Information and Computation 205 (8), 1149-1172, 2007
1872007
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
1642002
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
1432002
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
1062006
Code synthesis for timed automata
T Amnell
Uppsala University, 2003
872003
Personalized interaction using codes
A Damola, E Fersman
US Patent 8,671,440, 2014
502014
Schedulability analysis using two clocks
E Fersman, L Mokrushin, P Pettersson, W Yi
International Conference on Tools and Algorithms for the Construction and …, 2003
482003
A generic approach to schedulability analysis of real-time tasks
E Fersman, W Yi
Nordic Journal of Computing 11, 129-147, 2004
422004
A generic approach to schedulability analysis of real-time systems
E Fersman
Acta Universitatis Upsaliensis, 2003
252003
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
242011
Disclosing and controlling collection of information from electronic devices
J Formo, M Anneroth, E Fersman, F Zaloshnja
US Patent 9,544,763, 2017
222017
Abstraction of communication channels in Promela: A case study
E Fersman, B Jonsson
International SPIN Workshop on Model Checking of Software, 187-204, 2000
222000
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
182017
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
152017
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
142016
Tools for real-time UML: Formal verification and code synthesis
T Amnell, A David, E Fersman, MO Möller, P Pettersson, W Yi
Workshop on Specification, Implementation and Validation of Object-oriented …, 2001
132001
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
122019
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
122016
Towards automated service-oriented lifecycle management for 5G networks
R Inam, A Karapantelakis, K Vandikas, L Mokrushin, AV Feljan, ...
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015
112015
The system can't perform the operation now. Try again later.
Articles 1–20