Luca Fossati

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 5

Top Topics

Provably Correct

Conceptual Schema

European Space Agency

Top Venues

Publications

Mikel Fernández, David Morales, Leonidas Kosmidis, Alen Bardizbanyan, Ian Broster, Carles Hernández, Eduardo Quiñones, Jaume Abella, Francisco J. Cazorla, Paulo Machado, Luca Fossati
Probabilistic timing analysis on time-randomized platforms for the space domain. DATE (2017)
Javier Jalle, Mikel Fernández, Jaume Abella, Jan Andersson, Mathieu Patte, Luca Fossati, Marco Zulianello, Francisco J. Cazorla
Contention-aware performance monitoring counte support for real-time MPSoCs. SIES (2016)
Javier Jalle, Eduardo Quiñones, Jaume Abella, Luca Fossati, Marco Zulianello, Francisco J. Cazorla
Data Bus Slicing for Contention-Free Multicore Real-Time Memory Systems. SIES (2016)
Gabriel Fernandez, Jaume Abella, Eduardo Quiñones, Luca Fossati, Marco Zulianello, Tullio Vardanega, Francisco J. Cazorla
Seeking Time-Composable Partitions of Tasks for COTS Multicore Processors. ISORC (2015)
Gabriel Fernandez, Jaume Abella, Eduardo Quiñones, Tullio Vardanega, Luca Fossati, Marco Zulianello, Francisco J. Cazorla
Introduction to partial time composability for COTS multicores. SAC (2015)
Thomas Schuster, Rolf Meyer, Rainer Buchty, Luca Fossati, Mladen Berekovic
SoCRocket - A virtual platform for the European Space Agency's SoC development. ReCoSoC (2014)
Luca Fossati, Raymond Hu, Nobuko Yoshida
Multiparty Session Nets. TGC (2014)
Javier Jalle, Eduardo Quiñones, Jaume Abella, Luca Fossati, Marco Zulianello, Francisco J. Cazorla
A Dual-Criticality Memory Controller (DCmc): Proposal and Evaluation of a Space Case Study. RTSS (2014)
Javier Jalle, Jaume Abella, Eduardo Quiñones, Luca Fossati, Marco Zulianello, Francisco J. Cazorla
AHRB: A high-performance time-composable AMBA AHB bus. RTAS (2014)
Javier Jalle, Jaume Abella, Eduardo Quiñones, Luca Fossati, Marco Zulianello, Francisco J. Cazorla
Deconstructing bus access control policies for Real-Time multicores. SIES (2013)
Mikel Fernández, Roberto Gioiosa, Eduardo Quiñones, Luca Fossati, Marco Zulianello, Francisco J. Cazorla
Assessing the suitability of the NGMP multi-core processor in the space domain. EMSOFT (2012)
Luca Fossati, Kohei Honda, Nobuko Yoshida
Intensional and Extensional Characterisation of Global Progress in the π-Calculus. CONCUR (2012)
Cristiana Bolchini, Chiara Sandionigi, Luca Fossati, David Merodio Codinachs
A reliable fault classifier for dependable systems on SRAM-based FPGAs. IOLTS (2011)
Luca Fossati, Jørgen Ilstad
The future of embedded systems at ESA: Towards adaptability and reconfigurability. AHS (2011)
Giovanni Beltrame, Luca Fossati, Donatella Sciuto
Decision-Theoretic Design Space Exploration of Multiprocessor Platforms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (7) (2010)
Cristiana Bolchini, Luca Fossati, David Merodio Codinachs, Antonio Miele, Chiara Sandionigi
A Reliable Reconfiguration Controller for Fault-Tolerant Embedded Systems on Multi-FPGA Platforms. DFT (2010)
Giovanni Beltrame, Luca Fossati, Donatella Sciuto
ReSP: A Nonintrusive Transaction-Level Reflective MPSoC Simulation Platform for Design Space Exploration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (12) (2009)
Luca Fossati, Daniele Varacca
The Calculus of Handshake Configurations. FoSSaCS (2009)
Giovanni Beltrame, Luca Fossati, Donatella Sciuto
A real-time application design methodology for MPSoCs. DATE (2009)
Luca Fossati, Daniele Varacca
A Petri Net Model of Handshake Protocols. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Giovanni Beltrame, Luca Fossati, Donatella Sciuto
Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design. CODES+ISSS (2008)
Carlo Curino, Luca Fossati, Vincenzo Rana, Francesco Redaelli, Marco D. Santambrogio, Donatella Sciuto
The Shining embedded system design methodology based on self dynamic reconfigurable architectures. ASP-DAC (2008)
Giovanni Beltrame, Cristiana Bolchini, Luca Fossati, Antonio Miele, Donatella Sciuto
ReSP: A non-intrusive Transaction-Level Reflective MPSoC Simulation Platform for design space exploration. ASP-DAC (2008)
Giovanni Beltrame, Luca Fossati, Donatella Sciuto
High-Level Modeling and Exploration of Reconfigurable MPSoCs. AHS (2008)
Luca Fossati, Pier Luca Lanzi, Kumara Sastry, David E. Goldberg, Osvaldo Gómez
A Simple Real-Coded Extended Compact Genetic Algorithm. IEEE Congress on Evolutionary Computation (2007)
Fabrizio Ferrandi, Luca Fossati, Marco Lattuada, Gianluca Palermo, Donatella Sciuto, Antonino Tumeo
Automatic Parallelization of Sequential Specifications for Symmetric MPSoCs. IESS (2007)
Giovanni Beltrame, Cristiana Bolchini, Luca Fossati, Antonio Miele, Donatella Sciuto
A Framework for Reliability Assessment and Enhancement in Multi-Processor Systems-On-Chip. DFT (2007)
Luca Fossati
Handshake Games. Electron. Notes Theor. Comput. Sci. 171 (3) (2007)