Publication

Integration of Correct-by-Construction BIP Models into the MetroII Design Space Exploration Flow

Related publications (28)

Adaptive Body Biasing in Strong Body Factor Technologies

With the advent of intelligent sensor nodes in everyday life, low power aspects of system design become more and more important. Adaptive body biasing is a promising methodology to achieve dynamic adaptation of the tradeoff between performance and energy b ...

EPFL2021

A consistent safety format and design approach for brittle systems and application to textile reinforced concrete structures

Aurelio Muttoni, Miguel Fernández Ruiz, Patrick Lorenzo Valeri, Qianhui Yu

Design and verification of structures in modern codes of practice account for a safety format, ensuring that the probability of failure does not exceed a given threshold. Although specific safety formats are proposed in some cases for special types of stru ...

2021

The Theory, Practice, and Ethical Challenges of Designing a Diversity-Aware Platform for Social Relations

Daniel Gatica-Perez, Lakmal Buddika Meegahapola

Diversity-aware platform design is a paradigm that responds to the ethical challenges of existing social media platforms. Available platforms have been criticized for minimizing users' autonomy, marginalizing minorities, and exploiting users' data for prof ...

ASSOC COMPUTING MACHINERY2021

Automated Design: A Journey Across Modelling, Optimization, and Education

Cyril Picard

Machine intelligence greatly impacts almost all domains of our societies. It is profoundly changing the field of mechanical engineering with new technical possibilities and processes. The education of future engineers also needs to adapt in terms of techni ...

EPFL2021

Design and temporal issues in Soil Bioengineering structures for the stabilisation of shallow soil movements

Giovanni De Cesare, Massimiliano Schwarz

In the last decades, soil bioengineering has gained considerable popularity worldwide, especially in hillslope, riverbank, and earth embankment stabilisation works. The use of plants as a building material transfers the plant multifunctionality within engi ...

2021

Beyond Security and Efficiency: On-Demand Ratcheting with Security Awareness

Serge Vaudenay, Andrea Felice Caforio, Fatma Betül Durak

Secure asynchronous two-party communication applies ratcheting to strengthen privacy, in the presence of internal state exposures. Security with ratcheting is provided in two forms: forward security and post-compromise security. There have been several suc ...

2021

Facilitators First: Building a Tool With Facilitators to Foster a More Collaborative Makerspace Community Through Movement Traces

Bertrand Roland Schneider, Léonore Valentine Guillain

Research indicates that makerspaces equip students with the practical skills needed to build their own projects and thrive in the twenty-first-century workforce. While the appeal of makerspaces lies in their spirit of tinkering and community-driven ethos, ...

ASSOC COMPUTING MACHINERY2021

Advances in Bias-aware Recommendation on the Web

Mirko Marras

The goal of this tutorial is to provide the WSDM community with recent advances on the assessment and mitigation of data and algorithmic bias in recommender systems. We first introduce conceptual foundations, by presenting the state of the art and describi ...

ASSOC COMPUTING MACHINERY2021