César Augusto Ribeiro dos Santos

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Knowledge Based Systems

Design Space Exploration

Top Venues

Publications

César Augusto Ribeiro dos Santos, Tom Schrijvers, Amr Hany Saleh, Mike Nicolai
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts. FM (2021)
César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai
CONDEnSe: Contract Based Design Synthesis. MoDELS (2019)