Leonid Mokrushin
Leonid Mokrushin
Principal Researcher at Ericsson AB
Verifierad e-postadress på it.uu.se
Titel
Citeras av
Citeras 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
2262003
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
1602002
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
1052006
Dynamic service aggregation in electronic marketplaces
G Piccinelli, G Di Vitantonio, L Mokrushin
Computer Networks 37 (2), 95-109, 2001
872001
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
Image management system, image management method and image display device
T Funahashi
US Patent 7,062,105, 2006
39*2006
Dynamic e-service composition in DySCo
G Piccinelli, L Mokrushin
Proceedings 21st International Conference on Distributed Computing Systems …, 2001
352001
Timed vs. time-triggered automata
P Krčál, L Mokrushin, PS Thiagarajan, W Yi
International Conference on Concurrency Theory, 340-354, 2004
272004
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
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
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
102017
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
102017
System and methods for web-application communication
L Mokrushin, V Katardjiev
US Patent 8,707,418, 2014
102014
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
102004
Method and apparatus for pre-caching in a telecommunication system
G Eriksson, V Katardjiev, L Mokrushin
US Patent 8,761,727, 2014
92014
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
92007
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
62011
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
42017
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
32018
KMARF: A Framework for Knowledge Management and Automated Reasoning.
AV Feljan, A Karapantelakis, L Mokrushin, R Inam, E Fersman, ...
DIAS/EDUDM@ ISEC, 2017
22017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20