Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Designing Formally Correct Intermittent Systems
Graph Chatbot
Related lectures (29)
Previous
Page 2 of 3
Next
Systems for Health, Security, Energy and the Environment
Covers the Swiss Research Program on Engineering Multi-Scale Systems for Health, Security, Energy, and the Environment.
Nano-Tera: Engineering the Future
Explores engineering multi-scale systems for various sectors and showcases advancements in electronics design.
Media Security Standards
Explores the definition of media security standards and the standardization of a framework rather than a specific security tool.
Separation is all you need: Foundations for Modular Verification
Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.
Stainless Verification System Tutorial
Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.
Sustainable IT Strategies: Forum SI 2024
Discusses sustainable IT practices and strategies presented at the Forum SI 2024 at EPFL.
Nano-Tera: Engineering the Future
Covers engineering multi-scale systems for health, security, energy, and the environment, focusing on taking innovation from labs to daily life.
Programming Bugs: Understanding, Fixing, and Preventing
Explores programming challenges, debugging techniques, software testing, and security practices in software development.
Envirobot: Aquatic Pollutant Detection
Introduces the Envirobot project for detecting aquatic pollutants using miniaturized sensors and bacterial bioreporters.
Engineering Multi-Scale Systems: Innovating for Health, Security, and Energy
Explores engineering multi-scale systems for health, security, and energy applications.
