John Komp

According to our database, John Komp authored at least 5 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements.

Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning.

Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

2016

On Implementing Real-Time Specification Patterns Using Observers.

John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015

Executing Model-Based Tests on Platform-Specific Implementations (T).

Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

From Requirements to Code: Model Based Development of a Medical Cyber Physical System.

Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014