[Functional Assets Required to Make Highly Available Nontrivial Distributed Systems] 
Main
Description
Methodology, components & tools
Development methodology
- Design patterns
   * Basic server
   * Guarded suspension
   * Resources scheduler
   * Data dispatcher
   * Process compound
- Validation
P2P infrastructure
Model-based dev. framework
Fault-tolerant TCP/IP stack
JWMTool
Project team
Publications
Contact
 


Publications
 

International publications (2009)

  • A. Blanco, E. Freire, J. L. Freire, and J. París, The foldl operator as a coequalizer using Coq, in Extended Abstract Proceedings of the 12th International Conference on Computer Aided Systems Theory, pp. 58-60, 2009.
  • L. M. Castro, M. A. Francisco, and V. M. Gulías, Testing integration of applications with QuickCheck, in Extended Abstracts Proceedings of the 12th International Conference on Computer Aided Systems Theory, pp. 299-300, 2009.
  • J. S. Jorge, V. M. Gulías, and J. L. Freire, Certifying properties of an efficient functional program for computing Groebner basis, Journal of Symbolic Computation, vol. 44, pp. 571-582, 2009.
  • S. Rivas, M. Barreiro, V. M. Gulías, Multiplexing Digital Multimedia Data, Encyclopedia of Multimedia Technology and Networking (Idea Group), vol. 2, pp. 1023-1032, 2009.
  • S. Rivas, M. Barreiro, V. M. Gulías, Interactive Playout of Digital Video Streams, Encyclopedia of Multimedia Technology and Networking (Idea Group), vol. 2, pp. 749-756, 2009.
  • C. Varela, V. M. Gulías, Unified Architecture for DVB-H Electronic Service Guide, Encyclopedia of Multimedia Technology and Networking (Idea Group), vol. 3, pp. 1464-1472, 2009.

International publications (2008)

  • C. Abalde, V. M. Gulías, and L. M. Castro, Efficient discovery of widely distributed and non-volatile resources on DHTs, in Proceedings of the 3rd International Conference on Internet and Web Applications and Services (ICIW'08), 2008.
  • L. M. Castro, M. A. Francisco, V. M. Gulías, Applications integration: a testing experience, in Post-Workshop Proceedings of the 6th Workshop on System Testing and Validation (STV'08). To appear.
  • T. Arts, L. M. Castro, and J. Hughes, Testing Erlang data types with Quviq QuickCheck, in Proceedings of ACM SIGPLAN Erlang Workshop (ICFP'08), September 27, Victoria (BC, Canada), 2008.
  • L. M. Castro, V. M. Gulías, C. Abalde and J. París, Database access and patterns in Erlang/OTP, in Proceedings of the 8th WSEAS International Conference on Applied Informatics and Communications (AIC'08), August 20-22, Rhodes (Greece), 2008.
  • L. M. Castro, V. M. Gulías, C. Abalde, and J. S. Jorge, Managing the risks of Risk Management, Journal of Decision Systems, vol. 17, pp. 501-521, 2008.
  • J. S. Jorge, V. M. Gulías, and L. M. Castro, Using Coq to prove properties of the cache level of a functional video-on-demand server, Lecture Notes in Artificial Intelligence-Intelligent Computer Mathematics, vol. 5144, pp. 296-299, 2008.
  • L. M. Castro, V. M. Gulías, C. Abalde, and J. París, Environment-independent methodology for accessing external data sources, WSEAS TRANSACTIONS on INFORMATION SCIENCE & APPLICATIONS, vol. 5, pp. 1-10, 2008.

International publications (2007)

  • L. M. Castro, C. F. Yang, N. Simon, and E. Leiss, Digital watermarking of MPEG videos: empirical studies and open source tools, in Proceedings of 23a Conferencia Latinoamericana de Informática (CLEI'07), 2007.
  • J. A. García, A. Blanco, R. Blanco, and J. París, A comparative performance evaluation of different implementations of the SOAP protocol, in Proceedings of the 5th IEEE European Conference on Web Services (ECOWS'07), pp. 109-118, 2007.
  • L. Fredlund and J. J. Sánchez, Model checking a VoD server using McErlang, in Extended Abstracts Proceedings of the 11th International Conference on Computer Aided Systems Theory, 2007.
  • C. Abalde, V. M. Gulías, and L. M. Castro, Towards a decentralized and structured network of P2P public information screens, Lecture Notes in Computer Science, vol. 4739, pp. 217-224, 2007.
  • J. París, V. M. Gulías, A. Valderruten, and J. S. Jorge, A distributed filesystem for spare storage, Lecture Notes in Computer Science, vol. 4739, pp. 249-256, 2007.
  • J. S. Jorge, V. M. Gulías, and L. M. Castro, Verification of program properties using different theorem provers: a case study, Lecture Notes in Computer Science, vol. 4739, pp. 233-240, 2007.
  • L. Fredlund and J. J. Sánchez, Model checking a video-on-demand server using McErlang, Lecture Notes in Computer Science, vol. 4739, pp. 539-546, 2007.
  • C. Abalde, V. M. Gulías, and L. M. Castro, Extending the VoDKA architecture with P2P aggregated content management, in Proceedings of 12th IEEE Symposium on Computers and Communications (ISCC'07), pp. 1085-1090. Aveiro, Portugal. July 1-4, 2007. Sponsored by IEEE Computer Society and IEEE Communications Society.
  • J. A. García, A. Blanco, and R. Blanco, Integration of legacy applications in advanced services, WSEAS TRANSACTIONS on INFORMATION SCIENCE & APPLICATIONS, vol. 4, pp. 787-793, April 2007.
  • J. S. Jorge, V. M. Gulías, and D. Cabrero, Verification, Validation and Testing in Software Engineering, ch. Certifying Properties of Programs using Theorem Provers, pp. 220-267. Hershey, PA: Idea Group Publishing, 2007.
  • C. Abalde, V. M. Gulías, L. M. Castro, C. Varela, and J. S. Jorge, Erlang/OTP framework for complex management applications development, in Proceedings of 3rd International Conference on Web Information Systems and Technologies (WEBIST'07). Barcelona, Spain. March 3-6, 2007, pp. 422-425, INSTICC Press, March 2007. Poster session.
  • J. París, V. M. Gulías, A. Valderruten, and J. S. Jorge, A Distributed Filesystem for Spare Storage, in Extended Abstracts of 11th International Conference on Computer Aided Systems Theory (EUROCAST 2007) (A. Quesada-Arencibia, J. C. Rodríguez, R. M.-D. jr., and R. Moreno-Díaz, eds.), (Las Palmas de Gran Canaria, España), pp. 85-86, IUCTC Universidad de Las Palmas de Gran Canaria, Feb. 2007.
  • J. S. Jorge, V. M. Gulías, and L. M. Castro, Using Coq and PVS for Certifying Properties on the Cache Subsystem of a Functional Video-on-Demand Server, in Extended Abstracts of 11th International Conference on Computer Aided Systems Theory (EUROCAST 2007) (A. Quesada-Arencibia, J. C. Rodríguez, R. Moreno-Díaz Jr., and R. Moreno-Díaz, eds.), (Las Palmas de Gran Canaria, España), pp. 81-82, IUCTC Universidad de Las Palmas de Gran Canaria, Feb. 2007.
  • C. Abalde, V. M. Gulías, L. M. Castro, Deploying VoDKA in a network of peer-to-peer public information screens, in Extended Abstracts of Eleventh International Conference on Computer Aided Systems Theory (Eurocast'07). Las Palmas de Gran Canaria. Spain. February 12-16, 2007 (A. Quesada-Arencibia, J. C. Rodríguez, R. M.-D. jr., and R. M. Díaz, eds.), pp. 77-78, IUCTC Universidad de Las Palmas de Gran Canaria, February 2007.
  • J. S. Jorge, V. M. Gulías, and L. M. Castro, Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio, in Actas de las VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento (JIISIC'07). Lima, Perú. 31 de enero al 2 de febrero. (P. U. C. del Perú, ed.), pp. 27-34, 2007.

International publications (2006)

  • J. A. García, A. Blanco, and R. Blanco, Incorporating applications to a service oriented architecture, in Proceedings of 5th WSEAS International Conference on SYSTEM SCIENCE and SIMULATION in ENGINEERING (ICOSSE06) December 16 - 18, 2006, pp. 401-407, December 2006.
  • J. París, V. M. Gulías, and A. Valderruten, Transparent connection migration for TCP services, in Proceedings of the 2006 IFIP WG 6.9 Workshop on Wireless Communications and Information Technology in Developing Countries (WCIT 2006) . August 20, 2006, August 2006.
  • V. M. Gulías, C. Abalde, L. Castro, and C. Varela, Formalisation of a functional risk management system, in Proceedings of 8th International Conference on Enterprise Information Systems (ICEIS'06). May 23 - 27, 2006, pp. 516-519, INSTICC Press, May 2006.

National publications (2006)

  • V. M. Gulías, C. Abalde, D. Cabrero, and M. Barreiro, Brewing VoDKA for six years: The develoment of a distributed functional video-on-demand server, in Programación y Lenguajes. Proceedings of VI Jornadas de Programación y Lenguajes 2006 (PROLE'06). Oct 4 - 6, 2006, pp. 263-272, Oct 2006.
  • J. S. Jorge, , V. M. Gulías, and J. L. Freire, Un programa funcional certificado y eficiente para el cálculo de Bases de Gröbner, in Actas del décimo Encuentro de Álgebra Computacional y Aplicaciones (EACA 2006). 7-9 de septiembre de 2006 (F. J. Castro-Jiménez and J. M. Ucha-Enríquez, eds.), (Sevilla), pp. 167-170, Sept. 2006.

International publications (2005)

  • V. M. Gulías, Teaching Functional Programming and Erlang, in Proceedings of Erlang/OTP User Conference (EUC'05), November 10, Alvsjo, Stockholm (Sweden), 2005.

PhD thesis

  • Juan José Sánchez Penas. From software architecture to formal verification of a distributed system. Directed by Thomas Arts and Víctor M. Gulías. University of Coruña, november 2006.
   

:: FARMHANDS - MADS Group ::