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)
-