9 citations
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Centre Inria de l'Université Grenoble AlpesFR1 paper
- Laboratoire d'Algorithmique, Complexité et Logique1 paper
- Laboratory Preuves, Programmes et SystèmesFR1 paper
- Technische Universität BraunschweigDE1 paper
- Université Paris DiderotFR1 paper
- Université Paris-Est CréteilFR1 paper
2 papers
cs.SE2016★ 9 cited
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
Sönke Holthusen, Sophie Quinton, Ina Schaefer +2
In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal…
cs.LO2015★ 7 cited
Reversible Barbed Congruence on Configuration Structures
Clément Aubert, Ioana Cristescu
A standard contextual equivalence for process algebras is strong barbed congruence. Configuration structures are a denotational semantics for processes in which one can define equi…