Martin Sirevåg

According to our database, Martin Sirevåg authored at least 2 papers between 2020 and 2022.

Collaborative distances:

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

2022

Safety assurance of an industrial robotic control system using hardware/software co-verification.

Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige

Sci. Comput. Program., 2022

2020

Safety Assurance of a High Voltage Controller for an Industrial Robotic System.

Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020