Istituto di sistemi informatici (SYS)
Progetti finanziati
In corso (8)
- Pozzi L. (2025) Ax4DNNs: Integrating Approximate Computing with Deep Neural Networks
- Mangipudi S. (2025) STRIDE - STRIDE secure transparent resilient independent distributed execution
- Langheinrich M. (2025) EXperiMental: Wearable Technology and EXplainable AI for Mental Health and Inclusivity in Schools
- Gjoreski M. (2024) 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
Conclusi (72)
- Langheinrich M. (2026) HARPA - Human-centered Approaches to Responsible Privacy for and with AI
- Pozzi L. (2025) Approximating Deep Neural Networks via Custom Arithmetic: a Tradeoff Between Accuracy and Power Consumption
- Eugster P. T. (2025) Deterministic Distributed Systems (DEEDS)
- Otoni R. B. (2024) Automated Probabilistic Reasoning for Quantum Networks
- Pedone F. (2024) State management for replication
- Santini S. (2024) Towards Scalable Causal Deep Learning: A Pilot Study
- Langheinrich M. (2024) Building Bridges Between Uncertainty Estimation and Explainable AI for Reliable and Understandable Data-driven Decision-making
- Eugster P. T. (2024) Quantum Network Specification and Verification
- Pozzi L. (2023) Incremental SAT Solving for Quantified Boolean Formulas
- Eugster P. T. (2023) Towards Dynamic Service Function Chaining
- Chuprikov P. (2023) Safe and Modular Control Plane-aware Programming of the Network Data Plane
- 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
- Eugster P. T. (2021) Symmetric Homomorphic Encryption forLow-Latency Privacy-Preserving Data Processing
- Chuprikov P. (2021) Towards comprehensive network monitoring and management
- Eugster P. T. (2021) BASIS - hyBrid Asynchronous/Synchronous dIstributed Systems
- Pozzi L. (2020) ADApprox - Towards Application-Driven Approximate Logic Synthesis
- Eugster P. T. (2020) A Methodological Approach to Privacy-Preserving Computation
- 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 - Futuro digitale delle interfacce condivise
- 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) NCCR MICS (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) Tecnologia di compilazione per processori integrati personalizzabili
- Pedone F. (2006) Database Systems: Concepts, Design and Architecture
- Pedone F., Murphy A. (2005) MICS - NCCR MICS: ( sub-project: 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 for content-based routing
- Pedone F. (2004) SPRINT - Adaptive Data Management for Main-memory Database Clusters
- Pedone F. (2004) GORDA - Open Replication of Databases
