Neda Saeedloei

Short bio

I am an associate professor of Computer Science at Towson University. Before joining Towson University in 2019, I was an assistant professor at Southern Illinois University Carbondale and also at University of Minnesotta Duluth (UMD). I received my Ph.D. in Computer Science fromUniversity of Texad at Dallasunder the guidance of Prof. Gopal Gupta.

My research is focused on formal methods for design, synthesis, specification and verification of cyber-physical systems (including real-timed systems and hybrid systems). I am also interested in models of computation and logic.

Tools

• Feliks Kluzniak. A tool-set for distributed timed scenarios. 2024.

Recent Publications

• Neda Saeedloei, Feliks Kluzniak. Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios. In Proceedings of the 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) 2024.

• Neda Saeedloei. On the Existence of Unions of Timed Scenarios. In Proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF) 2024 .

• Neda Saeedloei, Feliks Kluzniak. Operations on Timed Scenarios. In Proceedings of the 43th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) 2023.

• Neda Saeedloei, Feliks Kluzniak. An Efficient Customized Clock Allocation Algoritm for a Class of Timed Automata. In Proceedings of the 25th Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF) 2022.

• Neda Saeedloei, Feliks Kluzniak. Untangling the Graphs of Timed Automata to Decrease the Number of Clocks.In Proceedings of the 17th International Conference on Integrated Formal Methods (iFM) 2022.

• Neda Saeedloei, Feliks Kluzniak. Minimization of the Number of Clocks for Timed Scenarios. In Proceedings of the 24th Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF) 2021. Best Paper.

• Neda Saeedloei, Feliks Kluzniak. Optimization of Timed Scenarios. In Proceedings of the 23d Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF) 2020. Best Paper.

• Neda Saeedloei, Feliks Kluzniak. Synthesizing Clock-efficient Timed Automata. In Proceedings of the 16th International Conference on Integrated Formal Methods (iFM) 2020.

• 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, pages 215-233.

• 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.

Technical Reports

• Neda Saeedloei. On the Existence of Unions of Timed Scenarios. 2024.

For Prospective Students

• I am currently looking for motivated students (Ph.D, Master and Bachelor) to work with me on projects related to my general area of research.