Directory

Search by name
You can use the * character as a wildcard.
Alphabetical search
Find people whose first name is Ylies*. Number of person who matches the search criteria: 1.
Ylies FALCONE

Associate Professor (Université Grenoble Alpes)
Team(s): CORSE

Email:
Personal Website: www.ylies.fr
Contact info
Phone: +33 4 38 78 61 52
Office: 446
Publications

In HAL (Multidisciplinary open archive)

Other link: http://www.ylies.fr/?page_id=47

Keywords
Runtime Verification Program Verification Formal Methods and Models for System Design