Compositional Reasoning Using the Assumption-Commitment Paradigm. - Qiwen Xu; Swarup Mohalik (COMPOS, 1997)

Assumption-Commitment in Automata. - Swarup Mohalik; Ramaswamy Ramanujam (FSTTCS, 1997)

A Presentation of Regular Languages in the Assumption - Commitment Framework. - Swarup Mohalik; Ramaswamy Ramanujam (ACSD, 1998)

Distributed Games. - Swarup Mohalik; Igor Walukiewicz (FSTTCS, 2003)

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)

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. - Ambar A. Gadkari; Anand Yeolekar; J. Suresh; S. Ramesh 002; Swarup Mohalik; K. C. Shashidhar (CAV, 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 002; P. Vijay Suman; Paritosh K. Pandya; Shengbing Jiang (DAC, 2008)

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 002 (EMSOFT, 2010)

Automata for Epistemic Temporal Logic with Synchronous Communication. - Swarup Mohalik; Ramaswamy Ramanujam (J. Log. Lang. Inf., 2010)

When to stop verification?: Statistical trade-off between expected loss and simulation cost. - Sumit Kumar Jha 001; Christopher James Langmead; Swarup Mohalik; S. Ramesh 002 (DATE, 2011)

Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking. - Jean-Vivien Millo; Swarup Mohalik; S. Ramesh 002 (ISEC, 2011)

Verifying timing synchronization constraints in distributed embedded architectures. - A. C. Rajeev; Swarup Mohalik; S. Ramesh 002 (DATE, 2012)

Tracing SPLs precisely and efficiently. - Swarup Mohalik; S. Ramesh 002; Jean-Vivien Millo; Shankara Narayanan Krishna; Ganesh Khandu Narwane (SPLC (1), 2012)

Formalizing Traceability and Derivability in Software Product Lines - Shankara Narayanan Krishna; Ganesh Khandu Narwane; S. Ramesh 002; Swarup Mohalik; Jean-Vivien Millo (CoRR, 2012)

Scalable model-checking for precise end-to-end latency computation. - Swarup Mohalik; Devesh B. Chokshi; Manoj G. Dixit; A. C. Rajeev; S. Ramesh 002 (CACSD, 2013)

A Method and Tool for Test Optimization for Automotive Controllers. - Alexandre Petrenko; Arnaud Dury; S. Ramesh 002; Swarup Mohalik (ICST Workshops, 2013)

Automatic test case generation from Simulink/Stateflow models using model checking. - Swarup Mohalik; Ambar A. Gadkari; Anand Yeolekar; K. C. Shashidhar; S. Ramesh 002 (Softw. Test. Verification Reliab., 2014)

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 (WF-IoT, 2016)

Developmental aspects of Intelligent Adaptive Systems (DIAS). - Swarup Kumar Mohalik; Meenakshi D'Souza; Mahesh Babu Jayaraman (ISEC, 2017)

AUSOM: Autonomic Service-Oriented Middleware for IoT-Based Systems. - Umesh Bellur; Nanjangud C. Narendra; Swarup Kumar Mohalik (SERVICES, 2017)

Adaptive Service-Oriented Architectures for Cyber Physical Systems. - Swarup Kumar Mohalik; Nanjangud C. Narendra; Ramamurthy Badrinath; Duc-Hung Le (SOSE, 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)

Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-Physical Systems. - Anshu Shukla; Swarup Kumar Mohalik; Ramamurthy Badrinath (HiPC Workshops, 2018)

Antifragility for Intelligent Autonomous Systems. - Anusha Mujumdar; Swarup Kumar Mohalik; Ramamurthy Badrinath (CoRR, 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)

CAPER: A Connectivity-Aware Path Planner with Regulatory Compliance for UAVs. - Anusha Mujumdar; Pooja Kashyap; Swarup Kumar Mohalik; Jim Feng (DCOSS, 2019)

Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach. - Kaustabha Ray; Ansuman Banerjee; Swarup Kumar Mohalik (SOCA, 2019)

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 (IROS, 2020)

Machine Reasoning Explainability. - Kristijonas Cyras; Ramamurthy Badrinath; Swarup Kumar Mohalik; Anusha Mujumdar; Alexandros Nikou; Alessandro Previti; Vaishnavi Sundararajan; Aneta Vulgarakis Feljan (CoRR, 2020)

AI Planning for Tele-operated Robotic Network Slice Reconfiguration. - Ajay Kattepur; Swarup Mohalik (5GWF, 2021)

Automated Configuration of Router Port Queues via Model-Based Reinforcement Learning. - Ajay Kattepur; Sushanth David; Swarup Mohalik (ICC Workshops, 2021)

FlatPack: flexible temporal planning with verification and controller synthesis. - Ajay Kattepur; Swarup Kumar Mohalik (SAC, 2021)

HAMMER: Multi-Level Coordination of Reinforcement Learning Agents via Learned Messaging. - Nikunj Gupta; G. Srinivasaraghavan 001; Swarup Kumar Mohalik; Matthew E. Taylor (CoRR, 2021)

Fast Falsification of Neural Networks using Property Directed Testing. - Moumita Das; Rajarshi Ray 001; Swarup Kumar Mohalik; Ansuman Banerjee (CoRR, 2021)

Model-based reinforcement learning for router port queue configurations. - Ajay Kattepur; Sushanth David; Swarup Kumar Mohalik (Intell. Converged Networks, 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)

Towards 5G-Aware Robot Planning for Industrial Applications. - Nils Jörgensen; Ajay Kattepur; Swarup Mohalik; Aneta Vulgarakis; Elena Fersman (ETFA, 2022)

MUESLI: Multi-objective Radio Resource Slice Management via Reinforcement Learning. - Ajay Kattepur; Sushanth David; Swarup Mohalik (NetSoft, 2022)

Service Selection With Package Bundles and Compatibility Constraints. - Kaustabha Ray; Ansuman Banerjee; Swarup Kumar Mohalik (IEEE Trans. Serv. Comput., 2022)

CONRAD: Cognitive Intent Driven 5G Network Slice Planning and Design. - Ajay Kattepur; Swarup Kumar Mohalik; Ian Burdick; Marin Orlic; Leonid Mokrushin (AIMLSystems, 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 003; Swarup Kumar Mohalik; Tomasz Mach; Sige Liu; Yansha Deng; Gianluca Mandò; Angelos Antonopoulos 001; et al. (CAMAD, 2023)

RoboPlan5G: Coordinating Cloud-Controlled Mobile Robots with 5G Network Configuration. - Nils Jörgensen; Ajay Kattepur; Swarup Mohalik; Aneta Vulgarakis; Elena Fersman (ETFA, 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 001; Ömer Faruk Tuna; Yansha Deng; Xin Tao 003; Maria A. Serrano; et al. (EuCNC/6G Summit, 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 (RNDM, 2023)

SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. - Soham Banerjee; Sumana Ghosh; Ansuman Banerjee; Swarup Kumar Mohalik (VMCAI, 2023)

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 003 (EuCNC/6G Summit, 2024)

Praetorian: Probabilistic Planning for Radio Access Network Slice Assurance. - Ajay Kattepur; Swarup Mohalik; Ian Burdick (ICAIIC, 2024)

Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. - Arkaprava Gupta; Sumana Ghosh; Ansuman Banerjee; Swarup Kumar Mohalik (MEMOCODE, 2024)

Advanced Edge Computing Architecture for AI-Driven Automation and Slicing in Beyond 5G. - Elli Kartsakli; Oriol Salient; Joan Pujol Roig; Jordi Pérez-Romero; Irene Vilà; Nikolaos G. Bartzoudis; Utku Gülen; Semiha Kosu; Oluwatayo Y. Kolawole; Xin Tao 003; Swarup Kumar Mohalik; Angelos Antonopoulos 001; et al. (UCC, 2024)

Convergence: Cognitive Intent Driven 5G Radio Access Network Slice Assurance. - Ajay Kattepur; Swarup Mohalik; Ian Burdick; Marin Orlic; Leonid Mokrushin (WCNC, 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)

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)

Safe and Explainable AI in 6G Telecommunication Systems: The Way Forward. - Amadeu do Nascimento Júnior; Alexandros Palaios; Klaus Raizer; Swarup Kumar Mohalik; Rafia Inam (CogSIMA, 2025)

ReLVaaS: Verification-as-a-Service to Analyze Trustworthiness of RL-based Solutions in 6G Networks. - Xin Tao 003; Irene Vilà; Swarup Kumar Mohalik; Jordi Pérez-Romero; Oriol Sallent (COMSNETS, 2025)

Integrated Task and Path Planning for Collaborative Multi-Robot Systems. - Aman Aryan; Manan Modi; Indranil Saha; Rupak Majumdar; Swarup Mohalik (ICCPS, 2025)

Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory. - Sirshendu Das; Ansuman Banerjee; Swarup Kumar Mohalik (LCTES, 2025)

hammer: Multi-level coordination of reinforcement learning agents via learned messaging. - Nikunj Gupta; G. Srinivasaraghavan 001; Swarup Mohalik; Nishant Kumar; Matthew E. Taylor (Neural Comput. Appl., 2025)