Joseph Sifakis

Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Joseph Sifakis', query time: 0.03s Refine Results
  1. 1
    System Design in the Era of IoT — Meeting the Autonomy Challenge
    by Joseph Sifakis
    Published 2018-06-01
    Get full text
    Article
  2. 2
    DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
    Get full text
    Article
  3. 3
    Architecture Diagrams: A Graphical Language for Architecture Style Specification
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search