Computer Systems Institute (SYS)
Projects
In progress (9)
- Pedone F. (2024) State management for replication
- Barbiero P. (2024) Towards Scalable Causal Deep Learning: A Pilot Study
- Gjoreski M. (2023) XAI-PAC: Towards Explainable and Private Affective Computing
- Langheinrich M. (2023) TRUST-ME - TRUST-ME: TRUstworthy enhancement of job SaTisfaction and productivity using Micro-sensing in work Environments
- Langheinrich M. (2023) SmartCHANGE - AI-based long-term health risk evaluation for driving behaviour change strategies in children and youth
- Eugster P. T. (2022) CLOUDSTARS - Cloud Open Source Research Mobility Network
- Santini S. (2021) PROSELF - Semi-automated Self-Tracking Systems to Improve Personal Productivity
- Eugster P. T. (2021) BASIS - hyBrid Asynchronous/Synchronous dIstributed Systems
- Pozzi L. (2020) ADApprox - Towards Application-Driven Approximate Logic Synthesis
Completed (58)
- Eugster P. T. (2023) Towards Dynamic Service Function Chaining
- Tonella P. (2022) Metamorphic Hyperproperty Testing
- Eugster P. T. (2022) Towards Session Type based Verification of Distributed Middleware Systems
- Eugster P. T. (2021) TLA+ based Verification of Blockchain Protocols
- Chuprikov P. (2021) Towards comprehensive network monitoring and management
- Pedone F. (2020) Fast Blockchain State Synchronization
- Eugster P. T. (2020) FORWARD - Fine-grained netwORk floW behAvior pReDiction
- Eugster P. T. (2020) Anomaly Detection for Resource-constrained Devices
- Langheinrich M. (2020) BASE - Behavioral Analytics for Smart Environments
- Pozzi L. (2019) ML-edge - Enabling Machine-Learning-Based Health Monitoring in Edge Sensors via Architectural Customization
- Eugster P. T. (2019) Towards Fine-grained Network Flow Prediction
- Soulé R. (2019) Debugging Programmable Data Planes
- Carzaniga A. (2019) DIGITALSKILLS - Reasoned, Rational, and Responsible Decisions
- Pedone F. (2018) TranScale - Towards a principled approach to highly available and scalable systems
- Pozzi L. (2017) MyPreHealth - Predicting Episodic Disorders with Health Companions
- Soulé R., Lanza M. (2017) BIGDATA - Exploratory Visual Analytics for Interaction Graphs
- Pedone F. (2016) Cosmmus 2 - An infrastructure for scalable distributed applications
- Soulé R., Pedone F. (2016) Consensus Protocol Exploiting Network Co-Design
- Pedone F. (2016) GlobalFS - Geographically distributed file system
- Langheinrich M. (2016) PersonAAL - Personalized web applications to improve quality of life and remote care for older adults
- Soulé R. (2015) Online Data Center Modeling
- Pozzi L. (2015) E4Bio - Energy-efficient heterogeneous systems for embedded bio-signal analysis
- Carzaniga A. (2015) TagMatch - Fast Partial Matching for Content Filtering and Routing
- Pozzi L. (2014) Magic ISEs - Enlarging the Scope of Automatic Instruction Set Extension
- Langheinrich M. (2014) SHARING21 - Future Digital Sharing Interfaces
- Eugster P. T. (2014) LiveSoft - Lightweight Verification of (Distributed Systems) Software
- Pedone F. (2014) MOSQL - MoSQL Storage Engine
- Langheinrich M., Crestani F. (2013) RECALL - Enhanced Human Memory
- Carzaniga A., Pezzè M. (2013) ReSpec - Characterizing and Using the Intrinsic Redundancy of Software
- Pedone F. (2013) Streamline 2 - An Architecture for Application-Level Data Networking
- Pedone F. (2013) COSMMUS - An infrastructure for massively multiplayer online games
- Pedone F. (2012) RS3 - Robust and Scalable Storage Systems
- Nystrom N. (2012) Foundations and Implementation of Safe, Modular Language Extensions
- Pedone F. (2012) The Datacenter Observatory
- Pedone F. (2012) Trustworthy Cloud Storage
- Pezzè M., Carzaniga A. (2011) SHADE - A Self HeAling DEsign methodology
- Pedone F. (2011) Swift-WAN2 - Performance and dependability for data center applications
- Langheinrich M. (2011) SAPIENT - Supporting fundamentAl rights, Privacy and Ethics in surveillaNce Technoligies
- Carzaniga A. (2010) P2PImpulse - Fully Decentralized Estimation of Global Properties of Peer-to-Peer Networks
- Langheinrich M. (2010) pd-net - Towards Future Pervasive Display Networks
- Pedone F. (2010) Spin Fund Bmob
- Langheinrich M. (2010) PALS - Privacy-Aware Location Sharing
- Pedone F. (2010) Streamline - An architecture for Application-level Data Streaming
- Carzaniga A. (2009) Theoretical basis for the design and evaluation of content-based routing protocols
- Langheinrich M. (2009) LiSS - Living in surveillance societies
- Pedone F. (2009) Exploiting transporters in the tumor-stroma interface to aim for a more efficient chemo-therapy
- Pedone F. (2009) Swift-WAN - System support for distributed dynamic content Web services
- Pozzi L. (2008) Architectural design and exploration of innovative coarse grained reconfigurable arrays
- Pedone F. (2008) Colloc 2 - Local Replication Strategies for Global Content Management in Large-Scale Distributed Systems
- Pedone F. (2008) System Support for Distributed Dynamic Content Web Services
- Pedone F. (2007) Automatic Reconfiguration of High Performance Data Management Systems
- Pozzi L. (2006) Compiler Technology for Customisable Embedded Processors
- Pedone F. (2006) Database Systems: Concepts, Design and Architecture
- Pedone F., Murphy A. (2005) MICS - Data dissemination in mobile ad hoc sensor environments
- Pedone F. (2005) Colloc - A Replication Engine for Peer-to-Peer Content Management in Large-Scale Distributed Systems
- Carzaniga A. (2005) Formal analysis and novel protocol designs
- Pedone F. (2004) SPRINT - Adaptive Data Management for Main-memory Database Clusters
- Pedone F. (2004) GORDA - Open Replication of Databases
