Joseph Porter
Vanderbilt University(US)Integrated Software (United States)(US)
Publications by Year
Research Areas
Embedded Systems Design Techniques, Real-Time Systems Scheduling, Formal Methods in Verification, Model-Driven Software Engineering Techniques, Real-time simulation and control systems
Most-Cited Works
- → Argentaffine Tumors: Report of Eighty-Four Cases; Three with Metastases(1939)50 cited
- → A Study on Run Time Assurance for Complex Cyber Physical Systems(2013)48 cited
- → A co-simulation framework for design of time-triggered automotive cyber physical systems(2014)37 cited
- → Co-simulation framework for design of time-triggered cyber physical systems(2013)34 cited
- → Model-Based Control Design and Integration of Cyberphysical Systems: An Adaptive Cruise Control Case Study(2013)33 cited
- → Foundation for Model Integration: Semantic Backplane(2012)31 cited
- → Towards Automated Evaluation of Vehicle Dynamics in System-Level Designs(2012)25 cited
- → Digital passive attitude and altitude control schemes for quadrotor aircraft(2009)21 cited
- → Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation(2009)20 cited
- → HUMAN THROMBIN AS VEHICLE OF INFECTION IN HOMOLOGOUS SERUM HEPATITIS(1953)20 cited