• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 34 matches

• 2018
• 
  Enrico Fraccaroli, Francesco Stefanni, Romeo Rizzi, Davide Quaglia, Franco Fummi:
  Network Synthesis for Distributed Embedded Systems. IEEE Trans. Computers 67(9): 1315-1330 (2018)
• 
  Gabriele Miorandi, Francesco Stefanni, Federico Fraccaroli, Davide Quaglia:
  A SystemC-based Simulator for design space exploration of smart wireless systems. DATE 2018: 666-671
• 2017
• 
  Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi:
  Automatic generation of cycle-accurate Simulink blocks from hdl ips. FDL 2017: 1-8
• 
  Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi:
  Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. FDL (Selected Papers) 2017: 1-23
• 
  Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski:
  Fault analysis in analog circuits through language manipulation and abstraction. FDL 2017: 1-7
• 
  Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski:
  Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction. FDL (Selected Papers) 2017: 89-105
• 
  Emad Ebeid, Rune Hylsberg Jacobsen, Francesco Stefanni, Davide Quaglia:
  Scalable open source smart grid simulator (SGSim). ISGT 2017: 1-5
• 2016
• 
  Florenc Demrozi, Graziano Pravadelli, Francesco Stefanni:
  Automatic generation of self-adaptive transactors from PSL assertions. FDL 2016: 1-7
• 2015
• 
  Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia:
  Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electron. Test. 31(2): 167-180 (2015)
• 
  Diwei He, Stephen P. Morgan, Dimitrios Trachanis, Jan van Hese, Dimitris Drogoudis, Franco Fummi, Francesco Stefanni, Valerio Guarnieri, Barrie Hayes-Gill:
  A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection. Sensors 15(7): 17076-17088 (2015)
• 
  Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni:
  RTL property abstraction for TLM assertion-based verification. DATE 2015: 85-90
• 2014
• 
  Franco Fummi, Michele Lora, Francesco Stefanni, Dimitrios Trachanis, Jahn Vanhese, Sara Vinco:
  Moving from co-simulation to simulation for effective smart systems design. DATE 2014: 1-4
• 
  Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia:
  On the reuse of RTL assertions in SystemC TLM verification. LATW 2014: 1-6
• 2013
• 
  Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco:
  UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. IEEE Trans. Computers 62(2): 225-241 (2013)
• 
  Nicola Bombieri, Giuliana Drogoudis, Giuliana Gangemi, Renaud Gillon, Enrico Macii, Massimo Poncino, Salvatore Rinaudo, Francesco Stefanni, Dimitrios Trachanis, Mark van Helvoort:
  SMAC: Smart Systems Co-design. DSD 2013: 253-259
• 
  Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco:
  Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. FDL 2013: 1-4
• 
  Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni:
  Automatic Network Protocol Synthesis from UML Sequence Diagrams. MTV 2013: 68-73
• 2012
• 
  Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco:
  HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. Des. Autom. Embed. Syst. 16(2): 115-135 (2012)
• 
  Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni:
  Refinement of UML/MARTE models for the design of networked embedded systems. DATE 2012: 1072-1077
• 
  Mihai T. Lazarescu, Parinaz Sayyah, Davide Quaglia, Francesco Stefanni:
  SystemC Model Generation for Realistic Simulation of Networked Embedded Systems. DSD 2012: 423-426
• 
  Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco:
  A formal support for homogeneous simulation of heterogeneous embedded systems. SIES 2012: 211-219
• 2011
• 
  Francesco Stefanni:
  A design and veri?cation methodology for networked embedded systems. University of Verona, Italy, 2011
• 
  Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco:
  Efficient implementation and abstraction of systemc data types for fast simulation. FDL 2011: 1-7
• 
  Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco:
  UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT 2011: 33-40
• 
  Franco Fummi, Davide Quaglia, Francesco Stefanni:
  Communication-aware design flow for dependable networked embedded systems. ISCAS 2011: 2861-2864
• 
  Franco Fummi, Davide Quaglia, Francesco Stefanni:
  Communication-aware middleware-based design-space exploration for Networked Embedded Systems. VLSI-SoC 2011: 168-171
• 2010
• 
  Nicola Bombieri, Giuseppe Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli:
  HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP J. Embed. Syst. 2010 (2010)
• 
  Franco Fummi, Davide Quaglia, Francesco Stefanni, Giovanni Lovato:
  Modeling of Communication Infrastructure for Design-Space Exploration. FDL 2010: 92-97
• 
  Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli:
  HIFSuite: Tools for HDL code conversion and manipulation. HLDVT 2010: 40-41
• 2009
• 
  Franco Fummi, Davide Quaglia, Francesco Stefanni:
  Time-Varying Network Fault Model for the Design of Dependable Networked Embedded Systems. DSD 2009: 225-228

skipping 4 more matches