Morten Kühnrich

According to our database, Morten Kühnrich authored at least 7 papers between 2005 and 2021.

Collaborative distances:

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

2021

Validating Safety in Human-Robot Collaboration: Standards and New Perspectives.

Marcello Valori, Adriano Scibilia, Irene Fassi, José F. Saenz, Roland Behrens, Sebastian Herbster, Catherine Bidard, Eric Lucet, Alice Magisson, Leendert Schaake, Jule Bessler, Gerdienke B. Prange-Lasonder, Morten Kühnrich, Aske Bach Lassen, Kurt Nielsen

Robotics, 2021

Analysis of Interlaboratory Safety Related Tests in Power and Force Limited Collaborative Robots.

Adriano Scibilia, Marcello Valori, Nicola Pedrocchi, Irene Fassi, Sebastian Herbster, Roland Behrens, José F. Saenz, Alice Magisson, Catherine Bidard, Morten Kühnrich, Aske Bach Lassen, Kurt Nielsen

IEEE Access, 2021

2009

Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains.

Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer

Proceedings of the Foundations of Software Science and Computational Structures, 2009

On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.

Morten Kühnrich, Uwe Nestmann

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

Formal Model-Driven Design of Distributed Algorithms.

Morten Kühnrich

Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2008

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks.

Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

2005

Types for Access Control in a Calculus of Mobile Resources.

Hans Hüttel, Morten Kühnrich

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005