Todd Carpenter
According to our database1,
Todd Carpenter
authored at least 10 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
J. Syst. Archit., 2023
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
2021
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021
2019
The open PCA pump project: an exemplar open source medical device as a community resource.
SIGBED Rev., 2019
2017
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017
Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 2017
1998
1996
Paradigms for Modeling and Simulation of Multiprocessor Architectures.
Int. J. Comput. Simul., 1996
Proceedings of the Forth International Workshop on Hardware/Software Codesign, 1996
1994
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994