Mihaela Sighireanu

Mihaela Sighireanu is a French and Romanian computer scientist specializing in model checking and software verification. She works as a professor at Paris-Saclay University and as a member of the Formal Methods Lab run jointly by Paris-Saclay University, CNRS, and the École normale supérieure Paris-Saclay. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Mihaela Sighireanu', query time: 0.02s Refine Results
  1. 1
    A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

    A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes by Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu

    Published 2009-04-01
    Get full text
    Article

Search Tools: