[Distributed TCP/IP Stack for Fault Tolerant Applications] 
Main
Brief Description
Connection Migration
Automatic Connection Migration
- Active Synchronization
- Passive Synchronization
Erlang
Project team
Publications
Contact


Publications
 
International publications
  • J. Paris, V. M. Gulias, A. Valderruten, A High Performance Erlang TCP/IP Stack. Proceedings book of the ACM SIGPLAN 2005 Erlang Workshop. September 25, 2005. pp 52-61.

  • J. Paris, V. M. Gulias, A. Valderruten, Developing a Functional TCP/IP Stack Oriented towards TCP Connection Replication. Abstracts book of II IFIP/ACM Latin America Networking Conference (LANC'05). pp. 133-133, October 2005.

  • J. Paris, V. M. Gulias, and A. Valderruten, Transparent connection migration for tcp services. Proceedings of the 2006 IFIP WG 6.9 Workshop on Wireless Communications and Information Technology in Developing Countries (WCIT 2006) . August 20, 2006.

  • J. Paris, V. M. Gulias, A. Valderruten, and J. S. Jorge, A Distributed Filesystem for Spare Storage. 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.

  • V. M. Gulias, C. Abalde, D. Cabrero, and M. Barreiro Brewing vodka for six years: The develoment of a distributed functional video-on-demand server. Programacion y Lenguajes. Proceedings of VI Jornadas de Programacion y Lenguajes 2006 (PROLE'06). Oct 4 - 6, 2006, pp 263-272, Oct 2006

  • J.Paris, V.M. Gulias, 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. Gulias 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.

  • J.Paris, V. M. Gulias, A. Valderruten, and J. S. Jorge, A Distributed Filesystem for Spare Storage. 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. Gulias, and L. M. Castro, Using Coq and Pvs for Certifying Properties on the Cache Subsystem of a Functional Video-on-Demand Server. 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

  • J. S. Jorge, V. M. Gulias, and L. M. Castro, Certificacion de propiedades usando distintos probadores de teoremas: un caso de estudio. Actas de las VI Jornadas Iberoamericanas de Ingenieria del Software e Ingenieria del Conocimiento (JIISIC'07). Lima, Peru. 31 Jan to 2 Feb 2007. (P. U. C. del Perú, ed.), pp. 27-34, 2007

  • C. Abalde, V. M. Gulias, L. M. Castro, C. Varela, and J. S. Jorge, Erlang/OTP framework for complex management applications development. 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.

  • J. S. Jorge, V. M. Gulias, 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.
 

MADS Group