RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
A 1000X Speed Up for Properties Completeness Evaluation
2002-01-01 A., Castelnuovo; A., Fedeli; Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Sforza; F., Toto
A BDD Based Algorithm for Detecting Difficult Faults
1995-01-01 C., Bolchini; Fummi, Franco; R., Gemelli; F., Salice
A CLP-based Functional ATPG for Extended FSMs
2007-01-01 Fummi, Franco; I. G., Harris; Marconcini, Cristina; Pravadelli, Graziano
A Combined Approach to Validate the Design of Embedded Network Devices
2002-01-01 Drago, Nicola; Fummi, Franco; Martignano, Maurizio; Martini, Stefano
A Common Manipulation Framework for Transistor-Level Languages
2021-01-01 Dall'Ora, Nicola; Azam, Sadia; Fraccaroli, Enrico; Alberts, André; Fummi, Franco
A Complete Test Strategy Based on Interacting and Hierarchical FSMs
1997-01-01 Fummi, Franco; D., Sciuto
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures
2021-01-01 Lumpp, Francesco; Panato, Marco; Fummi, Franco; Bombieri, Nicola
A Contract-based Methodology for Production Lines Validation
2019-01-01 Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors
2014-01-01 Guarnieri, Valerio; M., Petricca; A., Sassone; S., Vinco; Bombieri, Nicola; Fummi, Franco; E., Macii; M., Poncino
A Data Fusion Service-Oriented Infrastructure for Production Line Monitoring
2024-01-01 Gaiardelli, Sebastiano; Dall'Ora, Nicola; Ponzio, Francesco; Fraccaroli, Enrico; Fummi, Franco; Di Cataldo, Santa; Vinco, Sara
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A 1000X Speed Up for Properties Completeness Evaluation | 1-gen-2002 | A., Castelnuovo; A., Fedeli; Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Sforza; F., Toto | |
A BDD Based Algorithm for Detecting Difficult Faults | 1-gen-1995 | C., Bolchini; Fummi, Franco; R., Gemelli; F., Salice | |
A CLP-based Functional ATPG for Extended FSMs | 1-gen-2007 | Fummi, Franco; I. G., Harris; Marconcini, Cristina; Pravadelli, Graziano | |
A Combined Approach to Validate the Design of Embedded Network Devices | 1-gen-2002 | Drago, Nicola; Fummi, Franco; Martignano, Maurizio; Martini, Stefano | |
A Common Manipulation Framework for Transistor-Level Languages | 1-gen-2021 | Dall'Ora, Nicola; Azam, Sadia; Fraccaroli, Enrico; Alberts, André; Fummi, Franco | |
A Complete Test Strategy Based on Interacting and Hierarchical FSMs | 1-gen-1997 | Fummi, Franco; D., Sciuto | |
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures | 1-gen-2021 | Lumpp, Francesco; Panato, Marco; Fummi, Franco; Bombieri, Nicola | |
A Contract-based Methodology for Production Lines Validation | 1-gen-2019 | Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco | |
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors | 1-gen-2014 | Guarnieri, Valerio; M., Petricca; A., Sassone; S., Vinco; Bombieri, Nicola; Fummi, Franco; E., Macii; M., Poncino | |
A Data Fusion Service-Oriented Infrastructure for Production Line Monitoring | 1-gen-2024 | Gaiardelli, Sebastiano; Dall'Ora, Nicola; Ponzio, Francesco; Fraccaroli, Enrico; Fummi, Franco; Di Cataldo, Santa; Vinco, Sara |
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
Opzioni
Scopri
Tipologia
- 04 Contributo in atti di convegno 296
- 04 Contributo in atti di convegno... 296
Data di pubblicazione
- 2020 - 2024 47
- 2010 - 2019 102
- 2000 - 2009 99
- 1990 - 1999 48
Editore
- IEEE 32
- Institute of Electrical and Elect... 2
- ACM 1
- ACM / Association for Computing M... 1
- ECSI Electronic Chips & Systems d... 1
- ECSI Electronic Chips & Systems d... 1
- IEEE / Institute of Electrical an... 1
- IEEE Computer Society 1
- IEEE/IFIP 1
- SciTePress 1
Rivista
- PROCEEDINGS - DESIGN, AUTOMATION,... 1
Serie
- ... IEEE ... INTERNATIONAL SYMPOS... 1
- ... IEEE INTERNATIONAL CONFERENCE... 1
- LECTURE NOTES IN ARTIFICIAL INTEL... 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
- PROCEEDINGS - DESIGN, AUTOMATION,... 1
- PROCEEDINGS DESIGN, AUTOMATION, A... 1
Keyword
- SystemC 27
- TLM 16
- testing 14
- EFSM 12
- Fault simulation 10
- Functional testing 10
- Simulation 10
- ATPG 9
- UML 9
- Embedded Systems 7
Lingua
- eng 296
Accesso al fulltext
- no fulltext 247
- restricted 31
- open 18