You are here

Publications

Export 8 results:
Filters: Keyword is model checking  [Clear All Filters]
2000
M. Falaschi, Policriti, A., and Villanueva, A., Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language - I, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 48, pp. 1–15, 2000.
M. Falaschi, Policriti, A., and Villanueva, A., Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language, Proceedings of the 2000 Joint Conference on Declarative Programming. University of La Habana, La Habana, Cuba, 2000.
2001
M. Falaschi, Policriti, A., and Villanueva, A., Time Limited Model Checking, Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE'01). 2001.
2003
M. Alpuente, Falaschi, M., and Villanueva, A., Symbolic Model Checking for Timed Concurrent Constraint Programs, Proceedings of the III Jornadas de Programación y Lenguajes. Alicante, 2003.
2004
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., Abstract Model Checking of tccp programs, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 112, pp. 19–36, 2004.
2005
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., A Semantic Framework for the Abstract Model Checking of tccp programs, {Theoretical Computer Science}, vol. 346, pp. 58–95, 2005.
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.
2006
M. Falaschi and Villanueva, A., Automatic Verification of Timed Concurrent Constraint programs, Theory and Practice of Logic Programming, vol. 6, pp. 265–300, 2006.