5 citations · 6 across the 2 of their papers we have counts for
2 papers
eess.SY2020★ 1 cited
A Boolean Control Network Approach to the Formal Verification of Feedback Context-Aware Pervasive Systems
Fabio A. Schreiber, Maria Elena Valcher
The emergence of Context-aware systems in the domains of autonomic, monitoring, and safety-critical applications asks for the definition of methods to formally assess their correct…
cs.FL2020★ 5 cited
Formal assessment of some properties of Context-Aware Systems
Fabio A. Schreiber, Maria Elena Valcher
Context-Aware systems are becoming useful components in autonomic and monitoring applications and the assessment of their properties is an important step towards reliable implement…