Chris Chilton

According to our database, Chris Chilton authored at least 9 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A Specification Theory of Real-Time Processes.

Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang

Proceedings of the Concurrency, Security, and Puzzles, 2017

2014

An algebraic theory of interface automata.

Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska

Theor. Comput. Sci., 2014

Compositional assume-guarantee reasoning for input/output component theories.

Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska

Sci. Comput. Program., 2014

2013

Revisiting Timed Specification Theory II : Realisability

Chris Chilton, Marta Z. Kwiatkowska, Xu Wang

CoRR, 2013

Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning.

Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

2012

Revisiting Timed Specification Theories: A Linear-Time Perspective.

Chris Chilton, Marta Z. Kwiatkowska, Xu Wang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Assume-Guarantee Reasoning for Safe Component Behaviours.

Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

A Compositional Specification Theory for Component Behaviours.

Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska

Proceedings of the Programming Languages and Systems, 2012

2010

Towards a Connector Algebra.

Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010