F.LI.T. | (Formal LIght-weight Tools)

You are here

M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O., “A Fast Algebraic Web Verification Service”, Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.

M. Alpuente, Gramlich, B., and Villanueva, A., “A Framework for Timed Concurrent Constraint Programming with External Functions”, Electronic Notes in Theoretical Computer Science, vol. 188C, pp. 143–155, 2007.

M. Alpuente, Ballis, D., Falaschi, M., and Romero, D. O., “A Semi-Automatic Methodology for Repairing Faulty Web Sites”, 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006). IEEE Computer Society, pp. 31–40, 2006.

M. Alpuente, Gramlich, B., and Villanueva, A., “Timed Concurrent Constraint Programming with Instantaneous Computations”, Actas de las VI Jornadas de Programaci. Sitges, Barcelona, Spain, 2006.

M. Alpuente, Ballis, D., and Falaschi, M., “Rule-based Verification of Web Sites”, International Journal on Software Tools for Technology Transfer (STTT), vol. 8, pp. 565–585, 2006.

M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “A Real-Time Logic for tccp verification”, Journal of Universal Computer Science, vol. 12, pp. 1551–1573, 2006.

M. Alpuente, Gramlich, B., and Villanueva, A., “Timed Concurrent Constraint programming with External Functions”. DSIC, UPV, 2006.

M. Alpuente, Falaschi, M., and Villanueva, A., “A Symbolic Model checker for tccp Programs”, in Proceedings of the International Workshop on Rapid Integration of Software Ingeneering techniques (RISE'04), vol. 3475, Springer Verlag, 2005, pp. 45–56.

M. Alpuente, Ballis, D., and Falaschi, M., “A Rewriting-based Framework for Web Sites Verification”, Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004). Elsevier, pp. 41–61, 2005.

M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “Verifying Real-Time Properties of tccp Programs”, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005. pp. 85–94, 2005.

Pages