Jump to Navigation

Biblio

Found 6 results
Author Title Type [ Year(Asc)]
Filters: Author is Maria Alpuente Frasnedo  [Clear All Filters]
2007
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "An Abstract analysis framework for synchronous concurrent languages based on source-to-source transformation", Ernesto Pimentel (Ed.). VII Jornadas de Programación y Lenguajes PROLE 2007, Zaragoza, 12 al 14 de septiembre, Madrid, Spain, pp. 81–102, nov, 2007.
2006
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "Verifying real-time properties of tccp programs", Journal of Universal Computer Science, vol. 12, no. 11: Graz University of Technology, pp. 1551–1573, nov, 2006.
2005
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "Abstract model checking of TCCP programs", Electronic Notes in Theoretical Computer Science, vol. 112: Elsevier, pp. 19–36, dec, 2005.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "A Semantic framework for the abstract model checking of TCCP programs", Theoretical Computer Science, vol. 346: Elsevier, pp. 58–95, oct, 2005.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "A Semantic framework for the abstract model checking ot tccp programs", Francisco Javier López Fraguas (Ed.). Actas de las V Jornadas sobre Programación y Lenguajes. PROLE 2005: Simposio 10 del I Congreso Español de Informática (CEDI 2005), Granada 13 al 16 de Septiembre de 2005, Madrid, Thomson, pp. 97–100, feb, 2005.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "Verifying real time properties of tccp programs", Francisco Javier López Fraguas (Ed.). Actas de las V Jornadas sobre Programación y Lenguajes. PROLE'2005: Simposio 10 del I Congreso Español de Informática (CEDI 2005), Granada, 13 al 16 de Septimebre de 2005, Madrid, Thomson, pp. 85–94, oct, 2005.


Main menu 2

by Dr. Radut