A Formal Model for Path Set Attribute Calculation in Network Systems Giovanni Fiaschi, Carlo Vitucci, Thomas Westerbäck, Daniel Sundmark, Thomas Nolte The 12th International Symposium on Networks, Computers and Communications (ISNCC25)
A Deductive Fault Analysis Method Based on Hypergraphs (Aug 2024) Carlo Vitucci, Thomas Westerbäck, Daniel Sundmark, Håkan Forsberg, Thomas Nolte, Marcus Jägemar 12th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2024)
