Gabor Karsai
Orcid: 0000-0001-7775-9099
According to our database1,
Gabor Karsai
authored at least 236 papers
between 1988 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Control. Syst. Technol., September, 2024
CoRR, 2024
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
Proceedings of the International Conference on Assured Autonomy, 2024
2023
Proceedings of the Winter Simulation Conference, 2023
Proceedings of the 2023 IEEE International Conference on Smart Computing, 2023
Proceedings of the 26th IEEE International Symposium on Real-Time Distributed Computing, 2023
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
2022
Efficient Out-of-Distribution Detection Using Latent Space of <i>β</i>-VAE for Cyber-Physical Systems.
ACM Trans. Cyber Phys. Syst., 2022
Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022
Model-based Development and Assurance of Learning-enabled Cyber-Physical Systems.
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
Proceedings of the 31st International Conference on Computer Communications and Networks, 2022
Proceedings of the IEEE International Conference on Assured Autonomy, 2022
An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications.
Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2022
2021
Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems.
CoRR, 2021
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021
Proceedings of the 5th International Conference on System Reliability and Safety, 2021
Power-attack: a comprehensive tool-chain for modeling and simulating attacks in power systems.
Proceedings of the MSCPES@CPSIoTWeek '21: Proceedings of the 9th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, Virtual Event, May 19, 2021
2020
Resilient Information Architecture Platform for the Smart Grid: A Novel Open-Source Platform for Microgrid Control.
IEEE Trans. Ind. Electron., 2020
URMILA: Dynamically trading-off fog and edge resources for performance and mobility-aware IoT services.
J. Syst. Archit., 2020
J. Syst. Archit., 2020
Designing a decentralized fault-tolerant software framework for smart grids and its applications.
J. Syst. Archit., 2020
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020
Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge.
Proceedings of the 4th IEEE International Conference on Fog and Edge Computing, 2020
Proceedings of the 2020 American Control Conference, 2020
2019
Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid.
IEEE Embed. Syst. Lett., 2019
TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids.
CoRR, 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the 30th International Workshop on Rapid System Prototyping, 2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019
On the Design of Fault- Tolerance in a Decentralized Software Platform for Power Systems.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019
DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019
DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption Data.
Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019
Proceedings of the IEEE International Conference on Industrial Technology, 2019
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services.
Proceedings of the IEEE International Conference on Cloud Engineering, 2019
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019
2018
SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems.
Proc. IEEE, 2018
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the 2018 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2018
TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids.
Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018
Proceedings of the 2018 Workshop on Attacks and Solutions in Hardware Security, 2018
2017
CoRR, 2017
Proceedings of the International Symposium on Rapid System Prototyping, 2017
Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, 2017
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017
Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2017
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017
Diagnostics and prognostics using temporal causal models for cyber physical energy systems.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017
Proceedings of the IEEE Fog World Congress, 2017
Proceedings of the Second International Conference on Fog and Mobile Edge Computing, 2017
A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems.
Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, 2017
2016
J. Syst. Softw., 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing.
Proceedings of the IEEE/ACM Symposium on Edge Computing, 2016
2015
DREMS ML: A wide spectrum architecture design language for distributed computing platforms.
Sci. Comput. Program., 2015
IEEE Instrum. Meas. Mag., 2015
Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015
ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS.
Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015
Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015
Proceedings of the 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), 2015
Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems.
Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
2014
Softw. Syst. Model., 2014
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems.
IEEE Softw., 2014
A co-simulation framework for design of time-triggered automotive cyber physical systems.
Simul. Model. Pract. Theory, 2014
Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications.
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014
Unification or Integration? The Challenge of Semantics in Heterogeneous Modeling Languages.
Proceedings of the 2nd International Workshop on The Globalization of Modeling Languages co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, 2014
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014
Proceedings of the Globalizing Domain-Specific Languages, 2014
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks.
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014
2013
Towards a resilient deployment and configuration infrastructure for fractionated spacecraft.
SIGBED Rev., 2013
Real-time fault tolerant deployment and configuration framework for cyber physical systems.
SIGBED Rev., 2013
Deliberative, search-based mitigation strategies for model-based software health management.
Innov. Syst. Softw. Eng., 2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the SIMULTECH 2013, 2013
A case study on the model-based design and integration of automotive cyber-physical systems.
Proceedings of the 21st Mediterranean Conference on Control and Automation, 2013
F6COM: A component model for resource-constrained and dynamic space-based computing environments.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013
2012
Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach.
Simul., 2012
Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012
Proceedings of the NASA Formal Methods, 2012
Proceedings of the 6th International Workshop on Models and Evolution, 2012
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012
Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012
2011
Softw. Pract. Exp., 2011
Comput. Sci. Inf. Syst., 2011
Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, 2011
Managing the quality of software product line architectures through reusable model transformations.
Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011
2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis.
Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, 2010
Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010
Proceedings of the Fundamental Approaches to Software Engineering, 2010
Proceedings of the 10th International conference on Embedded software, 2010
Proceedings of the 6th ECMFA Traceability Workshop, 2010
SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-Hoc Networks.
Proceedings of the DS-RT '10 Proceedings of the 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications, 2010
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010
2009
Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models.
IEEE Trans. Instrum. Meas., 2009
Proceedings of the Software Language Engineering, Second International Conference, 2009
An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software.
Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Proceedings of the Models in Software Engineering, 2009
Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009
Proceedings of the 12th International Conference on Information Fusion, 2009
Towards a time-triggered schedule calculation tool to support model-based embedded software design.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009
2008
Sci. Comput. Program., 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008
Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008
Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-Time and Embedded Systems.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008
Proceedings of the Third International Workshop on Graph and Model Transformations, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
Proceedings of the 46th Annual Southeast Regional Conference, 2008
2007
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems.
Innov. Syst. Softw. Eng., 2007
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
2006
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006
Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment.
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006
Proceedings of the Distributed Plan and Schedule Management, 2006
2005
Introducing embedded software and systems education and advanced learning technology in an engineering curriculum.
ACM Trans. Embed. Comput. Syst., 2005
Proceedings of the International Workshop on Graph and Model Transformation, 2005
Proceedings of the International Workshop on Graph and Model Transformation, 2005
Proceedings of the International Workshop on Graph and Model Transformation, 2005
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005
2004
J. Vis. Lang. Comput., 2004
IEEE Trans. Control. Syst. Technol., 2004
J. Univers. Comput. Sci., 2004
Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations.
Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004
Proceedings of the Automotive Software, 2004
Automotive Software: A Challenge and Opportunity for Model-Based Software Development.
Proceedings of the Automotive Software, 2004
2003
On the Use of Graph Transformation in the Formal Specification of Model Interpreters.
J. Univers. Comput. Sci., 2003
Proceedings of the IEEE International Conference on Systems, 2003
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003
An Examination of DSLs for Concisely Representing Model Traversals and Transformations.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
Proceedings of the Embedded Software, Third International Conference, 2003
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003
2002
Proceedings of the Software Reuse: Methods, 2002
Proceedings of the Generative Programming and Component Engineering, 2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
2001
Proceedings of the Self-Adaptive Software, Second International Workshop, 2001
Proceedings of the Embedded Software, First International Workshop, 2001
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001
2000
J. Univers. Comput. Sci., 2000
Proceedings of the IEEE International Conference on Systems, 2000
Building observers to address fault isolation and control problems in hybrid dynamic systems.
Proceedings of the IEEE International Conference on Systems, 2000
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000
1999
Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999
Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999
1998
A generic and symbolic model-based diagnostic reasoner with highly scalable properties.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
1997
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997
A model-integrated information system for increasing throughput in discrete manufacturing.
Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
1996
Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996
1995
A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming.
Computer, 1995
Modeling Paradigm for Parallel Signal Processing.
Aust. Comput. J., 1995
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995
1994
Proceedings of the Proceedings 1994 International Conference on Image Processing, 1994
1993
1992
J. Parallel Distributed Comput., 1992
J. Intell. Manuf., 1992
1991
Proceedings of the 1991 IEEE International Conference on Robotics and Automation, 1991
1990
Proceedings of the 1990 IEEE International Conference on Robotics and Automation, 1990
The multigraph approach to parallel, distributed, structurally adaptive signal processing.
Proceedings of the 1990 International Conference on Acoustics, 1990
1988
Graph model-based approach to the representation, interpretation, and execution of signal processing systems.
Int. J. Intell. Syst., 1988