Publications
-
Neda Saeedloei, Feliks Kluzniak. Timed Scenarios: Consistency, Equivalence and Optimization. In Proceedings of the 21st Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF 2018), To appear.
-
Neda Saeedloei, Feliks Kluzniak. Clock Allocation in Timed Automata and Graph Colouring. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (HSCC) (part of CPS Week), pages 71-80. ACM, 2018.
-
Neda Saeedloei, Feliks Kluzniak. From Scenarios to Timed Automata. In Proceedings of the 20th Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF 2017), pages 33-51. 2017.
-
Neda Saeedloei, Gopal Gupta. A methodology for modeling and verification of cyber-physical systems based on logic programming. SIGBED Review 13(2), pages 34-42. 2016.
-
Neda Saeedloei. A Logical Encoding of Timed $\pi$-Calculus. In Proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), pages 164-182. 2013.
-
Neda Saeedloei, Gopal Gupta. Timed $\pi$-Calculus. In Proceedings of the 8th International Symposium on Trustworthy Global Computing (TGC), pages 119-135. 2013.
-
Neda Saeedloei, Gopal Gupta. Coinductive Constraint Logic Programming. In Proceedings of the 11th International Symposium on Functional and Logic Programming (FLOPS), pages 243-259. 2012.
-
Neda Saeedloei, Gopal Gupta. A logic-based modeling and verification of CPS. SIGBED Review 8(2), pages 31-34. 2011.
-
Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak. Infinite Computation, Co-induction and Computational Logic. In Proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science (CALCO), pages 40-54. 2011.
-
Ajay Bansal, Neda Saeedloei, Gopal Gupta. Timed Planning. In Proceedings of the 23d International Florida Artificial Intelligence Research Society (FLAIRS) Conference. 2010.
-
Neda Saeedloei, Gopal Gupta. Timed Definite Clause Omega-Grammars. In Technical Communications of the 26th International Conference on Logic Programming (ICLP), pages 212-221. 2010.
-
Neda Saeedloei. Logic Programming Foundations of Cyber-Physical Systems. In Technical Communications of the 26th International Conference on Logic Programming (ICLP), pages 289-293. 2010.
-
Neda Saeedloei, Gopal Gupta. Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). In Proceedings of the 4th International Conference on Language and Automata Theory and Applications (LATA), pages 536-548. 2010.
