Swarup Kumar Mohalik

Ericsson (Sweden) — Sweden

Computer Science · Physical Sciences

12h-index506citations74works0.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(15), Service-Oriented Architecture and Web Services(13), Advanced Software Engineering Methodologies(12), Advanced Memory and Neural Computing(9), Software-Defined Networks and 5G(8)

Publications74 total

Towards Verification of Spiking Neural Networks for Next-Generation AI Systems
2025Open Access
Condense: Cognitive intent-driven end-to-end network slicing with AI planning agents
ITU Journal on Future and Evolving Technologies·2025Open Access
DETROIT: Decomposition techniques for a hierarchy of 6G network intent management functions
Computer Networks·2025· 1 cited
A Sampling-based Method for Output Safety Verification of Spiking Neural Networks
2025· 1 cited
Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory
2025· 1 citedOpen Access
Safe and Explainable AI in 6G Telecommunication Systems: The Way Forward
2025
Integrated Task and Path Planning for Collaborative Multi-Robot Systems
2025· 2 citedOpen Access
ReLVaaS: Verification-as-a-Service to Analyze Trustworthiness of RL-based Solutions in 6G Networks
2025· 1 cited
An SMT Toolbox for Adversarial Robustness Evaluation for Spiking Neural Networks
Communications in computer and information science·2025
Advanced Edge Computing Architecture for AI-Driven Automation and Slicing in Beyond 5G
2024· 1 citedOpen Access
A Test Generation Approach for Spiking Neural Network Simplification
Lecture notes in electrical engineering·2024
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification
2024· 2 cited
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification
arXiv (Cornell University)·2024Open Access
Towards Trustworthy Reinforcement Learning-based Resource Management in Beyond 5G
2024Open Access
Convergence: Cognitive Intent Driven 5G Radio Access Network Slice Assurance
2024· 6 cited
A Survey on the Integration of Generative AI for Critical Thinking in Mobile Networks
arXiv (Cornell University)·2024Open Access
Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery
arXiv (Cornell University)·2024Open Access
Praetorian: Probabilistic Planning for Radio Access Network Slice Assurance
2024
An Evolutionary Edge Computing Architecture for the Beyond 5G Era
2023· 11 citedOpen Access
CONRAD: Cognitive Intent Driven 5G Network Slice Planning and Design
2023· 1 cited
page 1 of 4Next →

Frequent Co-authors

S. Ramesh(11), Ajay Kattepur(8), Ramamurthy Badrinath(6), Ansuman Banerjee(6), A. C. Rajeev(5), Anusha Mujumdar(5), Aneta Vulgarakis Feljan(4), R. Ramanujam(4), Marin Orlić(4), Manoj G. Dixit(3), Elli Kartsakli(3), J. Pérez-Romero(3), Nikolaos Bartzoudis(3), Angelos Antonopoulos(3), Xin Tao(3), Eduardo Quiñones(3), Leonid Mokrushin(3), Nanjangud C. Narendra(3), Sushanth David(3), A. Gadkari(2)