| 2026 | ICAART | A Case for Causal Reinforcement Learning in Longitudinal Vehicle Control. | Jule Schmidt, Xin Tao, Chelsea Sidrane, Swarup Kumar Mohalik, Akhil Prasad, Jana Tumova, Nils Jansen |
| 2026 | ICDCN | Towards Verification of Spiking Neural Networks for Next-Generation AI Systems. | Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2026 | VLSID | A Forward-Backward Search Strategy for Falsification in Spiking Neural Networks. | Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2025 | CogSIMA | Safe and Explainable AI in 6G Telecommunication Systems: The Way Forward. | Amadeu do Nascimento Jnior, Alexandros Palaios, Klaus Raizer, Swarup Kumar Mohalik, Rafia Inam |
| 2025 | COMSNETS | ReLVaaS: Verification-as-a-Service to Analyze Trustworthiness of RL-based Solutions in 6G Networks. | Xin Tao, Irene Vil, Swarup Kumar Mohalik, Jordi Prez-Romero, Oriol Sallent |
| 2024 | MEMOCODE | Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. | Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2024 | UCC | Advanced Edge Computing Architecture for AI-Driven Automation and Slicing in Beyond 5G. | Elli Kartsakli, Oriol Salient, Joan S. Pujol Roig, Jordi Prez-Romero, Irene Vil, Nikolaos G. Bartzoudis, Utku Glen, Semiha Kosu, Oluwatayo Y. Kolawole, Xin Tao, Swarup Kumar Mohalik, Angelos Antonopoulos, Charalampos Kalalas, Eduardo Quiones |
| 2023 | VMCAI | SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. | Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2021 | SAC | FlatPack: flexible temporal planning with verification and controller synthesis. | Ajay Kattepur, Swarup Kumar Mohalik |
| 2019 | DCOSS | CAPER: A Connectivity-Aware Path Planner with Regulatory Compliance for UAVs. | Anusha Mujumdar, Pooja Kashyap, Swarup Kumar Mohalik, Jim Feng |
| 2018 | HiPC | Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-Physical Systems. | Anshu Shukla, Swarup Kumar Mohalik, Ramamurthy Badrinath |
| 2017 | SERVICES | AUSOM: Autonomic Service-Oriented Middleware for IoT-Based Systems. | Umesh Bellur, Nanjangud C. Narendra, Swarup Kumar Mohalik |