Author:Lei BuPublications |
---|
| | | | | Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta and Enea Zaffanella | | | | |
KeyphrasesARCH-COMP2, Bounded Model Checking2, Detection based defenses, high-level information, hybrid system, Hybrid System Model Checker, Hybrid Systems with Piecewise Constant Dynamics, locality, model checker, PCDB Category, Piecewise Constant Dynamics, side-channel attacks. |
|