Janos Sztipanovits

CoRR, 2023

Constrained Bayesian Optimization for Automatic Underwater Vehicle Hull Design.

[BibT_eX]

[DOI]

CoRR, 2023

Search for universal minimum drag resistance underwater vehicle hull using CFD.

[BibT_eX]

[DOI]

CoRR, 2023

Constrained Bayesian Optimization for Automatic Underwater Vehicle Hull Design.

[BibT_eX]

[DOI]

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

Data efficient surrogate modeling for engineering design: Ensemble-free batch mode deep active learning for regression.

[BibT_eX]

[DOI]

CoRR, 2022

DeepAL for Regression Using ε-weighted Hybrid Query Strategy.

[BibT_eX]

[DOI]

CoRR, 2022

Reduced Robust Random Cut Forest for Out-Of-Distribution detection in machine learning models.

[BibT_eX]

[DOI]

CoRR, 2022

Deep Learning-based FEA surrogate for sub-sea pressure vessel.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Differential-FORMULA: towards a semantic backplane for incremental modeling.

[BibT_eX]

[DOI]

Qishen Zhang

Daniel Balasubramanian

Tamás Kecskés

Proceedings of the DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021

Rare event failure test case generation in Learning-Enabled-Controllers.

[BibT_eX]

[DOI]

Proceedings of the ICMLT 2021: 6th International Conference on Machine Learning Technologies, Jeju Island, Republic of Korea, April 23, 2021

Machine learning assisted propeller design.

[BibT_eX]

[DOI]

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

2019

Editorial to the theme section on model-based design of cyber-physical systems.

[BibT_eX]

[DOI]

Manfred Broy

Heinrich Daembkes

Softw. Syst. Model., 2019

CPS Design with Learning-Enabled Components: A Case Study.

[BibT_eX]

[DOI]

Charles Hartsell

Nagabhushan Mahadevan

Proceedings of the 30th International Workshop on Rapid System Prototyping, 2019

Towards bridging the gap between model- and data- driven tool suites for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2019

Semantic Integration Platform for Cyber-Physical System Design.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Simulation integration platforms for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

Model-based design for CPS with learning-enabled components.

[BibT_eX]

[DOI]

Charles Hartsell

Nagabhushan Mahadevan

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2018

Model and Tool Integration Platforms for Cyber-Physical System Design.

[BibT_eX]

[DOI]

Zsolt Lattmann

Proc. IEEE, 2018

SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2018

DesignBIP: A Design Studio for Modeling and Generating Systems with BIP.

[BibT_eX]

[DOI]

Anastasia Mavridou

Joseph Sifakis

CoRR, 2018

Approaches to Enhancing Cyber Resilience: Report of the North Atlantic Treaty Organization (NATO) Workshop IST-153.

[BibT_eX]

[DOI]

CoRR, 2018

Integrated simulation testbed for security and resilience of CPS.

[BibT_eX]

[DOI]

Himanshu Neema

Bradley Potteiger

Christopher P. van Buskirk

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

A Common Integrated Framework for Heterogeneous Modeling Services.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

OpenUAV: a UAV testbed for the CPS and robotics community.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO.

[BibT_eX]

[DOI]

Christopher P. van Buskirk

Radu Grosu

Vijay Kumar

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017

Bridging Engineering and Formal Modeling: WebGME and Formula Integration.

[BibT_eX]

[DOI]

Tamás Kecskés

Qishen Zhang

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016

Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience.

[BibT_eX]

[DOI]

Yevgeniy Vorobeychik

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

2015

Validating Transformations for Semantic Anchoring.

[BibT_eX]

[DOI]

J. Object Technol., 2015

A language for describing attacks on cyber-physical systems.

[BibT_eX]

[DOI]

Int. J. Crit. Infrastructure Prot., 2015

Anonymously Analyzing Clinical Datasets.

[BibT_eX]

[DOI]

CoRR, 2015

Design tool chain for cyber-physical systems: lessons learned.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

A co-simulation framework for design of time-triggered automotive cyber physical systems.

[BibT_eX]

[DOI]

Zhenkai Zhang

Simul. Model. Pract. Theory, 2014

A model-integrated authoring environment for privacy policies.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Formalization of software models for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

Resilient distributed consensus for tree topology.

[BibT_eX]

[DOI]

Yevgeniy Vorobeychik

Heath J. LeBlanc

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

A Tool for Analyzing Clinical Datasets as Blackbox.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Motivating Use Cases for the Globalization of DSLs.

[BibT_eX]

[DOI]

Proceedings of the Globalizing Domain-Specific Languages, 2014

Towards a theory for cyber-physical systems modeling.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

2013

Design of Networked Control Systems Using Passivity.

[BibT_eX]

[DOI]

Joseph F. Hall

Panos J. Antsaklis

IEEE Trans. Control. Syst. Technol., 2013

Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

A case study on the model-based design and integration of automotive cyber-physical systems.

[BibT_eX]

[DOI]

Di Shang

Zhenkai Zhang

Proceedings of the 21st Mediterranean Conference on Control and Automation, 2013

PolicyForge: a collaborative environment for formalizing privacy policies in health care.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

Co-simulation framework for design of time-triggered cyber physical systems.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Reliability Analysis of Wireless Real-Time Control Networks.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Computer Communication and Networks, 2013

Taxonomy for description of cross-domain attacks on CPS.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Diversely enumerating system-level architectures.

[BibT_eX]

[DOI]

Gabor Simko

Proceedings of the International Conference on Embedded Software, 2013

A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

Multi-way Semantic Specification of Domain-Specific Modeling Languages.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

2012

A passivity approach for model-based compositional design of networked control systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2012

Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach.

[BibT_eX]

[DOI]

Simul., 2012

NCSWT: An integrated modeling and simulation tool for networked control systems.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2012

Toward a Science of Cyber-Physical System Integration.

[BibT_eX]

[DOI]

Proc. IEEE, 2012

Cyber Physical Systems - Convergence of Physical and Information Sciences.

[BibT_eX]

[DOI]

it Inf. Technol., 2012

Cancer treatment planning: formal methods to the rescue.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Software Engineering in Health Care, 2012

NCSWT: an integrated modeling and simulation tool for networked control systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Integrated simulation and emulation platform for cyber-physical system security experimentation.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on High Confidence Networked Systems (HiCoNS, 2012

Active Monitoring using Real-time Metric Linear Temporal Logic Specifications.

[BibT_eX]

Gabor Simko

Proceedings of the HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1, 2012

2011

High confidence embedded software design: a quadrotor helicopter case study.

[BibT_eX]

[DOI]

Zhenkai Zhang

SIGBED Rev., 2011

Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2011

Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models.

[BibT_eX]

[DOI]

Daniel Balasubramanian

Graham Hemingway

Proceedings of the Software Composition - 10th International Conference, 2011

Networked control system wind tunnel (NCSWT): an evaluation tool for networked multi-agent systems.

[BibT_eX]

[DOI]

Derek Riley

Jia Bai

Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

Model Integration and Cyber Physical Systems: A Semantics Perspective.

[BibT_eX]

[DOI]

Proceedings of the FM 2011: Formal Methods, 2011

2010

System and software architectures of distributed smart cameras.

[BibT_eX]

[DOI]

Chang Hong Lin

Marilyn Wolf

ACM Trans. Embed. Comput. Syst., 2010

Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis.

[BibT_eX]

[DOI]

Graham Hemingway

Christopher P. van Buskirk

Harmon Nine

Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, 2010

A Passivity-Based Approach to Group Coordination in Multi-agent Networks.

[BibT_eX]

[DOI]

Heath LeBlanc

Proceedings of the Informatics in Control, Automation and Robotics, 2010

A Passivity-based Approach to Deployment in Multi-agent Networks.

[BibT_eX]

Heath LeBlanc

Proceedings of the ICINCO 2010, 2010

Online stability validation using sector analysis.

[BibT_eX]

[DOI]

Graham Hemingway

Proceedings of the 10th International conference on Embedded software, 2010

2009

Formalizing the structural semantics of domain-specific modeling languages.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Softw. Syst. Model., 2009

A Model-Integrated, Guideline-Driven, Clinical Decision-Support System.

[BibT_eX]

[DOI]

IEEE Softw., 2009

Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages.

[BibT_eX]

[DOI]

Int. J. Semantic Comput., 2009

Metamodeling: An Emerging Representation Paradigm for System-Level Design.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2009

An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software.

[BibT_eX]

[DOI]

Harmon Nine

Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems.

[BibT_eX]

[DOI]

Joe Hall

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Autonomic Self-Healing for MANETs.

[BibT_eX]

Junaid Ahsenali Chaudhry

Yonghwan Lee

Ken R. Pence

Proceedings of the 2009 International Conference on Artificial Intelligence, 2009

Model based integration and experimentation of Information Fusion and C2 Systems.

[BibT_eX]

[DOI]

Himanshu Neema

Proceedings of the 12th International Conference on Information Fusion, 2009

Towards a time-triggered schedule calculation tool to support model-based embedded software design.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

09073 Abstracts Collection - Model-Based Design of Trustworthy Health Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Design of Trustworthy Health Information Systems, 11.02., 2009

2008

Model-Integrated Development of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays.

[BibT_eX]

[DOI]

Joseph F. Hall

Panos J. Antsaklis

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Second International Workshop on the Model-Based Design of Trustworthy Health Information Systems MOTHIS 2008.

[BibT_eX]

[DOI]

Ruth Breu

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Automatically Realising Embedded Systems from High-Level Functional Models.

[BibT_eX]

[DOI]

Christos G. Cassandras

Grant Martin

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Metamodeling Languages and Metaprogrammable Tools.

[BibT_eX]

[DOI]

Matthew J. Emerson

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Towards the security and privacy analysis of patient portals.

[BibT_eX]

[DOI]

SIGBED Rev., 2007

Escher: A New Technology Transitioning Model.

[BibT_eX]

[DOI]

Computer, 2007

First International Workshop on the Model-Based Design of Trustworthy Health Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Constructive Techniques for Meta- and Model-Level Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

A Case Study on Semantic Unit Composition.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

Composition of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

Compositional specification of behavioral semantics.

[BibT_eX]

[DOI]

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

The Model-Integrated Computing Tool Suite.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

OASiS: A Programming Framework for Service-Oriented Sensor Networks.

[BibT_eX]

[DOI]

Manish Kushwaha

Isaac Amundson

Krishnakumar Balasubramanian

Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

A Modeling Environment for Patient Portals.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2007, 2007

2006

Developing Applications Using Model-Driven Design Environments.

[BibT_eX]

[DOI]

Computer, 2006

Design and Implementation of Ubiquitous Smart Cameras.

[BibT_eX]

[DOI]

Chang Hong Lin

Wayne H. Wolf

Andrew Dixon

Proceedings of the IEEE International Conference on Sensor Networks, 2006

A Semantic Unit for Timed Automata Based Modeling Languages.

[BibT_eX]

[DOI]

Sherif Abdelwahed

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Towards a formal foundation for domain specific modeling languages.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

Efficient Integration of Web Services in Ambient-aware Sensor Network Applications.

[BibT_eX]

[DOI]

Isaac Amundson

Manish Kushwaha

Proceedings of the 3rd International Conference on Broadband Communications, 2006

2005

Introducing embedded software and systems education and advanced learning technology in an engineering curriculum.

[BibT_eX]

[DOI]

Douglas C. Schmidt

ACM Trans. Embed. Comput. Syst., 2005

Using separation of concerns for embedded systems design.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

Toward a semantic anchoring infrastructure for domain-specific modeling languages.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Proceedings of the EMSOFT 2005, 2005

Semantic Anchoring with Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2005

Grand challenges in embedded systems.

[BibT_eX]

[DOI]

Wayne H. Wolf

Feng Zhao

Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2005

2004

Computer-automated multiparadigm modeling in control systems technology.

[BibT_eX]

[DOI]

Pieter J. Mosterman

Sebastian Engell

IEEE Trans. Control. Syst. Technol., 2004

Composition and cloning in modeling and meta-modeling.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2004

A MOF-Based Metamodeling Environment.

[BibT_eX]

[DOI]

Matthew J. Emerson

J. Univers. Comput. Sci., 2004

Shooter Localization in Urban Terrain.

[BibT_eX]

[DOI]

Computer, 2004

WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003

Scanning the issue - special issue on modeling and design of embedded software.

[BibT_eX]

[DOI]

Proc. IEEE, 2003

Model-integrated development of embedded software.

[BibT_eX]

[DOI]

Proc. IEEE, 2003

Constraint-Based Design-Space Exploration and Model Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, Third International Conference, 2003

Driving agenda for systems research.

[BibT_eX]

[DOI]

Nikil D. Dutt

Masaki Hirata

Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2003

2002

Generative Programming for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2002

2001

An Approach to Self-adaptive Software Based on Supervisory Control.

[BibT_eX]

[DOI]

Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

Embedded Software and Systems: Challenges and Approaches.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Hybrid Systems Applications: An Oxymoron?

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Embedded Software: Challenges and Opportunities.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, First International Workshop, 2001

2000

Model-integrated Tools for the Design of Dynamically Reconfigurable Systems.

[BibT_eX]

[DOI]

VLSI Design, 2000

Towards Two-Level Formal Modeling of Computer-Based Systems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

Software for Embedded Systems: Opportunities and Challenges.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000

1999

A model-based approach to self-adaptive software.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 1999

Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing.

[BibT_eX]

Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

Situation Assessment and Decision Making Integrated into the Process Centered Environment.

[BibT_eX]

[DOI]

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Application of Model-Integrated Computing in Manufacturing Execution Systems.

[BibT_eX]

[DOI]

Earl Long

Amit Misra

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Multi-Domain Surety Modeling and Analysis for High Assurance Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Uniform Execution Environment for Dynamic Reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

1998

Integrated Engineering of Computer-Based Systems.

[BibT_eX]

[DOI]

Computer, 1998

Increasing Productivity at Saturn.

[BibT_eX]

[DOI]

Earl Long

Amit Misra

Computer, 1998

Self-Adaptive Software for Signal Processing.

[BibT_eX]

[DOI]

Commun. ACM, 1998

1997

Model-Integrated Computing.

[BibT_eX]

[DOI]

Computer, 1997

Model-Integrated Programming.

[BibT_eX]

[DOI]

Hubertus Franke

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Model-integrated computing environments and computer-based systems.

[BibT_eX]

[DOI]

Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

A model-integrated information system for increasing throughput in discrete manufacturing.

[BibT_eX]

[DOI]

Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

Model-based engineering of large-scale real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

Model-integrated system development: models, architecture, and process.

[BibT_eX]

[DOI]

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Model-Integrated Program Synthesis Environment.

[BibT_eX]

[DOI]

Hubertus Franke

Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

Model-integrated toolset for fault detection, isolation and recovery (FDIR).

[BibT_eX]

[DOI]

J. R. Carnes

Amit Misra

Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

1995

Modeling Paradigm for Parallel Signal Processing.

[BibT_eX]

Aust. Comput. J., 1995

MULTIGRAPH: an architecture for model-integrated computing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1994

Model-Based Programming for Parallel Image Processing.

[BibT_eX]

[DOI]

Michael S. Moore

Proceedings of the Proceedings 1994 International Conference on Image Processing, 1994

1993

The multigraph and structural adaptivity.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 1993

Model-Based Software Synthesis.

[BibT_eX]

[DOI]

IEEE Softw., 1993

Parallel DSP system integration.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 1993

1992

Model-Based Intelligent Process Control for Cogenerator Plants.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1992

1991

Real-Time Fault Diagnostics.

[BibT_eX]

[DOI]

IEEE Expert, 1991

Real-time fault diagnostics with multiple aspect models.

[BibT_eX]

[DOI]

Proceedings of the 1991 IEEE International Conference on Robotics and Automation, 1991

1990

Intelligent monitoring and diagnostics for plant automation.

[BibT_eX]

[DOI]

Proceedings of the 1990 IEEE International Conference on Robotics and Automation, 1990

The multigraph approach to parallel, distributed, structurally adaptive signal processing.

[BibT_eX]

[DOI]

Proceedings of the 1990 International Conference on Acoustics, 1990

1988

Graph model-based approach to the representation, interpretation, and execution of signal processing systems.

[BibT_eX]

[DOI]