MiST logo The MiST group
(Multi-paradigm Software Technology)


The common goal of the MiST group is the development of techniques for assisting the construction of reliable software through all phases of its life cycle: specification, debugging, validation, and optimization; we provide a solid formal basis for our developments which allows us to formally prove the correctness and effectiveness of the techniques. The group keeps a balance between theoretical and practical developments.

People

and the members of the ELP, CLIP, GPD, and GSI research groups

Ongoing projects

R+D projects
  • CAVI-ROSE (3 years, from Jan 1, 2014 to Dec 31, 2016) Funded by Spanish MINECO and EU (FEDER), TIN2013-44742-C4-1-R.
    Computer assisted validation by using sound and rigorous methods (Validación asistida de programas mediante métodos precisos y rigurosos)
    In collaboration with the GPD and GSI research groups
research and training Networks

Completed projects

international
  • 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)
  • 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
  • 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
  • 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
  • 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
research and training Networks
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

Publications (by member)