According to our database1, Joseph Porter authored at least 17 papers between 2008 and 2016.
IEEE Fellow 1992, "For contributions to circuits breaker technology.".
Legend:Book In proceedings Article PhD thesis Other
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