팔로우
Swarup Mohalik
Swarup Mohalik
Prinicipal Engineer - Research, Ericsson
ericsson.com의 이메일 확인됨
제목
인용
인용
연도
Distributed games
S Mohalik, I Walukiewicz
International Conference on Foundations of Software Technology and …, 2003
882003
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
512014
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
512008
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
472010
Device location system and method
S Mohalik
US Patent App. 11/491,799, 2007
362007
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
352008
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
322015
Methods and apparatus for tag activation
S Mohalik
US Patent App. 11/492,921, 2007
322007
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
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
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
202018
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
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
172007
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
142017
Distributed games
I Walukiewicz, S Mohalik
Proc. FSTTCS 3, 338-351, 2003
132003
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
112018
Monitoring objects capable of wireless communications
SK Mohalik, MB Jayaraman
US Patent App. 16/310,872, 2020
102020
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
92010
Automata for epistemic temporal logic with synchronous communication
S Mohalik, R Ramanujam
Journal of Logic, Language and Information 19 (4), 451-484, 2010
92010
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20