Simone Tini 

         Papers                   STARK TOOL               Projects           Activities      

Research Interests

• Formal methods for synchronous languages (Esterel, Lustre, Statecharts, ....) 

• Formal tools, like modal logics and related model-checking algorithms, for specifying and verifying qualitative and quantitative properties of complex systems, mainly biological systems, such as biochemical networks and regulatory networks, and cyber-physical systems.

• Metrics and approximate semantics reasoning on probabilistic languages, supporting the study of quantitative properties of systems, such as their reliability, robustness and security.

• Study of process calculi and their semantics for modelling qualitative and quantitative aspects of concurrent and distributed systems.