Adrian Larkham

According to our database, Adrian Larkham authored at least 4 papers between 2005 and 2017.

Collaborative distances:

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

2017

An integrated semantics for reasoning about SysML design models using refinement.

Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis

Softw. Syst. Model., 2017

2013

Explicit Java control of low-power heterogeneous parallel processing in the ToucHMore project.

Ludovic Gauthier, Ian Gray, Adrian Larkham, Gasser Ayad, Andrea Acquaviva, Kelvin Nilsen

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

2010

The SATURN Approach to SysML-Based HW/SW Codesign.

Wolfgang Müller, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham, Paul Whiston, Pablo Peñil, Eugenio Villar, Nikolaos Mitas, Dimitrios Kritharidis, Florent Azcarate, Manuel Carballeda

Proceedings of the VLSI 2010 Annual Symposium - Selected papers, 2010

2005

Applying Java™ Technologies to Mission-Critical and Safety-Critical Development.

Kelvin Nilsen, Adrian Larkham

Proceedings of the Constituents of Modern System-safety Thinking, 2005