Data and Documentation
Open Data Policy
FAQ
EN
DE
FR
Suchbegriff
Advanced search
Institute
Back to overview
Name
Istituto del Software (SI) Facoltà di scienze informatiche
Address
Istituto del Software (SI) Facoltà di scienze informatiche
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
API-ACE: Analytics-based Continuous Design and Evolution of Microservice APIs
Pautasso Cesare
Università della Svizzera italiana - USI
01.03.2020
29.02.2024
Project funding
GSync - Global Synchronous Software Development
Lanza Michele
Università della Svizzera italiana - USI
01.04.2010
31.03.2013
Project funding
VIA - Vertical Profiling and Optimization of Modern Interactive Applications
Hauswirth Matthias
Università della Svizzera italiana - USI
01.04.2007
31.03.2009
Project funding
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
ASysT: Automatic System Testing
Pezzè Mauro
Università della Svizzera italiana - USI
01.10.2015
30.06.2018
Project funding
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
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
Relevance Criteria Combination for Mobile Information Retrieval (RelMobIR)
Crestani Fabio
Università della Svizzera italiana - USI
01.03.2015
28.02.2019
Project funding
WASH: WorkArounds for Self-Healing
Pezzè Mauro
Università della Svizzera italiana - USI
01.04.2009
31.03.2011
Project funding
ML2 - Multilevel and Domain Decomposition Methods for Machine Learning
Krause Rolf
Università della Svizzera italiana - USI
01.04.2021
31.03.2025
Project funding
Modeling and Deployment of Flexible Choreographies in Multi-chain Environments
Pautasso Cesare
Università della Svizzera italiana - USI
01.12.2021
30.11.2024
Project funding
CIAO: Composite Instrumentations And Optimizations for multicores
Binder Walter
Università della Svizzera italiana - USI
01.10.2010
30.09.2011
Project funding
VIA - Vertical Profiling and Optimization of Modern Interactive Applications
Hauswirth Matthias
Università della Svizzera italiana - USI
01.04.2009
30.09.2010
Project funding
INSTINCT: Improving Database Interactions in NoSQL Applications
Lanza Michele
Università della Svizzera italiana - USI
01.09.2020
31.08.2024
Project funding
DyStaCCo: Dynamic and STatic Analysis Combined for code COverage
Pezzè Mauro
Università della Svizzera italiana - USI
01.09.2013
31.08.2015
Project funding
Dimension++
Papadopoulou Evanthia
Università della Svizzera italiana - USI
01.06.2022
31.05.2025
Project funding
Adaptive distributed information retrieval (ADIR)
Crestani Fabio
Università della Svizzera italiana - USI
01.05.2007
31.07.2008
Project funding
Conceptual Change in Learning to Program
Hauswirth Matthias
Università della Svizzera italiana - USI
01.12.2019
30.11.2023
Project funding
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
Quality of Interpolants in Model Checking
Sharygina Natasha
Università della Svizzera italiana - USI
01.05.2013
30.04.2015
Project funding
ADApprox: Towards Application-Driven Approximate Logic Synthesis
Pozzi Laura
Università della Svizzera italiana - USI
01.10.2020
30.09.2024
Project funding
FAN: Foundations of dynamic program ANalysis
Binder Walter
Università della Svizzera italiana - USI
01.04.2012
30.09.2015
Sinergia
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
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
PROBE - Live Actionable Software Analytics
Lanza Michele
Università della Svizzera italiana - USI
01.10.2017
31.03.2022
Project funding
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
Cross-Media Indexing (XMI) for Multimedia Information Retrieval
Crestani Fabio
Università della Svizzera italiana - USI
01.05.2008
31.10.2011
Project funding
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
From Parallel SMT to Parallel Software Verification
Sharygina Natasha
Università della Svizzera italiana - USI
01.09.2017
31.10.2019
Project funding
SAM: Self Adaptive energy Market
Revetria Roberto
Università della Svizzera italiana - USI
01.07.2014
30.09.2014
International short research visits
Firms and tax competition in the digital economy: a data platform for geo-temporal network analysis
D'Ambros Marco
Università della Svizzera italiana - USI
01.03.2020
29.02.2024
NRP 77 Digital Transformation
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
JITRA - Just-In-Time Rational refActoring
Bavota Gabriele
Università della Svizzera italiana - USI
01.09.2017
31.08.2021
Project funding
TADAA, Tools for Assessing and Developing Affecting & Attractive Narratives for Girls in Informatics
Landoni Monica
Università della Svizzera italiana - USI
01.05.2022
30.04.2026
COST (European Cooperation in Science and Technology)
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
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
CloSE: Cloud Solving Engine
Pezzè Mauro
Università della Svizzera italiana - USI
01.10.2013
30.09.2017
Project funding
LoadOpt - Workload Characterization and Optimization for Multicore Systems
Binder Walter
Università della Svizzera italiana - USI
01.03.2013
28.02.2018
Project funding
CLAVOS - Continuous Lifelong Analysis and Verification of Open Services
Pautasso Cesare
Università della Svizzera italiana - USI
01.04.2011
28.02.2013
Project funding
HEARTFUSION: Imaging-driven Patient-specific Cardiac Simulation
Krause Rolf
Università della Svizzera italiana - USI
01.04.2017
31.08.2020
Project funding
HEBE: Highly Engaging eBook Experience
Landoni Monica
Università della Svizzera italiana - USI
01.09.2010
28.02.2014
Project funding
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
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
PARACAS: PARallelization tuning using ACcurate and efficient dynamic Analyses on managed runtime Systems
Binder Walter
Università della Svizzera italiana - USI
01.09.2020
31.08.2024
Project funding
Tracking Opinion Change Over Time (OpiTrack)
Crestani Fabio
Università della Svizzera italiana - USI
01.06.2014
31.05.2018
Project funding
CSF Workshop on Generalized Barycentric Coordinates in Computer Graphics and Computational Mechanics
Hormann Kai
Università della Svizzera italiana - USI
01.05.2022
31.07.2022
Scientific Exchanges
ParaBoost: Exploiting multi-variant execution
Hauswirth Matthias
Università della Svizzera italiana - USI
01.10.2014
31.03.2016
Project funding
Harnessing Parallel Computing for Model Checking
Sharygina Natasha
Università della Svizzera italiana - USI
01.07.2014
30.06.2016
Project funding
Perseos: Pervasive self-adaptive software systems
Pezzè Mauro
Università della Svizzera italiana - USI
01.04.2007
31.03.2009
Project funding
SHADE: a Self HeAling DEsign methodology
Pezzè Mauro
Università della Svizzera italiana - USI
01.11.2011
31.08.2015
Project funding
SOSOA: Self-Organizing Service-Oriented Architectures
Binder Walter
Università della Svizzera italiana - USI
01.02.2010
31.01.2014
Sinergia
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
Guiding SMT-Based Interpolation for Program Verification
Sharygina Natasha
Università della Svizzera italiana - USI
01.03.2016
28.02.2018
Project funding
ASTERIx: Automatic System TEsting of inteRactive software applIcations
Pezzè Mauro
Università della Svizzera italiana - USI
01.04.2018
31.03.2023
Project funding
Network of reengineering expertise (NOREX)
Lanza Michele
Università della Svizzera italiana - USI
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
Beyond Watching: Next Generation Programming Tutorials Leveraging Interaction Data
Mocci Andrea
Università della Svizzera italiana - USI
01.01.2020
31.12.2020
Spark
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
A Flexible High Performance Approach to Cardiac Electromechanics
Krause Rolf
Università della Svizzera italiana - USI
01.04.2014
31.03.2017
Project funding
REBASE - REfactoring-BAsed object-oriented Software Evolution
Lanza Michele
Università della Svizzera italiana - USI
01.03.2008
28.02.2010
Project funding
CLAVOS - Continuous Lifelong Analysis and Verification of Open Services
Pautasso Cesare
Università della Svizzera italiana - USI
01.04.2009
31.03.2011
Project funding
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
SENSOR - SENsible SOftware Refactoring
Bavota Gabriele
Università della Svizzera italiana - USI
01.01.2020
31.12.2022
Japan
The Dynamics of Innovation: latent space modelling of patent citations
Wit Ernst
Università della Svizzera italiana - USI
01.01.2021
31.12.2024
Project funding
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
CCQR - Crowdsourced Code Quality Review
Bavota Gabriele
Università della Svizzera italiana - USI
01.09.2018
31.08.2022
Project funding
ExaSolvers - Extreme Scale Solvers for Coupled Systems
Krause Rolf
Università della Svizzera italiana - USI
01.07.2017
30.11.2020
Project funding
Beyond Symbolic Model Checking through Deep Modelling
Sharygina Natasha
Università della Svizzera italiana - USI
01.11.2019
31.10.2023
Project funding
-