I agree that this site is using cookies. You can find further informations here.
X
Porter, Joseph J.
35  results:
Bookchapter (Online) X
Search for persons X
?
1

Formalization of software models for cyber-physical systems:

, In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering,
Neema, Sandeep ; Simko, Gabor ; Levendovszky, Tihamer... - p. 45-51 , 2014
Link: https://dl.acm.org/doi/1..
 
?
2

Co-simulation framework for design of time-triggered cyber ..:

, In: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems,
Zhang, Zhenkai ; Porter, Joseph ; Eyisi, Emeka... - p. 119-128 , 2013
Link: https://dl.acm.org/doi/1..
 
?
3

Partition configuration for real-time systems with dependen..:

, In: Proceedings of the 21st International conference on Real-Time Networks and Systems,
Porter, Joseph ; Szabó, Csanád - p. 87-96 , 2013
Link: https://dl.acm.org/doi/1..
 
?
4

Co-simulation framework for design of time-triggered cyber ..:

, In: 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS),
Zhang, Zhenkai ; Eyisi, Emeka ; Koutsoukos, Xenofon... - p. 119-128 , 2013
Link: https://doi.org/10.1145/..
 
?
5

Online stability validation using sector analysis:

, In: Proceedings of the tenth ACM international conference on Embedded software,
Porter, Joseph ; Hemingway, Graham ; Kottenstette, Nicholas.. - p. 29-38 , 2010
Link: https://dl.acm.org/doi/1..
 
?
6

Towards a time-triggered schedule calculation tool to suppo..:

, In: Proceedings of the seventh ACM international conference on Embedded software,
Porter, Joseph ; Karsai, Gabor ; Sztipanovits, Janos - p. 167-176 , 2009
Link: https://dl.acm.org/doi/1..
 
?
7

Revisiting Shakespeare's Eliot:

, In: Renaissance Papers 2004,
Porter, Joseph A. - p. 17-28 , 2005
Link: https://doi.org/10.1515/..
 
?
8

List of contributors:

, In: Diagnostic Molecular Pathology,
Allison, Kimberly H. ; Allyse, Megan A. ; B. Smolkin, Matthew... - p. xiii-xvi , 2024
Link: https://doi.org/10.1016/..
 
?
9

2 kV, 0.7 mΩ•cm2 Vertical Ga2O3 Superjunction Schottky Rect..:

, In: 2023 International Electron Devices Meeting (IEDM),
Qin, Yuan ; Porter, Matthew ; Xiao, Ming... - p. 1-4 , 2023
Link: https://doi.org/10.1109/..
 
?
10

Supporting Computing Educators to Create a Cycle of Teachin..:

, In: Proceedings of the 2021 Conference on United Kingdom & Ireland Computing Education Research,
Brown, Neil ; Cutts, Quintin ; Kallia, Maria... - p. 1-3 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Groove Deepening Procedures and Approaches to Treatment of ..:

, In: The Peroneal Tendons,
Porter, David A. ; Jacobson, Joseph E. - p. 235-251 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Contributors:

, In: ASE's Comprehensive Echocardiography,
Abbas, Amr E. ; Abdelmoneim, Sahar S. ; Abraham, Theodore... - p. v-xiii , 2016
Link: https://doi.org/10.1016/..
 
?
13

A demonstration of ultra-low-latency data center optical ci..:

, In: Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication,
Farrington, Nathan ; Porter, George ; Sun, Pang-Chen... - p. 95-96 , 2012
Link: https://dl.acm.org/doi/1..
 
?
14

List of Contributors:

, In: Genetics and Evolution of Infectious Disease,
Aguileta, Gabriela ; Alout, Haoues ; Baquero, Fernando... - p. xiii-xviii , 2011
Link: https://doi.org/10.1016/..
 
?
15

Contributors:

, In: Principles of Regenerative Medicine,
Aboushwareb, Tamer ; Ahlstrom, Jon D. ; Almarza, Alejandro J.... - p. ix-xix , 2011
Link: https://doi.org/10.1016/..
 
1-15