Chris Chilton
|
Chris
Chilton
Research Assistant
Doctoral Student
chris.SURNAME@cs.ox.ac.uk
|
Biography
Within the Quantitative Analysis and Verification group I was a research assistant on the EU-funded CONNECT project, for which I developed compositional modelling formalisms and reasoning frameworks capable of abstracting asynchronously communicating component-based systems. This culminated in my doctoral thesis on the same topic, which was supervised by Professor Marta Kwiatkowska. Previously I studied for the degree of Master of Computer Science, again at Oxford, during which time I looked at decidability and complexity results for bisimilarity and similarity of alternating timed automata, along with Professor James Worrell. Whilst I have now left academia, I am happy to discuss aspects of my past work.
Publications
DPhil Thesis
Chris Chilton. An Algebraic Theory of Componentised Interaction. DPhil thesis, Department of Computer Science, University of Oxford, 2013.
Journal Articles
Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. An algebraic theory of interface automata. Theoretical Computer Science, 549:146-174, September 2014.
Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. Compositional assume-guarantee reasoning for input/output component theories. Science of Computer Programming, 91(Part A):115-137, October 2014.
Conference Papers
Amel Bennaceur, Chris Chilton, Malte Isberner, and Bengt Jonsson. Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. In Robert M. Hierons, Mercedes G. Merayo, and Mario Bravetti, editors, Proc. 11th International Conference on Software Engineering and Formal Methods (SEFM'13), Lecture Notes in Computer Science, vol. 8137, pp. 274-288. Springer-Verlag, 2013.
Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. Assume-Guarantee Reasoning for Safe Component Behaviours. In Corina Pasareanu and Gwen Salaün, editors, Proc. 9th International Symposium on Formal Aspects of Component Software (FACS'12), Lecture Notes in Computer Science, vol. 7684, pp. 92-109. Springer-Verlag, 2013.
Chris Chilton, Marta Kwiatkowska, and Xu Wang. Revisiting Timed Specification Theories: A Linear-Time Perspective. In Marcin Jurdzinski and Dejan Nickovic, editors, Proc. 10th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'12), Lecture Notes in Computer Science, vol. 7595, pp. 75-90. Springer-Verlag, 2012.
Taolue Chen, Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. A Compositional Specification Theory for Component Behaviours. In Helmut Seidl, editor, Programming Languages and Systems, Proc. 21st European Symposium on Programming (ESOP'12), Lecture Notes in Computer Science, vol. 7211, pp. 148-168. Springer-Verlag, 2012.
Marco Autili, Chris Chilton, Paola Inverardi, Marta Kwiatkowska, and Massimo Tivoli. Towards a Connector Algebra. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Proc. 4th International Symposium on Leveraging Applications (ISoLA'10), Lecture Notes in Computer Science, vol. 6416, pp. 278-292. Springer-Verlag, 2010.
Technical Reports
Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. An Algebraic Theory of Interface Automata. Technical report CS-RR-13-02, Department of Computer Science, University of Oxford, 2013.
Chris Chilton, Marta Kwiatkowska, and Xu Wang. Revisiting Timed Specification Theories: A Linear-Time Perspective. Technical report CS-RR-12-04, Department of Computer Science, University of Oxford, 2012.
Taolue Chen, Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. A Compositional Specification Theory for Component Behaviours. Technical report CS-RR-12-01, Department of Computer Science, University of Oxford, 2012.