Institute

Back to overview
Name

Software Institute Facoltà di scienze informatica Università della Svizzera italiana

Address Software Institute Facoltà di scienze informatica Università della Svizzera italiana
Via Giuseppe Buffi 13
6900
CH-Lugano
Show all

Projects

Responsible applicant Institution of higher education Start End date Funding scheme

22nd International Conference on Domain Decomposition Methods
Krause Rolf Università della Svizzera italiana - USI 01.09.2013 30.11.2013 Scientific Conferences

Sparse inference of complex networks
Wit Ernst Università della Svizzera italiana - USI 01.12.2019 30.11.2023 Project funding (Div. I-III)

GSync - Global Synchronous Software Development
Lanza Michele Università della Svizzera italiana - USI 01.04.2010 31.03.2013 Project funding (Div. I-III)

ASysT: Automatic System Testing
Pezzè Mauro Università della Svizzera italiana - USI 01.10.2015 30.06.2018 Project funding (Div. I-III)

VIA - Vertical Profiling and Optimization of Modern Interactive Applications
Hauswirth Matthias Università della Svizzera italiana - USI 01.04.2007 31.03.2009 Project funding (Div. I-III)

Design principles for cryptographic hash functions: foundations, primitives and transforms
Lenstra Arjen K. Università della Svizzera italiana - USI 01.10.2008 30.09.2011 Project funding (Div. I-III)

Balanced Graph Partition Refinement using the Graph p-Laplacian
Schenk Olaf Università della Svizzera italiana - USI 01.04.2019 31.03.2023 Project funding (Div. I-III)

32nd European Workshop on Computational Geometry (EuroCG) 2016
Papadopoulou Evanthia Università della Svizzera italiana - USI 01.03.2016 31.05.2016 Scientific Conferences

Conceptual Change in Learning to Program
Hauswirth Matthias Università della Svizzera italiana - USI 01.12.2019 30.11.2023 Project funding (Div. I-III)

FAN: Foundations of dynamic program ANalysis
Binder Walter Università della Svizzera italiana - USI 01.04.2012 30.09.2015 Sinergia

Architectural design and exploration of innovative coarse grained reconfigurable arrays
Pozzi Laura Università della Svizzera italiana - USI 01.10.2008 31.08.2011 Project funding (Div. I-III)

PROBE - Live Actionable Software Analytics
Lanza Michele Università della Svizzera italiana - USI 01.10.2017 30.09.2021 Project funding (Div. I-III)

CLEF 2019, the 10th Conference and Labs of the Evaluation Forum
Crestani Fabio Università della Svizzera italiana - USI 01.08.2019 31.10.2019 Scientific Exchanges

Cross-Media Indexing (XMI) for Multimedia Information Retrieval
Crestani Fabio Università della Svizzera italiana - USI 01.05.2008 31.10.2011 Project funding (Div. I-III)

WASH: WorkArounds for Self-Healing
Pezzè Mauro Università della Svizzera italiana - USI 01.04.2009 31.03.2011 Project funding (Div. I-III)

Higher-order Voronoi Diagrams of Polygonal Objects
Papadopoulou Evanthia Università della Svizzera italiana - USI 01.10.2013 31.12.2014 Project funding (Div. I-III)

Learning faces from DNA
Bronstein Michael Università della Svizzera italiana - USI 01.09.2018 31.08.2022 Project funding (Div. I-III)

Geometry-Aware FEM in Computational Mechanics
Hormann Kai Università della Svizzera italiana - USI 01.10.2014 30.09.2016 Project funding (Div. I-III)

Adaptive distributed information retrieval (ADIR)
Crestani Fabio Università della Svizzera italiana - USI 01.05.2007 31.07.2008 Project funding (Div. I-III)

DEDUCE: Design of new tools to express Emotions During User Centred Evaluations
Landoni Monica Università della Svizzera italiana - USI 01.01.2009 31.12.2011 Project funding (Div. I-III)

Quality of Interpolants in Model Checking
Sharygina Natasha Università della Svizzera italiana - USI 01.05.2013 30.04.2015 Project funding (Div. I-III)

Swift-WAN: System support for distributed dynamic content Web services
Pedone Fernando Università della Svizzera italiana - USI 01.02.2009 31.01.2011 Project funding (Div. I-III)

Detection of Security Flaws and Vulnerabilities by Guided Model Checking
Sharygina Natasha Università della Svizzera italiana - USI 01.09.2006 30.09.2008 Project funding (Div. I-III)

Cloud-based Dynamic Program Analysis for Android Devices
Binder Walter Università della Svizzera italiana - USI 01.12.2017 31.05.2018 Scientific Exchanges

HI-SEA - Holistic Immersive Software Evolution Ambient
Lanza Michele Università della Svizzera italiana - USI 01.04.2013 31.03.2017 Project funding (Div. I-III)

ReSpec: Characterizing and Using the Intrinsic Redundancy of Software
Carzaniga Antonio Università della Svizzera italiana - USI 01.05.2013 31.08.2016 Project funding (Div. I-III)

AVATAR: Automated coVerAge-based Testing via static-dynamic Abstraction Refinement and coarsening
Pezzè Mauro Università della Svizzera italiana - USI 01.10.2010 31.08.2013 Project funding (Div. I-III)

ParaBoost: Many-core exploitation through virtual-machine-level multi-variant speculation
Hauswirth Matthias Università della Svizzera italiana - USI 01.10.2011 30.09.2014 Project funding (Div. I-III)

From Parallel SMT to Parallel Software Verification
Sharygina Natasha Università della Svizzera italiana - USI 01.09.2017 31.10.2019 Project funding (Div. I-III)

PALS - Privacy-Aware Location Sharing
Langheinrich Marc Università della Svizzera italiana - USI 01.04.2010 30.09.2013 Project funding (Div. I-III)

Innovative teaching curricula, methods and infrastructures for computer science and software engineering
Pautasso Cesare Università della Svizzera italiana - USI 01.09.2015 31.08.2018 SCOPES

CIAO: Composite Instrumentations And Optimizations for multicores
Binder Walter Università della Svizzera italiana - USI 01.10.2010 30.09.2011 Project funding (Div. I-III)

VORONOI++
Papadopoulou Evanthia Università della Svizzera italiana - USI 01.04.2016 31.08.2019 Project funding (Div. I-III)

Towards extreme-scale coupled electrothermal simulations of realistic nano-devices
Schenk Olaf Università della Svizzera italiana - USI 01.04.2014 31.03.2017 Project funding (Div. I-III)

Interactive Modelling of Dynamics 3D Surfaces
Hormann Kai Università della Svizzera italiana - USI 01.05.2011 30.04.2013 Project funding (Div. I-III)

Relevance Criteria Combination for Mobile Information Retrieval (RelMobIR)
Crestani Fabio Università della Svizzera italiana - USI 01.03.2015 28.02.2019 Project funding (Div. I-III)

Generalized Barycentric Interpolation
Hormann Kai Università della Svizzera italiana - USI 01.02.2014 30.04.2017 Project funding (Div. I-III)

Formal analysis and novel protocol designs for content-based routing
Carzaniga Antonio Università della Svizzera italiana - USI 01.10.2005 30.09.2007 Project funding (Div. I-III)

Dynamic Mesh Compression
Hormann Kai Università della Svizzera italiana - USI 01.05.2013 30.04.2014 Project funding (Div. I-III)

CloSE: Cloud Solving Engine
Pezzè Mauro Università della Svizzera italiana - USI 01.10.2013 30.09.2017 Project funding (Div. I-III)

Streamline: An Architecture for Application-Level Data Streaming
Pedone Fernando Università della Svizzera italiana - USI 01.04.2010 31.03.2013 Project funding (Div. I-III)

Dual-Phase Steels - From Micro to Macro Properties (EXASTEEL-2)
Schenk Olaf Università della Svizzera italiana - USI 01.01.2016 31.12.2018 Project funding (Div. I-III)

Generalized Voronoi Diagrams of Polygonal Objects: Algorithms and Applications
Papadopoulou Evanthia Università della Svizzera italiana - USI 01.09.2010 30.09.2013 Project funding (Div. I-III)

Streamline 2: An Architecture for Application-Level Data Networking
Pedone Fernando Università della Svizzera italiana - USI 01.04.2013 31.08.2017 Project funding (Div. I-III)

Hausdorff and Higher-Order Voronoi Diagrams
Papadopoulou Evanthia Università della Svizzera italiana - USI 01.11.2011 30.04.2015 Project funding (special)

ParaBoost: Exploiting multi-variant execution
Hauswirth Matthias Università della Svizzera italiana - USI 01.10.2014 31.03.2016 Project funding (Div. I-III)

Harnessing Parallel Computing for Model Checking
Sharygina Natasha Università della Svizzera italiana - USI 01.07.2014 30.06.2016 Project funding (Div. I-III)

SOSOA: Self-Organizing Service-Oriented Architectures
Binder Walter Università della Svizzera italiana - USI 01.02.2010 31.01.2014 Sinergia

Guiding SMT-Based Interpolation for Program Verification
Sharygina Natasha Università della Svizzera italiana - USI 01.03.2016 28.02.2018 Project funding (Div. I-III)

Network of reengineering expertise (NOREX)
Lanza Michele University of Applied Sciences and Arts of Southern Switzerland - SUPSI 01.11.2005 31.12.2007 SCOPES

Parallel multilevel solvers for coupled interface problems
Krause Rolf Università della Svizzera italiana - USI 01.05.2014 30.04.2017 Project funding (Div. I-III)

REBASE - REfactoring-BAsed object-oriented Software Evolution
Lanza Michele Università della Svizzera italiana - USI 01.03.2008 28.02.2010 Project funding (Div. I-III)

CLAVOS - Continuous Lifelong Analysis and Verification of Open Services
Pautasso Cesare Università della Svizzera italiana - USI 01.04.2009 31.03.2011 Project funding (Div. I-III)

A Decomposition Approach for the Numerical Solution of Frictional Contact Problems in Nonlinear Elasticity
Krause Rolf Università della Svizzera italiana - USI 01.10.2010 30.09.2013 Project funding (Div. I-III)

SENSOR - SENsible SOftware Refactoring
Bavota Gabriele Università della Svizzera italiana - USI 01.01.2020 31.12.2022 Bilateral programmes

AnaGraM: Adaptive numerical methods for time series analysis of time-dependent dynamical Graphs in the presence of Missing data
Horenko Illia Università della Svizzera italiana - USI 01.06.2014 31.10.2015 Project funding (Div. I-III)

CCQR - Crowdsourced Code Quality Review
Bavota Gabriele Università della Svizzera italiana - USI 01.09.2018 31.08.2022 Project funding (Div. I-III)

ExaSolvers - Extreme Scale Solvers for Coupled Systems
Krause Rolf Università della Svizzera italiana - USI 01.07.2017 30.06.2020 Project funding (Div. I-III)

TranScale: Towards a principled approach to highly available and scalable systems
Pedone Fernando Università della Svizzera italiana - USI 01.06.2018 31.05.2022 Project funding (Div. I-III)

SAM: Self Adaptive energy Market
Revetria Roberto Università della Svizzera italiana - USI 01.07.2014 30.09.2014 International short research visits

Theoretical basis for the design and evaluation of content-based routing protocols
Carzaniga Antonio Università della Svizzera italiana - USI 01.09.2009 31.08.2012 Project funding (Div. I-III)

Compiler Technology for Customisable Embedded Processors
Pozzi Laura Università della Svizzera italiana - USI 01.10.2006 30.09.2008 Project funding (Div. I-III)

Hi-Fi: Widely Applicable and Usable Automated Program Repair
Furia Carlo Alberto Università della Svizzera italiana - USI 01.10.2018 30.09.2022 Project funding (Div. I-III)

Swift-WAN2: Performance and dependability for data center applications
Pedone Fernando Università della Svizzera italiana - USI 01.04.2011 31.01.2013 Project funding (Div. I-III)

JITRA - Just-In-Time Rational refActoring
Bavota Gabriele Università della Svizzera italiana - USI 01.09.2017 31.08.2021 Project funding (Div. I-III)

SHARING21 - Future Digital Sharing Interfaces
Langheinrich Marc Università della Svizzera italiana - USI 01.10.2014 31.08.2018 Project funding (Div. I-III)

VIA - Vertical Profiling and Optimization of Modern Interactive Applications
Hauswirth Matthias Università della Svizzera italiana - USI 01.04.2009 30.09.2010 Project funding (Div. I-III)

Foundations and Implementation of Safe, Modular Language Extensions
Nystrom Nathaniel Università della Svizzera italiana - USI 01.10.2012 30.09.2015 Project funding (Div. I-III)

Towards secure and trustful cryptographic currencies and consensus ledgers
Sharygina Natasha Università della Svizzera italiana - USI 01.05.2018 31.10.2018 Scientific Exchanges

FERRARI - Framework for Efficient Rewriting and Reification Applying Runtime Instrumentation
Binder Walter Università della Svizzera italiana - USI 01.10.2007 30.09.2010 Project funding (Div. I-III)

Automatic Reconfiguration of High Performance Data Management Systems
Pedone Fernando Università della Svizzera italiana - USI 01.04.2007 30.11.2008 Project funding (Div. I-III)

DyStaCCo: Dynamic and STatic Analysis Combined for code COverage
Pezzè Mauro Università della Svizzera italiana - USI 01.09.2013 31.08.2015 Project funding (Div. I-III)

Fundamentals of Parallel Programming for Platform-as-a-Service Clouds
Binder Walter Università della Svizzera italiana - USI 01.11.2014 31.10.2018 Project funding (Div. I-III)

LoadOpt - Workload Characterization and Optimization for Multicore Systems
Binder Walter Università della Svizzera italiana - USI 01.03.2013 28.02.2018 Project funding (Div. I-III)

CLAVOS - Continuous Lifelong Analysis and Verification of Open Services
Pautasso Cesare Università della Svizzera italiana - USI 01.04.2011 28.02.2013 Project funding (Div. I-III)

HEARTFUSION: Imaging-driven Patient-specific Cardiac Simulation
Krause Rolf Università della Svizzera italiana - USI 01.04.2017 31.08.2020 Project funding (Div. I-III)

HEBE: Highly Engaging eBook Experience
Landoni Monica Università della Svizzera italiana - USI 01.09.2010 28.02.2014 Project funding (Div. I-III)

BASE: Behavioral Analytics for Smart Environments
Langheinrich Marc Università della Svizzera italiana - USI 01.01.2020 31.12.2023 Project funding (Div. I-III)

BEST: Beyond Screen readers and Alt Text - Designing Multisensory Alternative to Text for Different Reading Abilities
Landoni Monica Università della Svizzera italiana - USI 01.09.2019 31.08.2023 Project funding (Div. I-III)

Mathematical modeling of credit and equity risk beyond homogeneity and stationarity assumptions: statistical factor models and high-performance data mining
Horenko Illia Università della Svizzera italiana - USI 01.09.2012 31.03.2017 Project funding (Div. I-III)

G-DEDUCE: Gestures in the Design of new tools to express Emotions During User Centred Evaluations
Landoni Monica Università della Svizzera italiana - USI 01.01.2012 31.12.2012 Project funding (Div. I-III)

TagMatch: Fast Partial Matching for Content Filtering and Routing
Carzaniga Antonio Università della Svizzera italiana - USI 01.02.2015 31.01.2018 Project funding (Div. I-III)

Sprint: Adaptive Data Management for Main-Memory Database Clusters
Pedone Fernando EPF Lausanne - EPFL 01.10.2004 31.03.2007 Project funding (Div. I-III)

Tracking Opinion Change Over Time (OpiTrack)
Crestani Fabio Università della Svizzera italiana - USI 01.06.2014 31.05.2018 Project funding (Div. I-III)

P2PImpulse: Fully Decentralized Estimation of Global Properties of Peer-to-Peer Networks
Carzaniga Antonio Università della Svizzera italiana - USI 01.10.2010 28.02.2014 Project funding (Div. I-III)

Magic ISEs: Enlarging the Scope of Automatic Instruction Set Extension
Pozzi Laura Università della Svizzera italiana - USI 01.11.2014 31.08.2019 Project funding (Div. I-III)

Perseos: Pervasive self-adaptive software systems
Pezzè Mauro Università della Svizzera italiana - USI 01.04.2007 31.03.2009 Project funding (Div. I-III)

SHADE: a Self HeAling DEsign methodology
Pezzè Mauro Università della Svizzera italiana - USI 01.11.2011 31.08.2015 Project funding (Div. I-III)

Early risk prediction on the Internet: an evaluation corpus
Losada Carril David E. Università della Svizzera italiana - USI 01.06.2015 31.08.2015 International short research visits

ASTERIx: Automatic System TEsting of inteRactive software applIcations
Pezzè Mauro Università della Svizzera italiana - USI 01.04.2018 31.03.2022 Project funding (Div. I-III)

AnaGraph : Adaptive numerical methods for nonstationary time series analysis of time-dependent graphs in context of dynamical systems
Horenko Illia Università della Svizzera italiana - USI 01.10.2010 31.10.2013 Project funding (Div. I-III)

Cosmmus: an infrastructure for massively multiplayer online games
Pedone Fernando Università della Svizzera italiana - USI 01.04.2013 30.09.2016 Project funding (Div. I-III)

Mining Conversational Content for Topic Modelling and Author Identification (ChatMiner)
Crestani Fabio Università della Svizzera italiana - USI 01.04.2010 31.03.2013 Project funding (Div. I-III)

A Flexible High Performance Approach to Cardiac Electromechanics
Krause Rolf Università della Svizzera italiana - USI 01.04.2014 31.03.2017 Project funding (Div. I-III)

Geometry-Aware FEM in Computational Mechanics
Hormann Kai Università della Svizzera italiana - USI 01.09.2012 30.09.2014 Project funding (Div. I-III)

Detection of Security Flaws and Vulnerabilities by Guided Model Checking - extension
Sharygina Natasha Università della Svizzera italiana - USI 01.10.2008 30.09.2010 Project funding (Div. I-III)

Cosmmus 2: an infrastructure for scalable distributed applications
Pedone Fernando Università della Svizzera italiana - USI 01.10.2016 31.05.2019 Project funding (Div. I-III)

Beyond Symbolic Model Checking through Deep Modelling
Sharygina Natasha Università della Svizzera italiana - USI 01.11.2019 31.10.2023 Project funding (Div. I-III)
-