Leonid Mokrushin
Leonid Mokrushin
Principal Researcher at Ericsson AB
Verified email at
Cited by
Cited by
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
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
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
Dynamic service aggregation in electronic marketplaces
G Piccinelli, G Di Vitantonio, L Mokrushin
Computer Networks 37 (2), 95-109, 2001
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
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
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
Dynamic e-service composition in DySCo
G Piccinelli, L Mokrushin
Proceedings 21st International Conference on Distributed Computing Systems …, 2001
A Method, Cloud Synchronization Function Means and File System for Handling Files and Directories in a Cloud Storage Service
H Liang, L Mokrushin, S Pierrel
US Patent App. 15/507,660, 2017
Timed vs. time-triggered automata
P Krčál, L Mokrushin, PS Thiagarajan, W Yi
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
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
Methods and apparatus for controlling permissions to be granted to applications on user equipment responsive to user privacy profiles
J Niemoeller, S Avesand, L Mokrushin, F Peco
US Patent 10,122,726, 2018
Cognitive processes for adaptive intent-based networking
J Niemöller, L Mokrushin, SK Mohalik, M Vlachou-Konchylaki, ...
Ericsson Technology Review 2020 (11), 2-11, 2020
Methods And Charge Controllers For Charging Of Battery In Electric Vehicle
H Liang, A Bararsani, E Fersman, L Mokrushin
US Patent App. 15/753,566, 2018
A tool for compositional analysis of timed systems by abstraction
P Krcál, L Mokrushin, W Yi
Proceedings of 19th Nordic workshop on programming theory (NWPT07), 2007
A framework for knowledge management and automated reasoning applied on intelligent transport systems
AV Feljan, A Karapantelakis, L Mokrushin, H Liang, R Inam, E Fersman, ...
arXiv preprint arXiv:1701.03000, 2017
System and methods for web-application communication
L Mokrushin, V Katardjiev
US Patent 8,707,418, 2014
An analysis tool for UML models with SPT annotations
J Håkansson, L Mokrushin, P Pettersson, W Yi
Nordic Workshop on Programming Theory, 39, 2004
K Larsen, W Yi
Uppsala University, Sweden and Aalborg University, Denmark.[Online …, 2015
Method and apparatus for pre-caching in a telecommunication system
G Eriksson, V Katardjiev, L Mokrushin
US Patent 8,761,727, 2014
The system can't perform the operation now. Try again later.
Articles 1–20