Information-flow Interfaces

Ezio Bartocci; Thomas Ferrère; Thomas Henzinger; Dejan Nickovic; Ana Oliveira da Costa

doi:10.1007/978-3-030-99429-7

Information-flow Interfaces

Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic (Speaker), Ana Oliveira da Costa

Security & Communication Technologies

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Publisher	Springer
Pages	3-22
Number of pages	20
ISBN (Print)	978-3-030-99428-0
DOIs	https://doi.org/10.1007/978-3-030-99429-7
Publication status	Published - 2022
Event	FASE 2022 - Duration: 2 Apr 2022 → 7 Apr 2022

Conference

Conference	FASE 2022
Period	2/04/22 → 7/04/22

Research Field

Dependable Systems Engineering

Access to Document

10.1007/978-3-030-99429-7Licence: Unspecified

Cite this

Bartocci, E., Ferrère, T., Henzinger, T., Nickovic, D., & da Costa, A. O. (2022). Information-flow Interfaces. In Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings (pp. 3-22). Springer. https://doi.org/10.1007/978-3-030-99429-7

@inproceedings{3bf19dbc93bd48e5b9ef02cbfbbde0f1,

title = "Information-flow Interfaces",

author = "Ezio Bartocci and Thomas Ferr{\`e}re and Thomas Henzinger and Dejan Nickovic and {da Costa}, {Ana Oliveira}",

year = "2022",

doi = "10.1007/978-3-030-99429-7",

language = "English",

isbn = "978-3-030-99428-0",

pages = "3--22",

booktitle = "Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings",

publisher = "Springer",

address = "Germany",

note = "FASE 2022 ; Conference date: 02-04-2022 Through 07-04-2022",

}

Bartocci, E, Ferrère, T, Henzinger, T, Nickovic, D & da Costa, AO 2022, Information-flow Interfaces. in Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Springer, pp. 3-22, FASE 2022, 2/04/22. https://doi.org/10.1007/978-3-030-99429-7

Information-flow Interfaces. / Bartocci, Ezio; Ferrère, Thomas; Henzinger, Thomas et al.
Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Springer, 2022. p. 3-22.

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

TY - GEN

T1 - Information-flow Interfaces

AU - Bartocci, Ezio

AU - Ferrère, Thomas

AU - Henzinger, Thomas

AU - da Costa, Ana Oliveira

A2 - Nickovic, Dejan

PY - 2022

Y1 - 2022

U2 - 10.1007/978-3-030-99429-7

DO - 10.1007/978-3-030-99429-7

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-030-99428-0

SP - 3

EP - 22

BT - Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

PB - Springer

T2 - FASE 2022

Y2 - 2 April 2022 through 7 April 2022

ER -

Bartocci E, Ferrère T, Henzinger T, Nickovic D, da Costa AO. Information-flow Interfaces. In Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Springer. 2022. p. 3-22 doi: 10.1007/978-3-030-99429-7