acm sigbed
|
emsoft
|
participants
Damien Zufferey
EMSOFT 2020: 20th International Conference on Embedded Software
Assume-Guarantee Distributed Synthesis
Rupak Majumdar
,
Kaushik Mallik
,
Anne-Kathrin Schmuck
, and
Damien Zufferey
10.1109/TCAD.2020.3012641
https://dzufferey.github.io/files/2020_Assume-Guarantee_Distributed_Synthesis.pdf
Automated Controller and Sensor Configuration Synthesis using Dimensional Analysis
Marcus Pirron
,
Damien Zufferey
, and
Phillip Stanley-Marbell
10.1109/TCAD.2020.3013044
https://people.mpi-sws.org/~mpirron/files/PZS_Automated_Controller_and_Sensor_Configuration_Synthesis_using_Dimensional_Analysis.pdf