Swarup Mohalik

31 papers A* 2A 3B 2C 2Misc 2Journal 7Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	DETROIT: Decomposition techniques for a hierarchy of 6G network intent management functions. Comput. Networks Ajay Kattepur, Snigdha Das, Danesh Daroui, Swarup Mohalik, Marin Orlic, Sultan Ertas
2025	—	`conf`	Integrated Task and Path Planning for Collaborative Multi-Robot Systems. ICCPS Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik
2025	J	`jnl`	hammer: Multi-level coordination of reinforcement learning agents via learned messaging. Neural Comput. Appl. Nikunj Gupta, G. Srinivasaraghavan, Swarup Mohalik, Nishant Kumar, Matthew E. Taylor
2024	B	`conf`	Convergence: Cognitive Intent Driven 5G Radio Access Network Slice Assurance. WCNC Ajay Kattepur, Swarup Mohalik, Ian Burdick, Marin Orlic, Leonid Mokrushin
2024	J	`jnl`	Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery. CoRR Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik
2024	—	`conf`	Praetorian: Probabilistic Planning for Radio Access Network Slice Assurance. ICAIIC Ajay Kattepur, Swarup Mohalik, Ian Burdick
2023	C	`conf`	RoboPlan5G: Coordinating Cloud-Controlled Mobile Robots with 5G Network Configuration. ETFA Nils Jörgensen, Ajay Kattepur, Swarup Mohalik, Aneta Vulgarakis, Elena Fersman
2022	Misc	`ed.`	Distributed Computing and Intelligent Technology - 18th International Conference, ICDCIT 2022, Bhubaneswar, India, January 19-23, 2022, Proceedings ICDCIT Raju S. Bapi, Sandeep S. Kulkarni, Swarup Mohalik, Sathya Peri
2022	B	`conf`	MUESLI: Multi-objective Radio Resource Slice Management via Reinforcement Learning. NetSoft Ajay Kattepur, Sushanth David, Swarup Mohalik
2022	C	`conf`	Towards 5G-Aware Robot Planning for Industrial Applications. ETFA Nils Jörgensen, Ajay Kattepur, Swarup Mohalik, Aneta Vulgarakis, Elena Fersman
2021	—	`conf`	AI Planning for Tele-operated Robotic Network Slice Reconfiguration. 5GWF Ajay Kattepur, Swarup Mohalik
2021	—	`conf`	Automated Configuration of Router Port Queues via Model-Based Reinforcement Learning. ICC Workshops Ajay Kattepur, Sushanth David, Swarup Mohalik
2020	A	`conf`	Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative Drones. IROS Dorian Buksz, Anusha Mujumdar, Marin Orlic, Swarup Mohalik, Marios Daoutis, Ramamurthy Badrinath, Daniele Magazzeni, Michael Cashmore, Aneta Vulgarakis Feljan
2016	—	`ed.`	Joint Proceedings of the 2nd Modelling Symposium (ModSym) and the Workshop on Software Architectures for Adaptive Autonomous Systems (SAAAS) co-located with the 9th India Software Engineering Conference (ISEC 2016), Goa, India, February 18, 2016. ModSym+SAAAS@ISEC Atul Kumar, Vinay Kulkarni, Y. Raghu Reddy, Meenakshi D'Souza, Swarup Mohalik, Mahesh Babu Jayaraman
2014	J	`jnl`	Automatic test case generation from Simulink/Stateflow models using model checking. Softw. Test. Verification Reliab. Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh
2013	—	`conf`	A Method and Tool for Test Optimization for Automotive Controllers. ICST Workshops Alexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik
2013	—	`conf`	Scalable model-checking for precise end-to-end latency computation. CACSD Swarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh
2012	J	`jnl`	Formalizing Traceability and Derivability in Software Product Lines CoRR Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Swarup Mohalik, Jean-Vivien Millo
2012	—	`conf`	Tracing SPLs precisely and efficiently. SPLC (1) Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane
2012	A	`conf`	Verifying timing synchronization constraints in distributed embedded architectures. DATE A. C. Rajeev, Swarup Mohalik, S. Ramesh
2011	—	`conf`	Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking. ISEC Jean-Vivien Millo, Swarup Mohalik, S. Ramesh
2011	A	`conf`	When to stop verification?: Statistical trade-off between expected loss and simulation cost. DATE Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh
2010	J	`jnl`	Automata for Epistemic Temporal Logic with Synchronous Communication. J. Log. Lang. Inf. Swarup Mohalik, Ramaswamy Ramanujam
2010	Misc	`conf`	Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation. EMSOFT A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh
2008	A*	`conf`	AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. CAV Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar
2008	A*	`conf`	Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. DAC Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang
2007	J	`jnl`	Real time asset tracking in the data center. Distributed Parallel Databases Cyril Brignone, Tim Connors, Mehrban Jam, Geoff Lyon, Geetha Manjunath, Alan A. McReynolds, Swarup Mohalik, Ian Robinson, Craig Sayers, Cosme Sevestre, Jean Tourrilhes, Venugopal Srinivasmurthy
2003	—	`conf`	Distributed Games. FSTTCS Swarup Mohalik, Igor Walukiewicz
1998	—	`conf`	A Presentation of Regular Languages in the Assumption - Commitment Framework. ACSD Swarup Mohalik, Ramaswamy Ramanujam
1997	—	`conf`	Assumption-Commitment in Automata. FSTTCS Swarup Mohalik, Ramaswamy Ramanujam
1997	—	`conf`	Compositional Reasoning Using the Assumption-Commitment Paradigm. COMPOS Qiwen Xu, Swarup Mohalik