Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. - Joseph Porter; Gabor Karsai; Péter Völgyesi; Harmon Nine; Peter Humke; Graham Hemingway; Ryan Thibodeaux; Janos Sztipanovits (MoDELS (Workshops), 2008)

Towards a time-triggered schedule calculation tool to support model-based embedded software design. - Joseph Porter; Gabor Karsai; Janos Sztipanovits (EMSOFT, 2009)

PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems. - Emeka Eyisi; Joseph Porter; Joe Hall; Nicholas Kottenstette; Xenofon D. Koutsoukos; Janos Sztipanovits (ACES-MB@MoDELS, 2009)

An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. - Joseph Porter; Péter Völgyesi; Nicholas Kottenstette; Harmon Nine; Gabor Karsai; Janos Sztipanovits (IEEE International Workshop on Rapid System Prototyping, 2009)

Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages. - Kai Chen 010; Joseph Porter; Janos Sztipanovits; Sandeep Neema (Int. J. Semantic Comput., 2009)

Online stability validation using sector analysis. - Joseph Porter; Graham Hemingway; Nicholas Kottenstette; Gabor Karsai; Janos Sztipanovits (EMSOFT, 2010)

Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis. - Graham Hemingway; Joseph Porter; Nicholas Kottenstette; Harmon Nine; Christopher P. van Buskirk; Gabor Karsai; Janos Sztipanovits (International Symposium on Rapid System Prototyping, 2010)

Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. - Joseph Porter; Daniel Balasubramanian; Graham Hemingway; Janos Sztipanovits (SC@TOOLS, 2011)

High confidence embedded software design: a quadrotor helicopter case study. - Zhenkai Zhang 002; Joseph Porter; Nicholas Kottenstette; Xenofon D. Koutsoukos; Janos Sztipanovits (SIGBED Rev., 2011)

Compositional and Incremental Modeling and Analysis for High-Confidence Distributed Embedded Control Systems. - Joseph Porter (2011)

A passivity approach for model-based compositional design of networked control systems. - Xenofon D. Koutsoukos; Nicholas Kottenstette; Joseph F. Hall; Emeka Eyisi; Heath LeBlanc; Joseph Porter; Janos Sztipanovits (ACM Trans. Embed. Comput. Syst., 2012)

Co-simulation framework for design of time-triggered cyber physical systems. - Zhenkai Zhang 002; Joseph Porter; Emeka Eyisi; Gabor Karsai; Xenofon D. Koutsoukos; Janos Sztipanovits (ICCPS, 2013)

A case study on the model-based design and integration of automotive cyber-physical systems. - Di Shang; Emeka Eyisi; Zhenkai Zhang 002; Xenofon D. Koutsoukos; Joseph Porter; Gabor Karsai; Janos Sztipanovits (MED, 2013)

Partition configuration for real-time systems with dependencies. - Joseph Porter; Csanád Szabó (RTNS, 2013)

GENI Cinema: An SDN-Assisted Scalable Live Video Streaming Service. - Qing Wang 047; Ke Xu; Ryan Izard; Benton Kribbs; Joseph Porter; Kuang-Ching Wang; Aditya Prakash 004; Parmesh Ramanathan (ICNP, 2014)

Formalization of software models for cyber-physical systems. - Sandeep Neema; Gabor Simko; Tihamer Levendovszky; Joseph Porter; Akshay Agrawal; Janos Sztipanovits (FormaliSE, 2014)

A co-simulation framework for design of time-triggered automotive cyber physical systems. - Zhenkai Zhang 002; Emeka Eyisi; Xenofon D. Koutsoukos; Joseph Porter; Gabor Karsai; Janos Sztipanovits (Simul. Model. Pract. Theory, 2014)

OpenFlow-based live video streaming with GENI Cinema. - Ryan Izard; Qing Wang 047; Benton Kribbs; Joseph Porter; Kuang-Ching Wang; Shashank Gupta; Aditya Prakash 004; Parmesh Ramanathan (INFOCOM Workshops, 2016)