Swarup Mohalik

According to our database, Swarup Mohalik authored at least 51 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Survey on the Integration of Generative AI for Critical Thinking in Mobile Networks.

Athanasios Karapantelakis, Alexandros Nikou, Ajay Kattepur, Jean Martins, Leonid Mokrushin, Swarup Kumar Mohalik, Marin Orlic, Aneta Vulgarakis Feljan

CoRR, 2024

Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery.

Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik

CoRR, 2024

Convergence: Cognitive Intent Driven 5G Radio Access Network Slice Assurance.

Ajay Kattepur, Swarup Mohalik, Ian Burdick, Marin Orlic, Leonid Mokrushin

Proceedings of the IEEE Wireless Communications and Networking Conference, 2024

Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification.

Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

Praetorian: Probabilistic Planning for Radio Access Network Slice Assurance.

Ajay Kattepur, Swarup Mohalik, Ian Burdick

Proceedings of the International Conference on Artificial Intelligence in Information and Communication , 2024

Towards Trustworthy Reinforcement Learning-based Resource Management in Beyond 5G.

Jordi Pérez-Romero, Oriol Sallent, Irene Vilà, Elli Kartsakli, Ömer Faruk Tuna, Swarup Kumar Mohalik, Xin Tao

Proceedings of the Joint European Conference on Networks and Communications & 6G Summit, 2024

2023

SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study.

Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

The Cost of Quality of Service: SLA Aware VNF Placement and Routing Using Column Generation.

Andrew Murray, Ashwin Arulselvan, Marc Roper, Michael Cashmore, Swarup Kumar Mohalik, Ian Burdick, Sushanth David

Proceedings of the 13th International Workshop on Resilient Networks Design and Modeling, 2023

AI-Powered Edge Computing Evolution for Beyond 5G Communication Networks.

Elli Kartsakli, Jordi Pérez-Romero, Oriol Sallent, Nikolaos G. Bartzoudis, Valerio Frascella, Swarup Kumar Mohalik, Thiis Metsch, Angelos Antonopoulos, Ömer Faruk Tuna, Yansha Deng, Xin Tao, Maria A. Serrano, Eduardo Quiñones

Proceedings of the 2023 Joint European Conference on Networks and Communications & 6G Summit, 2023

RoboPlan5G: Coordinating Cloud-Controlled Mobile Robots with 5G Network Configuration.

Nils Jörgensen, Ajay Kattepur, Swarup Mohalik, Aneta Vulgarakis, Elena Fersman

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

An Evolutionary Edge Computing Architecture for the Beyond 5G Era.

Elli Kartsakli, Jordi Pérez-Romero, Nikolaos G. Bartzoudis, Oriol Sallent, Oluwatayo Y. Kolawole, Xin Tao, Swarup Kumar Mohalik, Tomasz Mach, Sige Liu, Yansha Deng, Gianluca Mandò, Angelos Antonopoulos, Valerio Frascolla, Semiha Kosu, Gökhan Kalem, Fred Buining, Eduardo Quiñones

Proceedings of the 28th IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks , 2023

CONRAD: Cognitive Intent Driven 5G Network Slice Planning and Design.

Ajay Kattepur, Swarup Kumar Mohalik, Ian Burdick, Marin Orlic, Leonid Mokrushin

Proceedings of the Third International Conference on AI-ML Systems, 2023

2022

Service Selection With Package Bundles and Compatibility Constraints.

Kaustabha Ray, Ansuman Banerjee, Swarup Kumar Mohalik

IEEE Trans. Serv. Comput., 2022

MUESLI: Multi-objective Radio Resource Slice Management via Reinforcement Learning.

Ajay Kattepur, Sushanth David, Swarup Mohalik

Proceedings of the 8th IEEE International Conference on Network Softwarization, 2022

Towards 5G-Aware Robot Planning for Industrial Applications.

Nils Jörgensen, Ajay Kattepur, Swarup Mohalik, Aneta Vulgarakis, Elena Fersman

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

Intent-driven Closed Loops for Autonomous Networks.

Pedro Henrique Gomes, Magnus Buhrgard, János Harmatos, Swarup Kumar Mohalik, Dinand Roeland, Jörg Niemöller

J. ICT Stand., 2021

Model-based reinforcement learning for router port queue configurations.

Ajay Kattepur, Sushanth David, Swarup Kumar Mohalik

Intell. Converged Networks, 2021

Fast Falsification of Neural Networks using Property Directed Testing.

Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik, Ansuman Banerjee

CoRR, 2021

HAMMER: Multi-Level Coordination of Reinforcement Learning Agents via Learned Messaging.

Nikunj Gupta, G. Srinivasaraghavan, Swarup Kumar Mohalik, Matthew E. Taylor

CoRR, 2021

FlatPack: flexible temporal planning with verification and controller synthesis.

Ajay Kattepur, Swarup Kumar Mohalik

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Automated Configuration of Router Port Queues via Model-Based Reinforcement Learning.

Ajay Kattepur, Sushanth David, Swarup Mohalik

Proceedings of the IEEE International Conference on Communications Workshops, 2021

AI Planning for Tele-operated Robotic Network Slice Reconfiguration.

Ajay Kattepur, Swarup Mohalik

Proceedings of the 4th IEEE 5G World Forum, 2021

2020

Machine Reasoning Explainability.

Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik, Anusha Mujumdar, Alexandros Nikou, Alessandro Previti, Vaishnavi Sundararajan, Aneta Vulgarakis Feljan

CoRR, 2020

Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative Drones.

Dorian Buksz, Anusha Mujumdar, Marin Orlic, Swarup Mohalik, Marios Daoutis, Ramamurthy Badrinath, Daniele Magazzeni, Michael Cashmore, Aneta Vulgarakis Feljan

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

2019

Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach.

Kaustabha Ray, Ansuman Banerjee, Swarup Kumar Mohalik

Proceedings of the 12th IEEE Conference on Service-Oriented Computing and Applications, 2019

CAPER: A Connectivity-Aware Path Planner with Regulatory Compliance for UAVs.

Anusha Mujumdar, Pooja Kashyap, Swarup Kumar Mohalik, Jim Feng

Proceedings of the 15th International Conference on Distributed Computing in Sensor Systems, 2019

2018

HIPR: An Architecture for Iterative Plan Repair in Hierarchical Multi-agent Systems.

Swarup Kumar Mohalik, Mahesh Babu Jayaraman, Ramamurthy Badrinath, Aneta Vulgarakis Feljan

J. Comput., 2018

Antifragility for Intelligent Autonomous Systems.

Anusha Mujumdar, Swarup Kumar Mohalik, Ramamurthy Badrinath

CoRR, 2018

Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-Physical Systems.

Anshu Shukla, Swarup Kumar Mohalik, Ramamurthy Badrinath

Proceedings of the 25th IEEE International Conference on High Performance Computing Workshops, 2018

2017

Workshop on Developmental aspects of Intelligent Adaptive Systems (DIAS): Co-located with 10th Innovations in Software Engineering Conference (ISEC), Jaipur, India.

Swarup Kumar Mohalik, Ramamurthy Badrinath, Mahesh Babu Jayaraman, Meenakshi D'Souza

ACM SIGSOFT Softw. Eng. Notes, 2017

Adaptive Service-Oriented Architectures for Cyber Physical Systems.

Swarup Kumar Mohalik, Nanjangud C. Narendra, Ramamurthy Badrinath, Duc-Hung Le

Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017

AUSOM: Autonomic Service-Oriented Middleware for IoT-Based Systems.

Umesh Bellur, Nanjangud C. Narendra, Swarup Kumar Mohalik

Proceedings of the 2017 IEEE World Congress on Services, 2017

Developmental aspects of Intelligent Adaptive Systems (DIAS).

Swarup Kumar Mohalik, Meenakshi D'Souza, Mahesh Babu Jayaraman

Proceedings of the 10th Innovations in Software Engineering Conference, 2017

2016

Dynamic semantic interoperability of control in IoT-based systems: Need for adaptive middleware.

Swarup Kumar Mohalik, Nanjangud C. Narendra, Ramamurthy Badrinath, Mahesh Babu Jayaraman, Chakri Padala

Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

2014

Automatic test case generation from Simulink/Stateflow models using model checking.

Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh

Softw. Test. Verification Reliab., 2014

2013

A Method and Tool for Test Optimization for Automotive Controllers.

Alexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Scalable model-checking for precise end-to-end latency computation.

Swarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh

Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

2012

Formalizing Traceability and Derivability in Software Product Lines

Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Swarup Mohalik, Jean-Vivien Millo

CoRR, 2012

Tracing SPLs precisely and efficiently.

Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane

Proceedings of the 16th International Software Product Line Conference, 2012

Verifying timing synchronization constraints in distributed embedded architectures.

A. C. Rajeev, Swarup Mohalik, S. Ramesh

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking.

Jean-Vivien Millo, Swarup Mohalik, S. Ramesh

Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011

When to stop verification?: Statistical trade-off between expected loss and simulation cost.

Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Automata for Epistemic Temporal Logic with Synchronous Communication.

Swarup Mohalik, Ramaswamy Ramanujam

J. Log. Lang. Inf., 2010

Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation.

A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh

Proceedings of the 10th International conference on Embedded software, 2010

2008

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.

Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang

Proceedings of the 45th Design Automation Conference, 2008

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.

Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Real time asset tracking in the data center.

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

Distributed Parallel Databases, 2007

2003

Distributed Games.

Swarup Mohalik, Igor Walukiewicz

Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

1998

A Presentation of Regular Languages in the Assumption - Commitment Framework.

Swarup Mohalik, Ramaswamy Ramanujam

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Assumption-Commitment in Automata.

Swarup Mohalik, Ramaswamy Ramanujam

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

Compositional Reasoning Using the Assumption-Commitment Paradigm.

Qiwen Xu, Swarup Mohalik

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997