Christian Graulund

According to our database, Christian Graulund authored at least 8 papers between 2019 and 2025.

Collaborative distances:

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

2025

Safety Verification and Optimization in Industrial Drive Systems.

Imran Riaz Hasrat, Eun-Young Kang, Christian Uldal Graulund

CoRR, March, 2025

Formal Verification and Fault Detection Optimization of Industrial Drive Systems.

Imran Riaz Hasrat, Eun-Young Kang, Christian Uldal Graulund

Proceedings of the 2025 9th International Conference on System Reliability and Safety (ICSRS), 2025

2023

Special Session: Digital Technologies for Sustainability - Research Challenges and Opportunities.

Paul Pop, Christian Graulund, Sonia Yeh, Martin Törngren

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2023

2021

Diamonds are not forever: liveness in reactive programming with guarded recursion.

Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg

Proc. ACM Program. Lang., 2021

Adjoint Reactive GUI Programming.

Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Adjoint Reactive GUI.

Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami

CoRR, 2020

2019

Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks.

Patrick Bahr, Christian Graulund, Rasmus Ejlers Møgelberg

Proc. ACM Program. Lang., 2019

Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming.

Patrick Bahr, Christian Graulund, Rasmus Ejlers Møgelberg

CoRR, 2019