Neda Saeedloei

Name

Contact Info

Phone:
Office:
YR-455

Education

Ph.D. in Computer Science, The University of Texas at Dallas

Master of Science (M.S.) in Computer Science, The University of Texas at Dallas

B.S. in Applied Mathematics, Sharif University of Technology

Areas of Expertise

Formal Methods; Model-based Design, Specification and Verification of Cyber-physical Systems, Models of Computation, Logic in Computer Science

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