@article {FV06, title = {Automatic Verification of Timed Concurrent Constraint programs}, journal = {Theory and Practice of Logic Programming}, volume = {6}, number = {3}, year = {2006}, pages = {265{\textendash}300}, keywords = {cc, model checking}, author = {Moreno Falaschi and Alicia Villanueva} } @article {AGPV05, title = {A Semantic Framework for the Abstract Model Checking of tccp programs}, journal = {{Theoretical Computer Science}}, volume = {346}, year = {2005}, pages = {58{\textendash}95}, keywords = {Abstraction, cc, model checking}, author = {Maria Alpuente and Gallardo, M.M. and Pimentel, E. and Alicia Villanueva} } @inbook {AFV04, title = {A Symbolic Model checker for tccp Programs}, booktitle = {Proceedings of the International Workshop on Rapid Integration of Software Ingeneering techniques (RISE{\textquoteright}04)}, series = {Lecture Notes in Computer Science}, volume = {3475}, year = {2005}, pages = {45{\textendash}56}, publisher = {Springer Verlag}, organization = {Springer Verlag}, keywords = {cc, model checking, symbolic representation}, author = {Maria Alpuente and Moreno Falaschi and Alicia Villanueva} } @article {AGPV04, title = {Abstract Model Checking of tccp programs}, journal = {Electronic Notes in Theoretical Computer Science (ENTCS)}, volume = {112}, year = {2004}, pages = {19{\textendash}36}, keywords = {Abstraction, cc, model checking}, author = {Maria Alpuente and Gallardo, M.M. and Pimentel, E. and Alicia Villanueva} } @proceedings {AFV03b, title = {Symbolic Model Checking for Timed Concurrent Constraint Programs}, journal = {Proceedings of the III Jornadas de Programaci{\'o}n y Lenguajes}, year = {2003}, address = {Alicante}, keywords = {cc, model checking, symbolic representation}, author = {Maria Alpuente and Moreno Falaschi and Alicia Villanueva} } @proceedings {FPV01, title = {Time Limited Model Checking}, journal = {Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE{\textquoteright}01)}, year = {2001}, keywords = {cc, model checking}, author = {Moreno Falaschi and Policriti, A. and Alicia Villanueva}, editor = {Delzanno, G. and Etalle, S. and Gabbrielli, M.} } @proceedings {FPV00a, title = {Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language}, journal = {Proceedings of the 2000 Joint Conference on Declarative Programming}, year = {2000}, publisher = {University of La Habana}, address = {La Habana, Cuba}, keywords = {cc, model checking}, author = {Moreno Falaschi and Policriti, A. and Alicia Villanueva} } @article {FPV00b, title = {Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language - I}, journal = {Electronic Notes in Theoretical Computer Science (ENTCS)}, volume = {48}, year = {2000}, pages = {1{\textendash}15}, keywords = {cc, model checking}, author = {Moreno Falaschi and Policriti, A. and Alicia Villanueva} }