Swarup Mohalik

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 9

Top Topics

Planning Problems

Top Venues

Publications

Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik
Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery. CoRR (2024)
Ajay Kattepur, Swarup Mohalik, Ian Burdick, Marin Orlic, Leonid Mokrushin
Convergence: Cognitive Intent Driven 5G Radio Access Network Slice Assurance. WCNC (2024)
Ajay Kattepur, Swarup Mohalik, Ian Burdick
Praetorian: Probabilistic Planning for Radio Access Network Slice Assurance. ICAIIC (2024)
Nils Jörgensen, Ajay Kattepur, Swarup Mohalik, Aneta Vulgarakis, Elena Fersman
RoboPlan5G: Coordinating Cloud-Controlled Mobile Robots with 5G Network Configuration. ETFA (2023)
Ajay Kattepur, Sushanth David, Swarup Mohalik
MUESLI: Multi-objective Radio Resource Slice Management via Reinforcement Learning. NetSoft (2022)
Nils Jörgensen, Ajay Kattepur, Swarup Mohalik, Aneta Vulgarakis, Elena Fersman
Towards 5G-Aware Robot Planning for Industrial Applications. ETFA (2022)
Ajay Kattepur, Sushanth David, Swarup Mohalik
Automated Configuration of Router Port Queues via Model-Based Reinforcement Learning. ICC Workshops (2021)
Ajay Kattepur, Swarup Mohalik
AI Planning for Tele-operated Robotic Network Slice Reconfiguration. 5GWF (2021)
Dorian Buksz, Anusha Mujumdar, Marin Orlic, Swarup Mohalik, Marios Daoutis, Ramamurthy Badrinath, Daniele Magazzeni, Michael Cashmore, Aneta Vulgarakis Feljan
Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative Drones. IROS (2020)
Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh
Automatic test case generation from Simulink/Stateflow models using model checking. Softw. Test. Verification Reliab. 24 (2) (2014)
Alexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik
A Method and Tool for Test Optimization for Automotive Controllers. ICST Workshops (2013)
Swarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh
Scalable model-checking for precise end-to-end latency computation. CACSD (2013)
A. C. Rajeev, Swarup Mohalik, S. Ramesh
Verifying timing synchronization constraints in distributed embedded architectures. DATE (2012)
Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Swarup Mohalik, Jean-Vivien Millo
Formalizing Traceability and Derivability in Software Product Lines CoRR (2012)
Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane
Tracing SPLs precisely and efficiently. SPLC (1) (2012)
Jean-Vivien Millo, Swarup Mohalik, S. Ramesh
Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking. ISEC (2011)
Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh
When to stop verification?: Statistical trade-off between expected loss and simulation cost. DATE (2011)
Swarup Mohalik, Ramaswamy Ramanujam
Automata for Epistemic Temporal Logic with Synchronous Communication. J. Log. Lang. Inf. 19 (4) (2010)
A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation. EMSOFT (2010)
Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. CAV (2008)
Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. DAC (2008)
Cyril Brignone, Tim Connors, Mehrban Jam, Geoff Lyon, Geetha Manjunath, Alan McReynolds, Swarup Mohalik, Ian Robinson, Craig Sayers, Cosme Sevestre, Jean Tourrilhes, Venugopal Srinivasmurthy
Real time asset tracking in the data center. Distributed Parallel Databases 21 (2-3) (2007)
Swarup Mohalik, Igor Walukiewicz
Distributed Games. FSTTCS (2003)
Swarup Mohalik, Ramaswamy Ramanujam
A Presentation of Regular Languages in the Assumption - Commitment Framework. ACSD (1998)
Swarup Mohalik, Ramaswamy Ramanujam
Assumption-Commitment in Automata. FSTTCS (1997)
Qiwen Xu, Swarup Mohalik
Compositional Reasoning Using the Assumption-Commitment Paradigm. COMPOS (1997)