default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGabor Karsai
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j63]Hao Tu
, Hui Yu, Yuhua Du, Scott Eisele, Xiaonan Lu, Gabor Karsai, Srdjan M. Lukic:
An IoT-Based Framework for Distributed Generic Microgrid Controllers. IEEE Trans. Control. Syst. Technol. 32(5): 1692-1705 (2024)- [c164]Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey:
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue. ICAA 2024: 48-57 - [c163]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 - [i24]Rahul Bhadani, Satyaki Banik, Hao Tu, Srdjan M. Lukic, Gabor Karsai:
Model-based Design Tool for Cyber-physical Power Systems using SystemC-AMS. CoRR abs/2406.17785 (2024) - [i23]Rahul Bhadani, Satyaki Banik, Hao Tu, Srdjan M. Lukic, Gabor Karsai:
On Simulation of Power Systems and Microgrid Components with SystemC-AMS. CoRR abs/2407.06217 (2024) - [i22]Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey:
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue. CoRR abs/2411.12967 (2024) - [i21]Serena Serafina Serbinowska, Preston Robinette, Gabor Karsai, Taylor T. Johnson:
Formalizing Stateful Behavior Trees. CoRR abs/2411.14165 (2024) - 2023
- [c162]Baiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher B. Kuhn, Gabor Karsai, Ayan Mukhopadhyay:
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems. ICCPS 2023: 177-186 - [c161]Purboday Ghosh, Gabor Karsai:
Distributed Cyber Physical Systems Software Model Checking using Timed Automata. ISORC 2023: 164-169 - [c160]Purboday Ghosh, Niloy Barua, Timothy Krentz, Gabor Karsai, Abhishek Dubey, Srdjan M. Lukic:
Distributed Control Application for Smart Grids using RIAPS. SMARTCOMP 2023: 186-188 - [c159]Rahul Bhadani, Gabor Karsai, Hao Tu, Srdjan M. Lukic:
Modeling and Real-Time Simulation of Microgrid Components Using Systemc-Ams. WSC 2023: 3214-3225 - [i20]Baiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher B. Kuhn, Gabor Karsai, Ayan Mukhopadhyay:
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems. CoRR abs/2302.09750 (2023) - 2022
- [j62]Shreyas Ramakrishna, Zahra RahimiNasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey:
Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 6(2): 15:1-15:34 (2022) - [c158]Purboday Ghosh, Hao Tu, Timothy Krentz, Gabor Karsai, Srdjan M. Lukic:
An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications. COINS 2022: 1-6 - [c157]Shreyas Ramakrishna, Baiting Luo, Yogesh D. Barve, Gabor Karsai, Abhishek Dubey:
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems. ICAA 2022: 107-116 - [c156]Purboday Ghosh, Shashank Shekhar, Yashen Lin, Ulrich Münz, Gabor Karsai:
Peer-to-Peer Communication Trade-Offs for Smart Grid Applications. ICCCN 2022: 1-10 - [c155]Gabor Karsai, Daniel Balasubramanian:
Assurance Provenance: The Next Challenge in Software Documentation. ISoLA (2) 2022: 90-104 - [c154]Shreyas Ramakrishna, Baiting Luo, Christopher B. Kuhn, Gabor Karsai, Abhishek Dubey:
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA. ITSC 2022: 2620-2627 - [c153]Gabor Karsai:
Model-based Development and Assurance of Learning-enabled Cyber-Physical Systems. MODELSWARD 2022: 7 - [c152]Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai:
Syntheto: A Surface Language for APT and ACL2. ACL2 2022: 151-167 - [i19]Shreyas Ramakrishna, Baiting Luo, Yogesh D. Barve, Gabor Karsai, Abhishek Dubey:
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems. CoRR abs/2202.13510 (2022) - [i18]Purboday Ghosh, Hao Tu, Timothy Krentz, Gabor Karsai, Srdjan M. Lukic:
An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications. CoRR abs/2206.13000 (2022) - [i17]Shreyas Ramakrishna, Baiting Luo, Christopher B. Kuhn, Gabor Karsai, Abhishek Dubey:
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA. CoRR abs/2208.06309 (2022) - 2021
- [j61]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) - [c151]Ajay Chhokra, Carlos A. Barreto, Abhishek Dubey, Gabor Karsai, Xenofon D. Koutsoukos:
Power-attack: a comprehensive tool-chain for modeling and simulating attacks in power systems. MSCPES@CPSIoTWeek 2021: 5:1-5:6 - [c150]Charles Hartsell, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai:
Automated Method for Assurance Case Construction from System Design Models. ICSRS 2021: 230-239 - [c149]Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai:
Towards Model-Based Intent-Driven Adaptive Software. ISoLA 2021: 378-392 - [c148]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 - [i16]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) - [i15]Shreyas Ramakrishna, Zahra RahimiNasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey:
Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. CoRR abs/2108.11800 (2021) - [i14]Purboday Ghosh, Shashank Shekhar, Ulrich Münz, Gabor Karsai:
Peer-to-Peer Communication Trade-Offs for Smart Grid Applications. CoRR abs/2112.06848 (2021) - 2020
- [j60]Shashank Shekhar, Ajay Chhokra, Hongyang Sun, Aniruddha Gokhale, Abhishek Dubey, Xenofon D. Koutsoukos, Gabor Karsai:
URMILA: Dynamically trading-off fog and edge resources for performance and mobility-aware IoT services. J. Syst. Archit. 107: 101710 (2020) - [j59]Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai:
Designing a decentralized fault-tolerant software framework for smart grids and its applications. J. Syst. Archit. 109: 101759 (2020) - [j58]Shreyas Ramakrishna, Charles Hartsell, Matthew P. Burruss, Gabor Karsai, Abhishek Dubey:
Dynamic-weighted simplex strategy for learning enabled cyber physical systems. J. Syst. Archit. 111: 101760 (2020) - [j57]Hao Tu, Yuhua Du, Hui Yu, Abhishek Dubey, Srdjan M. Lukic, Gabor Karsai:
Resilient Information Architecture Platform for the Smart Grid: A Novel Open-Source Platform for Microgrid Control. IEEE Trans. Ind. Electron. 67(11): 9393-9404 (2020) - [c147]Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Gabor Karsai:
A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems. ACC 2020: 3011-3016 - [c146]Anirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun, Shashank Shekhar, Aniruddha Gokhale, Gabor Karsai, Abhishek Dubey:
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge. ICFEC 2020: 75-84 - [c145]Purboday Ghosh, Gabor Karsai:
An Integrated Cyber-Physical Fault Management Approach. ISORC 2020: 148-149 - [c144]Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai:
Qualitative Fault Modeling in Safety Critical Cyber Physical Systems. SAM 2020: 128-137 - [i13]Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pratim Pal, Gabor Karsai:
A Methodology for Automating Assurance Case Generation. CoRR abs/2003.05388 (2020) - [i12]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) - [i11]Anirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun, Shashank Shekhar, Aniruddha Gokhale, Gabor Karsai, Abhishek Dubey:
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge. CoRR abs/2004.05740 (2020)
2010 – 2019
- 2019
- [j56]Abhishek Dubey, Gabor Karsai, Péter Völgyesi, Mary Metelko, István Madari, Hao Tu, Yuhua Du, Srdjan M. Lukic:
Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid. IEEE Embed. Syst. Lett. 11(2): 34-37 (2019) - [c143]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 - [c142]Anirban Bhattacharjee, Ajay Dev Chhokra, Zhuangwei Kang, Hongyang Sun, Aniruddha Gokhale, Gabor Karsai:
BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services. IC2E 2019: 23-33 - [c141]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 - [c140]Amogh Kulkarni, William Z. Bernstein, David Lechevalier, Daniel Balasubramanian, Peter Denno, Gabor Karsai:
Towards Operational Use of Unit Manufacturing Process Models. ICIT 2019: 818-823 - [c139]Neelanjana Pal, Purboday Ghosh, Gabor Karsai:
DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption Data. ICMLA 2019: 1938-1943 - [c138]Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai:
On the Design of Fault- Tolerance in a Decentralized Software Platform for Power Systems. ISORC 2019: 52-60 - [c137]Scott Eisele, Purboday Ghosh, Keegan Campanelli, Abhishek Dubey, Gabor Karsai:
Demo: Transactive Energy Application with RIAPS. ISORC 2019: 85-86 - [c136]Matthew P. Burruss, Shreyas Ramakrishna, Gabor Karsai, Abhishek Dubey:
DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots. ISORC 2019: 87-88 - [c135]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 - [c134]Timothy Krentz, Abhishek Dubey, Gabor Karsai:
Short Paper: Towards An Edge-Located Time-Series Database. ISORC 2019: 151-154 - [c133]Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai:
Practical Causal Models for Cyber-Physical Systems. NFM 2019: 211-227 - [c132]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 - [c131]Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai:
Dynamic symbolic execution for the analysis of web server applications in Java. SAC 2019: 2178-2185 - [i10]Aron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik:
TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids. CoRR abs/1902.00844 (2019) - [i9]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) - [i8]Anirban Bhattacharjee, Ajay Dev Chhokra, Zhuangwei Kang, Hongyang Sun, Aniruddha Gokhale, Gabor Karsai:
BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services. CoRR abs/1904.01576 (2019) - 2018
- [j55]Xenofon D. Koutsoukos, Gabor Karsai, Aron Laszka, Himanshu Neema, Bradley Potteiger, Péter Völgyesi, Yevgeniy Vorobeychik, Janos Sztipanovits:
SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems. Proc. IEEE 106(1): 93-112 (2018) - [c130]Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon D. Koutsoukos, Gabor Karsai:
Triggering Rowhammer Hardware Faults on ARM: A Revisit. ASHES@CCS 2018: 24-33 - [c129]Aron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik:
TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids. ICPADS 2018: 918-927 - [c128]Saqib Hasan, Amin Ghafouri, Abhishek Dubey, Gabor Karsai, Xenofon D. Koutsoukos:
Vulnerability analysis of power systems based on cyber-attack and defense models. ISGT 2018: 1-5 - [c127]Gabor Karsai:
From Modeling to Model-Based Programming. ISoLA (1) 2018: 295-308 - [c126]Himanshu Neema, Bradley Potteiger, Xenofon D. Koutsoukos, Gabor Karsai, Péter Völgyesi, Janos Sztipanovits:
Integrated simulation testbed for security and resilience of CPS. SAC 2018: 368-374 - [c125]Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai:
A Cloud-Based Execution Framework for Program Analysis. SEFM 2018: 139-154 - 2017
- [c124]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 - [c123]Abhishek Dubey, Gabor Karsai, Subhav Pradhan:
Resilience at the edge in cyber-physical systems. FMEC 2017: 139-146 - [c122]Scott Eisele, Geoffrey Pettet, Abhishek Dubey, Gabor Karsai:
Towards an architecture for evaluating and analyzing decentralized Fog applications. FWC 2017: 1-6 - [c121]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 - [c120]Scott Eisele, Abhishek Dubey, Gabor Karsai, Srdjan M. Lukic:
Transactive energy demo with RIAPS platform. ICCPS 2017: 91 - [c119]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 - [c118]Scott Eisele, István Madari, Abhishek Dubey, Gabor Karsai:
RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems. ISORC 2017: 125-132 - [c117]Charles Hartsell, Gabor Karsai, Michael R. Lowry:
Timing analysis of a middleware-based system. ARM@Middleware 2017: 5:1-5:6 - [c116]Péter Völgyesi, Abhishek Dubey, Timothy Krentz, István Madari, Mary Metelko, Gabor Karsai:
Time synchronization services for low-cost fog computing applications. RSP 2017: 57-63 - [i7]Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William R. Otte:
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. CoRR abs/1710.00267 (2017) - [i6]Abhishek Dubey, Gabor Karsai, Aniruddha S. Gokhale, William Emfinger, Pranav Srinivas Kumar:
DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems. CoRR abs/1710.00268 (2017) - 2016
- [j54]Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai:
Achieving resilience in distributed software systems via self-reconfiguration. J. Syst. Softw. 122: 344-363 (2016) - [c115]William Emfinger, Abhishek Dubey, Péter Völgyesi, János Sallai, Gabor Karsai:
Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing. SEC 2016: 119-120 - [c114]Himanshu Neema, Péter Völgyesi, Bradley Potteiger, William Emfinger, Xenofon D. Koutsoukos, Gabor Karsai, Yevgeniy Vorobeychik, Janos Sztipanovits:
Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience. ICCPS 2016: 27:1 - [c113]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 - [c112]Zsolt Lattmann, Tamás Kecskés, Patrik Meijer, Gabor Karsai, Péter Völgyesi, Ákos Lédeczi:
Abstractions for Modeling Complex Systems. ISoLA (2) 2016: 68-79 - 2015
- [j53]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) - [j52]Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai:
DREMS ML: A wide spectrum architecture design language for distributed computing platforms. Sci. Comput. Program. 106: 3-29 (2015) - [c111]Pranav Srinivas Kumar, Gabor Karsai:
Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems. ISORC Workshops 2015: 50-57 - [c110]William Emfinger, Gabor Karsai:
Modeling Network Medium Access Protocols for Network Quality of Service Analysis. ISORC 2015: 292-295 - [c109]Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober:
Introduction to ACES-MB 2015. ACES-MB&WUCOR@MoDELS 2015: 1-2 - [c108]Pranav Srinivas Kumar, William Emfinger, Amogh Kulkarni, Gabor Karsai, Dexter Watkins, Benjamin Gasser, Cameron Ridgewell, Amrutur Anilkumar:
ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS. RSP 2015: 39-45 - [c107]Zsolt Lattmann, James Klingler, Patrik Meijer, Jason Scott, Sandeep Neema, Ted Bapty, Gabor Karsai:
Towards an analysis-driven rapid design process for cyber-physical systems. RSP 2015: 90-96 - [c106]Pranav Srinivas Kumar, William Emfinger, Gabor Karsai:
A testbed to simulate and analyze resilient cyber-physical systems. RSP 2015: 97-103 - [e9]Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober, Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar:
Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. CEUR Workshop Proceedings 1508, CEUR-WS.org 2015 [contents] - 2014
- [j51]Zhenkai Zhang, Emeka Eyisi, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits:
A co-simulation framework for design of time-triggered automotive cyber physical systems. Simul. Model. Pract. Theory 43: 16-33 (2014) - [j50]Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai:
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. IEEE Softw. 31(2): 62-69 (2014) - [j49]Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Feng Shi, Christopher P. van Buskirk, Gabor Karsai:
A semi-formal description of migrating domain-specific models with evolving domains. Softw. Syst. Model. 13(2): 807-823 (2014) - [c105]William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale:
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks. CyPhy 2014: 44-47 - [c104]Julien Deantoni, Cédric Brun, Benoît Caillaud, Robert B. France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani:
Domain Globalization: Using Languages to Support Technical and Social Coordination. Globalizing Domain-Specific Languages 2014: 70-87 - [c103]Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte:
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. ISORC 2014: 1-8 - [c102]Gabor Karsai:
Unification or Integration? The Challenge of Semantics in Heterogeneous Modeling Languages. GEMOC@MoDELS 2014: 2-6 - [c101]Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai:
Taming Multi-Paradigm Integration in a Software Architecture Description Language. MPM@MoDELS 2014: 67-76 - [c100]Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai:
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. MoDeVVa@MoDELS 2014: 79-88 - [c99]Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai:
A Rapid Testing Framework for a Mobile Cloud. RSP 2014: 128-134 - [i5]Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai:
Metamodelling: State of the Art and Research Challenges. CoRR abs/1409.2359 (2014) - [i4]Gabor Karsai, Holger Krahn, Claas Pinkernell, Bernhard Rumpe, Martin Schindler, Steven Völkel:
Design Guidelines for Domain Specific Languages. CoRR abs/1409.2378 (2014) - 2013
- [j48]Abhishek Dubey, Gabor Karsai:
Software health management. Innov. Syst. Softw. Eng. 9(4): 217 (2013) - [j47]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) - [j46]Subhav Pradhan, Aniruddha S. Gokhale, William Otte, Gabor Karsai:
Real-time fault tolerant deployment and configuration framework for cyber physical systems. SIGBED Rev. 10(2): 32 (2013) - [j45]Subhav Pradhan, William Otte, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai:
Towards a resilient deployment and configuration infrastructure for fractionated spacecraft. SIGBED Rev. 10(4): 29-32 (2013) - [j44]Tony Clark, Gabor Karsai, Roel J. Wieringa, Robert B. France, Bernhard Rumpe:
A newly introduced Industry Voice Column. Softw. Syst. Model. 12(3): 441-442 (2013) - [c98]Zhenkai Zhang, Joseph Porter, Emeka Eyisi, Gabor Karsai, Xenofon D. Koutsoukos, Janos Sztipanovits:
Co-simulation framework for design of time-triggered cyber physical systems. ICCPS 2013: 119-128 - [c97]William Otte, Abhishek Dubey, Subhav Pradhan, Prithviraj Patil, Aniruddha S. Gokhale, Gabor Karsai, Johnny Willemsen:
F6COM: A component model for resource-constrained and dynamic space-based computing environments. ISORC 2013: 1-8 - [c96]Di Shang, Emeka Eyisi, Zhenkai Zhang, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits:
A case study on the model-based design and integration of automotive cyber-physical systems. MED 2013: 483-492 - [c95]Gergely Varga, Sara Toth, Christopher R. Iacovella, János Sallai, Péter Völgyesi, Ákos Lédeczi, Gabor Karsai, Peter T. Cummings:
Web-based Metaprogrammable Frontend for Molecular Dynamics Simulations. SIMULTECH 2013: 171-178 - [c94]Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry:
Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS 2013: 523-529 - [e8]Iulian Ober, Florian Noyrit, Susanne Graf, Gabor Karsai:
Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013. CEUR Workshop Proceedings 1084, CEUR-WS.org 2013 [contents] - 2012
- [j43]Janos Sztipanovits, Xenofon D. Koutsoukos, Gabor Karsai, Nicholas Kottenstette, Panos J. Antsaklis, Vijay Gupta, Bill Goodwine, John S. Baras, Shige Wang:
Toward a Science of Cyber-Physical System Integration. Proc. IEEE 100(1): 29-44 (2012) - [j42]Graham Hemingway, Himanshu Neema, Harmon Nine, Janos Sztipanovits, Gabor Karsai:
Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. Simul. 88(2): 217-232 (2012) - [c93]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 - [c92]Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai:
Evolution in a context of an model-integrated tool environment. ME@MoDELS 2012: 33-38 - [c91]Zsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema, Gabor Karsai:
Component-based modeling of dynamic systems using heterogeneous composition. MPM@MoDELS 2012: 73-78 - [c90]Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen:
Integrating Statechart Components in Polyglot. NASA Formal Methods 2012: 267-272 - [c89]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 - [e7]S. Shankar Sastry, Tamer Basar, Saurabh Amin, Gabor Karsai:
1st International Conference on High Confidence Networked Systems (HiCoNS - at CPS Week 2012), HiCoNS '12, Beijing, China, April 17-18, 2012. ACM 2012, ISBN 978-1-4503-1263-9 [contents] - [e6]Chunming Hu, Gabor Karsai, Jie Xu, Andreas Polze, Ji Wang, Andy J. Wellings:
15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-0499-3 [contents] - 2011
- [j41]Barrett R. Bryant, Jeff Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, Gabor Karsai:
Challenges and directions in formalizing the semantics of modeling languages. Comput. Sci. Inf. Syst. 8(2): 225-253 (2011) - [j40]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) - [c88]Tripti Saxena, Gabor Karsai:
A Meta-Framework for Design Space Exploration. ECBS 2011: 71-80 - [c87]Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai:
Application of software health management techniques. SEAMS 2011: 1-10 - [c86]Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry:
Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA 2011: 45-55 - [c85]Amogh Kavimandan, Aniruddha S. Gokhale, Gabor Karsai, Jeff Gray:
Managing the quality of software product line architectures through reusable model transformations. QoSA/ISARCS 2011: 13-22 - [c84]Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger:
Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping 2011: 121-127 - [e5]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz:
Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. Lecture Notes in Computer Science 6100, Springer 2011, ISBN 978-3-642-16276-3 [contents] - 2010
- [j39]Gabor Karsai, Fabio Massacci, Leon J. Osterweil, Ina Schieferdecker:
Evolving Embedded Systems. Computer 43(5): 34-40 (2010) - [j38]Tihamer Levendovszky, Gabor Karsai:
An Active Pattern Infrastructure for Domain-Specific Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 25 (2010) - [c83]Tripti Saxena, Gabor Karsai:
Towards a Generic Design Space Exploration Framework. CIT 2010: 1940-1947 - [c82]Gabor Karsai:
Lessons Learned from Building a Graph Transformation System. Graph Transformations and Model-Driven Engineering 2010: 202-223 - [c81]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010: 1-32 - [c80]Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, João Pedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovski, Mauro Pezzè, Wilhelm Schäfer, Ladan Tahvildari, Kenny Wong:
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems. Software Engineering for Self-Adaptive Systems 2010: 108-132 - [c79]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 - [c78]Himanshu Neema, Anand Kashyap, Róbert Kereskényi, Yuan Xue, Gabor Karsai:
SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-Hoc Networks. DS-RT 2010: 179-188 - [c77]Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai:
A transformation instance-based approach to traceability. ECMFA-TW 2010: 55-60 - [c76]Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits:
Online stability validation using sector analysis. EMSOFT 2010: 29-38 - [c75]Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai:
Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58 - [c74]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 - [c73]Tripti Saxena, Gabor Karsai:
MDE-Based Approach for Generalizing Design Space Exploration. MoDELS (1) 2010: 46-60 - [c72]Tripti Saxena, Gabor Karsai:
The GDSE framework: a meta-tool for automated design space exploration. DSM@SPLASH 2010: 15:1-15:6 - [c71]Graham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits:
Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis. International Symposium on Rapid System Prototyping 2010: 1-7 - [i3]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010
2000 – 2009
- 2009
- [j37]Tihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009) - [j36]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) - [c70]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle:
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26 - [c69]Joseph Porter, Gabor Karsai, Janos Sztipanovits:
Towards a time-triggered schedule calculation tool to support model-based embedded software design. EMSOFT 2009: 167-176 - [c68]Sandeep Neema, Ted Bapty, Xenofon D. Koutsoukos, Himanshu Neema, Janos Sztipanovits, Gabor Karsai:
Model based integration and experimentation of Information Fusion and C2 Systems. FUSION 2009: 1958-1965 - [c67]Abhishek Dubey, Gabor Karsai, Sherif Abdelwahed:
Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems. ISORC 2009: 55-62 - [c66]Vasco Amaral, Cécile Hardebolle, Gabor Karsai, László Lengyel, Tihamer Levendovszky:
Recent Advances in Multi-paradigm Modeling. MoDELS (Workshops) 2009: 220-224 - [c65]Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai:
Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS 2009: 706-711 - [c64]Joseph Porter, Péter Völgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits:
An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. IEEE International Workshop on Rapid System Prototyping 2009: 3-10 - [c63]Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai:
A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE 2009: 23-41 - 2008
- [j35]Anantha Narayanan, Gabor Karsai:
Verifying Model Transformations by Structural Correspondence. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j34]Gabor Karsai, Sandeep Neema, David Sharp:
Model-driven architecture for embedded software: A synopsis and an example. Sci. Comput. Program. 73(1): 26-38 (2008) - [j33]Annarita Giani, Gabor Karsai, Tanya G. Roosta, Aakash Shah, Bruno Sinopoli, Jon Wiley:
A testbed for secure and robust SCADA systems. SIGBED Rev. 5(2): 4 (2008) - [c62]Benjamin Ness, Gabor Karsai:
High precision automatic scheduling of periodic task sets for microcontrollers. ACM Southeast Regional Conference 2008: 1-6 - [c61]Anantha Narayanan, Gabor Karsai:
Specifying the correctness properties of model transformations. GRaMoT@ICSE 2008: 45-52 - [c60]Gabor Karsai, Gabriele Taentzer:
Third international workshop on graph and model transformations. ICSE Companion 2008: 1055-1056 - [c59]Amogh Kavimandan, Anantha Narayanan, Aniruddha S. Gokhale, Gabor Karsai:
Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-Time and Embedded Systems. ISORC 2008: 100-107 - [c58]Joseph Porter, Gabor Karsai, Péter Völgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits:
Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. MoDELS (Workshops) 2008: 20-34 - [c57]Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen:
DSLs: the good, the bad, and the ugly. OOPSLA Companion 2008: 791-794 - [c56]Gabor Karsai, Janos Sztipanovits:
Model-Integrated Development of Cyber-Physical Systems. SEUS 2008: 46-54 - [e4]Gabor Karsai, Gabriele Taentzer:
Proceedings of the Third International Workshop on Graph and Model Transformations, GRaMoT '08, Leipzig, Germany, May 12, 2008. ACM 2008, ISBN 978-1-60558-033-3 [contents] - 2007
- [j32]Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai:
A Subgraph Operator for Graph Transformation Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007) - [j31]Abhishek Dubey, Steven Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, Gabor Karsai:
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. Innov. Syst. Softw. Eng. 3(1): 33-52 (2007) - [j30]Matthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi:
Embedded systems security co-design. SIGBED Rev. 4(2): 1-4 (2007) - [c55]Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai:
Applying a Grouping Operator in Model Transformations. AGTIVE 2007: 410-425 - [c54]Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai:
Metamodelling - State of the Art and Research Challenges. Model-Based Engineering of Embedded Real-Time Systems 2007: 57-76 - [c53]Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty:
The Model-Integrated Computing Tool Suite. Model-Based Engineering of Embedded Real-Time Systems 2007: 369-376 - [c52]Matthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi:
Integrating Security Modeling into Embedded System Design. ECBS 2007: 221-228 - [e3]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz:
Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007. Dagstuhl Seminar Proceedings 07451, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [i2]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz:
07451 Summary - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems 2007 - [i1]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz:
07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems 2007 - 2006
- [j29]Krishnakumar Balasubramanian, Aniruddha S. Gokhale, Gabor Karsai, Janos Sztipanovits, Sandeep Neema:
Developing Applications Using Model-Driven Design Environments. Computer 39(2): 33-40 (2006) - [j28]Daniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, Gabor Karsai:
The Graph Rewriting and Transformation Language: GReAT. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006) - [j27]Gabor Karsai, Gabriele Taentzer:
Preface to GraMoT 2006 Workshop Proceedings. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006) - [j26]Anantha Narayanan, Gabor Karsai:
Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006) - [j25]Tivadar Szemethy, Gabor Karsai:
PML: a Transformation Language for Platform Modeling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006) - [j24]Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo:
The design of a language for model transformations. Softw. Syst. Model. 5(3): 261-288 (2006) - [c51]Pedro A. Szekely, Rajiv T. Maheswaran, Robert Neches, Craig Milo Rogers, Romeo Sanchez, Marcel Becker, Stephen Fitzpatrick, Gergely Gati, Dávid Hanák, Gabor Karsai, Christopher P. van Buskirk:
An Examination of Criticality-Sensitive Approaches to Coordination. AAAI Spring Symposium: Distributed Plan and Schedule Management 2006: 136-142 - [c50]Gabor Karsai, Anantha Narayanan:
Towards Verification of Model Transformations Via Goal-Directed Certification. ASWSD 2006: 67-83 - [c49]Pedro A. Szekely, Marcel Becker, Stephen Fitzpatrick, Gergely Gati, Dávid Hanák, Jing Jin, Gabor Karsai, Rajiv T. Maheswaran, Robert Neches, Craig Milo Rogers, Romeo Sanchez, Christopher P. van Buskirk:
CSC: Criticality-Sensitive Coordination. AAMAS 2006: 1441-1442 - [c48]Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian:
Model Transformations in the Model-Based Development of Real-time Systems. ECBS 2006: 177-186 - [c47]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 - [c46]Gabor Karsai, Anantha Narayanan:
On the Correctness of Model Transformations in the Development of Embedded Systems. Monterey Workshop 2006: 1-18 - [c45]Anantha Narayanan, Gabor Karsai:
Towards Verifying Model Transformations. GT-VMT@ETAPS 2006: 191-200 - [e2]Gabor Karsai, Gabriele Taentzer:
Proceedings of the International Workshop on Graph and Model Transformation, GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005. Electronic Notes in Theoretical Computer Science 152, Elsevier 2006 [contents] - 2005
- [j23]Gabor Karsai, Andras Lang, Sandeep Neema:
Design patterns for open tool integration. Softw. Syst. Model. 4(2): 157-170 (2005) - [j22]Janos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha S. Gokhale, Larry Howard, Gabor Karsai, Tak-John Koo, Xenofon D. Koutsoukos, Douglas C. Schmidt:
Introducing embedded software and systems education and advanced learning technology in an engineering curriculum. ACM Trans. Embed. Comput. Syst. 4(3): 549-568 (2005) - [c44]Sherif Abdelwahed, Gabor Karsai, Gautam Biswas:
Robust state-based supervisory control of discrete event systems. CCA 2005: 922-927 - [c43]Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai:
A Visually-Specified Code Generator for Simulink/Stateflow. VL/HCC 2005: 275-277 - [c42]Gabor Karsai, Gabriele Taentzer:
Preface. GRaMoT@GPCE 2005: 1-2 - [c41]Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai:
Applying a Model Transformation Taxonomy to Graph Transformation Technology. GRaMoT@GPCE 2005: 143-159 - [c40]Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai:
Improving the Usability of a Graph Transformation Language. GRaMoT@GPCE 2005: 207-222 - 2004
- [j21]Tivadar Szemethy, Gabor Karsai:
Platform Modeling and Model Transformations for Analysis. J. Univers. Comput. Sci. 10(10): 1383-1407 (2004) - [j20]Gabor Karsai, Miklós Maróti, Ákos Lédeczi, Jeff Gray, Janos Sztipanovits:
Composition and cloning in modeling and meta-modeling. IEEE Trans. Control. Syst. Technol. 12(2): 263-278 (2004) - [j19]Jonathan Sprinkle, Gabor Karsai:
A domain-specific visual language for domain model evolution. J. Vis. Lang. Comput. 15(3-4): 291-307 (2004) - [c39]Gabor Karsai:
Automotive Software: A Challenge and Opportunity for Model-Based Software Development. ASWSD 2004: 103-115 - [c38]Sandeep Neema, Gabor Karsai:
Software for Automotive Systems: Model-Integrated Computing. ASWSD 2004: 116-136 - [c37]Gabor Madl, Sherif Abdelwahed, Gabor Karsai:
Automatic Verification of Component-Based Real-Time CORBA Applications. RTSS 2004: 231-240 - [c36]Nagarajan Kandasamy, Dávid Hanák, Christopher P. van Buskirk, Himanshu Neema, Gabor Karsai:
Synthesis of robust task schedules for minimum disruption repair. SMC (6) 2004: 5056-5061 - [c35]Aditya Agrawal, Gyula Simon, Gabor Karsai:
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. GT-VMT@ETAPS 2004: 43-56 - [c34]Aditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan, Gabor Karsai:
Reusable Idioms and Patterns in Graph Transformation Languages. GraBaTs 2004: 181-192 - [e1]Gabor Karsai, Eelco Visser:
Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings. Lecture Notes in Computer Science 3286, Springer 2004, ISBN 3-540-23580-9 [contents] - 2003
- [j18]Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle:
On the Use of Graph Transformation in the Formal Specification of Model Interpreters. J. Univers. Comput. Sci. 9(11): 1296-1321 (2003) - [j17]Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Ted Bapty:
Model-integrated development of embedded software. Proc. IEEE 91(1): 145-164 (2003) - [c33]Gabor Karsai, Aditya Agrawal:
Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk). AGTIVE 2003: 243-259 - [c32]Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai:
Domain Model Translation Using Graph Transformations. ECBS 2003: 159-167 - [c31]Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts:
Constraint-Based Design-Space Exploration and Model Synthesis. EMSOFT 2003: 290-305 - [c30]Jeff Gray, Gabor Karsai:
An Examination of DSLs for Concisely Representing Model Traversals and Transformations. HICSS 2003: 325 - [c29]Aditya Agrawal, Gabor Karsai, Ákos Lédeczi:
An end-to-end domain-driven software development framework. OOPSLA Companion 2003: 8-15 - [c28]Rong Su, Sherif Abdelwahed, Gabor Karsai, Gautam Biswas:
Discrete abstraction and supervisory control of switching systems. SMC 2003: 415-421 - 2002
- [c27]Sherif Abdelwahed, Gabor Karsai, Gautam Biswas:
Online safety control of a class of hybrid systems. CDC 2002: 1988-1990 - [c26]Janos Sztipanovits, Gabor Karsai:
Generative Programming for Embedded Systems. GPCE 2002: 32-49 - [c25]Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf:
Model Reuse with Metamodel-Based Transformations. ICSR 2002: 166-178 - [c24]Janos Sztipanovits, Gabor Karsai:
Generative programming for embedded systems. PPDP 2002: 180-180 - 2001
- [j16]Ákos Lédeczi, Arpad Bakay, Miklos Maroti, Péter Völgyesi, Greg Nordstrom, Jonathan Sprinkle, Gabor Karsai:
Composing Domain-Specific Design Environments. Computer 34(11): 44-51 (2001) - [c23]Gabor Karsai, Gautam Biswas, Tal Pasternak, Sriram Narasimhan, Gábor Péceli, Gyula Simon, Tamás Kovácsházy:
Fault-Adaptive Control: A CBS Application. ECBS 2001: 205- - [c22]Jonathan Sprinkle, Ákos Lédeczi, Gabor Karsai, Greg Nordstrom:
The New Metamodeling Generation. ECBS 2001: 275- - [c21]Janos Sztipanovits, Gabor Karsai:
Embedded Software: Challenges and Opportunities. EMSOFT 2001: 403-415 - [c20]Gabor Karsai, Ákos Lédeczi, Janos Sztipanovits, Gábor Péceli, Gyula Simon, Tamás Kovácsházy:
An Approach to Self-adaptive Software Based on Supervisory Control. IWSAS 2001: 24-38 - 2000
- [j15]Gabor Karsai, Greg Nordstrom, Ákos Lédeczi, Janos Sztipanovits:
Towards Two-Level Formal Modeling of Computer-Based Systems. J. Univers. Comput. Sci. 6(11): 1131-1144 (2000) - [j14]Gabor Karsai:
Model integrated computing (MIC). ACM SIGSOFT Softw. Eng. Notes 25(1): 105 (2000) - [c19]Gabor Karsai:
Design Tool Integration: An Exercise in Semantic Interoperability. ECBS 2000: 272-278 - [c18]Jonathan Sprinkle, Christopher P. van Buskirk, Gabor Karsai:
Modeling agent negotiation. SMC 2000: 454-459 - [c17]Sriram Narasimhan, Gautam Biswas, Gabor Karsai, Tal Pasternak, Feng Zhao:
Building observers to address fault isolation and control problems in hybrid dynamic systems. SMC 2000: 2393-2398
1990 – 1999
- 1999
- [j13]Gabor Karsai, Janos Sztipanovits:
A model-based approach to self-adaptive software. IEEE Intell. Syst. 14(3): 46-53 (1999) - [c16]Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, Ákos Lédeczi:
Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments. ECBS 1999: 68-74 - [c15]Gabor Karsai:
Structured Specification of Model Interpreters. ECBS 1999: 84- - [c14]Amit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi, Earl Long:
Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges. ECBS 1999: 225-231 - [c13]Ákos Lédeczi, Miklos Maroti, Gabor Karsai, Greg Nordstrom:
Metaprogrammable Toolkit for Model-Integrated Computing. ECBS 1999: 311- - [c12]Amit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi:
Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing. ICEIS 1999: 485-492 - 1998
- [j12]Janos Sztipanovits, Gabor Karsai, Ted Bapty:
Self-Adaptive Software for Signal Processing. Commun. ACM 41(5): 66-73 (1998) - [c11]Amit Misra, Gregory M. Provan, Gabor Karsai, George Bloor, Ethan Scarl:
A generic and symbolic model-based diagnostic reasoner with highly scalable properties. SMC 1998: 3154-3160 - 1997
- [j11]Janos Sztipanovits, Gabor Karsai:
Model-Integrated Computing. Computer 30(4): 110-111 (1997) - [c10]Gabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore:
Model-integrated system development: models, architecture, and process. COMPSAC 1997: 176-181 - [c9]Amit Misra, Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Michael Moore, Earl Long:
A model-integrated information system for increasing throughput in discrete manufacturing. ECBS 1997: 203-210 - [c8]Hubertus Franke, Janos Sztipanovits, Gabor Karsai:
Model-Integrated Programming. HICSS (1) 1997: 415-422 - 1996
- [c7]Janos Sztipanovits, Gabor Karsai, Hubertus Franke:
Model-Integrated Program Synthesis Environment. ECBS 1996: 348-355 - 1995
- [j10]Ákos Lédeczi, Ted Bapty, Gabor Karsai, Janos Sztipanovits:
Modeling Paradigm for Parallel Signal Processing. Aust. Comput. J. 27(3): 92-102 (1995) - [j9]Gabor Karsai:
A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming. Computer 28(3): 36-44 (1995) - [c6]Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria:
Model-embedded on-line problem solving environment for chemical engineering. ICECCS 1995: 227-233 - [c5]Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra:
MULTIGRAPH: an architecture for model-integrated computing. ICECCS 1995: 361-368 - 1994
- [c4]Michael S. Moore, Gabor Karsai, Janos Sztipanovits:
Model-Based Programming for Parallel Image Processing. ICIP (3) 1994: 811-815 - 1993
- [j8]Ákos Lédeczi, Ben Abbott, Csaba Biegl, Ted Bapty, Gabor Karsai, Janos Sztipanovits:
Parallel DSP system integration. Microprocess. Microsystems 17(8): 460-470 (1993) - [j7]Ben Abbott, Ted Bapty, Csaba Biegl, Gabor Karsai, Janos Sztipanovits:
Model-Based Software Synthesis. IEEE Softw. 10(3): 42-52 (1993) - [j6]Janos Sztipanovits, D. Mitchell Wilkes, Gabor Karsai, Csaba Biegl, Lester E. Lynd Jr.:
The multigraph and structural adaptivity. IEEE Trans. Signal Process. 41(8): 2695-2716 (1993) - 1992
- [j5]Gabor Karsai, Kristinn Andersen, George E. Cook, Robert Joel Barnett:
Neural network methods for the modeling and control of welding processes. J. Intell. Manuf. 3(4): 229-235 (1992) - [j4]Gabor Karsai, Janos Sztipanovits, Samir Padalkar, Csaba Biegl:
Model-Based Intelligent Process Control for Cogenerator Plants. J. Parallel Distributed Comput. 15(2): 90-102 (1992) - 1991
- [j3]Samir Padalkar, Gabor Karsai, Csaba Biegl, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka:
Real-Time Fault Diagnostics. IEEE Expert 6(3): 75-85 (1991) - [c3]Samir Padalkar, Gabor Karsai, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka:
Real-time fault diagnostics with multiple aspect models. ICRA 1991: 803-808 - 1990
- [c2]D. Mitch Wilkes, Lester E. Lynd Jr., Janos Sztipanovits, Gabor Karsai:
The multigraph approach to parallel, distributed, structurally adaptive signal processing. ICASSP 1990: 2037-2040 - [c1]Janos Sztipanovits, Gabor Karsai, Samir Padalkar, Csaba Biegl, Nobuji Miyasaka, Koji Okuda:
Intelligent monitoring and diagnostics for plant automation. ICRA 1990: 1390-1395
1980 – 1989
- 1988
- [j2]Janos Sztipanovits, Gabor Karsai, Csaba Biegl:
Graph model-based approach to the representation, interpretation, and execution of signal processing systems. Int. J. Intell. Syst. 3(3): 269-280 (1988) - [j1]Gabor Karsai, Kristinn Andersen, Kumar Ramaswamy, George E. Cook:
Gas tungsten ARC weld modeling using a mapping network. Neural Networks 1(Supplement-1): 341 (1988)
Coauthor Index
Ted Bapty
aka: Theodore Bapty
aka: Theodore Bapty
Ajay Dev Chhokra
aka: Ajay Chhokra
aka: Ajay Chhokra
[c164] [i22] [c160] [j62] [c157] [c154] [c152] [i19] [i17] [c151] [c150] [c149] [c148] [i16] [i15] [j60] [j59] [j58] [j57] [c147] [c146] [c144] [i13] [i12] [i11] [j56] [c143] [c141] [c138] [c137] [c136] [c135] [c134] [c132] [i10] [i9] [c129] [c128] [c124] [c123] [c122] [c121] [c120] [c119] [c118] [c116] [i7] [i6] [j54] [c115] [c113] [j53] [j52] [j50] [c105] [c103] [c101] [c100] [c99] [j48] [j47] [j45] [c97] [c93] [c89] [j40] [c87] [c79] [c74] [c67] [j31]
Aniruddha S. Gokhale
aka: Aniruddha Gokhale
aka: Aniruddha Gokhale
Nagabhushan Mahadevan
aka: Nag Mahadevan
aka: Nag Mahadevan
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 2025-01-20 22:59 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:
