@conference {4946,
	title = {Simulation Integration Platforms for Cyber-Physical Systems},
	booktitle = {The First Workshop on Design Automation for CPS and IoT (DESTION 2019)},
	year = {2019},
	month = {04/2019},
	publisher = {ACM},
	organization = {ACM},
	address = {Montreal, Canada},
	abstract = {Simulation-based analysis is essential in the model-based design process of Cyber-Physical Systems (CPS). Since heterogeneity is inherent to CPS, virtual prototyping of CPS designs and the simulation of their behavior in various environments typically involve a number of physical and computation/communication domains interacting with each other. Affordability of the model-based design process makes the use of existing domain-specific modeling and simulation tools all but mandatory. However, this pressure establishes the requirement for integrating the domain-specific models and simulators into a semantically consistent and efficient system-of-system simulation. The focus of the paper is the interoperability of popular integration platforms supporting heterogeneous multi-model simulations. We examine the relationship among three existing platforms: the High-Level Architecture (HLA)-based CPS Wind Tunnel (CPSWT), mosaik, and the Functional Mockup Unit (FMU). We discuss approaches to establish interoperability and present results of ongoing work in the context of an example.},
	keywords = {co-simulation, Cyber-Physical Systems, distributed simulation, execution-integration, model integration, modeling and simulation, simulation integration platforms, tool-integration},
	author = {Neema, Himanshu and Sztipanovits, Janos and Steinbrink, Cornelius and Raub, Thomas and Cornelsen, Bastian and Lehnhoff, Sebastian}
}
@conference {4908,
	title = {Towards a Design Studio for Collaborative Modeling and Co-Simulations of Mixed Electrical Energy Systems},
	booktitle = {Third International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE)},
	year = {2018},
	month = {04/2018},
	address = {Porto, Portugal},
	abstract = {Despite the known benefits of simulations in the study of mixed energy systems in the context of smart grid, the lack of collaboration facilities between multiple domain experts prevents a holistic analysis of smart grid operations. Current solutions do not provide a unified tool-chain that supports a secure and collaborative platform for not only the modeling and simulation of mixed electrical energy systems, but also the elastic execution of co-simulation experiments. To address above limitations, this paper proposes a design studio that provides an online collaborative platform for modeling and simulation of smart grids with mixed energy resources.},
	keywords = {cloud computing, Co-Simulations, Collaborative Work, Computer Simulation, Cyber-Physical Systems, Distributed Simulations, Docker, Experimental Testbed, high-level architecture, Model-Driven Engineering, Modeling, Power System Simulation, Smart-Grid, Systems Simulation},
	author = {Barve, Yogesh and Neema, Himanshu and Rees, Stephen and Sztipanovits, Janos}
}
@article {4912,
	title = {Model and Tool Integration Platforms for Cyber-Physical System Design},
	journal = {Proceedings of the IEEE},
	year = {2018},
	keywords = {Cyber-Physical Systems, design automation, model integration, tool integration},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Manuscript-Integration Platforms PIEE 2018.pdf},
	author = {Sztipanovits, Janos and Theodore Bapty and Jackson, Ethan and Koutsoukos, Xenofon and Zsolt Lattmann and Neema, Sandeep}
}
@conference {4878,
	title = {SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems (Poster)},
	booktitle = {Computational Cybersecurity for Compromised Environments (C3E)},
	year = {2017},
	month = {10/2017},
	address = {Atlanta, GA},
	author = {Bradley Potteiger and Koutsoukos, Xenofon and Karsai, Gabor and Aron Laszka and Neema, Himanshu and Volgyesi, Peter and Yevgeniy Vorobeychik and Sztipanovits, Janos}
}
@proceedings {4883,
	title = {Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud},
	journal = { MODELS 2017 Satellite Event: Posters co-located with {ACM/IEEE} 20th International Conference on Model Driven Engineering Languages and Systems},
	year = {2017},
	month = {09/2017},
	pages = {463{\textendash}464},
	address = {Austin,TX,USA},
	abstract = {With increasing advances in Internet-enabled devices, large cyber-physical
systems (CPS) are being realized by integrating several sub-systems
together.  Analyzing and reasoning different properties of such CPS requires
co-simulations by composing individual and heterogeneous simulators,
each of which addresses only certain aspects of the CPS.  Often these
co-simulations are realized as point solutions or composed in an ad
hoc manner, which makes it hard to reuse, maintain and evolve these
co-simulations. Although our prior work on a model-based framework
called Command and Control Wind Tunnel (C2WT) supports distributed
co-simulations, many challenges remain unresolved.  For instance,
evaluating these complex CPSs requires large amount of computational
and I/O resources for which the cloud is an attractive option yet
there is a general lack of scientific approaches to deploy
co-simulations in the cloud.  In this context, the key challenges
include (i) rapid provisioning and de-provisioning of experimental
resources in the cloud for different co-simulation workloads, (ii)
simulating incompatibility and resource violations, (iii) reliable
execution of co-simulation experiments, and (iv) reproducible
experiments.  Our solution builds upon the C2WT heterogeneous
simulation integration technology and leverages the Docker container
technology to provide a model-driven integrated tool-suite for
specifying experiment and resource requirements, and deploying
repeatable cloud-scale experiments. In this work, we present the core
concepts and architecture of our framework, and provide a summary of
our current work in addressing these challenges. 
},
	url = {http://ceur-ws.org/Vol-2019/posters_1.pdf},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/posters_1.pdf},
	author = {Barve, Yogesh and Neema, Himanshu and Aniruddha S. Gokhale and Sztipanovits, Janos}
}
@article {koutsoukos_sure,
	title = {SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems},
	journal = {Proceedings of the IEEE},
	year = {2017},
	publisher = {IEEE},
	author = {Koutsoukos, Xenofon and Karsai, Gabor and Aron Laszka and Neema, Himanshu and Bradley Potteiger and Volgyesi, Peter and Yevgeniy Vorobeychik and Sztipanovits, Janos}
}
@conference {4756,
	title = {C2WT-TE: A Model-Based Open Platform for Integrated Simulations of Transactive Smart Grids},
	booktitle = {2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems},
	year = {2016},
	month = {04/2016},
	address = {Vienna, Austria},
	abstract = {Evaluation of the smart grid in the presence of dynamic market-based pricing and complex networks of small and large producers, consumers, and distributers is a very difficult task. It not only involves multiple, interacting, heterogeneous cyber-physical domains, but also requires tight integration of power markets, dynamic pricing and transactions, and price-sensitive consumer behavior, where consumers can also be producers of power. These dynamics introduce a huge challenge of maintaining stability of the power grid. Moreover, evolving business models and regulatory environment, including human factors need to be a key part of the evaluation as they directly affect the demand-response in the grid. Furthermore, as sensors and computations are becoming more distributed on edge devices and as they often employ normal communication channels, cyber security of the critical power grid infrastructure has become ever more important to prevent cyber intrusions and attacks. Current research has largely focused on one or a few of these challenges and the simulation tools developed cater to these individual tasks, such as network simulators, power distribution simulators, or human organization and policy simulators. However, to attain a deeper understanding of the transactive grid behavior, analysis of grid stability, and to optimize resources both from consumers{\textquoteright} and generators{\textquoteright} perspective, a comprehensive platform is needed to facilitate end-to-end evaluation of all of these aspects. This paper describes an open platform that provides a coherent framework for integrated transactive energy simulations of smart grids and is readily customizable and extensible for various simulation tools.},
	keywords = {cyber-physical system, heterogeneous simulation, high-level architecture, model-based integration, modeling and simulation, smart grid, transactive energy},
	author = {Neema, Himanshu and Sztipanovits, Janos and Martin Burns and Edward Griffor}
}
@article {4705,
	title = {Applying Decentralized Information Flow Labels to Component-Based Software Systems Deployment},
	number = {ISIS-15-118},
	year = {2015},
	month = {09/2014},
	institution = {ISIS Vanderbilt University},
	address = {Nashville},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/System-Level-Codesign.pdf},
	author = {Lindecker, David and Sztipanovits, Janos}
}
@article {4685,
	title = {The META Toolchain: Accomplishments and Open Challenges},
	number = {ISIS-15-102},
	year = {2015},
	issn = {ISIS-15-102},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/The META Toolchain_Accomplishments and Open Challenges.pdf},
	author = {Sztipanovits, Janos and Bapty, Ted and Neema, Sandeep and Koutsoukos, Xenofon and Scott, Jason}
}
@article {4747,
	title = {A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems},
	journal = {Simulation Modelling Practice and Theory},
	volume = {43},
	year = {2014},
	month = {04/2014},
	author = {Zhenkai Zhang and Emeka, Eyisi and Koutsoukos, Xenofon and Joseph Porter and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {4635,
	title = {Design Space Exploration and Manipulation for Cyber Physical Systems},
	booktitle = {IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL{\textquoteright} 2014)},
	year = {2014},
	month = {04/2014},
	publisher = {Springer},
	organization = {Springer},
	address = {Berlin, Germany},
	abstract = {Cyber-Physical Systems (CPS) are engineered systems that require tight interaction between physical and computational components. Designing a CPS is highly challenging because these systems are inherently complex, need significant effort to describe and evaluate a vast set of cross-disciplinary interactions, and require seamless meshing of physical elements with corresponding software artifacts. Moreover, a large set of architectural and compositional alternatives must be systematically explored and evaluated in the context of a highly constrained design space. The constraints imposed on the se-lection of alternatives are derived from the system{\textquoteright}s functional, performance, dimensional, physical, and economical objectives. Furthermore, the design pro-cess of these systems is highly iterative and requires continuous integration of design generation with design selection and manipulation supported by design analyses. To enable the iterative design process for CPS-s, we have developed a design toolchain, OpenMETA, built around a Domain-Specific Modeling Language (DSML), called the Cyber-Physical Modeling Language (Cy-PhyML). In this paper, we present parts OpenMETA that address the require-ments of Design Space Exploration and Manipulation (DSEM) for CPS-s.},
	keywords = {AVM},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Himanshu_DSEMForCPS.PDF},
	author = {Neema, Himanshu and Zsolt Lattmann and Patrik Meijer and James Klingler and Neema, Sandeep and Bapty, Ted and Sztipanovits, Janos and Karsai, Gabor}
}
@proceedings {4628,
	title = {Model-Based Integration Platform for FMI Co-Simulation and Heterogeneous Simulations of Cyber-Physical Systems},
	journal = {10th International Modelica Conference},
	volume = {Proceedings of the 10th International Modelica Conference},
	year = {2014},
	month = {03/2014},
	pages = {235-245},
	publisher = {Modelica Association and Linkoping University Electronic Press},
	address = {Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN},
	abstract = {Virtual evaluation of complex Cyber-Physical Systems (CPS) [1] with a number of tightly integrated domains such as physical, mechanical, electrical, thermal, cyber, etc. demand the use of heterogeneous simulation environments. Our previous effort with C2 Wind Tunnel (C2WT) [2] [3] attempted to solve the challenges of evaluating these complex systems as-a-whole, by integrating multiple simulation platforms with varying semantics and integrating and managing different simulation models and their interactions. Recently, a great interest has developed to use Functional Mockup Interface (FMI) [4] for a variety of dynamics simulation packages, particularly in the automotive industry. Leveraging the C2WT effort on effective integration of different simulation engines with different Models of Computation (MoCs), we propose, in this paper, to use the proven methods of High-Level Architecture (HLA)-based model and system integration. We identify the challenges of integrating Functional Mockup Unit for Co-Simulation (FMU-CS) in general and via HLA [5] and present a novel model-based approach to rapidly synthesize an effective integration. The approach presented provides a unique opportunity to integrate readily available FMU-CS components with various specialized simulation packages to rapidly synthesize HLA-based integrated simulations for the overall composed Cyber-Physical Systems.},
	keywords = {AVM, Cyber-Physical Systems, distributed simulation, DSML, Functional Mock-up Unit for Co-Simulation, Functional Mockup Interface, heterogeneous simulation, high-level architecture, model-based integration, multi-paradigm modeling},
	isbn = {978-91-7519-380-9},
	url = {https://modelica.org/events/modelica2014/proceedings/html/ProceedingsOfThe10thModelicaConference.pdf},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Neema_H_12_8_2013_Modelica_2014_FMUCS_HLA.PDF},
	author = {Neema, Himanshu and Jesse Gohl and Zsolt Lattmann and Sztipanovits, Janos and Karsai, Gabor and Neema, Sandeep and Bapty, Ted and John Batteh and Hubertus Tummescheit and Chandrasekar Sureshkumar}
}
@article {4585,
	title = {A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems},
	year = {2013},
	month = {08/2013},
	pages = {39},
	issn = {ISIS-13-104},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/TR-13-104.pdf},
	author = {Zhenkai Zhang and Eyisi, Emeka and Koutsoukos, Xenofon and Joseph Porter and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {4572,
	title = {PolicyForge: A Collaborative Environment for Formalizing Privacy Policies in Health Care},
	booktitle = {Software Engineering in Health Care (SEHC 2013) at the 35th International Conference on Software Engineering (ICSE 2013)},
	year = {2013},
	month = {05/2013},
	publisher = {ACM and IEEE Digital Libraries},
	organization = {ACM and IEEE Digital Libraries},
	address = {San Francisco, California, USA},
	abstract = {The vision of PolicyForge.org is that it becomes an open repository for privacy policies at local, state and national level; provides collaboration services for discussing, interpreting, and tracking policies; and by embedding formal policy models with relevant ontologies, it provides a wide range of services for authoring, composing, analyzing policy models, and for exporting executable},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/icsews13sehc-id14-p-16536-preprint.pdf},
	author = {Nadas, Andras and Juracz, Laszlo and Sztipanovits, Janos and Frisse, Mark E. and Olsen, Ann J.}
}
@conference {4592,
	title = {Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems},
	booktitle = {ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS)},
	year = {2013},
	month = {04/2013},
	pages = {119-128},
	publisher = {ACM},
	organization = {ACM},
	address = {Philadelphia, PA},
	abstract = {Designing cyber-physical systems (CPS) is challenging due to the tight interactions between software, network/platform, and physical components. A co-simulation method is valuable to enable early system evaluation. In this paper, a co-simulation framework that considers interacting CPS components for design of time-triggered (TT) CPS is proposed. Virtual prototyping of CPS is the core of the proposed framework. A network/platform model in SystemC forms the backbone of the virtual prototyping, which bridges control software and physical environment. The network/platform model consists of processing elements abstracted by realtime operating systems, communication systems, sensors, and actuators. The framework is also integrated with a model-based design tool to enable rapid prototyping. The framework is validated by comparing simulation results with the results from a hardware-in-the-loop automotive simulator.},
	doi = {10.1145/2502524.2502541},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/iccps{\textquoteright}13.pdf},
	author = {Zhenkai Zhang and Eyisi, Emeka and Koutsoukos, Xenofon and Joseph Porter and Karsai, Gabor and Sztipanovits, Janos}
}
@article {4593,
	title = {Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study},
	journal = {Journal of Control Science and Engineering},
	volume = {2013},
	year = {2013},
	month = {01/2013},
	pages = {1-15},
	abstract = {The systematic design of automotive control applications is a challenging problem due to lack of understanding of the complex and tight interactions that often manifest during the integration of components from the control design phase with the components from software generation and deployment on actual platform/network. In order to address this challenge, we present a systematic methodology and a toolchain using well-defined models to integrate components from various design phases with specific emphasis on restricting the complex interactions that manifest during integration such as timing, deployment, and quantization. We present an experimental platform for the evaluation and testing of the design process. The approach is applied to the development of an adaptive cruise control, and we present experimental results that demonstrate the efficacy of the approach.},
	doi = {10.1155/2013/678016},
	author = {Eyisi, Emeka and Zhenkai Zhang and Koutsoukos, Xenofon and Joseph Porter and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {4555,
	title = {A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems},
	booktitle = {IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS)},
	year = {2013},
	pages = {30-39},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Phoenix, AZ},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/ECBS2013.pdf},
	author = {Simko, Gabor and Lindecker, David and Levendovszky, Tihamer and Jackson, Ethan and Neema, Sandeep and Sztipanovits, Janos}
}
@conference {4610,
	title = {Multi-Way Semantic Specification of Domain-Specific Modeling Languages},
	booktitle = {IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS)},
	year = {2013},
	author = {Lindecker, David and Simko, Gabor and Madari, Istvan and Levendovszky, Tihamer and Sztipanovits, Janos}
}
@conference {simko2013towards,
	title = {Towards a Theory for Cyber-Physical Systems Modeling},
	booktitle = {Proceedings of the 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy)},
	year = {2013},
	author = {Simko, Gabor and Levendovszky, Tihamer and Maroti, Miklos and Sztipanovits, Janos}
}
@article {4594,
	title = {A passivity approach for model-based compositional design of networked control systems},
	journal = {ACM Transactions on Embedded Computing Systems},
	volume = {11},
	number = {4},
	year = {2012},
	month = {12/2012},
	pages = {75:1-75:31},
	abstract = {The integration of physical systems through computing and networking has become pervasive, a trend now known as cyber-physical systems (CPS). Functionality in CPS emerges from the interaction of networked computational and physical objects. System design and integration are particularly challenging because fundamentally different physical and computational design concerns intersect. The impact of these interactions is the loss of compositionality which creates tremendous challenges. The key idea in this article is to use passivity for decoupling the control design of networked systems from uncertainties such as time delays and packet loss, thus providing a fundamental simplification strategy that limits the complexity of interactions. The main contribution is the application of the approach to an experimental case study of a networked multi-robot system. We present a networked control architecture that ensures the overall system remains stable in spite of implementation uncertainties such as network delays and data dropouts, focusing on the technical details required for the implementation. We describe a prototype domain-specific modeling language and automated code generation tools for the design of networked control systems on top of passivity that facilitate effective system configuration, deployment, and testing. Finally, we present experimental evaluation results that show decoupling of interlayer interactions.},
	doi = {10.1145/2362336.2362342},
	author = {Koutsoukos, Xenofon and Kottenstette, Nicholas and Joseph Hall and Eyisi, Emeka and LeBlanc, Heath and Joseph Porter and Sztipanovits, Janos}
}
@conference { Lattmann2012,
	title = {Towards Automated Evaluation of Vehicle Dynamics in System-Level Designs},
	booktitle = {Proc. ASME International Design Engineering Technical Conf. \& Computers and Information in Engineering Conf. (IDETC/CIE 2012)},
	year = {2012},
	month = {08/2012},
	address = {Chicago, IL, USA},
	keywords = {AVM},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/ASME_DECT2012-71378_dynamics.pdf},
	author = {Zsolt Lattmann and Nagel, Adam and Scott, Jason and Kevin Smyth and Johanna Ceisel and Chris vanBuskirk and Joseph Porter and Neema, Sandeep and Bapty, Ted and Dimitri Mavris and Sztipanovits, Janos}
}
@conference {4823,
	title = {Towards Automated Exploration and Assembly of Vehicle Design Models},
	booktitle = {Proceedings of the ASME 2012 International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference},
	year = {2012},
	month = {08/2012},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/cad_dse_IDETC_CIE_2012_ISIS.pdf},
	author = {Ryan Wrenn and Nagel, Adam and Yao, Di and Robert Owens and Shi, Feng and Joseph Porter and Kevin Smyth and Chris vanBuskirk and Neema, Himanshu and Bapty, Ted and Neema, Sandeep and Sztipanovits, Janos and Johanna Ceisel and Dimitri Mavris}
}
@conference {4609,
	title = {Foundation for Model Integration: Semantic Backplane},
	booktitle = {Proceedings of the ASME 2012 International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference IDETC/CIE},
	year = {2012},
	author = {Simko, Gabor and Levendovszky, Tihamer and Neema, Sandeep and Jackson, Ethan and Bapty, Ted and Joseph Porter and Sztipanovits, Janos}
}
@proceedings {4325,
	title = {PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems},
	journal = {19th Mediterranean Conference on Control and Automation},
	year = {2011},
	month = {06/2011},
	address = {Corfu,Greece},
	abstract = {The rapidly increasing use of information technology in constructing real-world systems has led to the urgent need for a sound systematic approach in designing networked control systems. Communication delays and other uncertainties complicate the development and analysis of these systems. This paper describes a prototype modeling language for the design of networked control systems using passivity to decouple the control design from network uncertainties. The modeling language includes an integrated analysis tool to check for passivity and code generators for simulation in MATLAB/Simulink using the
TrueTime platform modeling toolbox and for running actual experiments. The resulting designs are by construction robust to platform effects and implementation uncertainties.},
	author = {Eyisi, Emeka and Joseph Porter and Kottenstette, Nicholas and Koutsoukos, Xenofon and Sztipanovits, Janos}
}
@conference {4303,
	title = {High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study},
	booktitle = {International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session)},
	year = {2011},
	month = {04/2011},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	address = {Chicago, IL},
	author = {Zhenkai Zhang and Joseph Porter and Kottenstette, Nicholas and Koutsoukos, Xenofon and Sztipanovits, Janos}
}
@article {4276,
	title = {Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models},
	number = {ISIS-11-106},
	year = {2011},
	month = {04/2011},
	institution = {ISIS, Vanderbilt University},
	address = {Nashville, TN},
	abstract = {We consider the problem of incremental cycle analysis for dataflow models in 
the Embedded Systems Modeling Language (ESMoL).  We give a general form of a
cycle enumeration algorithm that makes use of graph hierarchy to improve
analysis efficiency.  Our framework also stores simple connectivity information
in the model to accelerate future cycle analyses when additional components
are added or modifications are made.  Finally we give a mapping from a term
algebraic model of the ESMoL component model and logical dataflow sublanguages
to the analysis framework, and an evaluation on a fixed-wing aircraft controller model.  This is part of a larger effort to integrate cycle analysis into the ESMoL tool suite to aid well-formedness checking during model construction.
},
	issn = {ISIS-11-106},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/incr_cycle_analysis.pdf},
	author = {Joseph Porter and Balasubramanian, Daniel and Graham Hemingway and Sztipanovits, Janos}
}
@proceedings {4349,
	title = {Networked Control System Wind Tunnel (NCSWT)- An evaluation tool for networked multi-agent systems},
	journal = { 4th International ICST Conference on Simulation Tools and Techniques (SIMUTools 2011)},
	year = {2011},
	month = {03/2011},
	address = {Barcelona, Spain},
	abstract = {Cyber-physical systems, such groups of unmanned aerial vehicles, are often monitored and controlled by networked control systems (NCS). NCS are deployed in many environments subject to realistic, complex network interactions, so evaluation of NCS is crucial to ensuring that NCS function as intended. Given the varied nature of NCS, it is appropriate to use a heterogenous simulation environment to capture the dynamics; however, the design and integration of heterogeneous simulation environments is a complex problem. In this work we present the Networked Control System Wind Tunnel (NCSWT), an integrated simulation environment for NCS. The NCSWT integrates MATLAB/Simulink and ns-2 according to the High Level Architecture standard. We demonstrate the convenience and efficiency of the NCSWT using several case studies where realistic network effects such as data drops and delays are introduced. We also
demonstrate the flexibility and power of the tool in modeling realistic NCS. },
	author = {Riley, Derek and Eyisi, Emeka and Jia Bai and Koutsoukos, Xenofon and Xue, Yuan and Sztipanovits, Janos}
}
@article {4321,
	title = {Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach},
	journal = {SIMULATION},
	volume = {March 17, 2011 0037549711401950},
	number = {March 17, 2011},
	year = {2011},
	month = {03/2011},
	pages = {16},
	publisher = {Simulation: Transactions of the Society for Modeling and Simulation International},
	type = {Journal Paper},
	chapter = {1},
	address = {Online},
	abstract = {Virtual evaluation of complex command and control concepts demands the use of heterogeneous simulation environments. Development challenges include how to integrate multiple simulation engines with varying semantics and how to integrate simulation models and manage the complex interactions between them. While existing simulation frameworks may provide many of the required run-time services needed to coordinate among multiple simulation engines, they lack an overarching integration approach that connects and relates the interoperability of heterogeneous domain models and their interactions. This paper outlines some of the challenges encountered in developing a command and control simulation environment and discusses our use of the Generic Modeling Environment tool suite to create a model-based integration approach that allows for rapid synthesis of complex high-level architecture-based simulation environments.},
	keywords = {distributed simulation, domain-specific modeling language, heterogeneous simulation, high-level architecture, model-based integration, multi-paradigm modeling},
	doi = {10.1177/0037549711401950},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/0037549711401950.full_.pdf},
	author = {Graham Hemingway and Neema, Himanshu and Nine, Harmon and Sztipanovits, Janos and Karsai, Gabor}
}
@article {4115,
	title = {Digital Control of Multiple Discrete Passive Plants Over Networks},
	journal = {International Journal of Systems, Control and Communications (IJSCC)},
	number = {Special Issue on Progress in Networked Control Systems},
	year = {2011},
	note = {To Appear},
	abstract = {This paper provides a passivity based framework to synthesize lm2-stable
digital control networks in which m strictly-output passive controllers can control n-m
strictly-output passive plants. The communication between the plants and controllers
can tolerate time varying delay and data dropouts. In particular, we introduce a
power-junction-network, a general class of input-output-wave-variable-network which
allows even a single controller (typically designed to control a single plant) to accurately
control the output of multiple plants even if the corresponding dynamics of
each plant is different. In addition to the power-junction-network we also introduce a
passive downsampler (PDS) and passive upsampler (PUS) in order to further reduce
networking traffic while maintaining stability and tracking properties. A detailed (soft
real-time) set of examples shows the tracking performance of the networked control
system.},
	keywords = {dissipative-systems, networked control, passive downsampler, passive upsampler, passivity, power-junction-network, scattering theory, wave-variables},
	author = {Kottenstette, Nicholas and Joseph Hall and Koutsoukos, Xenofon and Antsaklis, Panos and Sztipanovits, Janos}
}
@proceedings {4351,
	title = {Networked Control System Wind Tunnel (NCSWT) - An evaluation tool for networked multi-agent systems},
	journal = {Fourth International ICST Conference on Simulation Tools and Techniques (SIMUTools)},
	year = {2011},
	author = {Riley, Derek and Emeka, Eyisi and Jia Bai and Koutsoukos, Xenofon and Xue, Yuan and Sztipanovits, Janos}
}
@inbook {4324,
	title = {A Passivity-Based Approach to Group Coordination in Multi-Agent Networks},
	booktitle = {Informatics in Control, Automation and Robotics},
	series = {Lecture Notes in Electrical Engineering},
	volume = {89},
	year = {2011},
	publisher = {Springer},
	organization = {Springer},
	edition = {1},
	author = {LeBlanc, Heath and Eyisi, Emeka and Kottenstette, Nicholas and Koutsoukos, Xenofon and Sztipanovits, Janos}
}
@conference {4420,
	title = {Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models},
	booktitle = {Software Composition (SC 2011)},
	volume = {LNCS 6708},
	year = {2011},
	pages = {133-140},
	publisher = {Springer},
	organization = {Springer},
	address = {Zurich},
	author = {Joseph Porter and Balasubramanian, Daniel and Graham Hemingway and Sztipanovits, Janos}
}
@conference {4328,
	title = {Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis},
	booktitle = {Rapid System Prototyping},
	year = {2010},
	month = {10/2010},
	pages = {1-7},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Fairfax, VA},
	abstract = {The TrueTime toolbox simulates real-time control sys- tems, including platform-specific details like process scheduling, task execution and network communications. Analysis using these models provides insight into platform- induced timing effects, such as jitter and delay. For safety- critical applications, the Time-Triggered Architecture (TTA) has been shown to provide the necessary services to create robust, fault-tolerant control systems. Communication in- duced timing effects still need to be simulated and analyzed even for TTA-compliant models. The process of adapting time-invariant control system models, through the inclusion of platform specifics, into TTA-based TrueTime models re- quires significant manual effort and detailed knowledge of the desired platform{\textquoteright}s execution semantics. In this paper, we present an extension of the Embedded Systems Model- ing Language (ESMoL) tool chain that automatically syn- thesizes TTA-based TrueTime models. In our tools, time- invariant Simulink models are imported into the ESMoL modeling environment where they are annotated with de- tails of the desired deployment platforms. A constraint- based offline scheduler then generates the static TTA execu- tion schedules. Finally, we synthesize new TrueTime models that encapsulate all of the TTA execution semantics. Using this approach it is possible to rapidly prototype, evaluate, and modify controller designs and their hardware platforms to better understand deployment induced performance and timing effects.},
	isbn = {978-1-4244-7073-0},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/RSP10.pdf},
	author = {Graham Hemingway and Joseph Porter and Kottenstette, Nicholas and Chris vanBuskirk and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {4195,
	title = {Online Stability Validation Using Sector Analysis},
	booktitle = {International Conf. on Embedded Software (EMSoft)},
	year = {2010},
	month = {10/2010},
	pages = {29-38},
	publisher = {ACM},
	organization = {ACM},
	address = {Scottsdale, AZ},
	abstract = {Our previous work has explored the use of compositional stabilization techniques for embedded flight control software[9] based on passivity properties of controller components and systems. Zames[21] presented a compositional behavior-bounding technique for evaluating stability of nonlinear systems based on real intervals representing cones (sectors) that bound possible component behaviors. Many innovations in control theory have developed from his insights. We present a novel use of his sector bound theory to validate the stability of embedded control implementations online. The sector analysis can be implemented as a computationally efficient check of stability for different parts of a control design. The advantage of the online application of this technique is that it takes into account software platform effects that impact stability, such as time delays, quantization, and data integrity.

We present a brief overview of the sector concept, our compatible control design approach, application of the technique to model-based embedded control software design, an example of its use to find design defects, and insights that may be drawn from our investigation so far. In the present work we only consider software (discrete-time) control of nonlinear continuous-time systems without switching.},
	isbn = {978-1-60558-904-6},
	author = {Joseph Porter and Graham Hemingway and Kottenstette, Nicholas and Karsai, Gabor and Sztipanovits, Janos}
}
@article {4211,
	title = {The ESMoL Language and Tools for High-Confidence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis},
	year = {2010},
	month = {09/2010},
	institution = {Vanderbilt University},
	address = {Nashville, TN},
	issn = {ISIS-10-109},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/ESMoL_TR.pdf},
	author = {Joseph Porter and Graham Hemingway and Nine, Harmon and Chris vanBuskirk and Kottenstette, Nicholas and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {4191,
	title = {Discrete-Time IDA-Passivity Based Control of Coupled Tank Processes Subject To Actuator Saturation},
	booktitle = {3rd International Symposium on Resilient Control Systems},
	year = {2010},
	month = {08/2010},
	pages = {115-120},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Idaho Falls, ID},
	abstract = {Interconnection damping assignment passivity based control (IDA-PBC) is an emerging control design method which allows an engineer to systematically design an advanced controller for complex non-linear systems. As a result specific gain ranges can be determined which can prevent an operator (adversary) from accidentally (maliciously) setting control gains which could potentially destabilize the system. However in order to generate the controller the engineer will have to resort to using symbolic numerical solvers in order to complete the design. This can be both a cumbersome and error-prone task which can be automated. We present initial results of a tool which simplifies IDA-PBC. In addition many fluid control problems posses tight operating regions in which pumps degrade over time. As a result actuator saturation may occur for given set-point profiles which will lead to integrator wind-up and more oscillatory behavior. We provide a non-linear anti-windup control-law which greatly improves system resilience to such degradation. Finally we demonstrate that IDA-PBC works reasonably well for moderately large sampling times by simply applying the bilinear transform to approximate any additional (non-linear) integral control terms.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/ida_pbc_res_press.pdf},
	author = {Kottenstette, Nicholas and Joseph Porter and Karsai, Gabor and Sztipanovits, Janos}
}
@booklet {4336,
	title = {New Developments in Model-Integrated Development of High-Confidence Software},
	journal = {Safe and Secure Systems \& Software Symposium},
	year = {2010},
	month = {06/2010},
	type = {Presentation},
	address = {Beavercreek, OH},
	url = {http://www.azimuth-corp.com/conference/S52010/papers/presentations/Day_3/New\%20Developments\%20in\%20Model-Integrated\%20Development\%20of\%20High-Confidence\%20Software\%20\%5BPorter\%5D.pdf},
	author = {Joseph Porter and Graham Hemingway and Kottenstette, Nicholas and Nine, Harmon and Chris vanBuskirk and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {4188,
	title = {A Passivity-Based Approach To Deployment In Multi-Agent Networks},
	booktitle = {Seventh International Conference on Informatics in Control, Automation and Robotics (ICINCO 2010)},
	year = {2010},
	month = {06/2010},
	pages = {53-62},
	publisher = {SciTePress},
	organization = {SciTePress},
	address = {Funchal, Madeira - Portugal},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/ICINCO_2010_265_CR_press.pdf},
	author = {LeBlanc, Heath and Eyisi, Emeka and Kottenstette, Nicholas and Koutsoukos, Xenofon and Sztipanovits, Janos}
}
@conference {LeB10ICINCO,
	title = {A Passivity-Based Approach to Deployment in Multi-Agent Networks},
	booktitle = {7th International Conference on Informatics in Control, Automation and Robotics},
	volume = {1},
	year = {2010},
	month = {06/2010},
	pages = {53{\textendash}62},
	publisher = {SciTePress},
	organization = {SciTePress},
	address = {Funchal, Madeira - Portugal},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/ICINCO_2010_265_CR.pdf},
	author = {LeBlanc, Heath and Eyisi, Emeka and Kottenstette, Nicholas and Koutsoukos, Xenofon and Sztipanovits, Janos}
}
@article {4396,
	title = {A Model-Based Integration of Network Emulation with HLA-based Heterogeneous Simulation Environments},
	number = {ISIS-10-107},
	year = {2010},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/milcom10-xue.docx},
	author = {Xue, Yuan and Timothy Busch and Michael Gacek and Neema, Himanshu and Karsai, Gabor and Sztipanovits, Janos}
}
@article {4374,
	title = {System and software architectures of distributed smart cameras},
	journal = {ACM Transactions on Embedded Computing Systems},
	volume = {9},
	number = {4},
	year = {2010},
	pages = {1-30},
	author = {Chang Hon Lin and Mairylin Wolf and Koutsoukos, Xenofon and Neema, Sandeep and Sztipanovits, Janos}
}
@conference {4189,
	title = {Towards a time-triggered schedule calculation tool to support model-based embedded software design},
	booktitle = {ACM International Conference on Embedded Software (EMSOFT {\textquoteright}09)},
	year = {2009},
	month = {10/2009},
	publisher = {ACM},
	organization = {ACM},
	address = {Grenoble, France},
	abstract = {Time-triggered architectures (TTA) provide replica determinism in safety-critical distributed embedded software designs. TTA has become a crucial part of many high-confidence embedded paradigms, as it decouples functional concerns from platform timing concerns in system designs. Complex embedded software development workflows for safety-critical applications are increasingly managed by model-based design tools, in order to support automated verification and reconcile conflicts between functional and non-functional concerns in designs. We present a prototype scheduling tool (ESched) which calculates cyclic schedules for time-triggered networks. ESched supports the model-based workflow of the ESMoL modeling language and tool suite. Using ESMoL, designers can rapidly iterate through simulating a control design, capturing platform effects in models, generating a schedule (if feasible), and re-simulating the control design subject to the platform model and the computed schedule. ESched specifications include a number of useful platform parameters, and it supports troubleshooting of infeasible schedules by allowing the user to specify partial platform models to solve.},
	isbn = {978-1-60558-627-4},
	author = {Joseph Porter and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {4102,
	title = {A Passivity-Based Framework for Resilient Cyber Physical Systems},
	booktitle = {ISRCS 2009 2nd International Symposium on Resilient Control Systems},
	year = {2009},
	month = {08/2009},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Idaho Falls, ID},
	abstract = {Resilient control systems play a special role in the area
of cyber-physical systems, where the design must address the
question how complex dynamic plants are to be controlled safely
and reliably when a control system is under a cyber attack. In
this paper we describe a control theoretical framework based on
the concept of passivity for designing a control network which
can tolerate, for instance, denial-of-service attacks on networks
used in the closed loop. In particular, we demonstrate how the
resilient power junction structure could be applied, and provide
simulated results.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/resilient_Jul_27_2009_05_23_PM.pdf},
	author = {Kottenstette, Nicholas and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {4331,
	title = {Model Based Integration and Experimentation of Information Fusion and C2 Systems},
	booktitle = {FUSION {\textquoteright}09. 12th International Conference on Information Fusion},
	year = {2009},
	month = {07/2009},
	address = {Seattle, WA},
	abstract = {Modern Network Centric Operations drive the complexity of information fusion and command and control (C2) systems. Driving this complexity further is the interplay dynamics of the human element, information systems, and communication networks. The lack of low-cost realistic experimental context limits the testing, evaluation, and further development of fusion systems to small-scale localized experiments. A Model-based Integration and Experimentation Framework is proposed. This framework is built on C2 Wind Tunnel - a robust multi-model simulation framework for integrating simulations to drive fusion experiments. The second component of the framework is a model-based system of systems integration tool-suite that allows modeling, synthesis, and deployment of networked system of systems. This component enables researchers to embed their research algorithm into the networked C2 systems. The C2 Wind Tunnel has been used to execute several simulation-driven C2 Experiments.},
	keywords = {Command and control systems, Command and Control Wind Tunnel, Computational modeling, Context modeling, Costs, Humans, Information Fusion, Information systems, Integrated Simulation Environment, middleware, model based integration, Model Integrated Computing, model-based experimentation framework, modern network centric operations, multi-model simulation, sensor fusion, Service Oriented Architectures, Signal processing algorithms, Software systems, Testing, Wireless sensor networks},
	isbn = {978-0-9824-4380-4},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Paper_8.pdf},
	author = {Neema, Sandeep and Bapty, Ted and Koutsoukos, Xenofon and Neema, Himanshu and Sztipanovits, Janos and Karsai, Gabor}
}
@conference {4082,
	title = {An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software},
	booktitle = {20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP{\textquoteright}09)},
	year = {2009},
	month = {06/2009},
	address = {Paris, France},
	abstract = {The development of embedded software for highconfidence
systems is a challenging task that must be supported
by a deep integration of control theoretical and computational
aspects. Model-based development of embedded
software has been practiced for more than a decade now,
but very few integrated approaches have emerged to provide
end-to-end support for the process, and integrate platform
aspects as well as verification. The paper describes an
early version of a model-based prototyping toolchain that
provides such support and covers most engineering steps.
The toolchain is coupled with a hardware-in-the-loop simulation
system, allowing quick experimental evaluation of
designs.},
	author = {Joseph Porter and Volgyesi, Peter and Kottenstette, Nicholas and Nine, Harmon and Karsai, Gabor and Sztipanovits, Janos}
}
@article {4091,
	title = {PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems},
	year = {2009},
	month = {05/2009},
	institution = {Institute for Software Integrated Systems, Vanderbilt University},
	type = {Technical Report},
	address = {Nashville, TN},
	abstract = {The rapidly increasing use of distributed architectures in constructing real-world systems has led to the urgent need for a sound systematic approach in designing networked control systems. Communication delays and other uncertainties complicate the development of these systems. This paper describes a prototype modeling language for the design of networked control systems using passive techniques to decouple the control design from network uncertainties. The modeling language includes an integrated analysis tool to check for passivity and a code generator for simulation in MATLAB/Simulink using the True-Time platform modeling toolbox. The resulting designs are more robust to platform eeffects, without costly design verification.},
	issn = {ISIS-09-105},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/models_paper_tr_aces_update.pdf , https://archive.isis.vanderbilt.edu/sites/default/files/ModelsPaper.pdf},
	author = {Eyisi, Emeka and Joseph Porter and Joseph Hall and Kottenstette, Nicholas and Koutsoukos, Xenofon and Sztipanovits, Janos}
}
@conference {4327,
	title = {Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2},
	booktitle = {Armed Forces Communications and Electronics Association - George Mason University Symposium},
	year = {2009},
	note = {The research was conducted by Institute for Software Integrated Systems at Vanderbilt University, in collaboration with George Mason University, University of California at Berkeley, and University of Arizona.},
	month = {05/2009},
	publisher = {George Mason University: http://hdl.handle.net/1920/5639},
	organization = {George Mason University: http://hdl.handle.net/1920/5639},
	address = {Lansdowne, Virginia},
	abstract = {Abstract-Virtual evaluation of complex command and control concepts demands the use of heterogeneous simulation environments. Development challenges include how to integrate multiple simulation platforms with varying semantics and how to integrate simulation models and the complex interactions between them. While existing simulation frameworks may provide many of the required services needed to coordinate among multiple simulation platforms, they lack an overarching integration approach that connects and relates the semantics of heterogeneous domain models and their interactions. This paper outlines some of the challenges encountered in developing a command and control simulation environment and discusses our use of the GME meta-modeling tool-suite to create a model-based integration approach that allows for rapid synthesis of complex HLA-based simulation environments.},
	keywords = {command and control, data interoperability, distributed simulation, heterogeneous simulation, high-level architecture, meta-modeling, model-based integration, model-based program synthesis, multi-model simulation, multi-paradigm modeling},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/C4I-09-07.pdf},
	author = {Neema, Himanshu and Nine, Harmon and Graham Hemingway and Sztipanovits, Janos and Karsai, Gabor}
}
@conference {4083,
	title = {The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems},
	booktitle = {15th IEEE Real-Time and Embedded Technology and Applications Symposium},
	year = {2009},
	month = {04/2009},
	type = {Demonstration Extended Abstract},
	address = {San Francisco, CA},
	abstract = {High-confidence embedded real-time designs stretch
the demands placed on design and development tools. We will
demonstrate the design and testing of an embedded control
system built using the ESMoL modeling language and supporting
tools. ESMoL adds distributed deployment concepts to Simulink
designs, and integrates scheduling analysis as well as platformspecific
simulation. The testing system includes a simulated
physical plant running in a hardware-in-the-loop configuration
with the actual embedded controller.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/rtas_demo_2009.pdf},
	author = {Joseph Porter and Zsolt Lattmann and Graham Hemingway and Mahadevan, Nagabhushan and Neema, Sandeep and Nine, Harmon and Kottenstette, Nicholas and Volgyesi, Peter and Karsai, Gabor and Sztipanovits, Janos}
}
@article {4333,
	title = {Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages},
	journal = {International Journal of Semantic Computing},
	volume = {3},
	number = {1},
	year = {2009},
	month = {03/2009},
	pages = {31-56},
	doi = {10.1142/S1793351X09000628},
	url = {http://www.worldscinet.com/ijsc/03/0301/S1793351X09000628.html},
	author = {Chen, Kai and Joseph Porter and Sztipanovits, Janos and Neema, Sandeep}
}
@article {4050,
	title = {Digital Control of Multiple Discrete Passive Plants Over Networks},
	year = {2009},
	month = {03/2009},
	pages = {1-16},
	institution = {Institute for Software Integrated Systems, Vanderbilt University},
	address = {Nashville, TN},
	abstract = {This paper provides a passivity based framework to synthesize lm2-stable
digital control networks in which m strictly-output passive controllers can control n-m
strictly-output passive plants. The communication between the plants and controllers
can tolerate time varying delay and data dropouts. In particular, we introduce a power
junction which allows even a single controller (typically designed to control a single
plant) to accurately control the output of multiple plants even if the corresponding
dynamics of each plant is different. In addition to the power-junction we also introduce
a passive downsampler (PDS) and passive upsampler (PUS) in order to further reduce
networking traffic. A detailed (soft real-time) set of examples shows the tracking
performance of the networked control system.},
	issn = {ISIS-09-102},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/tr_power_junction_revised_8_2009.pdf},
	author = {Kottenstette, Nicholas and Joseph Hall and Koutsoukos, Xenofon and Antsaklis, Panos J. and Sztipanovits, Janos}
}
@article {4024,
	title = {Formalizing the Structural Semantics of Domain-Specific Modeling Languages},
	journal = {Journal of Software and Systems Modeling (SoSym)},
	volume = {In Press},
	year = {2009},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/jackson_sztipanovits_sysym_2009.pdf},
	author = {Jackson, Ethan and Sztipanovits, Janos}
}
@article {4081,
	title = {A Model-Integrated Guideline-Driven Clinical Decision Support System},
	journal = {IEEE Software, Special issue on Domain-Specific Languages \& Modeling},
	year = {2009},
	note = {In Print},
	abstract = {Using evidence-based guidelines to standardize the care of patients with complex medical problems is a difficult challenge. In acute care settings, such as intensive care units, the inherent problems of stabilizing and improving vital patient parameters is complicated by the division of responsibilities among different healthcare team members. Computerized support for implementing such guidelines has tremendous potential. The use of model-integrated techniques for specifying and implementing guidelines as coordinated asynchronous processes is a promising new methodology for providing advanced clinical decision support. Combined with visual dashboards, which show the status of the implemented guidelines, a new approach to computer-supported care is possible. The Vanderbilt Medical Center is applying these techniques to the management of sepsis.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Mathe.et_.al_.IEEESoftware.2009.Paper-STEEP.pdf},
	author = {Mathe, Janos and Jason B. Martin and Miller, Peter and Ledeczi, Akos and Weavind, Liza and Nadas, Andras and Miller, Anne and David J. Maron and Sztipanovits, Janos}
}
@inbook {4329,
	title = {Semantics of Domain Specific Modeling Languages},
	booktitle = {Model-Based Design for Embedded Systems},
	series = {Computational Analysis, Synthesis, and Design of Dynamic Models Series},
	year = {2009},
	pages = {437-486},
	publisher = {CRC Press},
	organization = {CRC Press},
	chapter = {14},
	address = {Boca Raton, FL},
	issn = {9781420067842},
	author = {Jackson, Ethan and Thibodeaux, Ryan and Joseph Porter and Sztipanovits, Janos}
}
@conference {4035,
	title = {Passivity-Based Design of Wireless Networked Control Systems for Robustness To Time-Varying Delays},
	booktitle = {29th IEEE Real-Time Systems Symposium (RTSS 2008)},
	year = {2008},
	month = {12/2008},
	pages = {15-24},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Barcelona, Spain},
	abstract = {Real-life cyber-physical systems, such as automotive vehicles, building automation systems, and groups of unmanned vehicles are monitored and controlled by networked control systems. The overall system dynamics emerges from the interaction among physical dynamics, computational dynamics, and communication networks. Network uncertainties such as time-varying delay and packet loss cause significant challenges. This paper proposes a passive control architecture for designing wireless networked control systems that are insensitive to network uncertainties. We describe the architecture for a system consisting of a robotic manipulator controlled by a digital controller over a wireless network and we show that the system is stable even in the presence of time-varying delays. We present simulation results that demonstrate the advantages of the architecture with respect to stability and performance and show that the system is insensitive to network uncertainties.},
	isbn = {978-0-7695-3477-0},
	doi = {10.1109/RTSS.2008.14},
	url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4700419},
	author = {Kottenstette, Nicholas and Koutsoukos, Xenofon and Joseph Hall and Antsaklis, Panos J. and Sztipanovits, Janos}
}
@conference {4043,
	title = {A Model-Integrated Approach to Implementing Individualized Patient Care Plans Based on Guideline-Driven Clinical Decision Support and Process Management - A Progress Report},
	booktitle = {2nd International Workshop on Model-Based Design of Trustworthy Health Information Systems (MOTHIS 2008)},
	year = {2008},
	month = {10/2008},
	abstract = {Standardizing the care of patients with complex problems in hospital settings is a challenge for physicians, nurses and other medical professionals. In acute care settings such as intensive care units, the inherent problems of stabilizing and improving vital patient parameters is complicated by the division of responsibilities among different individuals and teams. The use of evidence-based guidelines for managing complex clinical problems has become the standard of practice. Computerized support for implementing such guidelines has tremendous potential. The use of model-based techniques for specifying and implementing guidelines as coordinated asynchronous processes is a promising new methodology for providing advanced clinical decision support. Combined with visual dashboards, which show the status of the implemented guidelines, a new approach to computer-supported care is possible. These techniques are being applied to the management of sepsis in acute care settings at Vanderbilt Medical Center.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Martin.et_.al_.MOTHIS.2008.Paper-CPM.pdf},
	author = {Jason B. Martin and Mathe, Janos and Miller, Peter and Ledeczi, Akos and Weavind, Liza and Miller, Anne and David J. Maron and Nadas, Andras and Sztipanovits, Janos}
}
@article {4053,
	title = {Passivity-Based Design of Wireless Networked Control Systems Subject To Time-Varying Delays},
	year = {2008},
	month = {08/2008},
	pages = {1-17},
	institution = {Institute for Software Integrated Systems, Vanderbilt University},
	type = {Report},
	address = {Nashville, TN},
	issn = {ISIS-08-904},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/passivity_isis_tr_08-904_revised_2_15_11.pdf , https://archive.isis.vanderbilt.edu/sites/default/files/Passivity_isis_tr_08_904.pdf},
	author = {Kottenstette, Nicholas and Koutsoukos, Xenofon and Joseph Hall and Sztipanovits, Janos and Antsaklis, Panos J.}
}
@conference {4055,
	title = {Passivity-Based Control Design for Cyber-Physical Systems},
	booktitle = {International Workshop on Cyber-Physical Systems - Challenges and Applications (CPS-CA{\textquoteright}08)},
	year = {2008},
	month = {06/2008},
	address = {Santorini Island, Greece},
	abstract = {Real-life Cyber-Physical Systems (CPSs), such as
automotive vehicles, building automation systems, and groups
of unmanned air vehicles are monitored and controlled by
networked control systems. The overall system dynamics emerges
from the interaction among physical dynamics, computational
dynamics, and communication networks. Network uncertainties
such as time-varying delay and packet loss cause significant
challenges that probihibit the application of traditional component based
design methods. This paper proposes a passive control
architecture for designing CPSs that are insensitive to network
uncertainties. The proposed method improves orthogonality
across the controller design and implementation design layers
with respect to network uncertainties, thus empowering model driven
development. The paper presents the architecture for a
simplified system consisting of a robotic manipulator controlled
by a digital controller over a wireless network and simulation
results that show that the system is insensitive to time-varying
network delays.},
	url = {http://www.vuse.vanderbilt.edu/~koutsoxd/www/Publications/cpsca08.pdf},
	author = {Koutsoukos, Xenofon and Kottenstette, Nicholas and Joseph Hall and Antsaklis, Panos J. and Sztipanovits, Janos}
}
@conference {3977,
	title = {A Modeling Environment for Patient Portals},
	booktitle = {American Medical Informatics Association (AMIA) - Annual Symposium},
	year = {2007},
	month = {11/2007},
	address = {Chicago, IL},
	abstract = {Clinical Information Systems (CIS) are complex environments that integrate information technologies, humans, and patient data. Given the sensitivity of patient data, federal regulations require health care providers to define privacy and security policies and to deploy enforcement technologies. The introduction of model-based design techniques, combined with the development of high-level modeling abstractions and analysis methods, provide a mechanism to investigate these concerns by conceptually simplifying CIS without sacrificing expressive power. This work introduces the Model-based Design Environment for Clinical Information Systems (MODECIS), which is a graphical design environment that assists CIS architects in formalizing systems and services. MODECIS leverages Service-Oriented Architectures to create realistic system models as abstractions. MODECIS enables the analysis of legacy architectures and the design and simulation of future CIS. We present the feasibility of MODECIS by modeling operations, such as user authentication, of MyHealth@Vanderbilt, a real world patient portal in use at the Vanderbilt University Medical Center.},
	url = {http://www.amia.org/meetings/f07/},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Duncavage.et_.al-AMIA.2007.Paper-MoDECIS.pdf},
	author = {Mathe, Janos and Werner, Jan and Bradley A. Malin and Ledeczi, Akos and Sztipanovits, Janos}
}
@conference {3969,
	title = {Constructive Techniques for Meta- and Model-Level Reasoning},
	booktitle = {Models{\textquoteright}07},
	year = {2007},
	month = {10/2007},
	address = {Nashville, TN},
	abstract = {The structural semantics of UML-based metamodeling were
recently explored, providing a characterization of the models adhering
to a metamodel. In particular, metamodels can be converted to a
set of constraints expressed in a decidable subset of first-order logic, an
extended Horn logic. We augment the constructive techniques found in
logic programming, which are also based on an extended Horn logic, to
produce constructive techniques for reasoning about models and metamodels.
These methods have a number of practical applications: At the
meta-level, it can be decided if a (composite) metamodel characterizes
a non-empty set of models, and a member can be automatically constructed.
At the model-level, it can be decided if a submodel has an
embeddeding in a well-formed model, and the larger model can be constructed.
This amounts to automatic model construction from an incomplete
model. We describe the concrete algorithms for constructively
solving these problems, and provide concrete examples.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/jackson_MODELS07_0.pdf},
	author = {Jackson, Ethan and Sztipanovits, Janos}
}
@conference {4042,
	title = {Implementing a Model-Based Design Environment for Clinical Information Systems},
	booktitle = {Workshop on Model-Based Trustworthy Health Information Systems (MOTHIS 2007)},
	year = {2007},
	month = {09/2007},
	address = {Nashville, TN},
	abstract = {Health care is a rapidly evolving field that is increasingly supported through clinical information systems (CIS) that integrate care providers, patients, and computer applications. Local and federal regulations require health care systems to define and enforce privacy and security policies to protect sensitive patient data within CIS. Service-oriented architectures (SOA) have been successfully applied to specific clinical services, such as decision support, but have yet to be adopted for large-scale CIS that need to account for diverse information technology architectures and complex person-computer interactions. In this work, we demonstrate that the incorporation of model-based design techniques and high-level modeling abstractions provide a framework to rapidly develop, simulate, and deploy CIS prototypes. This paper describes the implementation of a graphical design environment that allows CIS architects to develop formal system models and from these automatically generates executable code for deployment. The design tool leverages SOA to create reusable services that can be rapidly adapted. We illustrate the functionality of the tool by modeling a secure messaging service in the MyHealth@Vanderbilt patient portal, a portion of the Vanderbilt University Medical Center CIS.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Mathe.et_.al-MOTHIS.2007.Paper-Implementing_MICIS.pdf},
	author = {Mathe, Janos and Duncavage, Sean and Werner, Jan and Bradley A. Malin and Ledeczi, Akos and Sztipanovits, Janos}
}
@conference {4040,
	title = {Platform-Based Design for Clinical Information Systems},
	booktitle = {5th International Conference on Industrial Informatics (INDIN 2007)},
	year = {2007},
	month = {07/2007},
	address = {Vienna, Austria},
	abstract = {Clinical Information Systems (CIS) have emerged as a new critical infrastructure that influence affordability and security of health care delivery. Complex and conflicting societal requirements, such as providing control for patients over their personal health information and requiring health organizations to assure the security and privacy of patient-specific information, create significant technical challenges for the design of CIS. This paper presents a novel approach that is based on the principles and tools of Model Integrated Computing (MIC), Platform-Based Design (PBD) and Service-Oriented Architectures (SOA). We present a domain-specific, graphical design environment and show how formal system specifications can be mapped to different Service-Oriented Architecture execution platforms through a set of standard languages, such as WSBPEL and XACML. The Model-Integrated Clinical Information Systems (MICIS) design environment includes a suite of domain-specific modeling languages capturing essential aspects of CIS design, model transformation tools that map the domain models onto the standard specification languages of SOA platforms and static model analysis tools checking the consistency and wellformedeness of the multiple-view models. The MICIS design tool is tested in modeling the MyHealth@Vanderbilt patient portal of the Vanderbilt University Medical Center.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Werner.et_.al-INDIN.2007.Paper-PBD4CIS.pdf},
	author = {Werner, Jan and Mathe, Janos and Duncavage, Sean and Bradley A. Malin and Ledeczi, Akos and Jirjis, Jim and Sztipanovits, Janos}
}
@article {3976,
	title = {Towards the Security and Privacy Analysis of Patient Portals},
	journal = {Special Interest Group on Embedded Systems Review (SIGBED)},
	volume = {4 ($\#$2)},
	year = {2007},
	month = {04/2007},
	type = {ACM},
	abstract = {Clinical information systems (CIS) significantly influence the quality and efficiency of health care delivery. However, CIS are complex environments that integrate information technologies, human stakeholders, and patient-specific data. Given the sensitivity of patient data, federal regulations require healthcare providers to adopt policy, as well as technology, protections for patient data. Ad hoc system design and implementation of CIS can cause unforeseen and unintended privacy and security breaches. The introduction of model-based design techniques combined with the development of high-level modeling abstractions and analysis methods provide a mechanism to investigate these concerns by conceptually simplifying CIS without losing expressive power. This work introduces the Model-based Design Environment for Clinical Information Systems (MODECIS) - a graphical design environment that assists CIS architects in formalizing CIS systems as well-defined services. MODECIS leverages Service-Oriented Architectures to create realistic system models at an abstract level. By modeling CIS using abstractions, we enable the analysis of legacy architectures, as well as the design and simulation of, future CIS. We present the feasibility of MODECIS via modeling certain functions, such as the authentication process of the MyHealth@Vanderbilt patient portal.},
	issn = {1551-3688},
	url = {http://www.cs.virginia.edu/sigbed/vol4_num2.html},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Mathe-ACM.SIGBED.07-Towards.Analysis.pdf},
	author = {Mathe, Janos and Duncavage, Sean and Werner, Jan and Bradley A. Malin and Ledeczi, Akos and Sztipanovits, Janos}
}
@conference {3464,
	title = {OASiS: A Programming Framework for Service-Oriented Sensor Networks},
	booktitle = {International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006)},
	year = {2007},
	address = {Bangalore, India},
	abstract = {Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in order to monitor spatio-temporal phenomena. These devices are ideally suited for a variety of applications including object tracking, environmental monitoring, and homeland security. At present, sensor network technologies do not provide off-the-shelf solutions to users who lack low-level network programming experience. Because of limited resources, ad hoc deployments, and volatile wireless communication links, the development of distributed applications require the combination of both application and system-level logic. Programming frameworks and middleware for traditional distributed computing are not suitable for many of these problems due to the resource constraints and interactions with the physical world.To address these challenges we have developed OASiS, a programming framework which provides abstractions for objectcentric, ambient-aware, service-oriented sensor network applications. OASiS uses a well-defined model of computation based on globally asynchronous locally synchronous dataflow, and is complemented by a user-friendly modeling environment. Applications are realized as graphs of modular services and executed in response to the detection of physical phenomena. We have also implemented a suite of middleware services that support OASiS to provide a layer of abstraction shielding the low-level system complexities. A tracking application is used to illustrate the features of OASiS. Our results demonstrate the feasibility and the benefits of a service-oriented programming framework for composing and deploying applications in resource constrained sensor networks.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/comsware07.pdf},
	author = {Kushwaha, Manish and Amundson, Isaac and Koutsoukos, Xenofon and Neema, Sandeep and Sztipanovits, Janos}
}
@booklet {3465,
	title = {OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks},
	journal = {Monterey Workshop 2006, LNCS 4888, Springer-Verlag},
	year = {2007},
	address = {Paris, France},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/LNCS2007.pdf},
	author = {Koutsoukos, Xenofon and Kushwaha, Manish and Amundson, Isaac and Neema, Sandeep and Sztipanovits, Janos}
}
@conference {3488,
	title = {Efficient Integration of Web Services in Ambient-aware Sensor Network Applications},
	booktitle = {Basenets},
	year = {2006},
	month = {October},
	address = {San Jose, CA},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Amundson_I_10_1_2006_Efficient_.pdf},
	author = {Amundson, Isaac and Kushwaha, Manish and Koutsoukos, Xenofon and Neema, Sandeep and Sztipanovits, Janos}
}
@conference {3484,
	title = {Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality},
	booktitle = {13th Annual IEEE International Conference on the Engineering of Computer Based Systems},
	year = {2006},
	month = {March},
	address = {Potsdam, Germany},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Jackson_EK_3_27_2006_Correct_ed.pdf},
	author = {Jackson, Ethan and Sztipanovits, Janos}
}
@article {3486,
	title = {Developing applications using model-driven design environments},
	journal = {IEEE Computer},
	volume = {39},
	year = {2006},
	month = {March},
	pages = {33--40},
	author = {Balasubramanian, Krishnakumar and Balasubramanian, Jaiganesh and Karsai, Gabor and Sztipanovits, Janos and Neema, Sandeep}
}
@article {3483,
	title = {Compositional Specification of Behavioral Semantics},
	year = {2006},
	month = {June},
	institution = {Institute for Software Integrated Systems},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Chen_K_6_1_2006_Compositio.doc},
	author = {Chen, Kai and Sztipanovits, Janos and Neema, Sandeep}
}
@conference {3493,
	title = {Introducing security in a chemical engineering design course using adaptive online learning},
	booktitle = {Proceedings of the International Conference on Engineering Education},
	year = {2006},
	month = {July, 2006},
	address = {San Juan, Puerto Rico},
	author = {Kenneth Debelak and Howard, Larry and Xue, Yuan and Christina Lee and Sztipanovits, Janos}
}
@article {3497,
	title = {ISIS Overview 2005},
	year = {2006},
	month = {January},
	institution = {Institute for Software Integrated Systems},
	address = {ISIS - Vanderbilt},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Sztipanovi_J_1_13_2006_ISIS_Overv.ppt},
	author = {Sztipanovits, Janos}
}
@conference {3495,
	title = {Integrating Security Modeling in Embedded System Design},
	booktitle = {12th IEEE Real-Time and Embedded Technology and Applications Symposium},
	year = {2006},
	month = {April},
	address = {San Jose, CA},
	abstract = {There is an increasing concern of security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be an effective solution for embedded systems design. In this paper we show that existing modeling tools are not sufficient to meet the current and future security challenges of networked embedded systems. We propose a framework to integrate security modeling in embedded system design. We{\textquoteright}ve developed an example co-design environment that addresses security, functionality and system architecture aspects of embedded systems.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Werner_J_4_4_2006_Integratin.pdf},
	author = {Werner, Jan and Eby, Matthew and Mathe, Janos and Karsai, Gabor and Xue, Yuan and Sztipanovits, Janos}
}
@conference {3477,
	title = {A Semantic Unit for Timed Automata Based Modeling Languages},
	booktitle = {12th IEEE Real-Time and Embedded Technology and Applications Symposium},
	year = {2006},
	month = {April},
	pages = {2--14},
	address = {San Jose, CA},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Chen_K_4_4_2006_A_Semantic.pdf},
	author = {Chen, Kai and Sztipanovits, Janos and Abdelwahed, Sherif}
}
@conference {3496,
	title = {Integrating Security Modeling into Embedded System Design},
	booktitle = {ECBS 2007},
	year = {2006},
	note = {in review},
	address = {Tucson, Arizona},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/ISIS_0_0_2006_Integratin.pdf},
	author = {Eby, Matthew and Werner, Jan and Karsai, Gabor and Sztipanovits, Janos}
}
@inbook {3978,
	title = {Metamodeling Languages and Metaprogrammable Tools},
	booktitle = {Handbook of Real-Time and Embedded Systems},
	series = {CRC Computer and Information Science Series},
	year = {2006},
	pages = {33-1-33-16},
	publisher = {Chapman \& Hall (July 23, 2007)},
	organization = {Chapman \& Hall (July 23, 2007)},
	chapter = {33},
	isbn = {978-1584886785},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Metamodeling Languages and Metaprogrammable Tools.pdf},
	author = {Emerson, Matthew and Neema, Sandeep and Sztipanovits, Janos}
}
@article {3500,
	title = {OASiS: A Service-Oriented Middleware for Pervasive Ambient-Aware Sensor Networks},
	year = {2006},
	institution = {Institute for Software Integrated Systems},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Amundson_I_0_0_2006_OASiS__A_S.pdf},
	author = {Amundson, Isaac and Kushwaha, Manish and Koutsoukos, Xenofon and Neema, Sandeep and Sztipanovits, Janos}
}
@conference {3547,
	title = {Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages},
	booktitle = {Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT 05)},
	year = {2005},
	month = {September},
	pages = {35--44},
	address = {Jersey City, New Jersey},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Chen_K_9_19_2005_Toward_a_S.pdf},
	author = {Chen, Kai and Sztipanovits, Janos and Neema, Sandeep and Emerson, Matthew and Abdelwahed, Sherif}
}
@conference {3548,
	title = {Using Separation of Concerns for Embedded Systems Design},
	booktitle = {EMSOFT {\textquoteright}05},
	year = {2005},
	month = {September},
	address = {Jersey City, New Jersey},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Jackson_EK_9_0_2005_Using_Sepa.pdf},
	author = {Jackson, Ethan and Sztipanovits, Janos}
}
@article {3513,
	title = {A Semantic Unit for Timed Automata Based Modeling Languages},
	year = {2005},
	month = {October},
	institution = {Institute for Software Integrated Systems},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Chen_K_10_28_2005_A_Semantic.pdf},
	author = {Chen, Kai and Sztipanovits, Janos and Abdelwahed, Sherif}
}
@conference {3539,
	title = {Semantic Anchoring with Model Transformations},
	booktitle = {European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA)},
	year = {2005},
	month = {November},
	address = {Nuremberg, Germany},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Chen_K_11_7_2005_Semantic_A.pdf},
	author = {Chen, Kai and Sztipanovits, Janos and Abdelwahed, Sherif and Jackson, Ethan}
}
@article {3521,
	title = {Introducing Embedded Software and Systems Education and Advanced Learning Technology in an Engineering Curriculum},
	journal = {ACM Transactions on Embedded Systems},
	year = {2005},
	author = {Sztipanovits, Janos and Biswas, Gautam and Frampton, Ken and Balasubramanian, Jaiganesh and Howard, Larry and Karsai, Gabor and Koo, T. John and Koutsoukos, Xenofon and Schmidt, Douglas C.}
}
@conference {3581,
	title = {Implementing a MOF-Based Metamodeling Environment Using Graph Transformations},
	booktitle = {4th OOPSLA Workshop on Domain-Specific Modeling},
	year = {2004},
	month = {October},
	pages = {83--92},
	address = {Vancouver, Canada},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Emerson_MJ_10_0_2004_Implementi.pdf},
	author = {Emerson, Matthew and Sztipanovits, Janos}
}
@article {3557,
	title = {A MOF-Based Metamodeling Environment},
	journal = {Journal of Universal Computer Science},
	volume = {10},
	year = {2004},
	month = {October},
	pages = {1357--1382},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Emerson_MJ_10_9_2004_A__MOF_Bas.pdf},
	author = {Emerson, Matthew and Sztipanovits, Janos and Bapty, Ted}
}
@article {3596,
	title = {Shooter Localization in Urban Terrain},
	journal = {Computer},
	volume = {37},
	year = {2004},
	month = {August},
	pages = {60--61},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Maroti_M_8_0_2004_Shooter_Lo.pdf},
	author = {Maroti, Miklos and Simon, Gyula and Ledeczi, Akos and Sztipanovits, Janos}
}
@article {3604,
	title = {TWO-LEVEL ASPECT WEAVING TO SUPPORT EVOLUTION IN MODEL-DRIVEN SOFTWARE},
	journal = {Aspect-Oriented Software Development (Book)},
	year = {2004},
	month = {August},
	pages = {681--705},
	publisher = {Addison Wesley},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Gray_J_8_0_2004_TWO_LEVEL_.pdf},
	author = {Gray, Jeff and Sztipanovits, Janos and Schmidt, Douglas C. and Bapty, Ted and Neema, Sandeep and Balasubramanian, Jaiganesh}
}
@conference {3618,
	title = {Constraint-Based Design-Space Exploration and Model Synthesis},
	booktitle = {EMSOFT 2003, LNCS 2855},
	year = {2003},
	month = {October},
	address = {Philadelphia, PA},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Neema_S_10_2_2003_Constraint.pdf},
	author = {Neema, Sandeep and Sztipanovits, Janos and Karsai, Gabor and Butts, Ken}
}
@article {3644,
	title = {Model-Based Design of Embedded Systems: Scanning the Issue},
	journal = {Proceeding of the IEEE},
	volume = {91},
	year = {2003},
	month = {January},
	pages = {4--10},
	author = {Sastry, Shankar and Sztipanovits, Janos and Bajcsy, Ruzena and Gill, Helen}
}
@article {3639,
	title = {Model-integrated development of embedded software},
	journal = {Proceedings of the IEEE},
	volume = {91},
	year = {2003},
	month = {January},
	pages = {145--164},
	author = {Karsai, Gabor and Sztipanovits, Janos and Ledeczi, Akos and Bapty, Ted}
}
@article {3616,
	title = {Composition and Cloning in Modeling and Meta-Modeling},
	journal = {IEEE Transactions on Control System Technology},
	year = {2003},
	month = {December},
	author = {Karsai, Gabor and Maroti, Miklos and Ledeczi, Akos and Gray, Jeff and Sztipanovits, Janos}
}
@article {3617,
	title = {Computer-Automated Multi-Paradigm Modeling in Control Systems technology},
	journal = {IEEE Transactions on Automatic Control},
	year = {2003},
	author = {Mosterman, Pieter and Sztipanovits, Janos and Engell, S.}
}
@inbook {3661,
	title = {Two-level Weaving to Support Changeability in Model-Based Synthesis},
	booktitle = {Aspect-Oriented Programming},
	year = {2003},
	author = {Gray, Jeff and Sztipanovits, Janos and Bapty, Ted and Neema, Sandeep}
}
@article {3672,
	title = {Design-Space Construction and Exploration in Platform-Based Design},
	year = {2002},
	month = {June},
	institution = {Institute for Software Integrated Systems},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Neema_S_6_24_2002_Design_Spa.pdf},
	author = {Neema, Sandeep and Sztipanovits, Janos and Karsai, Gabor}
}
@inbook {3665,
	title = {An Approach to Self-Adaptive Software based on Supervisory Control},
	booktitle = {Self-Adaptive Software, Lecture Notes in Computer Science},
	year = {2002},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_5_0_2001_An_Approac.pdf},
	author = {Karsai, Gabor and Ledeczi, Akos and Sztipanovits, Janos and Peceli, Gabor and Simon, Gyula and Kovacshazy, Tamas}
}
@inbook {3674,
	title = {Generative Programming for Embedded Systems},
	booktitle = {Generative Programming and Component Engineering, (LNCD 2787)},
	year = {2002},
	pages = {32--49},
	author = {Sztipanovits, Janos and Karsai, Gabor}
}
@inbook {3707,
	title = {Embedded Software and Systems: Challenges and Approaches},
	booktitle = {Hybrid Systems: Computation and Control (LNCS 2034)},
	year = {2001},
	pages = {4},
	author = {Sztipanovits, Janos}
}
@inbook {3706,
	title = {Embedded Software: Opportunities and Challenges},
	booktitle = {Embedded Software, (LNCS 2211)},
	year = {2001},
	pages = {403--415},
	author = {Sztipanovits, Janos}
}
@inbook {3715,
	title = {Hybrid Systems for Robotics},
	booktitle = {Encyclopedia of Physical Science and Technology, 3rd Edition},
	year = {2001},
	author = {Sztipanovits, Janos and Sastry, Shankar}
}
@conference {3764,
	title = {Specifying Graphical Modeling Systems Using Constraint-based Metamodels},
	booktitle = {IEEE Symposium on Computer Aided Control System Design},
	year = {2000},
	month = {September},
	address = {Anchorage, Alaska},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_9_25_2000_Specifying.pdf},
	author = {Karsai, Gabor and Nordstrom, Greg and Ledeczi, Akos and Sztipanovits, Janos}
}
@article {3766,
	title = {Towards Two-Level Formal Modeling of Computer-Based Systems},
	journal = {Journal of Universal Computer Science},
	volume = {6},
	year = {2000},
	month = {November},
	pages = {1131--1144},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_11_0_2000_Towards_Tw.pdf},
	author = {Karsai, Gabor and Nordstrom, Greg and Ledeczi, Akos and Sztipanovits, Janos}
}
@conference {3759,
	title = {Model-Integrated Program Synthesis Environment},
	booktitle = {Proceedings of the IEEE Symposium on Engineering of Computer Based Systems},
	year = {2000},
	month = {March},
	pages = {348--355},
	address = {Friedrichshafen, Germany},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Sztipanovi_J_0_0_2000_Model_Inte.pdf},
	author = {Sztipanovits, Janos and Karsai, Gabor and Franke, Hubertus}
}
@conference {3758,
	title = {Model Integrated Computing-Based Software Design and Evolution},
	booktitle = {Conference on Life Cycle Software Engineering Technology for Modern Avionics, Missiles, and Smart Weapon Systems},
	year = {2000},
	month = {August},
	address = {Huntsville, Alabama},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Nordstrom_GG_8_16_2000_Model_Inte.pdf},
	author = {Nordstrom, Greg and Karsai, Gabor and Moore, Michael and Bapty, Ted and Sztipanovits, Janos}
}
@article {3754,
	title = {Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems},
	year = {2000},
	institution = {Institute for Software Integrated Systems},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Bapty_T_0_0_2000_Model_Inte.PDF},
	author = {Bapty, Ted and Neema, Sandeep and Scott, Jason and Sztipanovits, Janos and Asaad, Sameh}
}
@inbook {3740,
	title = {Embedded Software: Challenges and Opportunities},
	booktitle = {Lecture Notes in Computer Science},
	volume = {2211},
	year = {2000},
	pages = {403--408},
	publisher = {Springer Verlag},
	organization = {Springer Verlag},
	author = {Sztipanovits, Janos and Karsai, Gabor}
}
@article {3761,
	title = {Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems},
	journal = {VLSI Design},
	volume = {10},
	year = {2000},
	pages = {281--306},
	author = {Bapty, Ted and Neema, Sandeep and Scott, Jason and Sztipanovits, Janos and Asaad, Sameh}
}
@article {3772,
	title = {A Model-Based Approach to Self-Adaptive Software},
	journal = {Journal of Intelligent Systems},
	volume = {14},
	year = {1999},
	month = {May},
	pages = {46--53},
	author = {Karsai, Gabor and Sztipanovits, Janos}
}
@conference {3782,
	title = {Multi-Domain Surety Modeling and Analysis for High Assurance Systems},
	booktitle = {Proceedings of the Engineering of Computer Based Systems},
	year = {1999},
	month = {March},
	pages = {254--260},
	address = {Nashville, TN},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Davis_J_3_0_1999_Multi_Doma.pdf},
	author = {Davis, James and Scott, Jason and Sztipanovits, Janos and Martinez, Marcus}
}
@conference {3785,
	title = {Uniform Execution Environment for Dynamic Reconfiguration},
	booktitle = {Proceedings of the IEEE Conference and Workshop on Engineering of Computer Based Systems},
	year = {1999},
	month = {March},
	pages = {181--187},
	address = {Nashville, TN},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Bapty_T_3_0_1999_Uniform_Ex.PDF},
	author = {Bapty, Ted and Scott, Jason and Neema, Sandeep and Sztipanovits, Janos}
}
@conference {3779,
	title = {Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments},
	booktitle = {Proceedings of the IEEE ECBS{\textquoteright}99 Conference},
	year = {1999},
	month = {April},
	pages = {68--74},
	address = {Nashville, Tennessee},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Nordstrom_GG_4_0_1999_Metamodeli.pdf},
	author = {Nordstrom, Greg and Sztipanovits, Janos and Karsai, Gabor and Ledeczi, Akos}
}
@conference {3787,
	title = {An Integrated Multi-Domain Analysis Environment for High Consequence Systems},
	booktitle = {Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532},
	year = {1998},
	month = {September},
	address = {Altanta, GA},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Davis_J_9_0_1998_An_Integtr.pdf},
	author = {Davis, James and Scott, Jason and Sztipanovits, Janos and Karsai, Gabor and Martinez, Marcus}
}
@conference {3793,
	title = {Model-Integrated Environment for Adaptive Computing},
	booktitle = {Proceedings of the Military and Aerospace Applications of Programmable Devices and Technologies Conference},
	year = {1998},
	note = {CD-ROM Reference D5},
	month = {September},
	address = {Greenbelt, MA},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Scott_J_9_0_1998_Model_Inte.pdf},
	author = {Scott, Jason and Bapty, Ted and Neema, Sandeep and Sztipanovits, Janos}
}
@conference {3794,
	title = {Saturn Site Production Flow (SSPF): Accomplishments and Challenges},
	booktitle = {Engineering of Computer Based Systems},
	year = {1998},
	month = {March},
	pages = {248--255},
	address = {Jerusalem, Israel},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Long_E_3_0_1998_Saturn_Sit.pdf},
	author = {Long, Earl and Misra, Amit and Sztipanovits, Janos}
}
@article {3795,
	title = {Self-Adaptive Software for Signal Processing},
	journal = {Communications of the ACM},
	volume = {41},
	year = {1998},
	month = {March},
	pages = {55--65},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Sztipanovi_J_0_0_1998_Self_Adapt.pdf},
	author = {Sztipanovits, Janos and Karsai, Gabor}
}
@article {3790,
	title = {Increasing Productivity at Saturn},
	journal = {IEEE Computer Magazine},
	year = {1998},
	month = {August},
	author = {Long, Earl and Misra, Amit and Sztipanovits, Janos}
}
@conference {3791,
	title = {Integrated Analysis Environment for High Impact Systems},
	booktitle = {Proceedings of the Engineering of Computer Based Systems},
	year = {1998},
	month = {April},
	pages = {218--225},
	address = {Jerusalem, Israel},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Davis_J_9_0_1998_Integrated.pdf},
	author = {Davis, James and Scott, Jason and Sztipanovits, Janos and Karsai, Gabor and Martinez, Marcus}
}
@conference {3792,
	title = {Metalevel Extension of the MultiGraph Architecture},
	booktitle = {Proceedings of the IEEE ECBS{\textquoteright}98 Conference},
	year = {1998},
	month = {April},
	pages = {61--68},
	address = {Jerusalem, Israel},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Nordstrom_GG_4_0_1998_Metalevel_.pdf},
	author = {Nordstrom, Greg and Sztipanovits, Janos and Karsai, Gabor}
}
@conference {3796,
	title = {Towards Specification of Program Synthesis in Model-Integrated Computing},
	booktitle = {ECBS-98},
	year = {1998},
	pages = {226--233},
	address = {Jerusalem, Israel},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_0_0_1998_Towards_Sp.pdf},
	author = {Karsai, Gabor and Sztipanovits, Janos and Franke, Hubertus}
}
@article {3806,
	title = {Model-Integrated Computing Environment},
	journal = {ACM SIGSOFT Software Engineering Notes},
	volume = {22},
	year = {1997},
	month = {September},
	pages = {72--73},
	author = {Sztipanovits, Janos and Karsai, Gabor}
}
@conference {3802,
	title = {Evolutionary Design for Manufacturing Execution Systems},
	booktitle = {World Manufacturing Congress},
	year = {1997},
	month = {November},
	address = {Auckland, New Zealand},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Misra_A_11_0_1997_Evolutiona.pdf},
	author = {Misra, Amit and Long, Earl and Sztipanovits, Janos}
}
@conference {3804,
	title = {Model-Integrated Computing},
	booktitle = {Hawaii Systems of the World Manufacturing Congress},
	year = {1997},
	note = {CD-ROM Publication},
	month = {November},
	address = {Auckland, New Zealand},
	author = {Franke, Hubertus and Sztipanovits, Janos and Karsai, Gabor}
}
@conference {3805,
	title = {Model-Based Engineering of Large-Scale Real-Time Systems},
	booktitle = {Proceedings of the the Engineering of Computer Based Systems (ECBS) Conference},
	year = {1997},
	month = {March},
	pages = {467--474},
	address = {Monterey, CA},
	author = {Bapty, Ted and Sztipanovits, Janos}
}
@conference {3797,
	title = {A Model-Integrated Information System for Increasing Throughput in Discrete Manufacturing},
	booktitle = {International Conference and Workshop on Engineering of Computer Based Systems},
	year = {1997},
	month = {March},
	pages = {203--210},
	address = {Monterey, CA},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Misra_A_3_24_1997_A_Model_In.pdf},
	author = {Misra, Amit and Karsai, Gabor and Sztipanovits, Janos and Ledeczi, Akos and Moore, Michael}
}
@conference {3803,
	title = {Model-Integrated Development of Complex Applications},
	booktitle = {Fifth International Symposium on Assessment of Software Tools},
	year = {1997},
	month = {June},
	pages = {14--23},
	address = {Pittsburgh, PA},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Misra_A_6_0_1997_Model_Inte.pdf},
	author = {Misra, Amit and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {3798,
	title = {A Model-Integrated Program Synthesis Environment for Parallel/Real-Time Image Processing},
	booktitle = {SPIE Conference on Parallel and Distributed Methods for Image Processing},
	year = {1997},
	month = {June},
	pages = {31--45},
	address = {San Diego, CA},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Moore_MS_6_0_1997_A_Model_In.pdf},
	author = {Moore, Michael and Sztipanovits, Janos and Karsai, Gabor and Nichols, Jim}
}
@conference {3811,
	title = {Model-Integrated System Development: Models, Architecture and Process},
	booktitle = {21st Annual International Computer Software and Application Conference (COMPSAC)},
	year = {1997},
	month = {August},
	pages = {176--181},
	address = {Bethesda, MD},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_8_0_1997_Model_Inte.pdf},
	author = {Karsai, Gabor and Sztipanovits, Janos and Ledeczi, Akos and Moore, Michael}
}
@article {3807,
	title = {Model-Integrated Computing},
	journal = {IEEE Computer},
	volume = {30},
	year = {1997},
	month = {April},
	pages = {110--112},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Sztipanovi_J_4_0_1997_Model_Inte.pdf},
	author = {Sztipanovits, Janos and Karsai, Gabor}
}
@conference {3814,
	title = {Diagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams},
	booktitle = {Seventh International Workshop on Principles of Diagnosis},
	year = {1996},
	month = {October},
	address = {Val Morin, Quebec},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Sztipanovi_J_10_0_1996_Diagnosis_.pdf},
	author = {Sztipanovits, Janos and Misra, Amit}
}
@article {3818,
	title = {Safety Analysis and Diagnosis in a Model-Integrated Computing Framework},
	year = {1996},
	month = {June},
	institution = {Institute for Software Integrated Systems},
	address = {Workshop on Model-Integrated Computing, Nashville, TN},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Sztipanovi_J_6_0_1996_Safety_Ana.pdf},
	author = {Sztipanovits, Janos}
}
@conference {3816,
	title = {Model Based Data Validation},
	booktitle = {Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention},
	year = {1996},
	month = {April},
	address = {Mobile, AL},
	author = {Davis, James and Bapty, Ted and Karsai, Gabor and Malloy, Donald and Sztipanovits, Janos and Tibbals, Thomas}
}
@article {3813,
	title = {A Practical Method For Creating Plant Diagnostics Applications},
	journal = {Integrated Computer-Aided Engineering},
	volume = {3},
	year = {1996},
	pages = {291--304},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_0_0_1996_A_Practica.pdf},
	author = {Karsai, Gabor and Padalkar, Samir and Franke, Hubertus and Sztipanovits, Janos}
}
@conference {3828,
	title = {Model-embedded On-line Problem Solving Environment for Chemical Engineering},
	booktitle = {International Conference on Engineering of Complex Computer Systems},
	year = {1995},
	month = {November},
	pages = {227--233},
	address = {Ft Lauderdale, FL},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_11_6_1995_Model_embe.pdf},
	author = {Karsai, Gabor and Sztipanovits, Janos and Padalkar, Samir and DeCaria, Frank}
}
@conference {3829,
	title = {MULTIGRAPH: An Architecture for Model-Integrated Computing},
	booktitle = {Proceedings of the International Conference on Engineering of Complex Computer Systems},
	year = {1995},
	month = {November},
	pages = {361--368},
	address = {Ft. Lauderdale, FL},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Sztipanovi_J_11_6_1995_MULTIGRAPH.pdf},
	author = {Sztipanovits, Janos and Karsai, Gabor and Biegl, Csaba and Bapty, Ted and Ledeczi, Akos and Malloy, Donald}
}
@article {3830,
	title = {Online Diagnostics Makes Manufacturing More Robust},
	journal = {Chemical Engineering Magazine},
	year = {1995},
	month = {March},
	pages = {80--83},
	author = {Padalkar, Samir and Karsai, Gabor and Sztipanovits, Janos and DeCaria, Frank}
}
@article {3827,
	title = {Modeling Paradigm for Parallel Signal Processing},
	journal = {The Australian Computer Journal},
	volume = {27},
	year = {1995},
	month = {August},
	pages = {92--102},
	author = {Ledeczi, Akos and Bapty, Ted and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {3834,
	title = {Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques},
	booktitle = {Proceedings of the the Software Engineering Research Forum},
	year = {1995},
	address = {Boca Raton, FL},
	author = {Bapty, Ted and Ledeczi, Akos and Sztipanovits, Janos and Davis, James}
}
@conference {3836,
	title = {Activity Modeling},
	booktitle = {Foundation of Computer Aided Process Design, microfilm publication},
	year = {1994},
	month = {July},
	address = {Snowmass, CO},
	author = {Karsai, Gabor and Padalkar, Samir and Sztipanovits, Janos and DeCaria, Frank}
}
@conference {3841,
	title = {Model-based synthesis of complex embedded systems},
	booktitle = {Proceedings of the 1994 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW{\textquoteright}94)},
	year = {1994},
	month = {July},
	address = {Washington DC},
	author = {Sztipanovits, Janos and Abbott, Ben and Bapty, Ted}
}
@conference {3840,
	title = {Model-Based Programming for Parallel Image Processing},
	booktitle = {IEEE International Conference on Image Processing},
	year = {1994},
	month = {January},
	pages = {811--815},
	address = {Austin, TX},
	author = {Moore, Michael and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {3845,
	title = {Real-Time Fault Diagnostics with Multiple-Aspect Models},
	booktitle = {IEEE International Conference on Robotics and Automation},
	year = {1994},
	month = {April},
	pages = {803--808},
	address = {Sacramento, CA},
	author = {Padalkar, Samir and Sztipanovits, Janos and Karsai, Gabor and Miyasaka, Nobuji and Okuda, Koji}
}
@conference {3846,
	title = {Robust Diagnostics: Structural Redundancy Approach},
	booktitle = {Knowledge Based Artificial Intelligence Systems in Aerospace and Industry, SPIE{\textquoteright}s Symposium on Intelligent Systems},
	year = {1994},
	month = {April},
	address = {Orlando, FL},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Misra_A_4_0_1994_Robust_Dia.pdf},
	author = {Misra, Amit and Sztipanovits, Janos and Carnes, Ray}
}
@conference {3854,
	title = {Model-Based Software Synthesis for Large-Scale Systems},
	booktitle = {Proceedings of the 9th AIAA Conference on Computing in Aerospace},
	year = {1993},
	month = {September},
	address = {San Diego, CA},
	author = {Abbott, Ben and Bapty, Ted and Biegl, Csaba and Ledeczi, Akos and Sztipanovits, Janos}
}
@conference {3850,
	title = {Application of the Multigraph Architecture in Intelligent Patient Monitoring},
	booktitle = {IEEE-EMBS Annual Conference},
	year = {1993},
	month = {October},
	address = {San Diego, CA},
	author = {Pirjamali, Rami and Summers, Ron and Sztipanovits, Janos and Carson, Ewen}
}
@conference {3857,
	title = {Parallel Turbine Engine Instrumentation System},
	booktitle = {Proceedings of the the 9th AIAA Conference on Computing in Aerospace},
	year = {1993},
	month = {October},
	pages = {423--433},
	address = {San Diego, CA},
	author = {Bapty, Ted and Abbott, Ben and Biegl, Csaba and Ledeczi, Akos and Sztipanovits, Janos}
}
@article {3855,
	title = {Model-Based Approach for Software Synthesis},
	journal = {IEEE Software},
	volume = {10},
	year = {1993},
	month = {May},
	pages = {42--52},
	author = {Abbott, Ben and Bapty, Ted and Biegl, Csaba and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {3851,
	title = {Automatic Parallel Program Generation for Aerospace Testing},
	booktitle = {9th AIAA Conference on Computing in Aerospace},
	year = {1993},
	month = {January},
	pages = {434--440},
	address = {San Diego, CA},
	author = {Ledeczi, Akos and Biegl, Csaba and Abbott, Ben and Bapty, Ted and Sztipanovits, Janos}
}
@article {3859,
	title = {The Multigraph and Structural Adaptivity},
	journal = {IEEE Transactions on Signal Processing},
	volume = {41},
	year = {1993},
	month = {August},
	pages = {2695--2717},
	author = {Sztipanovits, Janos and Karsai, Gabor and Wilkes, Mitch and Lynd, David L}
}
@conference {3860,
	title = {Use of the Multigraph Architecture for the Development of Monitoring and Control in the High Dependency Environment},
	booktitle = {IMIA-IFMBE Working Conference on Biosignal Interpretation},
	year = {1993},
	month = {August},
	pages = {185--188},
	address = {Denmark},
	author = {Summers, Ron and Pirjamali, Rami and Sztipanovits, Janos and Carson, Ewen}
}
@article {3849,
	title = {"Model-based Programming Tools for Integrated Monitoring, Simulation, Diagnosis, and Control"},
	journal = {Proc. of Computing in Aerospace 9, AIAA paper 93-4578},
	year = {1993},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_0_0_1993_Model_base.pdf},
	author = {Karsai, Gabor and Padalkar, Samir and Franke, Hubertus and Sztipanovits, Janos}
}
@conference {3852,
	title = {Finite-State temporal Automata Modeling for Fault Diagnosis},
	booktitle = {Computing in Aerospace, 9th AIAA Conference},
	year = {1993},
	address = {Sand Diego},
	author = {Sztipanovits, Janos and Carnes, Ray and Misra, Amit}
}
@article {3858,
	title = {Parallel DSP System Integration},
	journal = {Microprocessors and Microsystems},
	volume = {17},
	year = {1993},
	pages = {460--470},
	author = {Ledeczi, Akos and Abbott, Ben and Biegl, Csaba and Bapty, Ted and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {3862,
	title = {Diagnosability of Dynamical Systems},
	booktitle = {Third International Workshop on Principles of Diagnosis},
	year = {1992},
	month = {October},
	address = {Rosario, WA},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Misra_A_10_0_1992_Diagnosabi.pdf},
	author = {Misra, Amit and Sztipanovits, Janos and Underbrink, Al and Carnes, Ray and Purves, Byron}
}
@conference {3866,
	title = {Model-Based Monitoring in Anaesthesia and Critical Care},
	booktitle = {3rd Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care},
	year = {1992},
	month = {October},
	address = {Salzurg, Germany},
	author = {Summers, Ron and Sztipanovits, Janos and Pirjamali, Rami and Carson, Ewen}
}
@article {3865,
	title = {Model Based Intelligent Process Control for Cogenerator Plants},
	journal = {Journal of Parallel and Distributed Systems},
	volume = {15},
	year = {1992},
	month = {June},
	pages = {90--103},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_0_0_1992_Model_Base.pdf},
	author = {Karsai, Gabor and Sztipanovits, Janos and Padalkar, Samir and Biegl, Csaba and Miyasaka, Nobuji and Okuda, Koji}
}
@article {3861,
	title = {Diagnosability Analysis and Robust Diagnostics with Multiple Aspect Modeling},
	year = {1992},
	month = {January},
	institution = {Institute for Software Integrated Systems},
	address = {Abstracts of the NASA Workshop on Model-Based Diagnosis and Monitoring; Pasadena, CA},
	author = {Misra, Amit and Sztipanovits, Janos and Underbrink, Al and Carnes, Ray}
}
@conference {3864,
	title = {Modeling Parallel Hardware Architectures},
	booktitle = {International Conference on Signal Processing Applications and Technology},
	year = {1992},
	month = {January},
	pages = {274--281},
	address = {Boston, MA},
	author = {Ledeczi, Akos and Abbott, Ben and Biegl, Csaba and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {3863,
	title = {Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System},
	booktitle = {Proceedings of the International Conference on Signal Processing Applications and Technology},
	year = {1992},
	month = {February},
	pages = {573--582},
	address = {Boston, MA},
	author = {Abbott, Ben and Bapty, Ted and Biegl, Csaba and Ledeczi, Akos and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {3870,
	title = {A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics},
	booktitle = {AIChE Annual Meeting, microfilm},
	year = {1991},
	month = {November},
	address = {Los Angeles, CA},
	author = {Karsai, Gabor and Sztipanovits, Janos and Padalkar, Samir and Biegl, Csaba}
}
@article {3872,
	title = {Real-Time Fault Diagnostics},
	journal = {IEEE Expert},
	volume = {6},
	year = {1991},
	pages = {75--85},
	author = {Padalkar, Samir and Sztipanovits, Janos and Karsai, Gabor and Miyasaka, Nobuji and Okuda, Koji}
}
@conference {3876,
	title = {Graphical Programming for the Transputer},
	booktitle = {Proceedings of the 22nd Southeastern Symposium on System Theory},
	year = {1990},
	month = {March},
	pages = {86--90},
	author = {Abbott, Ben and Biegl, Csaba and Bapty, Ted and Sztipanovits, Janos and Souder, Rick}
}
@conference {3882,
	title = {Performance Optimization in Signal Processing Systems},
	booktitle = {22nd Southeastern Symposium on System Theory},
	year = {1990},
	month = {March},
	address = {Cookeville, TN},
	author = {Misra, Amit and Abbott, Ben and Sztipanovits, Janos}
}
@conference {3881,
	title = {Multigraph on the Transputer},
	booktitle = {NATUG},
	year = {1990},
	month = {April},
	pages = {25--36},
	address = {Santa Clara, CA},
	author = {Abbott, Ben and Biegl, Csaba and Sztipanovits, Janos}
}
@conference {3877,
	title = {Intelligent Monitoring and Diagnostics for Plant Automation},
	booktitle = {IEEE International Conference on Robotics and Automation},
	year = {1990},
	pages = {1390--1397},
	address = {Cincinnati, OH},
	author = {Sztipanovits, Janos and Karsai, Gabor and Padalkar, Samir and Biegl, Csaba and Miyasaka, Nobuji and Okuda, Koji}
}
@inbook {3878,
	title = {Model Based Techniques for Intelligent Process Control},
	booktitle = {Artificial Intelligence in Engineering},
	volume = {2},
	year = {1990},
	pages = {79--94},
	publisher = {Elsevier},
	organization = {Elsevier},
	author = {Karsai, Gabor and Sztipanovits, Janos and Padalkar, Samir and Biegl, Csaba}
}
@conference {3879,
	title = {Models and Model building in Intelligent Process Control Systems},
	booktitle = {IEEE International Symposium on Intelligent Control},
	year = {1990},
	pages = {351--357},
	author = {Karsai, Gabor and Sztipanovits, Janos and Padalkar, Samir and Biegl, Csaba and Miyasaka, Nobuji and Okuda, Koji}
}
@conference {3886,
	title = {The Multigraph Approach to Parallel, Distributed, Structurally Adaptive Signal Processing},
	booktitle = {IEEE International Conference on Acousitc and Signal Processing},
	year = {1990},
	pages = {2037--2040},
	author = {Wilkes, Mitch and Lynd, David L and Sztipanovits, Janos and Karsai, Gabor}
}
@article {3880,
	title = {Multigraph for the Transputer},
	journal = {Transputer Research and Applications},
	year = {1990},
	note = {ed Alan S. Wagner, IOS Press, Amsterdam},
	pages = {211--222},
	author = {Abbott, Ben and Biegl, Csaba and Sztipanovits, Janos}
}
@conference {3884,
	title = {Real-Time Turbine Engine Data Visualization},
	booktitle = {Proceedings of the the 4th NATUG},
	year = {1990},
	pages = {1--11},
	address = {Ithaca, NY},
	author = {Abbott, Ben and Bapty, Ted and Sztipanovits, Janos}
}
@conference {3874,
	title = {A Study on Diagnosability of Space Station ECLSS},
	booktitle = {Fifth Conference on Artificial Intelligence for Space Applications},
	year = {1990},
	address = {Huntsville, AL},
	author = {Padalkar, Samir and Blokland, Wim and Sztipanovits, Janos}
}
@article {3887,
	title = {A Computing Model for Semantic Control},
	journal = {Applied Mathematics Letters},
	volume = {2},
	year = {1989},
	pages = {273--276},
	author = {Sztipanovits, Janos}
}
@article {3889,
	title = {Concepteur Cognitif D{\textquoteright}Experimentation Pour L{\textquoteright}Instrumentation},
	journal = {Innovation et Technologie en Biologie et Medicine},
	volume = {10},
	year = {1989},
	pages = {203--210},
	author = {Biegl, Csaba and Sztipanovits, Janos and Harrison, Colin}
}
@conference {3891,
	title = {Structural Adaptivity: New Way to Increase Intelligence and Flexibility of Patient Monitoring Systems},
	booktitle = {IFAC Symposium on Medical Instrumentation},
	year = {1989},
	author = {Kalli, Seppo and Sztipanovits, Janos}
}
@conference {3896,
	title = {Graph-Based Real-Time Fault Diagnostics},
	booktitle = {4th Conference on Artificial Intelligence for Space Applications},
	year = {1988},
	month = {January},
	pages = {115--123},
	address = {Huntsville, AL},
	author = {Padalkar, Samir and Karsai, Gabor and Sztipanovits, Janos}
}
@conference {3903,
	title = {Model-Based Approach for Intelligent Control},
	booktitle = {Fourth SPIE Conference on Space Station Automation},
	year = {1988},
	pages = {46--65},
	address = {Cambridge, MA},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/ModelBasedApproachforIntelligentControl.pdf},
	author = {Sztipanovits, Janos and Karsai, Gabor and Purves, Byron}
}
@inbook {3892,
	title = {Application of Knowledge-Based Techniques in Fourier-Infrared Spectroscopy},
	booktitle = {Artificial Intelligence in Engineering: Robotics and Processes},
	year = {1988},
	pages = {387--402},
	publisher = {Elsevier},
	organization = {Elsevier},
	author = {Karsai, Gabor and Sztipanovits, Janos and Gero, John S}
}
@article {3895,
	title = {Graph Model-Based Approach to the Representation, Interpretation and Execution of Real-Time Signal Processing Systems},
	journal = {International Journal of Intelligent Systems},
	volume = {3},
	year = {1988},
	pages = {269--280},
	author = {Sztipanovits, Janos and Karsai, Gabor and Biegl, Csaba}
}
@conference {3897,
	title = {Hierarchical Structure of Intelligent Patient Monitoring System},
	booktitle = {Finnish National Conference on Artificial Intelligence},
	year = {1988},
	pages = {123--128},
	author = {Kalli, Seppo and Sztipanovits, Janos}
}
@conference {3899,
	title = {Knowledge-Based Approach to Real-Time Supervisory Control},
	booktitle = {Amercian Control Conference},
	year = {1988},
	pages = {620--626},
	address = {Atlanta, GA},
	author = {Karsai, Gabor and Biegl, Csaba and Padalkar, Samir and Sztipanovits, Janos and Kawamura, Kazuhiko and Miyasaka, Nobuji and Inui, Masa}
}
@conference {3900,
	title = {Knowledge-Based Approach to Reconfigurable Control Systems},
	booktitle = {American Control Conference},
	year = {1988},
	pages = {1623--1628},
	address = {Atlanta, GA},
	author = {Blokland, Wim and Sztipanovits, Janos}
}
@article {3898,
	title = {Knowledge-Based Techniques in Instrumentation},
	journal = {IEEE EMBS Magazine},
	volume = {7},
	year = {1988},
	pages = {13--17},
	author = {Sztipanovits, Janos and Karsai, Gabor}
}
@conference {3902,
	title = {Model Based Approach in Intelligent Patient Monitoring},
	booktitle = {10th IEE/EMBS},
	year = {1988},
	pages = {1142--1148},
	address = {New Orleans, LA},
	author = {Kalli, Seppo and Sztipanovits, Janos}
}
@conference {3901,
	title = {Modeling, Model Interpretation and Intelligent Control},
	booktitle = {3rd IEEE International Symposium on Intelligent Control},
	year = {1988},
	pages = {46--50},
	address = {Arlington , VA},
	author = {Sztipanovits, Janos and Karsai, Gabor and Biegl, Csaba}
}
@conference {3904,
	title = {Toward Structural Adaptivity},
	booktitle = {IEEE International Symposium on Circuits and systems},
	year = {1988},
	address = {Espoo, Finland},
	author = {Sztipanovits, Janos}
}
@article {3905,
	title = {Architecture of Intelligent Medical Instruments},
	journal = {Journal of Biomedical Measurements Informatics and Control, London, UK},
	volume = {1},
	year = {1987},
	pages = {140--146},
	author = {Sztipanovits, Janos and Bourne, John}
}
@conference {3906,
	title = {Automated Testing and Integration of Heterogeneous Systems},
	booktitle = {Proceedings of the Intersociety Energy Conversion Engineering Conference},
	year = {1987},
	pages = {145--154},
	address = {Philadelphia, PA},
	author = {Sztipanovits, Janos and Karsai, Gabor and Biegl, Csaba}
}
@conference {3907,
	title = {Cooperative Systems for Real-Time Process Monitoring and Diagnostics},
	booktitle = {Proceeding of the AI-Japan},
	year = {1987},
	address = {Osaka, Japan},
	author = {Sztipanovits, Janos and Karsai, Gabor and Biegl, Csaba}
}
@conference {3908,
	title = {Execution Environment for Intelligent Real-time Control Systems},
	booktitle = {NASA/JPL Symposium on Telerobotics},
	year = {1987},
	pages = {131--139},
	address = {Pasadena, CA},
	author = {Sztipanovits, Janos}
}
@conference {3909,
	title = {Intelligent Supervisory Controller for Gas Distribution Network},
	booktitle = {Proceedings of the American Control Conference},
	year = {1987},
	pages = {1353--1358},
	author = {Karsai, Gabor and Biegl, Csaba and Blokland, Wim and Sztipanovits, Janos and Kawamura, Kazuhiko and Miyasaka, Nobuji and Inui, Masa}
}
@conference {3910,
	title = {Knowledge-Based Experiment Builder for Magnetic Resonance Imaging (MRI) Systems},
	booktitle = {Proceedings of the 3rd IEEE Conference on Artificial Intelligence Applications},
	year = {1987},
	pages = {126--133},
	author = {Sztipanovits, Janos and Biegl, Csaba and Karsai, Gabor and Bourne, John and Mushlin, Richard and Harrison, Colin}
}
@article {3911,
	title = {Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging},
	journal = {IEEE Transactions on Biomedical Engineering},
	volume = {34},
	year = {1987},
	pages = {938--943},
	author = {Foxvog, Doug and Li, Xiaofeng and Vargas, Juan and Sztipanovits, Janos and Mushlin, Richard and Harrison, Colin}
}
@conference {3912,
	title = {Testing and Validation in Artificial Intelligence Programming},
	booktitle = {Proceedings of the SPIE{\textquoteright}s Cambridge Symposium on Advances in Intelligent Robotics Systems},
	year = {1987},
	pages = {2--10},
	address = {Cambridge, MA},
	author = {Sztipanovits, Janos and Krishnamurthy, C. and Purves, Byron}
}
@conference {3913,
	title = {Execution Environment for Intelligent Real-Time Systems},
	booktitle = {8th Annual IEEE/EMBS Conference},
	year = {1986},
	pages = {807--811},
	address = {Dallas, TX},
	author = {Biegl, Csaba and Karsai, Gabor and Sztipanovits, Janos and Bourne, John and Mushlin, Richard and Harrison, Colin}
}
@conference {3914,
	title = {Experiment Design Language for Intelligent MRI Systems},
	booktitle = {8th Annual IEEE/EMBS Conference},
	year = {1986},
	pages = {803--807},
	address = {Dallas, TX},
	author = {Biegl, Csaba and Karsai, Gabor and Sztipanovits, Janos and Bourne, John and Mushlin, Richard and Harrison, Colin}
}
@conference {3915,
	title = {Knowledge-Based Approach in Measurement and Instrumentation},
	booktitle = {3rd International Conference on Measurement in Clinical Medicine},
	year = {1986},
	pages = {29--33},
	address = {Edinburgh, United Kingdom},
	author = {Sztipanovits, Janos}
}
@conference {3917,
	title = {Programming Model for Coupled Intelligent Systems in Distributed Execution Environment},
	booktitle = {SPIE{\textquoteright}s Cambridge Symposium on Advances in Intelligent Robotics Systems},
	year = {1986},
	pages = {40--48},
	address = {Cambridge , MA},
	author = {Sztipanovits, Janos and Krishnamurthy, C. and Purves, Byron}
}
@conference {3916,
	title = {Programming Model for Distributed Intelligent Systems},
	booktitle = {Proceedings of the Conference on Artificial Intelligence for Space Applications},
	year = {1986},
	pages = {365--373},
	author = {Sztipanovits, Janos and Biegl, Csaba and Karsai, Gabor}
}
@conference {3918,
	title = {Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging},
	booktitle = {8th Annual IEEE/EMBS Conference},
	year = {1986},
	pages = {811--816},
	address = {Dallas, TX},
	author = {Foxvog, Doug and Li, Xiaofeng and Vargas, Juan and Bourne, John and Sztipanovits, Janos and Mushlin, Richard and Harrison, Colin}
}
@conference {3919,
	title = {Architecture of Intelligent Medical Instruments},
	booktitle = {7th Annual IEEE/EMBS Conference},
	year = {1985},
	pages = {1132--1136},
	address = {Chicago, IL},
	author = {Sztipanovits, Janos and Bourne, John}
}
@conference {3920,
	title = {Knowledge Representation Manipulation and Acquisition},
	booktitle = {7th Annual IEEE/EMBS Conference},
	year = {1985},
	pages = {1165--1169},
	address = {Chicago, IL},
	author = {Bourne, John and Sztipanovits, Janos}
}
@conference {3921,
	title = {Design of Intelligent Instrumentation},
	booktitle = {First Conference on Artificial Intelligence Applications},
	year = {1984},
	pages = {490--495},
	address = {Denver, CO},
	author = {Sztipanovits, Janos and Bourne, John}
}
