Invariants-based Architecture for Semantic Malware Resistance
Morphisms for Non-trivial Non-Linear Invariant Generation for Algebraic Hybrid Systems
Multivariate Formal Power Series Invariants Generation for Non Linear Hybrid Systems
Transcendental Inductive Invariants Generation for Non-linear Hybrid Systems
Generating Invariants for Non-linear Loops by Linear Algebraic Methods
Generating Invariants for Non-linear Hybrid Systems
IC Technical Reports 2013
IC Technical Reports 2014
IC Technical Reports 2008
IC Technical Reports 2012
IC Technical Reports 2009
IC Technical Reports 2015
Nadir Matringe
Arnaldo V. Moura
Arnaldo Vieira-Moura