Neda Saeedloei

Available identifiers

Publication	Date of Publication	Type
Operations on timed scenarios	2024-01-11	Paper
An efficient customized clock allocation algorithm for a class of timed automata	2023-08-10	Paper
Timed scenarios: consistency, equivalence and optimization	2023-08-02	Paper
Synthesizing Clock-Efficient Timed Automata	2023-03-21	Paper
From Scenarios to Timed Automata	2022-11-04	Paper
Untangling the graphs of timed automata to decrease the number of clocks	2022-08-19	Paper
Minimization of the number of clocks for timed scenarios	2022-07-13	Paper
Optimization of timed scenarios	2021-07-08	Paper
Clock Allocation in Timed Automata and Graph Colouring	2018-12-06	Paper
Timed $$\pi $$-Calculus	2016-11-09	Paper
A Logical Encoding of Timed $$\pi $$-Calculus	2015-11-30	Paper
Coinductive Constraint Logic Programming	2012-07-20	Paper
Logic programming foundations of cyber-physical systems	2012-05-11	Paper
Timed definite clause $\omega$-grammars	2012-05-11	Paper
Infinite Computation, Co-induction and Computational Logic	2011-09-02	Paper
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)	2010-05-26	Paper

This page was built for person: Neda Saeedloei