Neda Saeedloei

26 papers B 4C 4Misc 2Journal 2Unranked 11
YearRankTypeTitle / Venue / Authors
2025 B conf
Distributed Timed Scenarios.
iFM
Neda Saeedloei, Feliks Kluzniak
2024 — conf
On the Existence of Unions of Timed Scenarios.
SBMF
Neda Saeedloei
2024 C conf
Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios.
FORTE
Neda Saeedloei, Feliks Kluzniak
2023 C conf
Operations on Timed Scenarios.
FORTE
Neda Saeedloei, Feliks Kluzniak
2022 — conf
An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata.
SBMF
Neda Saeedloei, Feliks Kluzniak
2022 — conf
LTL Model Checking using Coinductive Answer Set Programming.
ICLP Workshops
Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta
2022 B conf
Untangling the Graphs of Timed Automata to Decrease the Number of Clocks.
IFM
Neda Saeedloei, Feliks Kluzniak
2021 — conf
Minimization of the Number of Clocks for Timed Scenarios.
SBMF
Neda Saeedloei, Feliks Kluzniak
2020 — conf
Optimization of Timed Scenarios.
SBMF
Neda Saeedloei, Feliks Kluzniak
2020 B conf
Synthesizing Clock-Efficient Timed Automata.
IFM
Neda Saeedloei, Feliks Kluzniak
2018 — conf
Clock Allocation in Timed Automata and Graph Colouring.
HSCC
Neda Saeedloei, Feliks Kluzniak
2018 — ed.
Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, Melbourne, Australia, August 28 - September 1, 2017
ICLP (Technical Communications)
Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei
2018 — ed.
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, Oxford, United Kingdom, July 14-17, 2018
ICLP (Technical Communications)
Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor
2018 — conf
Timed Scenarios: Consistency, Equivalence and Optimization.
SBMF
Neda Saeedloei, Feliks Kluzniak
2017 — conf
From Scenarios to Timed Automata.
SBMF
Neda Saeedloei, Feliks Kluzniak
2016 J jnl
A methodology for modeling and verification of cyber-physical systems based on logic programming.
SIGBED Rev.
Neda Saeedloei, Gopal Gupta
2016 — ed.
Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, New York City, USA, October 16-21, 2016
ICLP (Technical Communications)
Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos
2013 C conf
A Logical Encoding of Timed $$\pi $$ -Calculus.
LOPSTR
Neda Saeedloei
2013 — conf
Timed π-Calculus.
TGC
Neda Saeedloei, Gopal Gupta
2012 Misc conf
Coinductive Constraint Logic Programming.
FLOPS
Neda Saeedloei, Gopal Gupta
2011 J jnl
A logic-based modeling and verification of CPS.
SIGBED Rev.
Neda Saeedloei, Gopal Gupta
2011 B conf
Infinite Computation, Co-induction and Computational Logic.
CALCO
Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak
2010 — conf
Logic Programming Foundations of Cyber-Physical Systems.
ICLP (Technical Communications)
Neda Saeedloei
2010 — conf
Timed Definite Clause Omega-Grammars.
ICLP (Technical Communications)
Neda Saeedloei, Gopal Gupta
2010 Misc conf
Timed Planning.
FLAIRS
Ajay Bansal, Neda Saeedloei, Gopal Gupta
2010 C conf
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R).
LATA
Neda Saeedloei, Gopal Gupta