Neda Saeedloei

According to our database, Neda Saeedloei authored at least 21 papers between 2010 and 2024.

Collaborative distances:

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

2024

Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2023

Operations on Timed Scenarios.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

2022

An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 2022

Untangling the Graphs of Timed Automata to Decrease the Number of Clocks.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

LTL Model Checking using Coinductive Answer Set Programming.

Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021

Minimization of the Number of Clocks for Timed Scenarios.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

2020

Optimization of Timed Scenarios.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Synthesizing Clock-Efficient Timed Automata.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2018

Timed Scenarios: Consistency, Equivalence and Optimization.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Clock Allocation in Timed Automata and Graph Colouring.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

From Scenarios to Timed Automata.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016

A methodology for modeling and verification of cyber-physical systems based on logic programming.

Neda Saeedloei, Gopal Gupta

SIGBED Rev., 2016

2013

Timed π-Calculus.

Neda Saeedloei, Gopal Gupta

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

A Logical Encoding of Timed $$\pi $$ -Calculus.

Neda Saeedloei

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2012

Coinductive Constraint Logic Programming.

Neda Saeedloei, Gopal Gupta

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

A logic-based modeling and verification of CPS.

Neda Saeedloei, Gopal Gupta

SIGBED Rev., 2011

Infinite Computation, Co-induction and Computational Logic.

Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R).

Neda Saeedloei, Gopal Gupta

Proceedings of the Language and Automata Theory and Applications, 2010

Timed Definite Clause Omega-Grammars.

Neda Saeedloei, Gopal Gupta

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Logic Programming Foundations of Cyber-Physical Systems.

Neda Saeedloei

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Timed Planning.

Ajay Bansal, Neda Saeedloei, Gopal Gupta

Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010