Swarup Mohalik
Swarup Mohalik
Prinicipal Engineer - Research, Ericsson
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
Distributed games
S Mohalik, I Walukiewicz
International Conference on Foundations of Software Technology and …, 2003
Automatic test case generation from Simulink/Stateflow models using model checking
S Mohalik, AA Gadkari, A Yeolekar, KC Shashidhar, S Ramesh
Software Testing, Verification and Reliability 24 (2), 155-180, 2014
Schedulability and end-to-end latency in distributed ecu networks: Formal modeling and precise estimation
AC Rajeev, S Mohalik, MG Dixit, DB Chokshi, S Ramesh
Proceedings of the tenth ACM international conference on Embedded software …, 2010
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems: Tool Paper
AA Gadkari, A Yeolekar, J Suresh, S Ramesh, S Mohalik, KC Shashidhar
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
SOA-PE: a service-oriented architecture for planning and execution in cyber-physical systems
AV Feljan, SK Mohalik, MB Jayaraman, R Badrinath
2015 International Conference on Smart Sensors and Systems (IC-SSS), 1-6, 2015
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
S Mohalik, AC Rajeev, MG Dixit, S Ramesh, PV Suman, PK Pandya, ...
Proceedings of the 45th annual Design Automation Conference, 296-299, 2008
Device location system and method
S Mohalik
US Patent App. 11/491,799, 2007
Smart contracts for multiagent plan execution in untrusted cyber-physical systems
A Shukla, SK Mohalik, R Badrinath
2018 IEEE 25th International Conference on High Performance Computing …, 2018
Methods and apparatus for tag activation
S Mohalik
US Patent App. 11/492,921, 2007
Knowledge representation of cyber-physical systems for monitoring purpose
D Gürdür, AV Feljan, J El-khoury, SK Mohalik, R Badrinath, AP Mujumdar, ...
Procedia Cirp 72, 468-473, 2018
Automatic generation of test-cases using model checking for sl/sf models
AA Gadkari, S Mohalik, K Shashidhar, A Yeolekar, J Suresh, S Ramesh
Proceedings of the 4th model-driven engineering, verification and validation …, 2007
Tracing SPLs precisely and efficiently
S Mohalik, S Ramesh, JV Millo, SN Krishna, GK Narwane
Proceedings of the 16th International Software Product Line Conference …, 2012
Intent-driven closed loops for autonomous networks
PH Gomes, M Buhrgard, J Harmatos, SK Mohalik, D Roeland, J Niemöller
Journal of ICT Standardization, 257–290-257–290, 2021
Real time asset tracking in the data center
C Brignone, T Connors, M Jam, G Lyon, G Manjunath, A McReynolds, ...
Distributed and Parallel Databases 21, 145-165, 2007
A method and tool for test optimization for automotive controllers
A Petrenko, A Dury, S Ramesh, S Mohalik
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
Dynamic semantic interoperability of control in IoT-based systems: Need for adaptive middleware
SK Mohalik, NC Narendra, R Badrinath, MB Jayaraman, C Padala
2016 IEEE 3rd World Forum on Internet of Things (WF-IoT), 199-203, 2016
Adaptive service-oriented architectures for cyber physical systems
SK Mohalik, NC Narendra, R Badrinath, DH Le
2017 IEEE symposium on service-oriented system engineering (SOSE), 57-62, 2017
hammer: Multi-level coordination of reinforcement learning agents via learned messaging
N Gupta, G Srinivasaraghavan, S Mohalik, N Kumar, ME Taylor
Neural Computing and Applications, 1-16, 2023
Cognitive processes for adaptive intent-based networking
J Niemöller, L Mokrushin, SK Mohalik, M Vlachou-Konchylaki, ...
Ericsson Technology Review 2020 (11), 2-11, 2020
HIPR: An Architecture for Iterative Plan Repair in Hierarchical Multi-agent Systems.
SK Mohalik, MB Jayaraman, R Badrinath, AV Feljan
J. Comput. 13 (3), 351-359, 2018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20