Publicaciones en colaboración con investigadores/as de University of Bologna (45)

2019

  1. Probabilistic software product lines

    Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 54-78

2018

  1. Energy Proportionality in Near-Threshold Computing Servers and Cloud Data Centers: Consolidating or Not?

    PROCEEDINGS OF THE 2018 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE)

  2. SoC Communication Architectures: From Interconnection Buses to Packet-Switched NoCs

    Embedded Systems Handbook: Second Edition (CRC Press), pp. 14-1-14-29

2017

  1. Analysis of temporal complex events in sensor networks

    Journal of Information and Telecommunication, Vol. 1, Núm. 3, pp. 273-289

  2. Introduction to the Software Engineering and Formal Methods 2013 special issue

    Software and Systems Modeling

2016

  1. Towards Near-Threshold Server Processors

    PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE)

2014

  1. Approximate Compressed Sensing: Ultra-Low Power Biosignal Processing via Aggressive Voltage Scaling on a Hybrid Memory Multi-core Processor

    PROCEEDINGS OF THE 2014 IEEE/ACM INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED)

2013

  1. Engineering virtualized services

    ACM International Conference Proceeding Series

  2. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2011

  1. Thermal-Aware System-Level Modeling and Management for Multi-Processor Systems-on-Chip

    2011 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS)

2009

  1. Multicore Thermal Management with Model Predictive Control

    2009 EUROPEAN CONFERENCE ON CIRCUIT THEORY AND DESIGN, VOLS 1 AND 2

  2. Prediction and Management in Energy Harvested Wireless Sensor Nodes

    2009 1ST INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATION, VEHICULAR TECHNOLOGY, INFORMATION THEORY AND AEROSPACE & ELECTRONIC SYSTEMS TECHNOLOGY, VOLS 1 AND 2

  3. Prediction and management in energy harvested wireless sensor nodes

    Proceedings of the 2009 1st International Conference on Wireless Communication, Vehicular Technology, Information Theory and Aerospace and Electronic Systems Technology, Wireless VITAE 2009

  4. SoC communication architectures: From interconnection buses to packet-switched NoCs

    Embedded Systems Design and Verification: Embedded Systems Handbook, Second Edition (CRC Press), pp. 14-1-14-29

2008

  1. Designing routing and message-dependent deadlock free Networks on Chips

    VLSI-SOC: RESEARCH TRENDS IN VLSI AND SYSTEMS ON CHIP

  2. Reliability-aware design for nanometer-scale devices

    Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC