Follow
Leonid Mokrushin
Leonid Mokrushin
Principal Researcher at Ericsson AB
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
Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004
2692004
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
1772002
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
1262006
Dynamic service aggregation in electronic marketplaces
G Piccinelli, G Di Vitantonio, L Mokrushin
Computer Networks 37 (2), 95-109, 2001
922001
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
482017
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
462016
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
462003
Dynamic e-service composition in DySCo
G Piccinelli, L Mokrushin
Proceedings 21st International Conference on Distributed Computing Systems …, 2001
372001
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
342017
Timed vs. time-triggered automata
P Krčál, L Mokrushin, PS Thiagarajan, W Yi
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
302004
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
212015
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
202018
Cognitive processes for adaptive intent-based networking
J Nïemöller, L Mokrushin, SK Mohalik, M Vlachou-Konchylaki, ...
Ericsson Technology Review 2020 (11), 2-11, 2020
152020
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
152018
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
122007
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
112017
System and methods for web-application communication
L Mokrushin, V Katardjiev
US Patent 8,707,418, 2014
112014
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
112004
Method and platoon manager for enabling a wireless device in a vehicle to communicate over a cellular network
AV FELJAN, M Matti, A Bararsani, L Mokrushin
US Patent 10,820,250, 2020
102020
Uppaal
KG Larsen, W Yi, P Petterson, A David, B Nielsen, A Skou, J Håkansson, ...
Uppsala University, Sweden and Aalborg University, Denmark.[Online …, 2015
92015
The system can't perform the operation now. Try again later.
Articles 1–20