Dina Irofti

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 6

Top Topics

Logical Properties

Consistency Check

Top Venues

Publications

Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru
Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. FMICS (2023)
Aziz Sfar, Dina Irofti, Madalina Croitoru
A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers. FoIKS (2022)
Dina Irofti
An anticipatory protocol to reach fast consensus in multi-agent systems. Autom. 113 (2020)
Dina Irofti, Paul Dubrulle
Local Consistency Check in Synchronous Dataflow Models. FM (2019)
Dina Irofti, Keqin Gu, Islam Boussaada, Silviu-Iulian Niculescu
Migration of imaginary roots of multiplicity three and four under small deviation of two delays in time-delay systems. ECC (2016)
Fatihcan M. Atay, Dina Irofti
A delayed consensus algorithm in networks of anticipatory agents. ECC (2016)
Keqin Gu, Dina Irofti, Islam Boussaada, Silviu-Iulian Niculescu
Migration of double imaginary characteristic roots under small deviation of two delay parameters. CDC (2015)