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
GSync - Global Synchronous Software Development
Lanza Michele
Università della Svizzera italiana - USI
01.04.2010
31.03.2013
Project funding (Div. I-III)
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 (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)
Conceptual Change in Learning to Program
Hauswirth Matthias
Università della Svizzera italiana - USI
01.12.2019
30.11.2023
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)
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 (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)
PROBE - Live Actionable Software Analytics
Lanza Michele
Università della Svizzera italiana - USI
01.10.2017
30.09.2021
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)
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)
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)
WASH: WorkArounds for Self-Healing
Pezzè Mauro
Università della Svizzera italiana - USI
01.04.2009
31.03.2011
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)
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)
ADApprox: Towards Application-Driven Approximate Logic Synthesis
Pozzi Laura
Università della Svizzera italiana - USI
01.10.2020
30.09.2024
Project funding (Div. I-III)
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)
SENSOR - SENsible SOftware Refactoring
Bavota Gabriele
Università della Svizzera italiana - USI
01.01.2020
31.12.2022
Bilateral programmes
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)
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 (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)
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)
INSTINCT: Improving Database Interactions in NoSQL Applications
Lanza Michele
Università della Svizzera italiana - USI
01.09.2020
31.08.2024
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)
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)
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)
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)
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)
Tracking Opinion Change Over Time (OpiTrack)
Crestani Fabio
Università della Svizzera italiana - USI
01.06.2014
31.05.2018
Project funding (Div. I-III)
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)
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)
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
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)
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 (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)
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)
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)
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)
CCQR - Crowdsourced Code Quality Review
Bavota Gabriele
Università della Svizzera italiana - USI
01.09.2018
31.08.2022
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)
ExaSolvers - Extreme Scale Solvers for Coupled Systems
Krause Rolf
Università della Svizzera italiana - USI
01.07.2017
30.11.2020
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
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)
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 (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)
-