CLIP Group's Publications in 2013
Articles in Refereed Journals:
- D. Ivanovic, M. Carro, M. V. Hermenegildo.
A Sharing-Based Approach to Supporting Adaptation
in Service Compositions.
Computing,
Vol. 95,
Num. 6,
pages 453-492,
Springer Wien,
June
2013.
- M. Carro, Ángel Herranz, Julio Mariño.
A Model-Driven Approach to Teaching Concurrency.
ACM Transactions on Computer Education,
Vol. 13,
Num. 1,
2013.
- Kyriakos Kritikos, Barbara Pernici, Pierluigi Plebani, Cinzia Cappiello, Marco Comuzzi, Salima Benbernou, Ivona Brandic, Attila Kertesz, Michael Parkin, M. Carro.
A Survey on Service Quality Description.
ACM Computing Surveys,
Vol. 46,
Num. 1,
2013.
Articles in Refereed Conferences:
- A. Serrano, P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo.
Sized Type Analysis for Logic Programs.
Vol. 13,
Num. 4-5,
pages 1-14,
Cambridge U. Press,
August
2013.
- Z. Drey, J. F. Morales, M. V. Hermenegildo, M. Carro.
Reversible Language Extensions and their Application in Debugging.
Practical Aspects of Declarative Languages (PADL'13),
LNCS,
Vol. 7752,
Springer,
January
2013.
- P. Chico de Guzmán, M. Carro, M. V. Hermenegildo.
Supporting Pruning in Tabled LP.
Practical Aspects of Declarative Languages (PADL'13),
LNCS,
Springer Verlag,
January
2013.
- Z. Bankovic, P. Lopez-Garcia.
Genetic Algorithm-based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips.
Hybrid Artificial Intelligent Systems (HAIS 2013),
Lecture Notes in Computer Science,
Vol. 8073,
pages 401-410,
Springer,
2013.
Books and Monographs:
- Nataliia Stulova.
Dynamic Checking of Assertions for Higher-order
Predicates.
Ms. Thesis, Technical University of Madrid, School of Computer
Science,
E-28660, Boadilla del Monte, Madrid, Spain,
73 pages,
July
2013.
- Dragan Ivanovic.
Analysis of Service-Oriented Computing Systems.
Ph.D. Thesis, School of Computer Science, UPM,
January
2013.
- R. Haemmerlé, J.F. Morales.
Proceedings of the 23rd Workshop on Logic-based methods
in Programming Environments (WLPE 2013).
CoRR abs/1308.2055,
2013.
Articles in Books and Other Collections:
- Kerstin Eder, Steve Kerrison, John Gallagher, Pedro Lopez-Garcia.
Whole Systems Energy Transparency.
Num. 6,
pages 67-68,
August
2013.
Publications in Refereed Workshops:
- U. Liqat, S. Kerrison, A. Serrano, K. Georgiou, P. Lopez-Garcia, N. Grech, M. V. Hermenegildo, K. Eder.
Energy Consumption Analysis of Programs based on XMOS ISA-Level Models.
Pre-proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'13),
September
2013.
- A. Serrano, P. Lopez-Garcia, M. V. Hermenegildo.
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types.
23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013),
15 pages,
August
2013.
CoRR abs/1308.3940.
- D. Ivanovic, P. Kaowichakorn, M. Carro.
Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Environment Models.
5th International Workshop on Principles of Engineering Service-Oriented Systems,
May
2013.
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Tue Oct 29 12:34:26 PM CET 2024