20092021

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Henkilökohtainen profiili

Tutkimusalue

My research focuses on the foundations of system design. I am particularly interested in formal methods, computer-aided verification and synthesis, system modeling and simulation, and compositionality. My work involves developing theory and building tools which can be used in application domains such as embedded and cyber-physical systems.

My h-indexis 38 according to Google Scholar.

Koulutus / tieteellinen pätevyys

Diplome de Docteur, specialite informatique, L'Universite Grenoble

Myöntöpäivä: 10 maaliskuuta 2000

Keywords

  • Formal Methods
  • Cyber-Physical Systems
  • System Design Automation
  • Computer-aided verification and synthesis

Sormenjälki

Sukella tutkimusaiheisiin, joissa Stavros Tripakis on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
  • 1 Samanlaiset profiilit

Verkko

Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai