Neda Saeedloei

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 12

Top Topics

Application Scenarios

Top Venues

Publications

Neda Saeedloei, Feliks Kluzniak
Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios. FORTE (2024)
Neda Saeedloei, Feliks Kluzniak
Operations on Timed Scenarios. FORTE (2023)
Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta
LTL Model Checking using Coinductive Answer Set Programming. ICLP Workshops (2022)
Neda Saeedloei, Feliks Kluzniak
An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. SBMF (2022)
Neda Saeedloei, Feliks Kluzniak
Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. IFM (2022)
Neda Saeedloei, Feliks Kluzniak
Minimization of the Number of Clocks for Timed Scenarios. SBMF (2021)
Neda Saeedloei, Feliks Kluzniak
Optimization of Timed Scenarios. SBMF (2020)
Neda Saeedloei, Feliks Kluzniak
Synthesizing Clock-Efficient Timed Automata. IFM (2020)
Neda Saeedloei, Feliks Kluzniak
Clock Allocation in Timed Automata and Graph Colouring. HSCC (2018)
Neda Saeedloei, Feliks Kluzniak
Timed Scenarios: Consistency, Equivalence and Optimization. SBMF (2018)
Neda Saeedloei, Feliks Kluzniak
From Scenarios to Timed Automata. SBMF (2017)
Neda Saeedloei, Gopal Gupta
A methodology for modeling and verification of cyber-physical systems based on logic programming. SIGBED Rev. 13 (2) (2016)
Neda Saeedloei
A Logical Encoding of Timed $$\pi $$ -Calculus. LOPSTR (2013)
Neda Saeedloei, Gopal Gupta
Timed π-Calculus. TGC (2013)
Neda Saeedloei, Gopal Gupta
Coinductive Constraint Logic Programming. FLOPS (2012)
Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak
Infinite Computation, Co-induction and Computational Logic. CALCO (2011)
Neda Saeedloei, Gopal Gupta
A logic-based modeling and verification of CPS. SIGBED Rev. 8 (2) (2011)
Neda Saeedloei
Logic Programming Foundations of Cyber-Physical Systems. ICLP (Technical Communications) (2010)
Neda Saeedloei, Gopal Gupta
Timed Definite Clause Omega-Grammars. ICLP (Technical Communications) (2010)
Ajay Bansal, Neda Saeedloei, Gopal Gupta
Timed Planning. FLAIRS Conference (2010)
Neda Saeedloei, Gopal Gupta
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). LATA (2010)