Follow
Swarup Mohalik
Swarup Mohalik
Prinicipal Engineer - Research, Ericsson
Verified email at ericsson.com
Title
Cited by
Cited by
Year
Distributed games
S Mohalik, I Walukiewicz
International Conference on Foundations of Software Technology and …, 2003
932003
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
592014
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
562010
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
542008
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
372015
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
362008
Device location system and method
S Mohalik
US Patent App. 11/491,799, 2007
362007
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
342018
Methods and apparatus for tag activation
S Mohalik
US Patent App. 11/492,921, 2007
322007
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
302018
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
292007
Intent-driven closed loops for autonomous networks
PH Gomes, M Buhrgard, J Harmatos, SK Mohalik, D Roeland, J Niemöller
Journal of ICT Standardization 9 (2), 257-290, 2021
252021
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
252012
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
202007
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
192013
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
172016
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
162017
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
142023
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
122018
Distributed games
I Walukiewicz, S Mohalik
Proc. FSTTCS 3, 338-351, 2003
122003
The system can't perform the operation now. Try again later.
Articles 1–20