default search action
Swarup Mohalik
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c36]Jordi Pérez-Romero, Oriol Sallent, Irene Vilà, Elli Kartsakli, Ömer Faruk Tuna, Swarup Kumar Mohalik, Xin Tao:
Towards Trustworthy Reinforcement Learning-based Resource Management in Beyond 5G. EuCNC/6G Summit 2024: 806-811 - [c35]Ajay Kattepur, Swarup Mohalik, Ian Burdick:
Praetorian: Probabilistic Planning for Radio Access Network Slice Assurance. ICAIIC 2024: 376-381 - [c34]Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik:
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. MEMOCODE 2024: 103-107 - [c33]Ajay Kattepur, Swarup Mohalik, Ian Burdick, Marin Orlic, Leonid Mokrushin:
Convergence: Cognitive Intent Driven 5G Radio Access Network Slice Assurance. WCNC 2024: 1-6 - [i9]Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik:
Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery. CoRR abs/2403.01277 (2024) - [i8]Athanasios Karapantelakis, Alexandros Nikou, Ajay Kattepur, Jean Martins, Leonid Mokrushin, Swarup Kumar Mohalik, Marin Orlic, Aneta Vulgarakis Feljan:
A Survey on the Integration of Generative AI for Critical Thinking in Mobile Networks. CoRR abs/2404.06946 (2024) - [i7]Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik:
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. CoRR abs/2408.01996 (2024) - 2023
- [c32]Ajay Kattepur
, Swarup Kumar Mohalik
CONRAD: Cognitive Intent Driven 5G Network Slice Planning and Design. AIMLSystems 2023: 23:1-23:8 - [c31]Elli Kartsakli, Jordi Pérez-Romero, Nikolaos G. Bartzoudis
An Evolutionary Edge Computing Architecture for the Beyond 5G Era. CAMAD 2023: 61-67 - [c30]Nils Jörgensen, Ajay Kattepur, Swarup Mohalik, Aneta Vulgarakis, Elena Fersman:
RoboPlan5G: Coordinating Cloud-Controlled Mobile Robots with 5G Network Configuration. ETFA 2023: 1-8 - [c29]Elli Kartsakli
AI-Powered Edge Computing Evolution for Beyond 5G Communication Networks. EuCNC/6G Summit 2023: 478-483 - [c28]Andrew Murray, Ashwin Arulselvan, Marc Roper, Michael Cashmore, Swarup Kumar Mohalik, Ian Burdick, Sushanth David:
The Cost of Quality of Service: SLA Aware VNF Placement and Routing Using Column Generation. RNDM 2023: 1-8 - [c27]Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik:
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. VMCAI 2023: 25-43 - 2022
- [j8]Kaustabha Ray
Service Selection With Package Bundles and Compatibility Constraints. IEEE Trans. Serv. Comput. 15(5): 3031-3046 (2022) - [c26]Nils Jörgensen, Ajay Kattepur, Swarup Mohalik, Aneta Vulgarakis, Elena Fersman:
Towards 5G-Aware Robot Planning for Industrial Applications. ETFA 2022: 1-8 - [c25]Ajay Kattepur, Sushanth David, Swarup Mohalik:
MUESLI: Multi-objective Radio Resource Slice Management via Reinforcement Learning. NetSoft 2022: 133-138 - [e2]Raju S. Bapi, Sandeep S. Kulkarni, Swarup Mohalik
Distributed Computing and Intelligent Technology - 18th International Conference, ICDCIT 2022, Bhubaneswar, India, January 19-23, 2022, Proceedings. Lecture Notes in Computer Science 13145, Springer 2022, ISBN 978-3-030-94875-7 [contents] - 2021
- [j7]Ajay Kattepur, Sushanth David, Swarup Kumar Mohalik:
Model-based reinforcement learning for router port queue configurations. Intell. Converged Networks 2(3): 177-197 (2021) - [j6]Pedro Henrique Gomes
Intent-driven Closed Loops for Autonomous Networks. J. ICT Stand. 9(2): 257-290 (2021) - [c24]Ajay Kattepur, Swarup Mohalik:
AI Planning for Tele-operated Robotic Network Slice Reconfiguration. 5GWF 2021: 447-452 - [c23]Ajay Kattepur, Sushanth David, Swarup Mohalik:
Automated Configuration of Router Port Queues via Model-Based Reinforcement Learning. ICC Workshops 2021: 1-6 - [c22]Ajay Kattepur, Swarup Kumar Mohalik:
FlatPack: flexible temporal planning with verification and controller synthesis. SAC 2021: 801-810 - [i6]Nikunj Gupta
HAMMER: Multi-Level Coordination of Reinforcement Learning Agents via Learned Messaging. CoRR abs/2102.00824 (2021) - [i5]Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik, Ansuman Banerjee:
Fast Falsification of Neural Networks using Property Directed Testing. CoRR abs/2104.12418 (2021) - 2020
- [c21]Dorian Buksz, Anusha Mujumdar, Marin Orlic, Swarup Mohalik, Marios Daoutis, Ramamurthy Badrinath, Daniele Magazzeni, Michael Cashmore, Aneta Vulgarakis Feljan:
Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative Drones. IROS 2020: 6733-6740 - [i4]Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik, Anusha Mujumdar, Alexandros Nikou, Alessandro Previti, Vaishnavi Sundararajan, Aneta Vulgarakis Feljan:
Machine Reasoning Explainability. CoRR abs/2009.00418 (2020)
2010 – 2019
- 2019
- [c20]Anusha Mujumdar, Pooja Kashyap, Swarup Kumar Mohalik, Jim Feng:
CAPER: A Connectivity-Aware Path Planner with Regulatory Compliance for UAVs. DCOSS 2019: 596-603 - [c19]Kaustabha Ray, Ansuman Banerjee, Swarup Kumar Mohalik:
Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach. SOCA 2019: 33-40 - 2018
- [j5]Swarup Kumar Mohalik, Mahesh Babu Jayaraman, Ramamurthy Badrinath, Aneta Vulgarakis Feljan:
HIPR: An Architecture for Iterative Plan Repair in Hierarchical Multi-agent Systems. J. Comput. 13(3): 351-359 (2018) - [c18]Anshu Shukla, Swarup Kumar Mohalik, Ramamurthy Badrinath:
Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-Physical Systems. HiPC Workshops 2018: 86-94 - [i3]Anusha Mujumdar, Swarup Kumar Mohalik, Ramamurthy Badrinath:
Antifragility for Intelligent Autonomous Systems. CoRR abs/1802.09159 (2018) - [i2]Anshu Shukla, Swarup Kumar Mohalik, Ramamurthy Badrinath:
Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-physical Systems. CoRR abs/1812.07219 (2018) - 2017
- [j4]Swarup Kumar Mohalik, Ramamurthy Badrinath, Mahesh Babu Jayaraman, Meenakshi D'Souza:
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 42(4): 25-27 (2017) - [c17]Swarup Kumar Mohalik, Meenakshi D'Souza, Mahesh Babu Jayaraman:
Developmental aspects of Intelligent Adaptive Systems (DIAS). ISEC 2017: 221-222 - [c16]Umesh Bellur, Nanjangud C. Narendra, Swarup Kumar Mohalik:
AUSOM: Autonomic Service-Oriented Middleware for IoT-Based Systems. SERVICES 2017: 102-105 - [c15]Swarup Kumar Mohalik, Nanjangud C. Narendra, Ramamurthy Badrinath, Duc-Hung Le:
Adaptive Service-Oriented Architectures for Cyber Physical Systems. SOSE 2017: 57-62 - 2016
- [c14]Swarup Kumar Mohalik, Nanjangud C. Narendra, Ramamurthy Badrinath, Mahesh Babu Jayaraman, Chakri Padala:
Dynamic semantic interoperability of control in IoT-based systems: Need for adaptive middleware. WF-IoT 2016: 199-203 - [e1]Atul Kumar, Vinay Kulkarni, Y. Raghu Reddy, Meenakshi D'Souza, Swarup Mohalik, Mahesh Babu Jayaraman:
Joint Proceedings of the 2nd Modelling Symposium (ModSym) and the Workshop on Software Architectures for Adaptive Autonomous Systems (SAAAS) co-located with the 9th India Software Engineering Conference (ISEC 2016), Goa, India, February 18, 2016. CEUR Workshop Proceedings 1561, CEUR-WS.org 2016 [contents] - 2014
- [j3]Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh:
Automatic test case generation from Simulink/Stateflow models using model checking. Softw. Test. Verification Reliab. 24(2): 155-180 (2014) - 2013
- [c13]Swarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh:
Scalable model-checking for precise end-to-end latency computation. CACSD 2013: 19-24 - [c12]Alexandre Petrenko
A Method and Tool for Test Optimization for Automotive Controllers. ICST Workshops 2013: 198-207 - 2012
- [c11]A. C. Rajeev, Swarup Mohalik, S. Ramesh:
Verifying timing synchronization constraints in distributed embedded architectures. DATE 2012: 200-205 - [c10]Swarup Mohalik, S. Ramesh, Jean-Vivien Millo, Shankara Narayanan Krishna, Ganesh Khandu Narwane:
Tracing SPLs precisely and efficiently. SPLC (1) 2012: 186-195 - [i1]Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Swarup Mohalik, Jean-Vivien Millo:
Formalizing Traceability and Derivability in Software Product Lines. CoRR abs/1201.0595 (2012) - 2011
- [c9]Sumit Kumar Jha, Christopher James Langmead
When to stop verification?: Statistical trade-off between expected loss and simulation cost. DATE 2011: 1309-1314 - [c8]Jean-Vivien Millo, Swarup Mohalik, S. Ramesh:
Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking. ISEC 2011: 41-50 - 2010
- [j2]Swarup Mohalik, Ramaswamy Ramanujam:
Automata for Epistemic Temporal Logic with Synchronous Communication. J. Log. Lang. Inf. 19(4): 451-484 (2010) - [c7]A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh:
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation. EMSOFT 2010: 129-138
2000 – 2009
- 2008
- [c6]Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar:
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. CAV 2008: 204-208 - [c5]Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang:
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. DAC 2008: 296-299 - 2007
- [j1]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:
Real time asset tracking in the data center. Distributed Parallel Databases 21(2-3): 145-165 (2007) - 2003
- [c4]Swarup Mohalik, Igor Walukiewicz:
Distributed Games. FSTTCS 2003: 338-351
1990 – 1999
- 1998
- [c3]Swarup Mohalik, Ramaswamy Ramanujam:
A Presentation of Regular Languages in the Assumption - Commitment Framework. ACSD 1998: 250-260 - 1997
- [c2]Qiwen Xu, Swarup Mohalik:
Compositional Reasoning Using the Assumption-Commitment Paradigm. COMPOS 1997: 565-583 - [c1]Swarup Mohalik, Ramaswamy Ramanujam:
Assumption-Commitment in Automata. FSTTCS 1997: 153-168
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-30 00:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: