Nathan Allen
Orcid: 0000-0001-7876-819X
According to our database1,
Nathan Allen
authored at least 15 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
1
2
2
2
1
2
1
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
IEEE Access, 2024
A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study.
Proceedings of the Runtime Verification - 24th International Conference, 2024
Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024
2022
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022
2020
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020
2019
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019
2018
IEEE Trans. Ind. Informatics, 2018
IEEE Trans. Biomed. Eng., 2018
2017
ACM Trans. Embed. Comput. Syst., 2017
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017
An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices.
Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017
2016
Modular code generation for emulating the electrical conduction system of the human heart.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016