Joseph Porter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2008–2016
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | INFOCOM | OpenFlow-based live video streaming with GENI Cinema. | Ryan Izard, Qing Wang, Benton Kribbs, Joseph Porter, Kuang-Ching Wang, Shashank Gupta, Aditya Prakash, Parmesh Ramanathan |
| 2014 | ICNP | GENI Cinema: An SDN-Assisted Scalable Live Video Streaming Service. | Qing Wang, Ke Xu, Ryan Izard, Benton Kribbs, Joseph Porter, Kuang-Ching Wang, Aditya Prakash, Parmesh Ramanathan |
| 2014 | ICSE | Formalization of software models for cyber-physical systems. | Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits |
| 2013 | RTNS | Partition configuration for real-time systems with dependencies. | Joseph Porter, Csand Szab |
| 2010 | EMSOFT | Online stability validation using sector analysis. | Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits |
| 2010 | RSP | 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 |
| 2009 | EMSOFT | Towards a time-triggered schedule calculation tool to support model-based embedded software design. | Joseph Porter, Gabor Karsai, Janos Sztipanovits |
| 2009 | MODELS | 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 |
| 2009 | RSP | An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. | Joseph Porter, Pter Vlgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits |
| 2008 | MODELS | Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. | Joseph Porter, Gabor Karsai, Pter Vlgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits |