Foundations of Trustworthy AI for the Real World
Sound Notional Machines
Automated Verification of Blockchain Technologies with Correctness Guarantees
XXVIII Dies academicus
Eventi correnti
Dafny: a program verifier for functional correctness, and for students
Scalable Abstractions for Efficient Security Checks
Perspectives for Large-scale Evaluation Campaigns and the Cross-Language Evaluation Forum
[OSLab] Seminario, 10/2/2011, "Hardware e Software Open Source per Sistemi Embedded"
Reducing Video Memory Consumption
Power Modeling and Simulation for Wireless Sensor Networks
Algebraic Formal Methods for Invariant Generation
Nooku Jam Lugano 2011
Processing Mesh Animations - From Static to Dynamic Geometry and Back
Riconoscimento ated-ICT Ticino award - Prize: 8'000 CHF
Fall Semester Projects Presentations - Faculty of Informatics
Pen and Paper Everywhere
What influences developer to request information about a change?
The Lattice Boltzmann method and its application to biomedical problems
Diffusion bases and their applications
Semantic Document Architecture for Desktop Data Integration and Management
Challenges in Embedded System Design
From Adaptive Goals to Self-adaptive Service Compositions
Cerimonia di consegna dei diplomi della Facoltà di Scienze informatiche - Degree award ceremony of the Faculty of Informatics
Software Architect: Top Best Job in America 2010