Andy Wellings

Identifiers

• name variant Andy Wellings 0.60 · backfill

Papers (3)

1. A Formal Model of the Safety-Critical Java Level 2 Paradigm cs.SE · 2018 · author #3
2. Safety-Critical Java: Level 2 in Practice cs.SE · 2018 · author #2
3. Transparent hardware synthesis of Java for predictable large-scale distributed systems cs.DC · 2015 · author #5

Mentions

• 1508.07142 #5 · backfill · confidence 0.70 Andy Wellings

Frequent Coauthors

• Ana Cavalcanti 2 shared papers
• Matt Luckcuck 2 shared papers
• Ian Gray 1 shared papers
• Jamie Garside 1 shared papers
• Neil Audsley 1 shared papers
• Yu Chan 1 shared papers