Joseph Porter

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Anytime Algorithms

Video Streaming

Copyright Protection

Networked Control Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

Simul. Model. Pract. Theory

Publications

Ryan Izard, Qing Wang, Benton Kribbs, Joseph Porter, Kuang-Ching Wang, Shashank Gupta, Aditya Prakash, Parmesh Ramanathan
OpenFlow-based live video streaming with GENI Cinema. INFOCOM Workshops (2016)
Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits
Formalization of software models for cyber-physical systems. FormaliSE (2014)
Zhenkai Zhang, Emeka Eyisi, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits
A co-simulation framework for design of time-triggered automotive cyber physical systems. Simul. Model. Pract. Theory 43 (2014)
Qing Wang, Ke Xu, Ryan Izard, Benton Kribbs, Joseph Porter, Kuang-Ching Wang, Aditya Prakash, Parmesh Ramanathan
GENI Cinema: An SDN-Assisted Scalable Live Video Streaming Service. ICNP (2014)
Joseph Porter, Csanád Szabó
Partition configuration for real-time systems with dependencies. RTNS (2013)
Zhenkai Zhang, Joseph Porter, Emeka Eyisi, Gabor Karsai, Xenofon D. Koutsoukos, Janos Sztipanovits
Co-simulation framework for design of time-triggered cyber physical systems. ICCPS (2013)
Di Shang, Emeka Eyisi, Zhenkai Zhang, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits
A case study on the model-based design and integration of automotive cyber-physical systems. MED (2013)
Xenofon D. Koutsoukos, Nicholas Kottenstette, Joseph F. Hall, Emeka Eyisi, Heath LeBlanc, Joseph Porter, Janos Sztipanovits
A passivity approach for model-based compositional design of networked control systems. ACM Trans. Embed. Comput. Syst. 11 (4) (2012)
Joseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. SC@TOOLS (2011)
Zhenkai Zhang, Joseph Porter, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits
High confidence embedded software design: a quadrotor helicopter case study. SIGBED Rev. 8 (2) (2011)
Graham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits
Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis. International Symposium on Rapid System Prototyping (2010)
Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits
Online stability validation using sector analysis. EMSOFT (2010)
Kai Chen, Joseph Porter, Janos Sztipanovits, Sandeep Neema
Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages. Int. J. Semantic Comput. 3 (1) (2009)
Emeka Eyisi, Joseph Porter, Joe Hall, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits
PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems. ACES-MB@MoDELS (2009)
Joseph Porter, Péter Völgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits
An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. IEEE International Workshop on Rapid System Prototyping (2009)
Joseph Porter, Gabor Karsai, Janos Sztipanovits
Towards a time-triggered schedule calculation tool to support model-based embedded software design. EMSOFT (2009)
Joseph Porter, Gabor Karsai, Péter Völgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits
Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. MoDELS (Workshops) (2008)