Login / Signup
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.
ICNP
MED
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)