UWA logo
UWA logo

Dr Tim French

The Academic Details listed below present information collected by the University up to the end of 2013 and thus may not represent the full academic record.

Email: tim.french@uwa.edu.au  Home Page
Phone: +618 6488 2794


Publications

Al-Bataineh, O., Reynolds, M., French, T. 2017, 'Finding minimum and maximum termination time of timed automata models with cyclic behaviour', THEORETICAL COMPUTER SCIENCE, 665, pp. 87-104. Detail

Caldwell, B., Cardell-Oliver, R., French, T. 2016, 'Learning Time Delay Mealy Machines from Programmable Logic Controllers', IEEE Transactions on Automation Science and Engineering, 13, 2, pp. 1155-1164. Detail

Ã…gotnes, T., Van Ditmarsch, H., French, T. 2016, 'The Undecidability of Quantified Announcements', Studia Logica, 104, 4, pp. 597-640. Detail

McCabe-Dansted, J., Reynolds, M., French, T. 2016, 'Modelling Systems over General Linear Time', 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, , 2016-December, pp. 130-139. Detail

French, T., McCabe-Dansted, J., Reynolds, M. 2015, 'Synthesis for continuous time', THEORETICAL COMPUTER SCIENCE, 594, pp. 201-222. Detail


More Publications...

Grants

Dr Timothy French 2007, 'A Formal Framework for the Refinement of Secure Communication Protocols', UWA Research Grants Scheme.


More Grants...

Students

2016 PhD. Mr Hales. Supervised by: Dr Davies, Dr French

2015 PhD. Dr Bataineh. Supervised by: Dr Woodings, A/Prof Reynolds, Dr French

2015 PhD. Dr Bian. Supervised by: A/Prof Reynolds, Dr French

2014 PhD. Dr Garg. Supervised by: Prof Datta, Dr French

2014 PhD. Dr Behdad. Supervised by: Prof Bennamoun, Dr Barone, Dr French


More Students...





Managed by: CSP Development (contact us)
CRICOS Code: 00126G