Joseph Porter

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