Hernan Camilo Rocha Niño

2014

Rewriting modulo SMT and open system analysis

Rocha, C., Meseguer, J. & Muñoz, C., 2014, En: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8663, p. 247-262 16 p.

Producción: Contribución a una revista › Artículo › revisión exhaustiva

Acceso abierto

24 Citas (Scopus)

Synchronous set relations in rewriting logic

Rocha, C. & Muñoz, C., 05 oct. 2014, En: Science of Computer Programming. 92, PART B, p. 211-228 18 p.

Producción: Contribución a una revista › Artículo › revisión exhaustiva

Acceso abierto

2013

Automatic proof-search heuristics in the Maude invariant analyzer tool

Rocha, C., 2013, 2013 8th Computing Colombian Conference, 8CCC 2013. IEEE Computer Society, 6637512. (2013 8th Computing Colombian Conference, 8CCC 2013).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

1 Cita (Scopus)

2012

A formal interactive verification environment for the plan execution interchange language

Rocha, C., Cadavid, H., Muñoz, C. & Siminiceanu, R., 2012, Integrated Formal Methods - 9th International Conference, IFM 2012, Proceedings. p. 343-357 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7321 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

7 Citas (Scopus)

Order-sorted equality enrichments modulo axioms

Gutiérrez, R., Meseguer, J. & Rocha, C., 2012, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. p. 162-181 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7571 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

7 Citas (Scopus)

2011

A formal library of set relations and its application to synchronous languages

Rocha, C., Muñoz, C. & Dowek, G., 26 ago. 2011, En: Theoretical Computer Science. 412, 37, p. 4853-4866 14 p.

Producción: Contribución a una revista › Artículo › revisión exhaustiva

Acceso abierto

4 Citas (Scopus)

Proving safety properties of rewrite theories

Rocha, C. & Meseguer, J., 2011, Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings. p. 314-328 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6859 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

26 Citas (Scopus)

Simulation and verification of synchronous set relations in rewriting logic

Rocha, C. & Muñoz, C., 2011, Formal Methods: Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, Revised Selected Papers. p. 60-75 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7021 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

2 Citas (Scopus)

Tool interoperability in the Maude formal environment

Durán, F., Rocha, C. & Álvarez, J. M., 2011, Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings. p. 400-406 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6859 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

4 Citas (Scopus)

Towards a maude formal environment

Durán, F., Rocha, C. & Álvarez, J. M., 2011, Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Agha, G., Meseguer, J. & Danvy, O. (eds.). p. 329-351 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7000 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

21 Citas (Scopus)

2010

Constructors, sufficient completeness, and deadlock freedom of rewrite theories

Rocha, C. & Meseguer, J., 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Proceedings. Springer Verlag, p. 594-609 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6397 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

12 Citas (Scopus)

Rewriting logic semantics of a plan execution language

Dowek, G., Muñoz, C. & Rocha, C., 15 feb. 2010, En: Electronic Proceedings in Theoretical Computer Science, EPTCS. 18, p. 77-91 15 p.

Producción: Contribución a una revista › Artículo de la conferencia › revisión exhaustiva

Acceso abierto

11 Citas (Scopus)

2009

A graphical environment for the semantic validation of a plan execution language

Rocha, C., Mũnoz, C. & Cadavid, H., 2009, Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009. p. 201-207 7 p. (Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

6 Citas (Scopus)

2008

Theorem proving modulo based on boolean equational procedures

Rocha, C. & Meseguer, J., 2008, Relations and Kleene Algebra in Computer Science - 10th Int. Conference on Relational Methods in Comput. Sci. and 5th Int. Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Proceedings. Springer Verlag, p. 337-351 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4988 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

12 Citas (Scopus)

2006

A semantics composici'on assembly and services and components

Título traducido de la contribución: Una semántica de ensamblaje y composición de servicios y componentesRocha, C., Garća, R. & Casallas, R., 2006, Actas IDEAS 2006 - 9th Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software. p. 37-50 14 p. (Actas IDEAS 2006 - 9th Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

2005

Towards the effective use of formal logic in the teaching of discrete math

Bohórquez, J. & Rocha, C., 2005, Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006. p. S3C-1-S3C-8 1560330. (ITHET 2005: 6th International Conference on Information Technology Based Higher Education and Training, 2005; vol. 2005).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

4 Citas (Scopus)

Hernan Camilo Rocha Niño

Producción

Resultados de la búsqueda