Sfoglia per Autore
Model-Driven Design and Validation of Embedded Software
2011-01-01 DI GUGLIELMO, Giuseppe; Masahiro, Fujita; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano; Marconcini C., Foltinek A.
Automatic interface generation for component reuse in HW-SW partitioning
2011-01-01 Bombieri, Nicola; Fummi, Franco; Quaglia, Davide; Vinco, Sara
Communication-aware middleware-based design-space exploration for networked embedded systems
2011-01-01 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
EFSM-based model-driven approach to concolic testing of system-level design
2011-01-01 DI GUGLIELMO, Giuseppe; Fujita, Masahiro; Fummi, Franco; Pravadelli, Graziano; Soffia, Stefano
IPA: Assertion-based verification in embedded-software design
2011-01-01 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
Mutation Analysis for SystemC Designs at TLM
2011-01-01 Guarnieri, Valerio; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; H., Hantson; J., Raik; M., Jenihhin; R., Ubar
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction
2011-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions
2011-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Optimization of assertion placement in time-constrained embedded systems
2011-01-01 Izosimov, Viacheslav; Peng, Zebo; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Giuseppe
Reusing of Properties after Discretization of Hybrid Automata
2011-01-01 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
IPA: Reusing of Properties after Discretization of Hybrid Automata
2011-01-01 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design
2011-01-01 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; Vinco, Sara
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation
2011-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
Communication-aware design flow for dependable networked embedded systems
2011-01-01 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs
2011-01-01 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
Enabling tools for virtual platforms
2012-01-01 Quaglia, Davide; Fummi, Franco; Stefanni, Francesco; Bombieri, Nicola
Generation of VHDL code from UML/MARTE sequence diagrams for verification and synthesis
2012-01-01 Ebeid, Emad Samuel Malki; Quaglia, Davide; Fummi, Franco
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification
2012-01-01 Ebeid, Emad Samuel Malki; Quaglia, Davide; Fummi, Franco
On the use of assertions for embedded-software dynamic verification
2012-01-01 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Pravadelli, Graziano; Fummi, Franco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Model-Driven Design and Validation of Embedded Software | 1-gen-2011 | DI GUGLIELMO, Giuseppe; Masahiro, Fujita; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano; Marconcini C., Foltinek A. | |
Automatic interface generation for component reuse in HW-SW partitioning | 1-gen-2011 | Bombieri, Nicola; Fummi, Franco; Quaglia, Davide; Vinco, Sara | |
Communication-aware middleware-based design-space exploration for networked embedded systems | 1-gen-2011 | Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
EFSM-based model-driven approach to concolic testing of system-level design | 1-gen-2011 | DI GUGLIELMO, Giuseppe; Fujita, Masahiro; Fummi, Franco; Pravadelli, Graziano; Soffia, Stefano | |
IPA: Assertion-based verification in embedded-software design | 1-gen-2011 | DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
Mutation Analysis for SystemC Designs at TLM | 1-gen-2011 | Guarnieri, Valerio; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; H., Hantson; J., Raik; M., Jenihhin; R., Ubar | |
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction | 1-gen-2011 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio | |
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions | 1-gen-2011 | Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano | |
Optimization of assertion placement in time-constrained embedded systems | 1-gen-2011 | Izosimov, Viacheslav; Peng, Zebo; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Giuseppe | |
Reusing of Properties after Discretization of Hybrid Automata | 1-gen-2011 | DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
IPA: Reusing of Properties after Discretization of Hybrid Automata | 1-gen-2011 | DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design | 1-gen-2011 | DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; Vinco, Sara | |
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation | 1-gen-2011 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara | |
Communication-aware design flow for dependable networked embedded systems | 1-gen-2011 | Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs | 1-gen-2011 | DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano | |
Enabling tools for virtual platforms | 1-gen-2012 | Quaglia, Davide; Fummi, Franco; Stefanni, Francesco; Bombieri, Nicola | |
Generation of VHDL code from UML/MARTE sequence diagrams for verification and synthesis | 1-gen-2012 | Ebeid, Emad Samuel Malki; Quaglia, Davide; Fummi, Franco | |
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels | 1-gen-2012 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara | |
Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification | 1-gen-2012 | Ebeid, Emad Samuel Malki; Quaglia, Davide; Fummi, Franco | |
On the use of assertions for embedded-software dynamic verification | 1-gen-2012 | DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Pravadelli, Graziano; Fummi, Franco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile