Gabor Karsai

According to our database1, Gabor Karsai authored at least 231 papers between 1988 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Modeling and Real-Time Simulation of Microgrid Components Using Systemc-Ams.
Proceedings of the Winter Simulation Conference, 2023

Distributed Control Application for Smart Grids using RIAPS.
Proceedings of the 2023 IEEE International Conference on Smart Computing, 2023

Distributed Cyber Physical Systems Software Model Checking using Timed Automata.
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

Syntheto: A Surface Language for APT and ACL2.
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

ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Assurance Provenance: The Next Challenge in Software Documentation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Peer-to-Peer Communication Trade-Offs for Smart Grid Applications.
Proceedings of the 31st International Conference on Computer Communications and Networks, 2022

Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems.
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
Fault-Adaptive Autonomy in Systems with Learning-Enabled Components.
Sensors, 2021

Peer-to-Peer Communication Trade-Offs for Smart Grid Applications.
CoRR, 2021

Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems.
CoRR, 2021

ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Towards Model-Based Intent-Driven Adaptive Software.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

Automated Method for Assurance Case Construction from System Design Models.
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

Dynamic-weighted simplex strategy for learning enabled cyber physical systems.
J. Syst. Archit., 2020

Designing a decentralized fault-tolerant software framework for smart grids and its applications.
J. Syst. Archit., 2020

Workflow Automation for Cyber Physical System Development Processes.
CoRR, 2020

A Methodology for Automating Assurance Case Generation.
CoRR, 2020

Qualitative Fault Modeling in Safety Critical Cyber Physical Systems.
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

An Integrated Cyber-Physical Fault Management Approach.
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

A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems.
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

Dynamic symbolic execution for the analysis of web server applications in Java.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

CPS Design with Learning-Enabled Components: A Case Study.
Proceedings of the 30th International Workshop on Rapid System Prototyping, 2019

Practical Causal Models for Cyber-Physical Systems.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

Short Paper: Towards An Edge-Located Time-Series Database.
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

Demo: Transactive Energy Application with RIAPS.
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

Towards Operational Use of Unit Manufacturing Process Models.
Proceedings of the IEEE International Conference on Industrial Technology, 2019

A CPS toolchain for learning-based systems: demo abstract.
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

Model-based design for CPS with learning-enabled components.
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

A Cloud-Based Execution Framework for Program Analysis.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Integrated simulation testbed for security and resilience of CPS.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

From Modeling to Model-Based Programming.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Vulnerability analysis of power systems based on cyber-attack and defense models.
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

Triggering Rowhammer Hardware Faults on ARM: A Revisit.
Proceedings of the 2018 Workshop on Attacks and Solutions in Hardware Security, 2018

2017
DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems.
CoRR, 2017

Time synchronization services for low-cost fog computing applications.
Proceedings of the International Symposium on Rapid System Prototyping, 2017

Timing analysis of a middleware-based system.
Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, 2017

RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

A simulation testbed for cascade analysis.
Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2017

Transactive energy demo with RIAPS platform.
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

Towards an architecture for evaluating and analyzing decentralized Fog applications.
Proceedings of the IEEE Fog World Congress, 2017

Resilience at the edge in cyber-physical systems.
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
Achieving resilience in distributed software systems via self-reconfiguration.
J. Syst. Softw., 2016

Abstractions for Modeling Complex Systems.
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

Using temporal causal models to isolate failures in power system protection devices.
IEEE Instrum. Meas. Mag., 2015

Towards an analysis-driven rapid design process for cyber-physical systems.
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

A testbed to simulate and analyze resilient cyber-physical systems.
Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015

Introduction to ACES-MB 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

Modeling Network Medium Access Protocols for Network Quality of Service Analysis.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

2014
A semi-formal description of migrating domain-specific models with evolving domains.
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

Design Guidelines for Domain Specific Languages.
CoRR, 2014

A Rapid Testing Framework for a Mobile Cloud.
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

Taming Multi-Paradigm Integration in a Software Architecture Description Language.
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

Domain Globalization: Using Languages to Support Technical and Social Coordination.
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
A newly introduced Industry Voice Column.
Softw. Syst. Model., 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

Software health management.
Innov. Syst. Softw. Eng., 2013

Polyglot: Systematic Analysis for Multiple Statechart Formalisms.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Web-based Metaprogrammable Frontend for Molecular Dynamics Simulations.
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

Co-simulation framework for design of time-triggered cyber physical systems.
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

Toward a Science of Cyber-Physical System Integration.
Proc. IEEE, 2012

Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Integrating Statechart Components in Polyglot.
Proceedings of the NASA Formal Methods, 2012

Evolution in a context of an model-integrated tool environment.
Proceedings of the 6th International Workshop on Models and Evolution, 2012

Component-based modeling of dynamic systems using heterogeneous composition.
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
A component model for hard real-time systems: CCM with ARINC-653.
Softw. Pract. Exp., 2011

Challenges and directions in formalizing the semantics of modeling languages.
Comput. Sci. Inf. Syst., 2011

Rapid property specification and checking for model-based formalisms.
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

Polyglot: modeling and analysis for multiple Statechart formalisms.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Application of software health management techniques.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

A Meta-Framework for Design Space Exploration.
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010
An Active Pattern Infrastructure for Domain-Specific Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Evolving Embedded Systems.
Computer, 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

The GDSE framework: a meta-tool for automated design space exploration.
Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

MDE-Based Approach for Generalizing Design Space Exploration.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

A Real-Time Component Framework: Experience with CCM and ARINC-653.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Reusing Model Transformations While Preserving Properties.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

Online stability validation using sector analysis.
Proceedings of the 10th International conference on Embedded software, 2010

A transformation instance-based approach to traceability.
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


Fault-Adaptivity in Hard Real-Time Component-Based Software Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Lessons Learned from Building a Graph Transformation System.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

Towards a Generic Design Space Exploration Framework.
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

Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

A Novel Approach to Semi-automated Evolution of DSML Model Transformation.
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

Automatic Domain Model Migration to Manage Metamodel Evolution.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Recent Advances in Multi-paradigm Modeling.
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

Model based integration and experimentation of Information Fusion and C2 Systems.
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


2008
A testbed for secure and robust SCADA systems.
SIGBED Rev., 2008

Model-driven architecture for embedded software: A synopsis and an example.
Sci. Comput. Program., 2008

Verifying Model Transformations by Structural Correspondence.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Model-Integrated Development of Cyber-Physical Systems.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

DSLs: the good, the bad, and the ugly.
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

Specifying the correctness properties of model transformations.
Proceedings of the Third International Workshop on Graph and Model Transformations, 2008

Third international workshop on graph and model transformations.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

High precision automatic scheduling of periodic task sets for microcontrollers.
Proceedings of the 46th Annual Southeast Regional Conference, 2008

2007
Embedded systems security co-design.
SIGBED Rev., 2007

Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems.
Innov. Syst. Softw. Eng., 2007

A Subgraph Operator for Graph Transformation Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Integrating Security Modeling into Embedded System Design.
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

The Model-Integrated Computing Tool Suite.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Metamodelling - State of the Art and Research Challenges.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007

07451 Summary - Model-Based Engineering of Embedded Real-Time Systems.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007

Applying a Grouping Operator in Model Transformations.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
The design of a language for model transformations.
Softw. Syst. Model., 2006

Towards Verifying Model Transformations.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

PML: a Transformation Language for Platform Modeling.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Preface to GraMoT 2006 Workshop Proceedings.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

The Graph Rewriting and Transformation Language: GReAT.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Developing Applications Using Model-Driven Design Environments.
Computer, 2006

On the Correctness of Model Transformations in the Development of Embedded Systems.
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

Model Transformations in the Model-Based Development of Real-time Systems.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

CSC: Criticality-Sensitive Coordination.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Towards Verification of Model Transformations Via Goal-Directed Certification.
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

An Examination of Criticality-Sensitive Approaches to Coordination.
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

Design patterns for open tool integration.
Softw. Syst. Model., 2005

Improving the Usability of a Graph Transformation Language.
Proceedings of the International Workshop on Graph and Model Transformation, 2005

Applying a Model Transformation Taxonomy to Graph Transformation Technology.
Proceedings of the International Workshop on Graph and Model Transformation, 2005

Preface.
Proceedings of the International Workshop on Graph and Model Transformation, 2005

A Visually-Specified Code Generator for Simulink/Stateflow.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

2004
A domain-specific visual language for domain model evolution.
J. Vis. Lang. Comput., 2004

Composition and cloning in modeling and meta-modeling.
IEEE Trans. Control. Syst. Technol., 2004

Platform Modeling and Model Transformations for Analysis.
J. Univers. Comput. Sci., 2004

Reusable Idioms and Patterns in Graph Transformation Languages.
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

Synthesis of robust task schedules for minimum disruption repair.
Proceedings of the IEEE International Conference on Systems, 2004

Automatic Verification of Component-Based Real-Time CORBA Applications.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Software for Automotive Systems: Model-Integrated Computing.
Proceedings of the Automotive Software, 2004

Automotive Software: A Challenge and Opportunity for Model-Based Software Development.
Proceedings of the Automotive Software, 2004

2003
Model-integrated development of embedded software.
Proc. IEEE, 2003

On the Use of Graph Transformation in the Formal Specification of Model Interpreters.
J. Univers. Comput. Sci., 2003

Discrete abstraction and supervisory control of switching systems.
Proceedings of the IEEE International Conference on Systems, 2003

An end-to-end domain-driven software development framework.
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

Constraint-Based Design-Space Exploration and Model Synthesis.
Proceedings of the Embedded Software, Third International Conference, 2003

Domain Model Translation Using Graph Transformations.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk).
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002
Model Reuse with Metamodel-Based Transformations.
Proceedings of the Software Reuse: Methods, 2002

Generative Programming for Embedded Systems.
Proceedings of the Generative Programming and Component Engineering, 2002

Online safety control of a class of hybrid systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
Composing Domain-Specific Design Environments.
Computer, 2001

An Approach to Self-adaptive Software Based on Supervisory Control.
Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

Embedded Software: Challenges and Opportunities.
Proceedings of the Embedded Software, First International Workshop, 2001

The New Metamodeling Generation.
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

Fault-Adaptive Control: A CBS Application.
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

2000
Model integrated computing (MIC).
ACM SIGSOFT Softw. Eng. Notes, 2000

Towards Two-Level Formal Modeling of Computer-Based Systems.
J. Univers. Comput. Sci., 2000

Modeling agent negotiation.
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

Design Tool Integration: An Exercise in Semantic Interoperability.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999
A model-based approach to self-adaptive software.
IEEE Intell. Syst., 1999

Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments.
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

Metaprogrammable Toolkit for Model-Integrated Computing.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Structured Specification of Model Interpreters.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

1998
Self-Adaptive Software for Signal Processing.
Commun. ACM, 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
Model-Integrated Computing.
Computer, 1997

Model-Integrated Programming.
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

Model-integrated system development: models, architecture, and process.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
Model-Integrated Program Synthesis Environment.
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

MULTIGRAPH: an architecture for model-integrated computing.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Model-embedded on-line problem solving environment for chemical engineering.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1994
Model-Based Programming for Parallel Image Processing.
Proceedings of the Proceedings 1994 International Conference on Image Processing, 1994

1993
The multigraph and structural adaptivity.
IEEE Trans. Signal Process., 1993

Model-Based Software Synthesis.
IEEE Softw., 1993

Parallel DSP system integration.
Microprocess. Microsystems, 1993

1992
Model-Based Intelligent Process Control for Cogenerator Plants.
J. Parallel Distributed Comput., 1992

Neural network methods for the modeling and control of welding processes.
J. Intell. Manuf., 1992

1991
Real-Time Fault Diagnostics.
IEEE Expert, 1991

Real-time fault diagnostics with multiple aspect models.
Proceedings of the 1991 IEEE International Conference on Robotics and Automation, 1991

1990
Intelligent monitoring and diagnostics for plant automation.
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
Gas tungsten ARC weld modeling using a mapping network.
Neural Networks, 1988

Graph model-based approach to the representation, interpretation, and execution of signal processing systems.
Int. J. Intell. Syst., 1988


  Loading...