Manuel V. Hermenegildo

ORCID

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 52

Top Venues

CoRR

Theory Pract. Log. Program.

LOPSTR

ICLP (Technical Communications)

Publications

Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. CoRR (2024)
John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro López-García
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. LOPSTR (2023)
Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. CoRR (2023)
Daniel Jurjo, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
A Rule-Based Approach for Designing and Composing Abstract Domains. LOPSTR (2023)
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. 22 (6) (2022)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
50 Years of Prolog and Beyond. CoRR (2022)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22 (6) (2022)
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
Analysis and Transformation of Constrained Horn Clauses for Program Verification. Theory Pract. Log. Program. 22 (6) (2022)
Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro
An s(CASP) In-Browser Playground based on Ciao Prolog. ICLP Workshops (2022)
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
VeriFly: On-the-fly Assertion Checking via Incrementality. CoRR (2021)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Incremental and Modular Context-sensitive Analysis. Theory Pract. Log. Program. 21 (2) (2021)
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
VeriFly: On-the-fly Assertion Checking via Incrementality. Theory Pract. Log. Program. 21 (6) (2021)
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
Analysis and Transformation of Constrained Horn Clauses for Program Verification. CoRR (2021)
Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales
Regular Path Clauses and Their Application in Solving Loops. HCVS@ETAPS (2021)
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel. CoRR (2021)
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
A general framework for static profiling of parametric resource usage - CORRIGENDUM. Theory Pract. Log. Program. 21 (2) (2021)
John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. VPT/HCVS@ETAPS (2020)
Manuel V. Hermenegildo, Pedro López-García, Alberto Pettorossi, Maurizio Proietti
Preface. Fundam. Informaticae 177 (3-4) (2020)
Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo
Cost Analysis of Smart Contracts Via Parametric Resource Analysis. SAS (2020)
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
Testing Your (Static Analysis) Truths. LOPSTR (2020)
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
Computing Abstract Distances in Logic Programs. CoRR (2019)
Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo
Computing Abstract Distances in Logic Programs. LOPSTR (2019)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Incremental Analysis of Logic Programs with Assertions and Open Predicates. LOPSTR (2019)
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. CoRR (2019)
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
A General Framework for Static Cost Analysis of Parallel Logic Programs. LOPSTR (2019)
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
An Integrated Approach to Assertion-Based Random Testing in Prolog. LOPSTR (2019)
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. CoRR (2018)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Exploiting Term Hiding to Reduce Run-Time Checking Overhead. PADL (2018)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
Towards Static Performance Guarantees for Programs with Run-Time Checks. ICLP (Technical Communications) (2018)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Multivariant Assertion-Based Guidance in Abstract Interpretation. LOPSTR (2018)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Towards Incremental and Modular Context-Sensitive Analysis. ICLP (Technical Communications) (2018)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. Sci. Comput. Program. 155 (2018)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Multivariant Assertion-based Guidance in Abstract Interpretation. CoRR (2018)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
An Approach to Static Performance Guarantees for Programs with Run-time Checks. CoRR (2018)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
Static Performance Guarantees for Programs with Runtime Checks. PPDP (2018)
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Theory Pract. Log. Program. 18 (2) (2018)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. CoRR (2018)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Towards Run-time Checks Simplification via Term Hiding. ICLP (Technical Communications) (2017)
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors. Log. J. IGPL 25 (6) (2017)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Term Hiding and its Impact on Run-time Check Simplification. CoRR (2017)
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. LOPSTR (2017)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-Systems Energy Transparency. CoRR (2016)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47 (2016)
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. CoRR (2016)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Reducing the overhead of assertion run-time checks via static analysis. PPDP (2016)
Manuel V. Hermenegildo, Pedro López-García
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). CoRR (2016)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Semantic Code Browsing. CoRR (2016)
Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo
A Transformational Approach to Parametric Accumulated-Cost Static Profiling. FLOPS (2016)
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
A general framework for static profiling of parametric resource usage. Theory Pract. Log. Program. 16 (5-6) (2016)
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
A General Framework for Static Profiling of Parametric Resource Usage. CoRR (2016)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Semantic code browsing. Theory Pract. Log. Program. 16 (5-6) (2016)
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory Pract. Log. Program. 16 (1) (2016)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Practical Run-time Checking via Unobtrusive Property Caching. CoRR (2015)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Practical run-time checking via unobtrusive property caching. Theory Pract. Log. Program. 15 (4-5) (2015)
Francisco Corbera, Andrés Rodríguez, Rafael Asenjo, Angeles G. Navarro, Antonio Vilches, María Jesús Garzarán, Ismat Chaib Draa, Jamel Tayeb, Smaïl Niar, Mikael Desertot, Daniel Gregorek, Robert Schmidt, Alberto García Ortiz, Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo, Radim Vavrík, Albert Saà-Garriga, David Castells-Rufas, Jordi Carrabina
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. CoRR (2015)
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. CoRR (2015)
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. FOPARA (2015)
Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
Towards Energy Consumption Verification via Static Analysis. CoRR (2015)
Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. CoRR (2014)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Assertion-based Debugging of Higher-Order (C)LP Programs. PPDP (2014)
José F. Morales, Manuel V. Hermenegildo
Pre-indexed Terms for Prolog. LOPSTR (2014)
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
Description and Optimization of Abstract Machines in a Dialect of Prolog. CoRR (2014)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Towards Assertion-based Debugging of Higher-Order (C)LP Programs. CoRR (2014)
Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory Pract. Log. Program. 14 (4-5) (2014)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. CoRR (2014)
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
Supporting Pruning in Tabled LP. PADL (2013)
Zoé Drey, José F. Morales, Manuel V. Hermenegildo
Reversible Language Extensions and their Application in Debugging CoRR (2013)
Alejandro Serrano, Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
Sized Type Analysis for Logic Programs. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog CoRR (2013)
Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. CoRR (2013)
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. LOPSTR (2013)
Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro
Reversible Language Extensions and Their Application in Debugging. PADL (2013)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
A sharing-based approach to supporting adaptation in service compositions. Computing 95 (6) (2013)
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey
A General Implementation Framework for Tabled CLP. FLOPS (2012)
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
Lightweight compilation of (C)LP to JavaScript CoRR (2012)
Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
Certificate size reduction in abstraction-carrying code. Theory Pract. Log. Program. 12 (3) (2012)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations. PESOS@ICSE (2012)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
An overview of Ciao and its design philosophy. Theory Pract. Log. Program. 12 (1-2) (2012)
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
Lightweight compilation of (C)LP to JavaScript. Theory Pract. Log. Program. 12 (4-5) (2012)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
A Constraint-Based Approach to Quality Assurance in Service Choreographies. ICSOC (2012)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
Analyzing service-oriented systems using their data and structure. S-Cube@ICSE (2012)
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
A Segment-Swapping Approach for Executing Trapped Computations. PADL (2012)
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Parallel backtracking with answer memoing for independent and-parallelism. Theory Pract. Log. Program. 11 (4-5) (2011)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
An Overview of the Ciao System. RuleML Europe (2011)
Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo
Interval-Based Resource Usage Verification: Formalization and Prototype. FOPARA (2011)
Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
Efficient local unfolding with ancestor stacks. Theory Pract. Log. Program. 11 (1) (2011)
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Parallel Backtracking with Answer Memoing for Independent And-Parallelism CoRR (2011)
Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo
CLP projection for constraint handling rules. PPDP (2011)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. ICSOC (2011)
Edison Mera, Teresa Trigo, Pedro López-García, Manuel V. Hermenegildo
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. PADL (2011)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. IEEE SCC (2011)
José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé
Modular Extensions for Modular (Logic) Languages. LOPSTR (2011)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
An overview of Ciao and its design philosophy CoRR (2011)
Manuel V. Hermenegildo, Torsten Schaub
Titlepage, Table of Contents, Conference Organization. ICLP (Technical Communications) (2010)
Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo
Towards Parameterized Regular Type Inference Using Set Constraints CoRR (2010)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. ICWS (2010)
Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
Certificate size reduction in Abstraction-Carrying Code CoRR (2010)
Manuel V. Hermenegildo, Torsten Schaub
Introduction to the Technical Communications of the 26th International Conference on Logic Programming. ICLP (Technical Communications) (2010)
Manuel V. Hermenegildo, Torsten Schaub
Introduction to the 26th International Conference on Logic Programming Special Issue CoRR (2010)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
Automatic Fragment Identification in Workflows Based on Sharing Analysis. ICSOC (2010)

Manuel V. Hermenegildo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manuel V. Hermenegildo