default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNagabhushan Mahadevan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c20]Patrik Meijer
, Nag Mahadevan, Mark Wutka, Gabor Karsai:
Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework. MoDELS (Companion) 2024: 1056-1060- 2021
- [j5]Dániel Stojcsics, Dimitrios Boursinos, Nagabhushan Mahadevan, Xenofon D. Koutsoukos, Gabor Karsai:
Fault-Adaptive Autonomy in Systems with Learning-Enabled Components. Sensors 21(18): 6089 (2021) - [c19]Charles Hartsell, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai:
Automated Method for Assurance Case Construction from System Design Models. ICSRS 2021: 230-239 - [c18]Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai:
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. SEAMS@ICSE 2021: 118-129 - [i3]Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai:
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. CoRR abs/2102.09419 (2021) - 2020
- [c17]Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai:
Qualitative Fault Modeling in Safety Critical Cyber Physical Systems. SAM 2020: 128-137 - [i2]Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai:
Workflow Automation for Cyber Physical System Development Processes. CoRR abs/2004.05654 (2020)
2010 – 2019
- 2019
- [c16]Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai:
Model-based design for CPS with learning-enabled components. DESTION@CPSIoTWeek 2019: 1-9 - [c15]Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai:
A CPS toolchain for learning-based systems: demo abstract. ICCPS 2019: 342-343 - [c14]Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai:
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots. ISORC 2019: 108-117 - [c13]Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai:
CPS Design with Learning-Enabled Components: A Case Study. RSP 2019: 57-63 - [i1]Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai:
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots. CoRR abs/1902.02432 (2019) - 2017
- [c12]Ajay Chhokra, Amogh Kulkarni, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai:
A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems. SPSR-SG@CPSWeek 2017: 41-46 - [c11]Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai:
Diagnostics and prognostics using temporal causal models for cyber physical energy systems. ICCPS 2017: 87 - [c10]Saqib Hasan, Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai, Rishabh Jain, Srdjan M. Lukic:
A simulation testbed for cascade analysis. ISGT 2017: 1-5 - 2016
- [c9]Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai:
Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems. ICCPS 2016: 33:1 - 2015
- [j4]Nagabhushan Mahadevan, Abhishek Dubey, Ajay Chhokra, Huangcheng Guo, Gabor Karsai:
Using temporal causal models to isolate failures in power system protection devices. IEEE Instrum. Meas. Mag. 18(4): 28-39 (2015) - 2013
- [j3]Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai:
Deliberative, search-based mitigation strategies for model-based software health management. Innov. Syst. Softw. Eng. 9(4): 293-318 (2013) - 2012
- [c8]Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai:
Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode. ISORC 2012: 79-86 - [c7]Akshay Dabholkar, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai, Nagabhushan Mahadevan:
Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation. SRDS 2012: 362-371 - 2011
- [j2]Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan:
A component model for hard real-time systems: CCM with ARINC-653. Softw. Pract. Exp. 41(12): 1517-1550 (2011) - [c6]Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai:
Application of software health management techniques. SEAMS 2011: 1-10 - 2010
- [c5]Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan:
Fault-Adaptivity in Hard Real-Time Component-Based Software Systems. Software Engineering for Self-Adaptive Systems 2010: 294-323 - [c4]Abhishek Dubey, Gabor Karsai, Róbert Kereskényi, Nagabhushan Mahadevan:
A Real-Time Component Framework: Experience with CCM and ARINC-653. ISORC 2010: 143-150
2000 – 2009
- 2009
- [j1]Sherif Abdelwahed, Gabor Karsai, Nagabhushan Mahadevan, Stanley C. Ofsthun:
Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models. IEEE Trans. Instrum. Meas. 58(2): 240-247 (2009) - 2006
- [c3]Eric-Jan Manders, Gautam Biswas, Nagabhushan Mahadevan, Gabor Karsai:
Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment. MDB/MOMPES 2006: 159-168 - 2005
- [c2]Sujata Mujumdar, Nagabhushan Mahadevan, Sandeep Neema, Sherif Abdelwahed:
A model-based design framework to achieve end-to-end QoS management. ACM Southeast Regional Conference (1) 2005: 176-181 - 2004
- [c1]Jianming Ye, Joseph P. Loyall, Richard Shapiro, Richard E. Schantz, Sandeep Neema, Sherif Abdelwahed, Nagabhushan Mahadevan, Michael A. Koets, Denise Varner:
A Model-Based Approach to Designing QoS Adaptive Applications. RTSS 2004: 221-230
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-07 21:29 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:
