Swarup Mohalik - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2024

Praetorian: Probabilistic Planning for Radio Access Network Slice AssuranceAjay Kattepur, Swarup Mohalik, Ian Burdick. icaiic 2024: 376-381 [doi]

2023

RoboPlan5G: Coordinating Cloud-Controlled Mobile Robots with 5G Network ConfigurationNils Jörgensen, Ajay Kattepur, Swarup Mohalik, Aneta Vulgarakis, Elena Fersman. etfa 2023: 1-8 [doi]

2022

Towards 5G-Aware Robot Planning for Industrial ApplicationsNils Jörgensen, Ajay Kattepur, Swarup Mohalik, Aneta Vulgarakis, Elena Fersman. etfa 2022: 1-8 [doi]

MUESLI: Multi-objective Radio Resource Slice Management via Reinforcement LearningAjay Kattepur, Sushanth David, Swarup Mohalik. netsoft 2022: 133-138 [doi]

2021

Automated Configuration of Router Port Queues via Model-Based Reinforcement LearningAjay Kattepur, Sushanth David, Swarup Mohalik. icc 2021: 1-6 [doi]

AI Planning for Tele-operated Robotic Network Slice ReconfigurationAjay Kattepur, Swarup Mohalik. 5gwf 2021: 447-452 [doi]

2020

Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative DronesDorian Buksz, Anusha Mujumdar, Marin Orlic, Swarup Mohalik, Marios Daoutis, Ramamurthy Badrinath, Daniele Magazzeni, Michael Cashmore, Aneta Vulgarakis Feljan. iros 2020: 6733-6740 [doi]

2014

Automatic test case generation from Simulink/Stateflow models using model checkingSwarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh. stvr, 24(2):155-180, 2014. [doi]

2013

Scalable model-checking for precise end-to-end latency computationSwarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh. cacsd 2013: 19-24 [doi]

A Method and Tool for Test Optimization for Automotive ControllersAlexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik. icst 2013: 198-207 [doi]

2012

Tracing SPLs precisely and efficientlySwarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane. SPLC 2012: 186-195 [doi]

Verifying timing synchronization constraints in distributed embedded architecturesA. C. Rajeev, Swarup Mohalik, S. Ramesh. date 2012: 200-205 [doi]

2011

When to stop verification?: Statistical trade-off between expected loss and simulation costSumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh. date 2011: 1309-1314 [doi]

Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checkingJean-Vivien Millo, Swarup Mohalik, S. Ramesh. indiaSE 2011: 41-50 [doi]

2010

Automata for Epistemic Temporal Logic with Synchronous CommunicationSwarup Mohalik, Ramaswamy Ramanujam. jolli, 19(4):451-484, 2010. [doi]

Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimationA. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh. emsoft 2010: 129-138 [doi]

2008

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control SystemsAmbar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar. cav 2008: 204-208 [doi]

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock driftsSwarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang. dac 2008: 296-299 [doi]

2007

Real time asset tracking in the data centerCyril Brignone, Tim Connors, Mehrban Jam, Geoff Lyon, Geetha Manjunath, Alan McReynolds, Swarup Mohalik, Ian Robinson, Craig Sayers, Cosme Sevestre, Jean Tourrilhes, Venugopal Srinivasmurthy. dpd, 21(2-3):145-165, 2007. [doi]

2003

Distributed GamesSwarup Mohalik, Igor Walukiewicz. fsttcs 2003: 338-351 [doi]

1998

A Presentation of Regular Languages in the Assumption - Commitment FrameworkSwarup Mohalik, Ramaswamy Ramanujam. acsd 1998: 250 [doi]

1997

Assumption-Commitment in AutomataSwarup Mohalik, Ramaswamy Ramanujam. fsttcs 1997: 153-168 [doi]

Compositional Reasoning Using the Assumption-Commitment ParadigmQiwen Xu, Swarup Mohalik. SC 1998: 565-583 [doi]

Sign in or sign up to see more results.

runs on WebDSL