Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Joseph Porter
First name
Joseph
Last name
Porter
Porter, J., Hemingway, G., Kottenstette, N., Nine, H., vanBuskirk, C., Karsai, G., & Sztipanovits, J
.
(2010)
.
New Developments in Model-Integrated Development of High-Confidence Software
.
Safe and Secure Systems & Software Symposium
. (
Original work published
June 2010)
View
Kottenstette, N., & Porter, J
.
(2008)
.
Digital Passive Attitude and Altitude Control Schemes for Quadrotor Aircraft
.
Technical Report
(pp.
1-8
)
.
Nashville, TN
:
Institute for Software Integrated Systems, Vanderbilt University
. (
Original work published
November 2008)
View
Jackson, E., Thibodeaux, R., Porter, J., & Sztipanovits, J
.
(2009)
.
Semantics of Domain Specific Modeling Languages
.
In
Model-Based Design for Embedded Systems
(pp.
437-486
)
.
Boca Raton, FL:
CRC Press
.
View
Porter, J., Volgyesi, P., Kottenstette, N., Nine, H., Karsai, G., & Sztipanovits, J
.
(2009)
.
An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software
.
In
20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP'09)
.
Paris, France
. (
Original work published
June 2009)
View
Porter, J., Karsai, G., & Sztipanovits, J
.
(2009)
.
Towards a time-triggered schedule calculation tool to support model-based embedded software design
.
In
ACM International Conference on Embedded Software (EMSOFT ’09)
.
Grenoble, France:
ACM
. (
Original work published
October 2009)
View
Eyisi, E., Porter, J., Hall, J., Kottenstette, N., Koutsoukos, X., & Sztipanovits, J
.
(2009)
.
PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems
.
Nashville, TN
:
Institute for Software Integrated Systems, Vanderbilt University
. (
Original work published
May 2009)
View
Chen, K., Porter, J., Sztipanovits, J., & Neema, S
.
(2009)
.
Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages
.
International Journal Of Semantic Computing
,
3
,
31-56
. (
Original work published
March 2009)
View
Porter, J., Lattmann, Z., Hemingway, G., Mahadevan, N., Neema, S., Nine, H., et al
.
(2009)
.
The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems
.
In
15th IEEE Real-Time and Embedded Technology and Applications Symposium
.
San Francisco, CA
. (
Original work published
April 2009)
View
Porter, J., Hemingway, G., Nine, H., vanBuskirk, C., Kottenstette, N., Karsai, G., & Sztipanovits, J
.
(2010)
.
The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis
.
Nashville, TN
:
Vanderbilt University
. (
Original work published
September 2010)
View
Hemingway, G., Porter, J., Kottenstette, N., vanBuskirk, C., Karsai, G., & Sztipanovits, J
.
(2010)
.
Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis
.
In
Rapid System Prototyping
(pp.
1-7
)
.
Fairfax, VA:
IEEE
. (
Original work published
October 2010)
View
Pagination
Page 1
Next page
››