Laura Milagros
Castro Souto
Profesora Titular de Universidade
Publications by the researcher in collaboration with Laura Milagros Castro Souto (12)
2013
-
Feasibility of property-based testing for time-dependent systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
Declarative distributed advertisement system for iDTV: An industrial experience
PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming
-
Failover and takeover contingency mechanisms for network partition and node failure
Erlang'12 - Proceedings of the ACM SIGPLAN Erlang Workshop
2008
-
Environment-independent methodology for accessing external data sources
WSEAS Transactions on Information Science and Applications, Vol. 5, Núm. 9, pp. 1355-1364
-
Managing the risks of risk management
Journal of Decision Systems, Vol. 17, Núm. 4, pp. 501-521
-
Using Coq to prove properties of the cache level of a functional video-on-demand server
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
Adaptación al espacio europeo de educación superior de la asignatura de "algoritmos" en la facultad de informática de la universidad de a Coruña
El espacio europeo de educación superior. Una oportunidad para las enseñanzas técnicas: actas del congreso. [Recurso electrónico]. Zamora 19, 20, 21 y 22 de junio de 2007
-
Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio
VI Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria del Conocimiento 2007, JIISIC 2007
-
Erlang/OTP framework for complex management applications development
Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings
-
Verification of program properties using different theorem provers: A case study
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2003
-
ARMISTICE: An experience developing management software with Erlang
Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, ERLANG '03
-
ARMISTICE: Una experiencia desarrollando software de gestión con Erlang
III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 (Servicio de Publicaciones), pp. 199