Elena Fersman
Elena Fersman
Research Director at Ericsson, Adjunct Professor at Royal Institute of Technology, Stockholm
Verifierad e-postadress på ericsson.com
TitelCiteras avÅr
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
2172003
Task automata: Schedulability, decidability and undecidability
E Fersman, P Krcal, P Pettersson, W Yi
Information and Computation 205 (8), 1149-1172, 2007
1792007
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
1552002
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
1412002
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
1012006
Code synthesis for timed automata
T Amnell
Uppsala University, 2003
862003
Personalized interaction using codes
A Damola, E Fersman
US Patent 8,671,440, 2014
522014
Schedulability analysis using two clocks
E Fersman, L Mokrushin, P Pettersson, W Yi
International Conference on Tools and Algorithms for the Construction and …, 2003
492003
A generic approach to schedulability analysis of real-time tasks
E Fersman, W Yi
Nordic Journal of Computing 11, 129-147, 2004
432004
Disclosing and controlling collection of information from electronic devices
J Formo, M Anneroth, E Fersman, F Zaloshnja
US Patent 9,544,763, 2017
282017
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
272011
A generic approach to schedulability analysis of real-time systems
E Fersman
Acta Universitatis Upsaliensis, 2003
252003
Abstraction of communication channels in Promela: A case study
E Fersman, B Jonsson
International SPIN Workshop on Model Checking of Software, 187-204, 2000
212000
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
System and method for communication session correlation
M Jansson, I Fikouras, S Loreto, E Fersman, GAP Eriksson, ...
US Patent 8,625,602, 2014
112014
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
102016
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
92015
Using a hash value as a pointer to an application class in a communications device
E Fersman, G Eriksson, L Mokrushin
US Patent 7,899,058, 2011
92011
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
82017
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
82016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20