Search by title, author, keywords, etc.

2004

publication

Experiences in Developing Model-Integrated Tools and Technologies for Large-Scale Fault Tolerant Real-Time Embedded Systems

Authored by Steven Nordstrom
publication

Directed Flood-Routing Framework for Wireless Sensor Networks

Authored by Miklos Maroti
publication

Diagnosis of Complex Systems: Bridging the Gap between the FDI and DX communities

Authored by Gautam Biswas, Marie-Odile Cordier, Jan Lunze, Louise Trave-Massuyes, and Marcel Staroswiecki
publication

A Control-Based Framework for Self-Managing Distributed Computing Systems

Authored by Sherif Abdelwahed, Nagarajan Kandasamy, and Sandeep Neema
publication

AUTOMATIC POSITIONING OF UAVS TO OPTIMIZE TDOA GEOLOCATION PERFORMANCE

Authored by Don van Rheeden, Brad Brown, Jeremy Price, Ben Abbott, Greg Willden, Kumar Chhokra, Jason Scott, and Ted Bapty
publication

Toward Distributed Diagnosis of Complex Physical Systems

Authored by Gautam Biswas, Sherif Abdelwahed, Xenofon Koutsoukos, Jyoti Gandhe, and Eric Manders
publication

Reusable Idioms and Patterns in Graph Transformation Languages

Authored by Aditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan, and Gabor Karsai
publication

A Reachability based Stability Analysis for Switching Systems

Authored by Rong Su, Sherif Abdelwahed, and Sandeep Neema
publication

A HW/SW Co-design Tool for Modern FPGA’s with FPGA-Embedded Processors

Authored by Jason Scott, Sandeep Neema, Brandon Eames, Ted Bapty, Andrew Vandivort, Sarir Khamsi, and Troy Gangwer

2003

publication

Two-level Weaving to Support Changeability in Model-Based Synthesis

Authored by Jeff Gray, Janos Sztipanovits, Ted Bapty, and Sandeep Neema
publication

Integration of an Interactive Free Body Diagram Assistant with a Courseware Authoring Package and an Experimental Learning Management System

Authored by Robert Roselli and Larry Howard
publication

Development of online homework problems that provide instant feedback and remediation to students

Authored by Robert Roselli and Larry Howard
publication

Computer-Automated Multi-Paradigm Modeling in Control Systems technology

Authored by Pieter Mosterman, Janos Sztipanovits, and S. Engell
publication

Towards Fault-Adaptive Control of Complex Dynamic Systems

Authored by Gabor Karsai, Gautam Biswas, Sherif Abdelwahed, Sriram Narasimhan, Tal Pasternak, and Tivadar Szemethy
publication

Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions

Authored by Xenofon Koutsoukos and Panos Antsaklis
publication

On the Use of Graph Transformation in the Formal Specification of Model Interpreters

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

Interpreter Writing using Graph Transformations

Authored by Aditya Agrawal, Gabor Karsai, and Feng Shi
publication

Intelligent user interface design for teachable agent systems: A demonstration abstract

Authored by J. Davis, K Leelawong, K. Belynne, B. Bodenheimer, G. Biswas, N. Vye, and J. Bransford
publication

Graph Transformations in OMG's Model-Driven Architecture

Authored by Gabor Karsai and Aditya Agrawal
publication

Estimation of Distributed Hybrid Systems Using Particle Filtering Methods

Authored by Xenofon Koutsoukos, Jim Kurien, and Feng Zhao
publication

Constraint Guided Self-Adaptation

Authored by Sandeep Neema and Akos Ledeczi
publication

Teachable agents: Learning by teaching environments for science domains

Authored by Krittaya Leelawong, K. Viswanath, Joan Davis, Gautam Biswas, Nancy Vye, Belynne K., and John Bransford
publication

Intelligent user interface design for teachable agent systems

Authored by Joan Davis, Krittaya Leelawong, K. Belynne, Bobby Bodenheimer, Gautam Biswas, Nancy Vye, and John Bransford
publication

On the use of Graph Transformations in the Formal Specification of Computer-Based Systems

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

Multigranular Simulation of Heterogeneous Embedded Systems

Authored by Aditya Agrawal and Akos Ledeczi
Download CSV