Motion Session Types for Robotic Interactions (Brave New Idea Paper). - Rupak Majumdar; Marcus Pirron; Nobuko Yoshida; Damien Zufferey (ECOOP, 2019)

PGCD: robot programming and verification with geometry, concurrency, and dynamics. - Gregor B. Banusic; Rupak Majumdar; Marcus Pirron; Anne-Kathrin Schmuck; Damien Zufferey (ICCPS, 2019)

MPERL: Hardware and Software Co-design for Robotic Manipulators ©. - Marcus Pirron; Damien Zufferey (IROS, 2019)

Paracosm: A Language and Tool for Testing Autonomous Driving Systems. - Rupak Majumdar; Aman Shankar Mathur; Marcus Pirron; Laura Stegner; Damien Zufferey (CoRR, 2019)

Interactive Programming for Parametric CAD. - Aman Shankar Mathur; Marcus Pirron; Damien Zufferey (Comput. Graph. Forum, 2020)

Automated Controller and Sensor Configuration Synthesis Using Dimensional Analysis. - Marcus Pirron; Damien Zufferey; Phillip Stanley-Marbell (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Paracosm: A Test Framework for Autonomous Driving Simulations. - Rupak Majumdar; Aman Shankar Mathur; Marcus Pirron; Laura Stegner; Damien Zufferey (FASE, 2021)

Analysis of threat based algorithm using different performance measures. - Iftikhar Ahmad 004; Marcus Pirron; Günter Schmidt 002 (RAIRO Oper. Res., 2021)

Hardware und Software Codesign (Hardware and Software Codesign) - Marcus Pirron (2024)