Joseph Porter

According to our database1, Joseph Porter authored at least 17 papers between 2008 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.


IEEE Fellow

IEEE Fellow 1992, "For contributions to circuits breaker technology.".



In proceedings 
PhD thesis 




OpenFlow-based live video streaming with GENI Cinema.
Proceedings of the IEEE Conference on Computer Communications Workshops, 2016

A co-simulation framework for design of time-triggered automotive cyber physical systems.
Simulation Modelling Practice and Theory, 2014

Formalization of software models for cyber-physical systems.
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

GENI Cinema: An SDN-Assisted Scalable Live Video Streaming Service.
Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

Partition configuration for real-time systems with dependencies.
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

A case study on the model-based design and integration of automotive cyber-physical systems.
Proceedings of the 21st Mediterranean Conference on Control and Automation, 2013

Co-simulation framework for design of time-triggered cyber physical systems.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

A passivity approach for model-based compositional design of networked control systems.
ACM Trans. Embedded Comput. Syst., 2012

High confidence embedded software design: a quadrotor helicopter case study.
SIGBED Review, 2011

Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models.
Proceedings of the Software Composition - 10th International Conference, SC 2011, Zurich, 2011

Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis.
Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, 2010

Online stability validation using sector analysis.
Proceedings of the 10th International conference on Embedded software, 2010

Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages.
Int. J. Semantic Computing, 2009

An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software.
Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems.
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Towards a time-triggered schedule calculation tool to support model-based embedded software design.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008