Dina Irofti

According to our database, Dina Irofti authored at least 9 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking.

Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022

A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers.

Aziz Sfar, Dina Irofti, Madalina Croitoru

Proceedings of the Foundations of Information and Knowledge Systems, 2022

2020

An anticipatory protocol to reach fast consensus in multi-agent systems.

Dina Irofti

Autom., 2020

2019

Local Consistency Check in Synchronous Dataflow Models.

Dina Irofti, Paul Dubrulle

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Some insights into the migration of double imaginary roots under small deviation of two parameters.

Dina-Alina Irofti, Keqin Gu, Islam Boussaada, Silviu-Iulian Niculescu

Autom., 2018

2016

Migration of imaginary roots of multiplicity three and four under small deviation of two delays in time-delay systems.

Dina Irofti, Keqin Gu, Islam Boussaada, Silviu-Iulian Niculescu

Proceedings of the 15th European Control Conference, 2016

A delayed consensus algorithm in networks of anticipatory agents.

Fatihcan M. Atay, Dina Irofti

Proceedings of the 15th European Control Conference, 2016

2015

Migration of double imaginary characteristic roots under small deviation of two delay parameters.

Keqin Gu, Dina Irofti, Islam Boussaada, Silviu-Iulian Niculescu

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Computing the codimension of the singularity at the origin for delay systems in the regular case: A vandermonde-based approach.

Islam Boussaada, Dina-Alina Irofti, Silviu-Iulian Niculescu

Proceedings of the 13th European Control Conference, 2014