The rise of digital fabrication has increased the use of wood-wood connections inspired by traditional carpentry in modern timber constructions. With recent developments on standard construction systems, the mechanical behavior of such joints for in-plane ...
Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...
Shanghai, in the early twentieth century, was a big construction site and attractive experimental field for Western designers. Because of its significant location and international role, the construction activities contributed to some landmarks of the worl ...
This dissertation discusses algorithmic verification techniques for concurrent component-based systems modeled in the Behavior-Interaction-Priority (BIP) framework with both bounded and unbounded concurrency. BIP is a component framework for mixed software ...
Environmental impact objectives are commonly found in building performance labels and rating schemes. Anticipating a building’s impact from the conceptual design stage and identifying decisions that do not compromise its chances of reaching these targets i ...
The rail link between Geneva Cornavin Station, Eaux-Vives Station and Annemasse (CEVA) is currently under construction including a cut-and-cover tunnel built by slurry walls located in the alluvium of the Foron River. The covered trench cuts the groundwate ...
Simultaneous consideration of active devices – especially mechanical heating and ventilation – and passive devices – including insulation and waterproofing of building envelopes – was one of the most notable aspects of studies of the management of physiolo ...
Software systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug and maintain. Architectures are common means for organising coordinati ...
Looking back at the history of concrete houses around 1900, we can discover how reinforced concrete, initially tied to construction systems of renowned inventors (and other less known), is gradually becoming autonomous and a material on its own, highlighte ...
We present a formalism, algorithms and tools to synthesise reactive systems that behave efficiently, i.e., which achieve an optimal trade-off between a given cost and reward model. Synthesis aims to automatically generate a program from a specification. Mo ...
