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
International Conference on Formal Modeling and Analysis of Timed Systems, 60-72, 2003
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
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
International Conference on Tools and Algorithms for the Construction and …, 2003
Dynamic e-service composition in DySCo
G Piccinelli, L Mokrushin
Proceedings 21st International Conference on Distributed Computing Systems …, 2001
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
Timed vs. time-triggered automata
P Krčál, L Mokrushin, PS Thiagarajan, W Yi
International Conference on Concurrency Theory, 340-354, 2004
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
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
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
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
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
Method and apparatus for pre-caching in a telecommunication system
G Eriksson, V Katardjiev, L Mokrushin
US Patent 8,761,727, 2014
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
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
M2M Service Enablement for the enterprise
K Vandikas, NC Liebau, M Döhring, L Mokrushin, I Fikouras
2011 15th International Conference on Intelligence in Next Generation …, 2011
The system can't perform the operation now. Try again later.
Articles 1–20