The R+D Group MiST (Multi-paradigm Software Technology)

Participation in R+D Projects

Ongoing research projects

• LEVITY (4 years, from Jan 1, 2009 to Dec 31, 2012). Funded by Spanish MICINN and EU (FEDER), TIN2008-06622-C03-02
  LightwEight Verification and debugging for Improving software securiTY
  Verificación y depuración ágiles orientadas a mejorar la seguridad del software
  In collaboration with the GPD and GSI research groups
  
  
• Improving Offline Program Specialization (2 years, 2007-2008), HA2006-0008
  Bilateral project Germany/Spain (Michael Leuschel, Heinrich-Heine-Universität Düsseldorf / Germán Vidal, UPV)
  
  
• MERIT (3 years, from Dec 31, 2005 to Dec 30, 2008). Funded by Spanish MEC and EU (FEDER), TIN2005-09207-C03-02
  Rigorous methods for mobile and heterogeneous software systems
  Métodos rigurosos para sistemas heterogéneos y móviles
  In collaboration with the CLIP and GPD research groups
  
  

Ongoing Research and Training Networks

• ICT for EU-India Cross-Cultural Dissemination, ALA/95/23/2003/077-054
  
  
• CoLogNet (Computational Logic Network)
  
  
• SPARCIM, the spanish chapter of ERCIM (European Research Consortium for Informatics and Mathematics)
  
  

Completed projects

• Debugging Techniques for Multi-Paradigm Declarative Programs (2 years, 2002-2003), HA2001-0059
  Bilateral project Germany/Spain (Michael Hanus, C.A.U. Kiel / Germán Vidal, UPV)
  
  
• Analysis and Transformation of Curry Programs (2 years, 1998-1999), HA1997-0073
  Bilateral project Germany/Spain (Michael Hanus, RWTH Aachen / María Alpuente, UPV)
  
  
• Programmable Strategies in Functional Programming: Logics and Optimization (2 years, 2004-2005), HU2003-0003
  Bilateral project Austria/Spain (Bernhard Gramlich, T.U. Wien / Salvador Lucas, UPV)
  
  
• Computational Strategies in Declarative Programming (2 years, 2002-2003), HU2001-0019
  Bilateral project Austria/Spain (Bernhard Gramlich, T.U. Wien / Salvador Lucas, UPV)
  
  
• Ambienti per la programmazione integrata di Sistemi Reattivi (2 years, 2001-2002), HI2000-0161
  Bilateral project Italy/Spain (Moreno Falaschi, U. Udine / María Alpuente, UPV)
  
  national
  
• GENTLE (1 year, from March 31, 2005 to March 31, 2006). Funded by Spanish MEC and EU (FEDER), TIN2004-00231
  Generic programming: tools, languages and environments
  Programación genérica: herramientas, lenguajes y entornos
  
  
• STREAM (3 years, from Nov 2001 to Nov 2004). Funded by Spanish MEC, TIC 2001-2705-C03
  Formal software tools: a multi-paradigm approach
  Métodos software formales: una aproximación multi-paradigma
  In collaboration with the GISUM and DEC research groups
  
  
• TREND (3 years, from Sep 1998 to Sep 2001). Funded by Spanish MEC, TIC 2001-2705-C03
  Advanced Program Development Techniques in a Declarative Environment
  Técnicas avanzadas de desarrollo de programas en entornos declarativos
  In collaboration with the GPD and GISUM research groups
  
  
• CPD (3 years, from July 1995 to July 1998). Funded by Spanish MEC, TIC 95-0433-C03
  Integration of Declarative Programming Paradigms
  Combinación de paradigmas declarativos
  In collaboration with the GPD and GISUM research groups
  
  regional
  
• TECFRAM (2 years, from Jan 2002 to Dec 2003). Funded by Generalitat Valenciana, CTIDIA 2002/205
  Slicing techniques for declarative multi-paradigm programs
  Técnicas de fragmentación para programas declarativos multi-paradigma
  
  
• Declarative Technology applied to the Resolution of Linear Systems and to the Analysis of Petri Nets (2 years, from Oct 2002 to Sep 2004)
  Funded by Universidad Politécnica de Valencia, UPV-2002.0651
  
  
• Modelling Concurrent Systems (2 years, from Jan 2001 to Dec 2002). Funded by Universidad Politécnica de Valencia