activity
20212026
most citedA Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.FL2021

Equivalence Checking and Intersection of Deterministic Timed Finite State Machines

Davide Bresolin, Khaled El-Fakih, Tiziano Villa +1

There has been a growing interest in defining models of automata enriched with time, such as finite automata extended with clocks (timed automata). In this paper, we study determin…