Institut

Zurück zur Übersicht
Name

Facoltà di scienze informatiche Università della Svizzera italiana

Anschrift Facoltà di scienze informatiche
Università della Svizzera italiana
Via Giuseppe Buffi 13
CH-6900 Lugano
Alle Daten anzeigen

Projekte

Verantw. Gesuchsteller/in Hochschule Start Enddatum Förderungsinstrument

Sprint: Adaptive Data Management for Main-Memory Database Clusters
Pedone Fernando EPF Lausanne - EPFL 01.10.2004 31.03.2007 Projektförderung (Abt. 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 Projektförderung (Abt. I-III)

Network of reengineering expertise (NOREX)
Lanza Michele SUP della Svizzera italiana - SUPSI 01.11.2005 31.12.2007 SCOPES

Detection of Security Flaws and Vulnerabilities by Guided Model Checking
Sharygina Natasha Università della Svizzera italiana - USI 01.09.2006 30.09.2008 Projektförderung (Abt. I-III)

Compiler Technology for Customisable Embedded Processors
Pozzi Laura Università della Svizzera italiana - USI 01.10.2006 30.09.2008 Projektförderung (Abt. I-III)

Automatic Reconfiguration of High Performance Data Management Systems
Pedone Fernando Università della Svizzera italiana - USI 01.04.2007 30.11.2008 Projektförderung (Abt. I-III)

VIA - Vertical Profiling and Optimization of Modern Interactive Applications
Hauswirth Matthias Università della Svizzera italiana - USI 01.04.2007 31.03.2009 Projektförderung (Abt. I-III)

Perseos: Pervasive self-adaptive software systems
Pezzè Mauro Università della Svizzera italiana - USI 01.04.2007 31.03.2009 Projektförderung (Abt. I-III)

Adaptive distributed information retrieval (ADIR)
Crestani Fabio Università della Svizzera italiana - USI 01.05.2007 31.07.2008 Projektförderung (Abt. I-III)

FERRARI - Framework for Efficient Rewriting and Reification Applying Runtime Instrumentation
Binder Walter Università della Svizzera italiana - USI 01.10.2007 30.09.2010 Projektförderung (Abt. I-III)

REBASE - REfactoring-BAsed object-oriented Software Evolution
Lanza Michele Università della Svizzera italiana - USI 01.03.2008 28.02.2010 Projektförderung (Abt. I-III)

Cross-Media Indexing (XMI) for Multimedia Information Retrieval
Crestani Fabio Università della Svizzera italiana - USI 01.05.2008 31.10.2011 Projektförderung (Abt. 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 Projektförderung (Abt. I-III)

Architectural design and exploration of innovative coarse grained reconfigurable arrays
Pozzi Laura Università della Svizzera italiana - USI 01.10.2008 31.08.2011 Projektförderung (Abt. 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 Projektförderung (Abt. 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 Projektförderung (Abt. 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 Projektförderung (Abt. I-III)

WASH: WorkArounds for Self-Healing
Pezzè Mauro Università della Svizzera italiana - USI 01.04.2009 31.03.2011 Projektförderung (Abt. I-III)

VIA - Vertical Profiling and Optimization of Modern Interactive Applications
Hauswirth Matthias Università della Svizzera italiana - USI 01.04.2009 30.09.2010 Projektförderung (Abt. I-III)

CLAVOS - Continuous Lifelong Analysis and Verification of Open Services
Pautasso Cesare Università della Svizzera italiana - USI 01.04.2009 31.03.2011 Projektförderung (Abt. I-III)

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 Projektförderung (Abt. I-III)

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

GSync - Global Synchronous Software Development
Lanza Michele Università della Svizzera italiana - USI 01.04.2010 31.03.2013 Projektförderung (Abt. I-III)

Streamline: An Architecture for Application-Level Data Streaming
Pedone Fernando Università della Svizzera italiana - USI 01.04.2010 31.03.2013 Projektförderung (Abt. 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 Projektförderung (Abt. I-III)

PALS - Privacy-Aware Location Sharing
Langheinrich Marc Università della Svizzera italiana - USI 01.04.2010 30.09.2013 Projektförderung (Abt. I-III)

HEBE: Highly Engaging eBook Experience
Landoni Monica Università della Svizzera italiana - USI 01.09.2010 28.02.2014 Projektförderung (Abt. I-III)

Generalized Voronoi Diagrams of Polygonal Objects: Algorithms and Applications
Papadopoulou Evanthia Università della Svizzera italiana - USI 01.09.2010 30.09.2013 Projektförderung (Abt. I-III)

CIAO: Composite Instrumentations And Optimizations for multicores
Binder Walter Università della Svizzera italiana - USI 01.10.2010 30.09.2011 Projektförderung (Abt. 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 Projektförderung (Abt. 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 Projektförderung (Abt. 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 Projektförderung (Abt. 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 Projektförderung (Abt. I-III)

Swift-WAN2: Performance and dependability for data center applications
Pedone Fernando Università della Svizzera italiana - USI 01.04.2011 31.01.2013 Projektförderung (Abt. I-III)

CLAVOS - Continuous Lifelong Analysis and Verification of Open Services
Pautasso Cesare Università della Svizzera italiana - USI 01.04.2011 28.02.2013 Projektförderung (Abt. I-III)

Interactive Modelling of Dynamics 3D Surfaces
Hormann Kai Università della Svizzera italiana - USI 01.05.2011 30.04.2013 Projektförderung (Abt. 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 Projektförderung (Abt. I-III)

Hausdorff and Higher-Order Voronoi Diagrams
Papadopoulou Evanthia Università della Svizzera italiana - USI 01.11.2011 30.04.2015 Projektförderung (spezial)

SHADE: a Self HeAling DEsign methodology
Pezzè Mauro Università della Svizzera italiana - USI 01.11.2011 31.08.2015 Projektförderung (Abt. 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 Projektförderung (Abt. I-III)

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

Geometry-Aware FEM in Computational Mechanics
Hormann Kai Università della Svizzera italiana - USI 01.09.2012 30.09.2014 Projektförderung (Abt. I-III)

Foundations and Implementation of Safe, Modular Language Extensions
Nystrom Nathaniel Università della Svizzera italiana - USI 01.10.2012 30.09.2015 Projektförderung (Abt. I-III)

LoadOpt - Workload Characterization and Optimization for Multicore Systems
Binder Walter Università della Svizzera italiana - USI 01.03.2013 28.02.2018 Projektförderung (Abt. I-III)

Streamline 2: An Architecture for Application-Level Data Networking
Pedone Fernando Università della Svizzera italiana - USI 01.04.2013 31.08.2017 Projektförderung (Abt. I-III)

HI-SEA - Holistic Immersive Software Evolution Ambient
Lanza Michele Università della Svizzera italiana - USI 01.04.2013 31.03.2017 Projektförderung (Abt. I-III)

Cosmmus: an infrastructure for massively multiplayer online games
Pedone Fernando Università della Svizzera italiana - USI 01.04.2013 30.09.2016 Projektförderung (Abt. I-III)

Dynamic Mesh Compression
Hormann Kai Università della Svizzera italiana - USI 01.05.2013 30.04.2014 Projektförderung (Abt. I-III)

Quality of Interpolants in Model Checking
Sharygina Natasha Università della Svizzera italiana - USI 01.05.2013 30.04.2015 Projektförderung (Abt. I-III)

ReSpec: Characterizing and Using the Intrinsic Redundancy of Software
Carzaniga Antonio Università della Svizzera italiana - USI 01.05.2013 31.08.2016 Projektförderung (Abt. I-III)

DyStaCCo: Dynamic and STatic Analysis Combined for code COverage
Pezzè Mauro Università della Svizzera italiana - USI 01.09.2013 31.08.2015 Projektförderung (Abt. I-III)

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

Higher-order Voronoi Diagrams of Polygonal Objects
Papadopoulou Evanthia Università della Svizzera italiana - USI 01.10.2013 31.12.2014 Projektförderung (Abt. I-III)

CloSE: Cloud Solving Engine
Pezzè Mauro Università della Svizzera italiana - USI 01.10.2013 30.09.2017 Projektförderung (Abt. I-III)

Generalized Barycentric Interpolation
Hormann Kai Università della Svizzera italiana - USI 01.02.2014 30.04.2017 Projektförderung (Abt. 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 Projektförderung (Abt. I-III)

A Flexible High Performance Approach to Cardiac Electromechanics
Krause Rolf Università della Svizzera italiana - USI 01.04.2014 31.03.2017 Projekte

Parallel multilevel solvers for coupled interface problems
Krause Rolf Università della Svizzera italiana - USI 01.05.2014 30.04.2017 Projektförderung (Abt. I-III)

Tracking Opinion Change Over Time (OpiTrack)
Crestani Fabio Università della Svizzera italiana - USI 01.06.2014 31.05.2018 Projektförderung (Abt. I-III)

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 Projektförderung (Abt. I-III)

Harnessing Parallel Computing for Model Checking
Sharygina Natasha Università della Svizzera italiana - USI 01.07.2014 30.06.2016 Projektförderung (Abt. I-III)

SAM: Self Adaptive energy Market
Revetria Roberto Università della Svizzera italiana - USI 01.07.2014 30.09.2014 Internationale Kurzaufenthalte

SHARING21 - Future Digital Sharing Interfaces
Langheinrich Marc Università della Svizzera italiana - USI 01.10.2014 31.08.2018 Projektförderung (Abt. I-III)

Geometry-Aware FEM in Computational Mechanics
Hormann Kai Università della Svizzera italiana - USI 01.10.2014 30.09.2016 Projektförderung (Abt. I-III)

ParaBoost: Exploiting multi-variant execution
Hauswirth Matthias Università della Svizzera italiana - USI 01.10.2014 31.03.2016 Projektförderung (Abt. 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 Projektförderung (Abt. I-III)

Magic ISEs: Enlarging the Scope of Automatic Instruction Set Extension
Pozzi Laura Università della Svizzera italiana - USI 01.11.2014 31.08.2018 Projektförderung (Abt. I-III)

TagMatch: Fast Partial Matching for Content Filtering and Routing
Carzaniga Antonio Università della Svizzera italiana - USI 01.02.2015 31.01.2018 Projektförderung (Abt. I-III)

Relevance Criteria Combination for Mobile Information Retrieval (RelMobIR)
Crestani Fabio Università della Svizzera italiana - USI 01.03.2015 28.02.2018 Projektförderung (Abt. 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 Internationale Kurzaufenthalte

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

ASysT: Automatic System Testing
Pezzè Mauro Università della Svizzera italiana - USI 01.10.2015 30.06.2018 Projektförderung (Abt. 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 Projektförderung (Abt. I-III)

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

Guiding SMT-Based Interpolation for Program Verification
Sharygina Natasha Università della Svizzera italiana - USI 01.03.2016 28.02.2018 Projektförderung (Abt. I-III)

VORONOI++
Papadopoulou Evanthia Università della Svizzera italiana - USI 01.04.2016 31.03.2019 Projektförderung (Abt. I-III)

Cosmmus 2: an infrastructure for scalable distributed applications
Pedone Fernando Università della Svizzera italiana - USI 01.10.2016 31.05.2019 Projektförderung (Abt. I-III)

ExaSolvers – Extreme Scale Solvers for Coupled Systems
Krause Rolf Università della Svizzera italiana - USI 01.07.2017 30.06.2020 Projektförderung (Abt. I-III)

JITRA – Just-In-Time Rational refActoring
Bavota Gabriele Università della Svizzera italiana - USI 01.09.2017 31.08.2021 Projektförderung (Abt. I-III)

HEARTFUSION: Imaging-driven Patient-specific Cardiac Simulation
Krause Rolf Università della Svizzera italiana - USI 01.09.2017 31.08.2020 Projekte

From Parallel SMT to Parallel Software Verification
Sharygina Natasha Università della Svizzera italiana - USI 01.09.2017 31.08.2019 Projektförderung (Abt. I-III)