Concept
Game semantics
Related publications (32)
Interdependent and Multi-Subject Privacy: Threats, Analysis and Protection
In Alan Westin's generally accepted definition of privacy, he describes it as an individual's right 'to control, edit, manage, and delete information about them[selves] and decide when, how, and to what extent information is communicated to others.' There ...
EPFL2019Foundations of Implicit Function Types
Martin Odersky, Fengyun Liu, Olivier Eric Paul Blanvillain
Implicit parameters are used pervasively in Scala and are also present in a number of other programming and theorem proving languages. This paper describes a generalization of implicit parameters as they are currently found in Scala to implicit function ty ...
2017Simplicitly: Foundations and Applications of Implicit Function Types
Martin Odersky, Fengyun Liu, Sandro Stucki, Olivier Eric Paul Blanvillain
Understanding a program entails understanding its context; dependencies, configurations and even implementations are all forms of contexts. Modern programming languages and theorem provers offer an array of constructs to define contexts, implicitly. Scala ...
2017Configuration logics: Modeling architecture styles
Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov
We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...
Elsevier Science Inc2017Parameterized Systems in BIP: Design and Model Checking
Joseph Sifakis, Simon Bliudze, Qiang Wang
BIP is a component-based framework for system design that has important industrial applications. BIP is built on three pillars: behavior, interaction, and priority. In this paper, we introduce first-order interaction logic (FOIL) that extends BIP to system ...
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik2016Uniting Language Embeddings for Fast and Friendly DSLs
The holy grail for a domain-specific language (DSL) is to be friendly and fast. A DSL should be friendly in the sense that it is easy to use by DSL end-users, and easy to develop by DSL authors. DSLs can be developed as entirely new compilers and ecosystem ...
EPFL2016Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP
Based on a concise but comprehensive overview of some fundamental properties required from component-based frameworks, namely compositionality, incrementality, flattening, modularity and expressiveness, we review three modifications of the semantics of glu ...
Elsevier2015Semantic Data Layers in Air Quality Monitoring for Smarter Cities
Karl Aberer, Julien Eberle, Jean Paul Calbimonte Perez
Air pollution is one of the key indicators for quality of life in urban environments, and is also the subject of global health concern, given the number of mortal diseases associated to exposure to pollutants. Assessing and monitoring air quality is an imp ...
2015Configuration Logics: Modelling Architecture Styles
Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov
We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...
Springer Int Publishing Ag2015Configuration Logics - Modelling Architecture Styles
Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov
We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1)~interaction logics for the specification of arch ...
2015