Search by title, author, keywords, etc.

2003

publication

Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems

Authored by Ted Bapty, Sandeep Neema, Steven Nordstrom, Shwetta Shetty, Divya Vashishtha, Jason Overdorf, and Paul Sheldon
publication

Model Integrated Design Toolset for Polymorphous Computer-Based Systems

Authored by Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema, and Kumar Chhokra
publication

Domain Translation Using Graph Transformations

Authored by Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, and Gabor Karsai
publication

Model-based Diagnosis of Hybrid Systems

Authored by Sriram Narasimhan and Gautam Biswas
publication

Metamodel Driven Model Migration

Authored by Jonathan Sprinkle
publication

Integrated Diagnosis and Control for Hybrid Dynamic Systems

Authored by Gabor Karsai, Sherif Abdelwahed, and Gautam Biswas
publication

System Diagnosis using Hybrid Failure Propagation Graphs

Authored by Sherif Abdelwahed, Gabor Karsai, and Gautam Biswas
publication

Scheduling In Time Triggered Systems Under Mode Changes

Authored by Ramadass Prabhakar
publication

A Hybrid Control Approach for QoS Management

Authored by Sherif Abdelwahed, Sandeep Neema, Joe Loyall, and R. Shapiro
publication

Designing Self-Managing Distributed Systems using Online Predictive Control

Authored by Nagarajan Kandasamy and Sherif Abdelwahed
publication

Composition and Cloning in Modeling and Meta-Modeling

Authored by Gabor Karsai, Miklos Maroti, Akos Ledeczi, Jeff Gray, and Janos Sztipanovits
publication

Modeling Methodology for Integrated Simulation of Embedded Systems

Authored by Akos Ledeczi, James Davis, Sandeep Neema, and Aditya Agrawal
publication

Model-integrated development of embedded software

Authored by Gabor Karsai, Janos Sztipanovits, Akos Ledeczi, and Ted Bapty
publication

Model-Based Design of Embedded Systems: Scanning the Issue

Authored by Shankar Sastry, Janos Sztipanovits, Ruzena Bajcsy, and Helen Gill
publication

An Examination of DSLs for Concisely Representing Model Traversals and Transformations

Authored by Jeff Gray and Gabor Karsai
publication

Adaptive Learning Technologies for Bioengineering Education

Authored by Larry Howard
publication

Self-Adaptive Software for Fault-Adaptive Control

Authored by Gautam Biswas, Gyula Simon, Gabor Karsai, Sherif Abdelwahed, Nagabhushan Mahadevan, Tivadar Szemethy, John Ramirez, Gabor Peceli, and Tamas Kovacshazy
publication

A robust method for hybrid diagnosis of complex systems

Authored by Gautam Biswas, Gyula Simon, Nagabhushan Mahadevan, Sriram Narasimhan, John Ramirez, and Gabor Karsai
publication

Robust Diagnosis of Switching Systems

Authored by Sherif Abdelwahed, Gabor Karsai, and Gautam Biswas
publication

Model-Based Design of Runtime Adaptation Strategies

Authored by Joe Loyall, R. Shapiro, Sandeep Neema, Sherif Abdelwahed, and Nagabhushan Mahadevan
publication

Hybrid Fault Adaptive Control of a Wheeled Mobile Robot

Authored by Meng Ji, Zhe Zhang, Gautam Biswas, and Nilanjan Sarkar
publication

FDI of abrupt faults with combined statistical detection and estimation and qualitative fault isolation

Authored by Eric Manders and Gautam Biswas
publication

Blocking detection in discrete event systems

Authored by Sherif Abdelwahed and William Wonham
publication

Creation of an online vector addition tutorial: Exploring the advantages of providing diagnostic, multilevel feedback in basic skills remediation

Authored by M. Rothney, Robert Roselli, and Larry Howard
publication

Simulation-based optimization of communication protocols for large-scale wireless sensor networks

Authored by Gyula Simon, Peter Volgyesi, Miklos Maroti, and Akos Ledeczi
Download CSV