Swarup Mohalik
Swarup Mohalik
Prinicipal Engineer - Research, Ericsson
Verified email at ericsson.com
Cited by
Cited by
Distributed games
S Mohalik, I Walukiewicz
International Conference on Foundations of Software Technology and …, 2003
AutoMOTGen: Automatic model oriented test generator for embedded control systems
AA Gadkari, A Yeolekar, J Suresh, S Ramesh, S Mohalik, KC Shashidhar
International Conference on Computer Aided Verification, 204-208, 2008
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
Device location system and method
S Mohalik
US Patent App. 11/491,799, 2007
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
Methods and apparatus for tag activation
S Mohalik
US Patent App. 11/492,921, 2007
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
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
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
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 (2), 145-165, 2007
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
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
Distributed games
I Walukiewicz, S Mohalik
Proc. FSTTCS 3, 338-351, 2003
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
Distributed automata in an assumption-commitment framework
S Mohalik, R Ramanujam
Sadhana 27 (2), 209-250, 2002
Explicit state model checking of sl/sf models using the auto-generated code
SK Mohalik, S Jeyaraman, SH Nandugudi
US Patent App. 12/491,906, 2010
Assumption-commitment in automata
S Mohalik, R Ramanujam
International Conference on Foundations of Software Technology and …, 1997
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
The system can't perform the operation now. Try again later.
Articles 1–20