Paracosm: A Test Framework for Autonomous Driving Simulations
Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner and Damien Zuffery
Proceedings of the Conference on Fundamental Approaches to Software Engineering (FASE), 2021.
Automated Controller and Sensor Configuration Synthesis using Dimensional Analysis
Marcus Pirron, Damien Zufferey and Phillip Stanley-Marbell
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2020. Paper,
Lightning Talk Slides,
25' Talk Movie
Interactive Programming for Parametric CAD
Aman Mathur, Marcus Pirron and Damien Zufferey
Computer Graphics Forum, 2020 Paper
Mperl: Hardware and Software Co-design for Robotic Manipulators
Marcus Pirron and Damien Zufferey
Proceedings of the International Conference on Intelligent Robots and Systems (IROS), 2019 Paper,
Slides,
Video,
Code
Motion Session Types for Robotic Interactions
Rupak Majumdar, Marcus Pirron, Yoshida Nobuko, and Damien Zufferey
Proceedings of 33rd European Conference on Object-Oriented Programming (ECOOP), 2019 Paper
PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics
Gregor B. Banus̆ić, Rupak Majumdar, Marcus Pirron, Anne-Kathrin Schmuck, and Damien Zufferey
Proceedings of the 10th International Conference on Cyber-Physical Systems (ICCPS), 2019 Paper,
Slides,
Code,
Experiments
Tools
Mperl: Hardware and Software Co-design for Robotic Manipulators