◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Rapita Systems (United Kingdom)

United Kingdom

2 papers here11 citations across 2
fields
  • cs.DC1
  • cs.SE1
ROR 018t3ct36OpenAlex

affiliations via OpenAlex

most citedMeasuring the Impact of Interference Channels on Multicore Avionics

11 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

  • A. Nellis1 · h 7
  • D. Kroening1 · h 57
  • Michael Tautschnig1 · h 25
  • Pascal Kesseli1 · h 8
  • P. Conmy1 · h 6
  • P. Schrammel1 · h 17
  • Samuel R. Thompson1 · h 2
  • S. Vanderleest1 · h 9
collaborating institutions
  • A123 Systems (United States)US1 paper
  • Queen Mary University of LondonGB1 paper
  • University of OxfordGB1 paper
  • University of SussexGB1 paper
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2015

Assisted Coverage Closure

Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy +3

The malfunction of safety-critical systems may cause damage to people and the environment. Software within those systems is rigorously designed and verified according to domain spe…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.