6 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.DM2020★ 4 cited
The Quotient in Preorder Theories
Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa +1
Seeking the largest solution to an expression of the form A x <= B is a common task in several domains of engineering and computer science. This largest solution is commonly called…
cs.SE2013★ 6 cited
SoS contract verification using statistical model checking
Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer +2
Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for ef…