Selected Publications on Transactions and Journals

  1. G. Agosta, A. Barenghi, G. Pelosi, and M. Scandale. Trace-based Schedulability Analysis to Enhance Passive Side-Channel Attack Resilience of Embedded Software. To appear in Information Processing Letters, Elsevier (accepted September 2014).
  2. G. Agosta, A. Barenghi, M. Maggi, and G. Pelosi. Design Space Extension for Secure Implementation of Block Ciphers. To appear in IET Computers & Digital Techniques (accepted September 2014).
  3. G. Agosta, A. Barenghi, A. Di Federico, and G. Pelosi. OpenCL Performance Portability for GPGPUs: an Exploration on Cryptographic Primitives. In Concurrency and Computation: Practice and Experience (accepted July 2014, published online August 2014).
  4. A. Di Biagio, G. Agosta, C. Silvano, M. Sykora. Architecture Optimization of Application-Specific Implicit Instructions. In ACM Transaction on Embedded Computing Systems, Volume 11 Issue S2, August 2012 Article No. 44 (accepted January 2010).
  5. S. Campanoni, A. Di Biagio, G. Agosta and S. Crespi Reghizzi: A highly flexible, parallel virtual machine: design and experience of ILDJIT. To appear in Software – Practice and Experience, accepted June 2009.
  6. M. Pradella and S. Crespi Reghizzi: A SAT-based parser and completer for pictures specified by tiling, Pattern Recognition, Volume 41, Issue 2, February 2008, pages 555-566.
  7. S. Crespi Reghizzi and M. Pradella:A CKY parser for picture grammars, Information Processing Letters, Volume 105, 213-217, March 2008.
  8. G. Agosta, G. Palermo and C. Silvano. Efficient Architecture/Compiler Co-Exploration Using Analytical Models. In Design Automation for Embedded Systems, Vol 11, No 1, Mar 2006, Springer.
  9. Anna Beletska. “Extracting coarse-grained parallelism with the Affine Transformation Framework and its limitations”. In Electronic Modelling, no.5, (2006)
  10. Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro: A scalable formal method for design and automatic checking of user interfaces. ACM Trans. Softw. Eng. Methodol. 14(2): 124-167 (2005)
  11. Giovanni Agosta, Stefano Crespi Reghizzi, Gerlando Falauto, Martino Sykora. “Just-In-Time Scheduling Translation for Parallel Processors”. In Scientific Programming 3(13), 2005, IOS Press
  12. S. Crespi Reghizzi and M. Pradella, Tile rewriting grammars and picture languages, Theoretical Computer Science, Vol. 340/2 pp 257-272, 2005.