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 | 269 | 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 | 177 | 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 | 126 | 2006 |
Dynamic service aggregation in electronic marketplaces G Piccinelli, G Di Vitantonio, L Mokrushin Computer Networks 37 (2), 95-109, 2001 | 92 | 2001 |
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 | 47 | 2017 |
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 | 46 | 2003 |
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 | 44 | 2016 |
Dynamic e-service composition in DySCo G Piccinelli, L Mokrushin Proceedings 21st International Conference on Distributed Computing Systems …, 2001 | 37 | 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 | 34 | 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 | 30 | 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 | 21 | 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 | 20 | 2018 |
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 | 15 | 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 | 15 | 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 | 12 | 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 | 11 | 2017 |
System and methods for web-application communication L Mokrushin, V Katardjiev US Patent 8,707,418, 2014 | 11 | 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 | 11 | 2004 |
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 | 10 | 2020 |
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 | 9 | 2015 |