Leonid Mokrushin

According to our database1, Leonid Mokrushin authored at least 14 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Integrating systems of systems with a federation of rule engines.
J. Ind. Inf. Integr., March, 2024

2017
A Framework for Knowledge Management and Automated Reasoning Applied on Intelligent Transport Systems.
CoRR, 2017

KMARF: A Framework for Knowledge Management and Automated Reasoning.
Proceedings of the Joint Proceedings of the 3rd Modelling Symposium (ModSym), 2017

2016
Feasibility assessment to realise vehicle teleoperation using cellular networks.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

2015
Towards automated service-oriented lifecycle management for 5G networks.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2013
Model Federation and Probabilistic Analysis for Advanced OSS and BSS.
Proceedings of the Seventh International Conference on Next Generation Mobile Apps, 2013

2011
M2M Service Enablement for the enterprise.
Proceedings of the 15th International Conference on Intelligence in Next Generation Networks, 2011

2006
Schedulability analysis of fixed-priority systems using timed automata.
Theor. Comput. Sci., 2006

2004
Timed vs. Time-Triggered Automata.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
Schedulability Analysis Using Two Clocks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002
TIMES - A Tool for Modelling and Implementation of Embedded Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2001
Dynamic service aggregation in electronic marketplaces.
Comput. Networks, 2001

Dynamic e-Service Composition in DySCo.
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001


  Loading...