Neda Saeedloei

dblp:52/8066 · DBLP profile ↗
← Back
10ranked-venue papers
9as first author
5since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 7 · 6 first-author · 2 since 2021Software engineering, systems software and programming languages · 6 · 6 first-author · 4 since 2021Computer networks · 2 · 2 first-author · 2 since 2021
YearPublicationVenuePosition
2026 Timed Scenario Expressions and Realisability
Neda Saeedloei, Feliks Kluzniak
COORDINATION1
2025 Distributed Timed Scenarios
Neda Saeedloei, Feliks Kluzniak
iFM1
2024 Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios
Neda Saeedloei, Feliks Kluzniak
FORTE1
2023 Operations on Timed Scenarios
Neda Saeedloei, Feliks Kluzniak
FORTE1
2022 Untangling the Graphs of Timed Automata to Decrease the Number of Clocks
Neda Saeedloei, Feliks Kluzniak
IFM1
2020 Synthesizing Clock-Efficient Timed Automata
Neda Saeedloei, Feliks Kluzniak
IFM1
2018 Clock Allocation in Timed Automata and Graph Colouring
abstract
We consider the problem of optimal clock allocation for a fairly general class of timed automata, TAS, under the safe assumption that all locations are reachable. Techniques similar to those used in compiler technology allow us to construct an interference graph: the problem of clock allocation for timed automata in TAS can be reduced to that of colouring this graph. We then describe a class of timed automata, TADS ⊊ TAS, for which optimal clock allocation can be computed in polynomial time, because the corresponding interference graphs are perfect. Finally, we discuss some of the difficulties in applying similar techniques to timed automata outside TAS.
Neda Saeedloei, Feliks Kluzniak
HSCC1
2013 A Logical Encoding of Timed $$\pi $$ -Calculus
Neda Saeedloei
LOPSTR1
2011 Infinite Computation, Co-induction and Computational Logic
Gopal Gupta 0001, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak
CALCO2
2010 Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Neda Saeedloei, Gopal Gupta 0001
LATA1