SQUILLERO, GIOVANNI
SQUILLERO, GIOVANNI
Dipartimento di Automatica e Informatica
003584
Simulation-Based Verification of Network Protocols Performance
1997 Baldi, Mario; Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits
1997 Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits
1997 Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
GA-based Performance Analysis of Network Protocols
1997 Baldi, Mario; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
The Selfish Gene Algorithm: a New Evolutionary Optimization Strategy
1998 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
VEGA: A Verification Tool Based on Genetic Algorithms
1998 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
A New Evolutionary Algorithm Inspired by the Selfish Gene Theory
1998 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
High Quality Test Pattern Generation for RT-level VHDL Descriptions
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Simulation-Based Sequential Equivalence Checking of RTL VHDL
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Optimizing Deceptive Functions with the SG-Clans Algorithm
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Verifying the Equivalence of Sequential Circuits with Genetic Algorithms
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Approximate equivalence verification of sequential circuits via genetic algorithms
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
GA-Based Verification of Network Protocols Performance
2000 Baldi, Mario; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
Archivi on-line fruibili da utenti inesperti: un'esperienza nel campo della disabilità
2000 Corno, Fulvio; Squillero, Giovanni
Evolving Cellular Automata for Self-Testing Hardware
2000 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Exploiting the selfish gene algorithm for evolving cellular automata
2000 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
RT-level Fault Simulation Techniques based on Simulation Command Scripts
2000 Corno, Fulvio; G., Cumani; SONZA REORDA, Matteo; Squillero, Giovanni
An Intelligent User Interface oriented to non-expert users
2000 Corno, Fulvio; Farinetti, Laura; Squillero, Giovanni
A Genetic Algorithm-based System for Generating Test Programs for Microprocessor IP Cores
2000 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni; Violante, Massimo
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Simulation-Based Verification of Network Protocols Performance / Baldi, Mario; Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni. - STAMPA. - (1997), pp. 236-251. (Intervento presentato al convegno CHARME). | 1-gen-1997 | BALDI, MARIOCORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits / Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1997), pp. 56-61. (Intervento presentato al convegno ATS '97, 6th Asian Test Symposium tenutosi a Akita (JPN) nel 17-19 Nov 1997) [10.1109/ATS.1997.643917]. | 1-gen-1997 | CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits / Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1997), pp. 381-386. (Intervento presentato al convegno International Conference on Computer Design). | 1-gen-1997 | CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
GA-based Performance Analysis of Network Protocols / Baldi, Mario; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni. - STAMPA. - (1997), pp. 118-124. (Intervento presentato al convegno ICTAI tenutosi a Newport Beach, CA (USA)) [10.1109/TAI.1997.632245]. | 1-gen-1997 | BALDI, MARIOCORNO, FulvioREBAUDENGO, MaurizioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
The Selfish Gene Algorithm: a New Evolutionary Optimization Strategy / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1998), pp. 349-355. (Intervento presentato al convegno SAC) [10.1145/330560.330838]. | 1-gen-1998 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
VEGA: A Verification Tool Based on Genetic Algorithms / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1998), pp. 321-326. (Intervento presentato al convegno ICCD). | 1-gen-1998 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
A New Evolutionary Algorithm Inspired by the Selfish Gene Theory / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1998), pp. 575-580. (Intervento presentato al convegno ICEC98). | 1-gen-1998 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
High Quality Test Pattern Generation for RT-level VHDL Descriptions / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1999). | 1-gen-1999 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
Simulation-Based Sequential Equivalence Checking of RTL VHDL / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1999), pp. 351-354. | 1-gen-1999 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - 1596:(1999), pp. 182-192. (Intervento presentato al convegno Evolutionary Image Analysis, Signal Processing and Telecommunications First European Workshops, EvoIASP’99 and EuroEcTel’99 tenutosi a Göteborg (SWE) nel May 26-27, 1999) [10.1007/10704703_15]. | 1-gen-1999 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
Optimizing Deceptive Functions with the SG-Clans Algorithm / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1999), pp. 2190-2195. (Intervento presentato al convegno CEC). | 1-gen-1999 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
Verifying the Equivalence of Sequential Circuits with Genetic Algorithms / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1999), pp. 1293-1297. | 1-gen-1999 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
Approximate equivalence verification of sequential circuits via genetic algorithms / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1999), pp. 754-755. (Intervento presentato al convegno DATE '99, Design, Automation and Test in Europe Conference and Exhibition 1999 tenutosi a Munich (DEU) nel March 9-12, 1999) [10.1145/307418.307431]. | 1-gen-1999 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
GA-Based Verification of Network Protocols Performance / Baldi, Mario; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni - In: Telecommunications Optimizations: Heuristic and Adaptive Techniques / CORNE D.; OATES M.. - NEW YORK : Wiley and Sons, 2000. - ISBN 9780471988557. - pp. 185-198 | 1-gen-2000 | BALDI, MARIOCORNO, FulvioREBAUDENGO, MaurizioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
Archivi on-line fruibili da utenti inesperti: un'esperienza nel campo della disabilità / Corno, Fulvio; Squillero, Giovanni. - (2000), pp. 181-187. (Intervento presentato al convegno Didamatica2000). | 1-gen-2000 | CORNO, FulvioSQUILLERO, Giovanni | - |
Evolving Cellular Automata for Self-Testing Hardware / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - 1801:(2000), pp. 31-40. (Intervento presentato al convegno Third International Conference, ICES 2000 tenutosi a Edinburgh (GBR) nel April 17–19, 2000) [10.1007/3-540-46406-9_4]. | 1-gen-2000 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
Exploiting the selfish gene algorithm for evolving cellular automata / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - 6:(2000), pp. 577-581. (Intervento presentato al convegno IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000 tenutosi a Como (ITA) nel 24-27 Jul 2000) [10.1109/IJCNN.2000.859457]. | 1-gen-2000 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
RT-level Fault Simulation Techniques based on Simulation Command Scripts / Corno, Fulvio; G., Cumani; SONZA REORDA, Matteo; Squillero, Giovanni. - (2000), pp. 825-830. (Intervento presentato al convegno XV Conference on Design of Circuits and Integrated Systems tenutosi a Montpellier (F) nel November 21-24, 2000). | 1-gen-2000 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni + | - |
An Intelligent User Interface oriented to non-expert users / Corno, Fulvio; Farinetti, Laura; Squillero, Giovanni. - (2000), pp. 675-676. (Intervento presentato al convegno WebNet2000). | 1-gen-2000 | CORNO, FulvioFARINETTI, LAURASQUILLERO, Giovanni | - |
A Genetic Algorithm-based System for Generating Test Programs for Microprocessor IP Cores / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni; Violante, Massimo. - (2000), pp. 195-198. (Intervento presentato al convegno International Conference on Tools with Artificial Intelligence tenutosi a Vancouver, Canada nel November 13-15, 2000). | 1-gen-2000 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, GiovanniVIOLANTE, MASSIMO | - |