Concepedia

Safe State Management

Safe State Management is a formal method for ensuring that a safety-critical embedded system transitions into and maintains a verified operational state that prevents hazardous behavior under all specified conditions.

49

Publications

1.3K

Citations

168

Authors

97

Institutions

Publications per year

2017–2026

21

Parents

Publications

49

Climate change refugees

Matthew Lister · Critical Review of International Social and Political Philosophy · 2014 · 185 citations

, , +17

Achieving a nature- and people-positive future

David Obura, Fabrice DeClerck, Peter H. Verburg et al. · One Earth · 2022 · 118 citations · Full text

, , +11

Hardware for speculative parallelization of partially-parallel loops in DSM multiprocessors

Ye Zhang, Lawrence Rauchwerger, Josep Torrellas · 1999 · 57 citations

, , +13

Monitoring, Checking, and Steering of Real-Time Systems

Moonjoo Kim, Insup Lee, Usa Sammapun et al. · Electronic Notes in Theoretical Computer Science · 2002 · 57 citations · Full text

, , +17

Maintaining node consistency in the face of dynamic change

K.M. Goudarzi, Jeff Kramer · 2002 · 54 citations

, , +17

1–5 of 49

Authors

168

  1. SM
    Sam Michiels

    KU Leuven, Belgium

    2 publications · 21 citations

    2

    h-index

  2. NJ
    Nico Janssens

    KU Leuven, Belgium

    2 publications · 21 citations

    2

    h-index

  3. SS
    Saeed Shahbazi

    Dublin City University, Ireland

    2 publications · 25 citations

    2

    h-index

  4. PJ
    Pooyan Jamshidi

    Dublin City University, Ireland

    2 publications · 25 citations

    2

    h-index

  5. MG
    Mohammad Ghafari

    University of Bern, Switzerland

    2 publications · 25 citations

    2

    h-index

1–5 of 168

Institutions

97

  1. Imperial College London

    London, United Kingdom

    3 h-index

    5 publications

    235 citations

  2. Payame Noor University

    Tehran, Iran

    2 h-index

    2 publications

    25 citations

  3. Shahid Beheshti University

    Tehran, Iran

    2 h-index

    2 publications

    25 citations

  4. Dublin City University

    Dublin, Ireland

    2 h-index

    2 publications

    25 citations

  5. Università degli Studi del Piemonte Orientale “Amedeo Avogadro”

    Vercelli, Italy

    2 h-index

    2 publications

    33 citations

  6. K.N.Toosi University of Technology

    Tehran, Iran

    2 h-index

    2 publications

    25 citations

  7. Technische Universität Braunschweig

    Braunschweig, Germany

    2 h-index

    6 publications

    138 citations

  8. Beijing Jiaotong University

    Beijing, China

    1 h-index

    3 publications

    42 citations

1–8 of 97

Venues

  1. Journal of Guidance Control and Dynamics

    2 publications · 34 citations

    2

    h-index

  2. 1

    h-index

  3. One Earth

    1 publications · 118 citations

    1

    h-index

  4. IEEE Transactions on Robotics

    1 publications · 26 citations

    1

    h-index

  5. Procedia Engineering

    1 publications · 11 citations

    1

    h-index

1–5