César Sánchez – författare

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

Abogado, especialista en derecho minero petrolero y doctor en Derecho de la Universidad Externado de Colombia. Magíster en Estudios Políticos de la Universidad Nacional de Colombia y magíster en Investigación Interdisciplinaria de la Universidad Distrital Francisco José de Caldas. Conjuez del Tribunal Administrativo de Cundinamarca. Ex consultor de la Corte Constitucional, ex codirector del Observatorio de Jurisprudencia y Doctrina del Instituto Colombiano de Derecho Tributario. Profesor titular de la Universidad Externado de Colombia. Editor de la Revista de Derecho Fiscal del CEEF de la Universidad Externado de Colombia. Consultor independiente en derecho tributario.Profesor de la especialización en Derecho Tributario y de la maestría en Derecho del Estado con énfasis en Tributación de la Facultad de Derecho de la Universidad Externado de Colombia; se ha desempeñado como director de Impuestos Nacionales, secretario de Hacienda de Bogotá, y formó parte de la Comisión de Expertos para el Estudio del Sistema Tributario Colombiano; es magistrado de la Sección Cuarta del Consejo de Estado.