Stavros Tripakis

Aktiviteetit

  1. 2018
  2. Yunus Sahin

    Stavros Tripakis (Host)
    1 tammikuuta 201830 huhtikuuta 2018

    Aktiviteetti

  3. 2017
  4. Recent Work in the Science of Software and System Design

    Stavros Tripakis (Puhuja)
    10 marraskuuta 2017

    Aktiviteetti: Julkinen esitelmä

  5. Foundations of Cyber-Physical Systems

    Stavros Tripakis (Järjestäjä)
    2 kesäkuuta 2017

    Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

  6. Compositionality in the Science of System Design, at Tallinn University of Technology

    Stavros Tripakis (Kutsuttu puhuja)
    17 tammikuuta 2017

    Aktiviteetti: Julkinen esitelmä

  7. ACM-IEEE International Conference on Formal Methods and Models for System Design

    Stavros Tripakis (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  8. INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE

    Stavros Tripakis (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  9. International Conference on Embedded Systems: Architectures, Modeling and Simulation

    Stavros Tripakis (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  10. INTERNATIONAL CONFERENCE ON FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS

    Stavros Tripakis (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  11. INTERNATIONAL CONFERENCE ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS

    Stavros Tripakis (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  12. International Symposium on Model Checking Software

    Stavros Tripakis (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  13. International Workshop on Symbolic and Numerical Methods for Reachability Analysis

    Stavros Tripakis (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  14. 2016
  15. Foreign Organisation

    Stavros Tripakis (Visiting researcher)
    8 toukokuuta 2016

    Aktiviteetti: Vierailu ulkomaille

  16. Foreign Organisation

    Stavros Tripakis (Visiting researcher)
    4 toukokuuta 201612 toukokuuta 2016

    Aktiviteetti: Vierailu ulkomaille

  17. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE & EXHIBITION

    Stavros Tripakis (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  18. European Research Council (Ulkoinen yksikkö)

    Stavros Tripakis (Arvioija)
    2016

    Aktiviteetti: Nimitetty asiantuntija- tai luottamustehtävä rahoittajaorganisaatioissa

  19. INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE

    Stavros Tripakis (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  20. International Conference on Embedded Systems: Architectures, Modeling and Simulation

    Stavros Tripakis (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  21. International Symposium on Real-Time Computing

    Stavros Tripakis (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  22. International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems

    Stavros Tripakis (Member)
    2016

    Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

  23. International Workshop on Discrete Event Systems

    Stavros Tripakis (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  24. International Workshop on Investigating Dataflow in Embedded Computing Architectures

    Stavros Tripakis (Member)
    2016

    Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

  25. International Workshop on Symbolic and Numerical Methods for Reachability Analysis

    Stavros Tripakis (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  26. Member of the Dissertation Committee, at University of California, Berkeley

    Stavros Tripakis (Member)
    2016

    Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

  27. Tietotekniikan laitos (Yksikkö)

    Stavros Tripakis (Jäsen)
    2016

    Aktiviteetti: Nimitetty asiantuntija- tai luottamustehtävä akateemisessa yhteisössä

  28. 2015
  29. Model-Based System Design, at Journées FAC, Toulouse

    Stavros Tripakis (Kutsuttu puhuja)
    23 huhtikuuta 2015

    Aktiviteetti: Julkinen esitelmä

  30. Refinement Calculus of Reactive Systems, at Dagstuhl Seminar “Non-Zero-Sum-Games and Control”

    Stavros Tripakis (Kutsuttu puhuja)
    1 helmikuuta 20156 helmikuuta 2015

    Aktiviteetti: Julkinen esitelmä

  31. Shuvra Bhattacharyya

    Stavros Tripakis (Host)
    1 tammikuuta 2015

    Aktiviteetti

  32. Discrete Event Dynamic Systems (Lehti)

    Stavros Tripakis (Toimituskunnan jäsen)
    2015

    Aktiviteetti: Toimituskunnan jäsenyys

  33. Examiner in the Computer-Aided Design (CAD) Preliminary Examination Committee

    Stavros Tripakis (Examiner)
    2015

    Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

  34. International Conference on Embedded Systems: Architectures, Modeling and Simulation

    Stavros Tripakis (Member)
    2015

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  35. INTERNATIONAL CONFERENCE ON FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS

    Stavros Tripakis (Member)
    2015

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  36. International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems

    Stavros Tripakis (Member)
    2015

    Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

  37. International Workshop on Symbolic and Numerical Methods for Reachability Analysis

    Stavros Tripakis (Member)
    2015

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  38. Tietotekniikan laitos (Yksikkö)

    Stavros Tripakis (Puheenjohtaja)
    2015

    Aktiviteetti: Nimitetty asiantuntija- tai luottamustehtävä akateemisessa yhteisössä

  39. University of California

    Stavros Tripakis (Visiting researcher)
    2015

    Aktiviteetti: Vierailu ulkomaille

  40. 2014
  41. Cyber-Physical Systems (Lehti)

    Stavros Tripakis (Toimituskunnan jäsen)
    joulukuuta 20142017

    Aktiviteetti: Toimituskunnan jäsenyys

  42. Transactions on Foundations for Mastering Change (Lehti)

    Stavros Tripakis (Toimituskunnan jäsen)
    heinäkuuta 20142017

    Aktiviteetti: Toimituskunnan jäsenyys

  43. Component-Based System Design with Interfaces, at Dagstuhl Seminar “Design and Synthesis from Components”

    Stavros Tripakis (Kutsuttu puhuja)
    1 kesäkuuta 20146 kesäkuuta 2014

    Aktiviteetti: Julkinen esitelmä

  44. The Science of System Design, at Aalto University

    Stavros Tripakis (Kutsuttu puhuja)
    5 toukokuuta 2014

    Aktiviteetti: Julkinen esitelmä

  45. ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS

    Stavros Tripakis (Member)
    2014

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  46. Cyber-Physical Systems (Lehti)

    Stavros Tripakis (Vertaisarvioija)
    2014 → …

    Aktiviteetti: Toimituskunnan jäsenyys

  47. Examiner in the Computer-Aided Design (CAD) Preliminary Examination Committee

    Stavros Tripakis (Examiner)
    2014

    Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

  48. INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE

    Stavros Tripakis (Member)
    2014

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Edellinen 1 2 3 Seuraava

ID: 103746