Publications

2017

  1. Imane Hafnaoui, Rabeh Ayari, Gabriela Nicolescu, and Giovanni Beltrame. An analysis of random cache effects on real-time multi-core scheduling algorithms. In Proceedings of the IEEE International Symposium on Rapid System Prototyping, RSP. 2017. [bib]
  2. Guannan Li, Ivan Šogor, and Giovanni Beltrame. Self-adaptive pattern formation with battery-powered robot swarms. In Proc. of the NASA/ESA Adaptive Hardware and Systems Conference (AHS). July 2017. [bib]
  3. Chao Chen, Jacopo Panerati, Imane Hafnaoui, and Giovanni Beltrame. Static probabilistic timing analysis with a permanent fault detection mechanism. In 12th IEEE International Symposium on Industrial Embedded Systems (SIES). IEEE, 2017. [bib]
  4. Jacopo Panerati, Nicolas Schwind, Stefan Zeltner, Katsumi Inoue, and Giovanni Beltrame. Assessing the resilience of stochastic dynamic systems under partial observability. Proceedings of the National Academy of Sciences, 2017. [bib]
  5. Guannan Li, David St-Onge, Carlo Pinciroli, Andrea Gasparri, Emanuele Garone, and Giovanni Beltrame. Decentralized progressive shape formation with robot swarms. Autonomous Robots, 2017. Undergoing second revision. [bib]
  6. Chao Chen and Giovanni Beltrame. An adaptive markov model for the timing analysis of probabilistic caches. ACM Transactions on Design Automation of Electronic Systems, 2017. Undergoing second revision. [bib]
  7. Majda Moussa, Massimiliano Di Penta, Giuliano Antoniol, and Giovanni Beltrame. Accuse: helping users to minimize android app privacy concerns. In 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems. IEEE, ACM, 2017. [bib]
  8. Vivek Shankar Varadharajan, David St-Onge, Carlo Pinciroli, Bram Adams, and Giovanni Beltrame. Adaptive swarm behaviors: in-flight updates. In Proceedings of the The 1st International Symposium on Multi-Robot and Multi-Agent Systems (MRS). December 2017. [bib]
  9. Rabeh Ayari, Mahdi Nikdast, Imane Hafnaoui, Giovanni Beltrame, and Gabriela Nicolescu. Hypap: a hypervolume-based approach for refining the design of embedded systems. IEEE Embedded Systems Letters, 2017. [bib]
  10. Rabeh Ayari, Imane Hafnaoui, Giovanni Beltrame, and Gabriela Nicolescu. Dedasc: delaunay triangulation-based data stream clustering algorithm for internet of things. IEEE IoT Journal, 2017. [bib]

2016

  1. Rabeh Ayari, Imane Hafnaoui, Alexandra Aguiar, Patricia Gilbert, Michel Galibois, Jean-Pierre Rousseau, Giovanni Beltrame, and Gabriela Nicolescu. Multi-objective mapping of full-mission simulators on heterogeneous distributed multi-processor systems. The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology, 2016. [bib]
  2. Rabeh Ayari, Imane Hafnaoui, Giovanni Beltrame, and Gabriela Nicolescu. Schedulability-guided crossover operator for real-time scheduling on heterogeneous multi-core systems. In Proceedings of the IEEE International Symposium on Rapid System Prototyping, RSP. 2016. [bib]
  3. Rabeh Ayari, Imane Hafnaoui, Giovanni Beltrame, and Gabriela Nicolescu. Simulation-based schedulability assessment for real-time systems. In Proceedings of the Conference on Summer Computer Simulation. Society for Computer Simulation International, 2016. [bib]
  4. C. Chen, J. Panerati, and G. Beltrame. Effects of online fault detection mechanisms on probabilistic timing analysis. In 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS). Sept. 2016. [bib]
  5. C. Chen, L. Santinelli, J. Hugues, and G. Beltrame. Static probabilistic timing analysis in presence of faults. In 11th IEEE International Symposium on Industrial Embedded Systems (SIES). May 2016. [bib]
  6. Alain Fourmigue, Giovanni Beltrame, and Gabriela Nicolescu. Transient thermal simulation of liquid-cooled 3D ICs. Components, Packaging and Manufacturing Technology , IEEE Transactions on, 6(9):1349–1360, 2016. [bib]
  7. Imane Hafnaoui, Rabeh Ayari, Gabriela Nicolescu, and Giovanni Beltrame. Scheduling real-time systems with cyclic dependence using data criticality. Design Automation for Embedded Systems, 2016. [bib]
  8. Imane Hafnaoui, Rabeh Ayari, Gabriela Nicolescu, and Giovanni Beltrame. Simulation-based model generator for software performance estimation. In Proceedings of the Conference on Summer Computer Simulation. Society for Computer Simulation International, 2016. [bib]
  9. Jacopo Panerati, Donatella Sciuto, and Giovanni Beltrame. Optimization strategies in design space exploration. In Soonhoi Ha and Jürgen Teich, editors, Handbook of Hardware/Software Codesign. Springer, 2016. [bib]
  10. Jacopo Panerati, Giovanni Beltrame, Nicolas Schwind, Stefan Zeltner, and Katsumi Inoue. Probabilistic resilience in hidden markov models. In IOP Conference Series: Materials Science and Engineering, volume 131. IOP Publishing, 2016. [bib]
  11. Carlo Pinciroli and Giovanni Beltrame. Buzz: an extensible programming language for heterogeneous swarm robotics. In Proceedings of the IEEE/RSJ Intl. Conference on Intelligent Robots and Systems, 3794–3800. October 2016. [bib]
  12. Carlo Pinciroli and Giovanni Beltrame. Buzz: a programming language for robot swarms. IEEE Software, 33(4):97–100, July/August 2016. [bib]
  13. Carlo Pinciroli, Andrea Gasparri, Emanuele Garone, and Giovanni Beltrame. Decentralized progressive shape formation with robot swarms. In 13th International Symposium on Distributed Autonomous Robotic Systems (DARS2016). 2016. [bib]
  14. Carlo Pinciroli and Giovanni Beltrame. Swarm-oriented programming of distributed robot networks. IEEE Computer, 49(12):32–41, December 2016. Cover Feature. [bib]
  15. Rubén Saborido, Giovanni Beltrame, Foutse Khomh, Enrique Alba, and Giuliano Antoniol. Optimizing user experience in choosing Android applications. In 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER, 438–448. 2016. [bib]
  16. Josué Zabeau, Alexis Nöel, and Giovanni Beltrame. Manufacturing compact electrospray thrusters to deorbit a nanosatellite. In Proceedings of the 67th International Astronautical Congress. 2016. [bib]
  17. Josué Zabeau, Alexis Nöel, and Giovanni Beltrame. A miniaturized incubator design for microgravity botanic experiments in cubesats. In Proceedings of the 67th International Astronautical Congress. 2016. [bib]
  18. Chao Chen, Jacopo Panerati, and Giovanni Beltrame. Probabilistic timing analysis of random caches with fault detection mechanisms. IEEE Transactions on Emerging Topics in Computing, 2016. Undergoing second revision. [bib]

2015

  1. Hassan Anwar and Giovanni Beltrame. A probabilistically analysable cache implementation on fpga. In IEEE International NEW Circuits And Systems (NEWCAS). Grenoble, France, June 2015. [bib]
  2. Giovanni Beltrame. Triple modular redundancy verification via heuristic netlist analysis. PeerJ Computer Science, 2015. [bib]
  3. Constance Fodé, Jacopo Panerati, Alexandre Guay, Prescilia Desroches, Marcello Valdatta, Mark Smyth, Mathieu Lalonde, Niccolò Bellini, Davide Rastelli, Stefano Naldi, and Giovanni Beltrame. Eleonora, a 3u cubesat for the canadian satellite design challenge. In Proceedings of the 66th International Astronautical Congress, Jerusalem, Israel, 2015. 2015. [bib]
  4. Constance Fodé, Marcello Valdatta, Prescilia Desroches, Jacopo Panerati, and Giovanni Beltrame. Monitoring glaciers from space using a cubesat. Communications Magazine, IEEE, 53(5):208–210, May 2015. [bib]
  5. Jacopo Panerati and Giovanni Beltrame. Trading off power and fault-tolerance in real-time embedded systems. In NASA/ESA Adaptive Hardware and Systems. Montreal, Canada, June 2015. [bib]
  6. Carlo Pinciroli, Sami Riahi, and Giovanni Beltrame. A low-cost validation setup for the thermal modelling of electronic devices. In IEEE 13th International New Circuits and Systems Conference (NEWCAS 2015). Los Alamitos, CA, 2015. [bib]
  7. Carlo Pinciroli, Adam Lee-Brown, and Giovanni Beltrame. A tuple space for data sharing in robot swarms. In 9th EAI International Conference on Bio-inspired Information and Communications Technologies (BICT 2015), 287–294. ACM Digital Library, 2015. [bib]

2014

  1. Hassan Anwar, Syed Jafri, Sergei Dytckov, Masoud Daneshtalab, Masoumeh Ebrahimi, Juha Plosila, Giovanni Beltrame, and Hannu Tenhunen. Exploring spiking neural network on coarse-grain reconfigurable architectures. In Second ACM Int. Work. Manycore Embed. Sytems. Minneapolis, MN, USA, June 2014. [bib] [PDF]
  2. Hassan Anwar, Masoud Daneshtalab, Masoumeh Ebrahimi, Juha Plosila, Hannu Tenhunen, Sergei Dytckov, and Giovanni Beltrame. Parameterized aes-based crypto processor for fpgas. In 17th Euromicro Conference on Digital Systems Design (DSD). Verona, Italy, August 2014. [bib] [PDF]
  3. Vincent Bougie, Etienne Bourbeau, Nicolas Cloutier, Alexandre Guay, Mathieu Lalonde, Jacopo Panerati, Mark Smyth, Maxime Tousignant, Daniel Fortier, and Giovanni Beltrame. A nano-satellite to monitor glaciers recession affecting biodiversity in the canadian arctic. In Proceedings of the 65th International Astronautics Congress. October 2014. [bib]
  4. A. Fourmigue, G. Beltrame, and G. Nicolescu. Efficient transient thermal simulation of 3d ics with liquid-cooling and through silicon vias. In Proc. of the Design Automation and Test in Europe Conference (DATE), 1385–1390. March 2014. [bib] [PDF]
  5. Jacopo Panerati, Samar Abdi, and Giovanni Beltrame. Balancing system availability and lifetime with dynamic hidden markov models. In Adapt. Hardw. Syst. (AHS), 2014 NASA/ESA Conf. July 2014. [bib] [PDF] [Poster]
  6. J. Panerati and G. Beltrame. A comparative evaluation of multi-objective exploration algorithms for high-level design. Design Automation of Electronic Systems, ACM Transactions on, 19(2):15:1–15:22, March 2014. URL: http://doi.acm.org/10.1145/2566669. [bib] [PDF] [URL]
  7. Jacopo Panerati and Giovanni Beltrame. Fault-tolerant soft real-time computing systems based on dynamic bayesian reasoning. In Proceedings 65th International Astronautics Congress. October 2014. [bib]

2013

  1. O. El-Mahi, G. Nicolescu, G. Pesant, and G. Beltrame. Embedded system verification through constraint-based scheduling. In Proc. of the Rapid System Prototyping Workshop, RSP. September 2013. [bib] [PDF]
  2. A. Fourmigue, G. Beltrame, and G. Nicolescu. Explicit transient thermal analysis of liquid-cooled 3d-ics. In Proc. of the Design Automation and Test in Europe Conference (DATE), 1385–1390. March 2013. [bib] [PDF]
  3. J. Panerati, F. Sironi, M. Carminati, M. Maggio, G. Beltrame, P. Gmytrasiewicz, and M. Santrambrogio. Online learning of adaptation policies within the adaptation manager framework. In Proc. of the IEEE Adaptive Hardware and Systems Conference (AHS). June 2013. [bib] [PDF]

2012

  1. Neelesh Bhattacharya, Olfat El-Mahi, Etienne Duclos, Giovanni Beltrame, Giuliano Antoniol, Sebastien LeDigabel, and Yann-Gael Gueheneuc. Optimizing threads schedule alignments to expose the interference bug pattern. Lecture Notes in Computer Science, 2012. URL: http://link.springer.com/chapter/10.1007/978-3-642-33119-0_8. [bib] [PDF] [URL]
  2. N. Bhattacharya, O. El-Mahi, E. Duclos, G. Beltrame, G. Antoniol, S. Le Digabel, and Y. Gueheneuc. Optimizing threads schedule alignments to expose the interference bug pattern. In Intl. Symp. on Search Based Software Engineering (SSBSE). September 2012. [bib]
  3. T. Lamine Ben Cheikh, G. Beltrame, G. Nicolescu, F. Cheriet, and S. Tahar. Parallelization strategies of the canny edge detector for multi-core cpus and many-core gpus. In Proc. of the IEEE Intl. NEWCAS Conference. May 2012. [bib]
  4. O. El-Mahi, G. Nicolescu, G. Pesant, and G. Beltrame. Embedded system verification through constraint-based scheduling. In Proc. of the IEEE Intl. High Level Design Validation and Test Workshop, HLDVT. November 2012. [bib]

2011

  1. G. Beltrame, G. Nicolescu, and L. Fossati. Modelling multi-processor real-time systems at transaction level. In Real-time Simulation Techniques and Principles. CRC Press, 2011. [bib]
  2. G. Beltrame and G. Nicolescu. A multi-objective decision-theoretic exploration algorithm for platform-based design. In Proc. of Design, Automation and Test in Europe (DATE), 1192–1195. April 2011. [bib]
  3. G. Beltrame, F. Ferrandi, L. Fossati, C. Pilato, and D. Sciuto. Tlm simulation of mpsocs. In Koen Bertels, editor, HW/SW Co-Design for Heterogeneous Multi-Core Platforms: the hArtes toolchain. Springer, 2011. [bib]
  4. A. Fourmigue, G. Beltrame, and G. Nicolescu. A linear-time approach for the transient thermal simulation of liquid-cooled 3d ics. In Proc. of the Intl. Conference HW/SW Codesign and System Synthesis, CODES+ISSS, 197–206. October 2011. [bib]
  5. A. Fourmigue, G. Beltrame, and G. Nicolescu. Multi-granularity thermal evaluation of 3d mpsoc architectures. In Proc. of Design, Automation and Test in Europe (DATE), 575–578. April 2011. [bib]

2010

  1. G. Beltrame, L. Fossati, and D. Sciuto. Decision-theoretic design space exploration of multiprocessor platforms. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 29(7):1083–1095, 2010. [bib]
  2. G. Beltrame, L. Fossati, M. Zulianello, L. Henriques, and P. Braga. Xluna: a real-time dependable kernel for embedded systems. In Proc. of the IP Based Electronics System Conference, (IPSOC). October 2010. [bib]

2009

  1. G. Beltrame, C. Bolchini, and A. Miele. Multi-level fault modeling for transaction-level specifications. In Proc. of ACM Great Lakes symposium on VLSI (GLSVLSI), 87–92. May 2009. URL: http://portal.acm.org/citation.cfm?id=1531565. [bib] [URL]
  2. G. Beltrame, L. Fossati, and D. Sciuto. Resp: a nonintrusive transaction-level reflective mpsoc simulation platform for design space exploration. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 28(12):1857–1869, 2009. [bib]
  3. G. Beltrame, L. Fossati, and D. Sciuto. A real-time application design methodology for mpsocs. In Proc. of Design, Automation and Test in Europe (DATE), 767–772. March 2009. [bib]

2008

  1. G. Beltrame, L. Fossati, and D. Sciuto. Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design. In Proc. of the Intl. Conference HW/SW Codesign and System Synthesis, CODES+ISSS, 7–12. October 2008. [bib]
  2. G. Beltrame, L. Fossati, and D. Sciuto. High-level modeling and exploration of reconfigurable mpsocs. In Proc. of the NASA/ESA Adaptive Hardware and Systems Conference (AHS), 330–337. June 2008. [bib]
  3. G. Beltrame, D. Sciuto, and C. Silvano. A power-efficient methodology for mapping applications on multi-processor, system-on-chip architectures. In G. De Micheli, S. Mir, and R. Reis, editors, VLSI-SoC: Research Trends in VLSI and Systems on Chip, volume 249 of IFIP, pages 177–196. Springer, 2008. URL: http://dx.doi.org/10.1007/978-0-387-74909-9_11. [bib] [URL]
  4. G. Beltrame, C. Bolchini, L. Fossati, A. Miele, and D. Sciuto. Resp: a non-intrusive transaction-level reflective mpsoc simulation platform for design space exploration. In Proc. of the Asia and South Pacific Design Automation Conference (ASPDAC), 673–678. January 2008. Best Paper Candidate. [bib]
  5. G. Beltrame and L. Fossati. Resp: a design and validation tool for data systems. In Proc of the Eurospace Conference on Data Systems for Aerospace (DASIA). March 2008. [bib]
  6. S. Schulz, G. Beltrame, and D. M. Codinachs. Smart behavioral netlist simulation for seu protection verification. In Proc. of the Workshop on Radiation Effects on Components and Systems (RADECS), 406–411. September 2008. [bib]

2007

  1. G. Beltrame, C. Bolchini, L. Fossati, A. Miele, and D. Sciuto. A framework for reliability assessment and enhancement in multi-processor systems-on-chip. In Proc. of the 22nd IEEE Intl. Symposium on Defect and Fault-Tolerance in VLSI Systems, 2007. (DFT), 132–142. May 2007. [bib]
  2. G. Beltrame, D. Sciuto, and C. Silvano. Multi-accuracy power and performance transaction-level modeling. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 26(10):1830–1842, 2007. [bib]

2006

  1. G. Beltrame, D. Sciuto, C. Silvano, P. Paulin, and E. Bensoudane. An application mapping methodology and case study for multi-processor on-chip architectures. In Proc. IFIP Intl. Conference on Very Large Scale Integration (VLSI-SoC), 146–151. September 2006. [bib]
  2. G. Beltrame, D. Bruschi, D. Sciuto, and C. Silvano. Decision-theoretic exploration of multi-processor platforms. In Proceedings of the 4th Intl. Conference HW/SW Codesign and System Synthesis (CODES+ISSS), 205–210. October 2006. [bib]
  3. G. Beltrame, D. Sciuto, C. Silvano, D. Lyonnard, and C. Pilkington. Exploiting tlm and object introspection for system-level simulation. In Proc. of Design, Automation and Test in Europe (DATE), volume 1, 1–6. March 2006. [bib]
  4. P.G. Paulin, C. Pilkington, M. Langevin, E. Bensoudane, D. Lyonnard, O. Benny, B. Lavigueur, D. Lo, G. Beltrame, V. Gagne, and G. Nicolescu. Parallel programming models for a multiprocessor soc platform applied to networking and multimedia. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, 14(7):667–680, 2006. [bib]

2004

  1. G. Beltrame, G. Palermo, D. Sciuto, and C. Silvano. Plug-in of power models in the stepnp exploration platform: analysis of power/performance trade-offs. In Proc. of the Intl. Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), 85–92. September 2004. [bib]

2002

  1. G. Beltrame, C. Brandolese, W. Fornaciari, F. Salice, D. Sciuto, and V. Trianni. Modeling assembly instruction timing in superscalar architectures. In Proc. of the 15th Intl. Symposium on System Synthesis (ISSS), 2002, 132–137. 2002. [bib]

2001

  1. T. Barbieri, F. Garzotto, G. Beltrame, L. Ceresoli, M. Gritti, and D. Misani. From dust to stardust: a collaborative 3d virtual museum of computer science. In Proc. of the Intl. Cultural Heritage Informatics Meeting Conference (ICHIM), 341–345. 2001. [bib]
  2. G. Beltrame, C. Brandolese, W. Fornaciari, F. Salice, D. Sciuto, and V. Trianni. Dynamic modeling of inter-instruction effects for execution time estimation. In Proceedings of the 14th Intl. Symposium on System Synthesis (ISSS), 136–141. October 2001. [bib]
  3. G. Beltrame, C. Brandolese, W. Fornaciari, F. Salice, D. Sciuto, and V. Trianni. An assembly-level execution-time model for pipelined architectures. In Proceedings of the IEEE/ACM Intl. Conference on Computer Aided Design (ICCAD), 195–200. November 2001. [bib]

Contents © 2017 MIST Lab - Powered by Nikola
  • Follow us: