Neda Saeedloei | Towson University

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.

View more information: https://www.towson.edu/fcsm/departments/computerinfosci/facultystaff/neda-saeedloei.html

See more articles in category: Grammar
READ:  The 4 English Sentence Types | Grammar

Leave a Reply

Your email address will not be published. Required fields are marked *

Back to top button