Subject Areas
Currently Not Available
Published Items by Year
Keywords
Colleague Collaboration
Author’s Latest Publications
- research-article
- article
Object-sensitive cost analysis for concurrent objects
- Elvira Albert,
- Puri Arenas,
- Jesús Correas,
- Samir Genaim,
- Miguel Gómez-Zamalloa,
- Germán Puebla,
- Guillermo Román-Díez
May 2015Software Testing, Verification & Reliability, Volume 25, Issue 3https://doi.org/10.1002/stvr.1569 - Article
Automatic Inference of Bounds on Resource Consumption
- Elvira Albert,
- Diego Esteban Alonso-Blas,
- Puri Arenas,
- Jesús Correas,
- Antonio Flores-Montoya,
- Samir Genaim,
- Miguel Gómez-Zamalloa,
- Abu Naser Masud,
- German Puebla,
- José Miguel Rojas,
- Guillermo Román-Díez,
- Damiano Zanardini
September 2012FMCO 2012: Revised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 7866https://doi.org/10.1007/978-3-642-40615-7_4 - article
An overview of ciao and its design philosophy
January 2012Theory and Practice of Logic Programming, Volume 12, Issue 1-2https://doi.org/10.1017/S1471068411000457 - Article
An overview of the Ciao system
- Manuel V. Hermenegildo,
- F. Bueno,
- M. Carro,
- P. López-García,
- R. Haemmerlé,
- E. Mera,
- J. F. Morales,
- G. Puebla
July 2011RuleML'2011: Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications - Article
Modular termination analysis of java bytecode and its application to phoneME core libraries
October 2010FACS'10: Proceedings of the 7th international conference on Formal Aspects of Component Softwarehttps://doi.org/10.1007/978-3-642-27269-1_13