Ioana Hustiu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2021–2025
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ETFA | Decomposition of LTL specifications via formal concurrency relations in Bchi automata. | Ioana Hustiu, Marius Kloetzer, Cristian Mahulea |
| 2023 | ETFA | Extension of a decomposition method for a global LTL specification. | Ioana Hustiu, Marius Kloetzer, Cristian Mahulea |
| 2021 | ETFA | Optimal task allocation for distributed co-safe LTL specifications. | Ioana Hustiu, Cristian Mahulea, Marius Kloetzer |