Hyperproperties have been widely used to express system properties like noninterference,
observational determinism, conformance, robustness, etc. However, the model checking …

The ubiquity of digital solutions integrating cloud-based software services necessitates
sustainability awareness of such solutions. The integration of sustainability needs evaluation …