Swarup Kumar Mohalik

35 papers B 4C 1Misc 5Journal 12Unranked 13
YearRankTypeTitle / Venue / Authors
2026 — conf
A Case for Causal Reinforcement Learning in Longitudinal Vehicle Control.
ICAART (3)
Jule Schmidt, Xin Tao, Chelsea Sidrane, Swarup Kumar Mohalik, Akhil Prasad, Jana Tumova, Nils Jansen
2026 Misc conf
A Forward-Backward Search Strategy for Falsification in Spiking Neural Networks.
VLSID
Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik
2026 — conf
Towards Verification of Spiking Neural Networks for Next-Generation AI Systems.
ICDCN Companion
Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik
2025 — conf
A Sampling-based Method for Output Safety Verification of Spiking Neural Networks.
ISVLSI
Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik
2025 B conf
Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory.
LCTES
Sirshendu Das, Ansuman Banerjee, Swarup Kumar Mohalik
2025 Misc conf
ReLVaaS: Verification-as-a-Service to Analyze Trustworthiness of RL-based Solutions in 6G Networks.
COMSNETS
Xin Tao, Irene Vilà, Swarup Kumar Mohalik, Jordi Pérez-Romero, Oriol Sallent
2025 Misc conf
Safe and Explainable AI in 6G Telecommunication Systems: The Way Forward.
CogSIMA
Amadeu do Nascimento Júnior, Alexandros Palaios, Klaus Raizer, Swarup Kumar Mohalik, Rafia Inam
2024 J jnl
A Survey on the Integration of Generative AI for Critical Thinking in Mobile Networks.
CoRR
Athanasios Karapantelakis, Alexandros Nikou, Ajay Kattepur, Jean Martins, Leonid Mokrushin, Swarup Kumar Mohalik, Marin Orlic, Aneta Vulgarakis Feljan
2024 Misc conf
Advanced Edge Computing Architecture for AI-Driven Automation and Slicing in Beyond 5G.
UCC
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, Swarup Kumar Mohalik, Angelos Antonopoulos, Charalampos Kalalas, Eduardo Quiñones
2024 C conf
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification.
MEMOCODE
Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik
2024 J jnl
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification.
CoRR
Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik
2024 — conf
Towards Trustworthy Reinforcement Learning-based Resource Management in Beyond 5G.
EuCNC/6G Summit
Jordi Pérez-Romero, Oriol Sallent, Irene Vilà, Elli Kartsakli, Ömer Faruk Tuna, Swarup Kumar Mohalik, Xin Tao
2023 — conf
AI-Powered Edge Computing Evolution for Beyond 5G Communication Networks.
EuCNC/6G Summit
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
2023 — conf
An Evolutionary Edge Computing Architecture for the Beyond 5G Era.
CAMAD
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
2023 — conf
CONRAD: Cognitive Intent Driven 5G Network Slice Planning and Design.
AIMLSystems
Ajay Kattepur, Swarup Kumar Mohalik, Ian Burdick, Marin Orlic, Leonid Mokrushin
2023 B conf
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study.
VMCAI
Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik
2023 — conf
The Cost of Quality of Service: SLA Aware VNF Placement and Routing Using Column Generation.
RNDM
Andrew Murray, Ashwin Arulselvan, Marc Roper, Michael Cashmore, Swarup Kumar Mohalik, Ian Burdick, Sushanth David
2022 J jnl
Service Selection With Package Bundles and Compatibility Constraints.
IEEE Trans. Serv. Comput.
Kaustabha Ray, Ansuman Banerjee, Swarup Kumar Mohalik
2021 J jnl
Fast Falsification of Neural Networks using Property Directed Testing.
CoRR
Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik, Ansuman Banerjee
2021 Misc conf
FlatPack: flexible temporal planning with verification and controller synthesis.
SAC
Ajay Kattepur, Swarup Kumar Mohalik
2021 J jnl
HAMMER: Multi-Level Coordination of Reinforcement Learning Agents via Learned Messaging.
CoRR
Nikunj Gupta, G. Srinivasaraghavan, Swarup Kumar Mohalik, Matthew E. Taylor
2021 J jnl
Intent-driven Closed Loops for Autonomous Networks.
J. ICT Stand.
Pedro Henrique Gomes, Magnus Buhrgard, János Harmatos, Swarup Kumar Mohalik, Dinand Roeland, Jörg Niemöller
2021 J jnl
Model-based reinforcement learning for router port queue configurations.
Intell. Converged Networks
Ajay Kattepur, Sushanth David, Swarup Kumar Mohalik
2020 J jnl
Machine Reasoning Explainability.
CoRR
Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik, Anusha Mujumdar, Alexandros Nikou, Alessandro Previti, Vaishnavi Sundararajan, Aneta Vulgarakis Feljan
2019 B conf
CAPER: A Connectivity-Aware Path Planner with Regulatory Compliance for UAVs.
DCOSS
Anusha Mujumdar, Pooja Kashyap, Swarup Kumar Mohalik, Jim Feng
2019 — conf
Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach.
SOCA
Kaustabha Ray, Ansuman Banerjee, Swarup Kumar Mohalik
2018 J jnl
Antifragility for Intelligent Autonomous Systems.
CoRR
Anusha Mujumdar, Swarup Kumar Mohalik, Ramamurthy Badrinath
2018 J jnl
HIPR: An Architecture for Iterative Plan Repair in Hierarchical Multi-agent Systems.
J. Comput.
Swarup Kumar Mohalik, Mahesh Babu Jayaraman, Ramamurthy Badrinath, Aneta Vulgarakis Feljan
2018 — conf
Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-Physical Systems.
HiPC Workshops
Anshu Shukla, Swarup Kumar Mohalik, Ramamurthy Badrinath
2018 J jnl
Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-physical Systems.
CoRR
Anshu Shukla, Swarup Kumar Mohalik, Ramamurthy Badrinath
2017 B conf
AUSOM: Autonomic Service-Oriented Middleware for IoT-Based Systems.
SERVICES
Umesh Bellur, Nanjangud C. Narendra, Swarup Kumar Mohalik
2017 — conf
Adaptive Service-Oriented Architectures for Cyber Physical Systems.
SOSE
Swarup Kumar Mohalik, Nanjangud C. Narendra, Ramamurthy Badrinath, Duc-Hung Le
2017 — conf
Developmental aspects of Intelligent Adaptive Systems (DIAS).
ISEC
Swarup Kumar Mohalik, Meenakshi D'Souza, Mahesh Babu Jayaraman
2017 J jnl
Workshop on Developmental aspects of Intelligent Adaptive Systems (DIAS): Co-located with 10th Innovations in Software Engineering Conference (ISEC), Jaipur, India.
ACM SIGSOFT Softw. Eng. Notes
Swarup Kumar Mohalik, Ramamurthy Badrinath, Mahesh Babu Jayaraman, Meenakshi D'Souza
2016 — conf
Dynamic semantic interoperability of control in IoT-based systems: Need for adaptive middleware.
WF-IoT
Swarup Kumar Mohalik, Nanjangud C. Narendra, Ramamurthy Badrinath, Mahesh Babu Jayaraman, Chakri Padala