Archivio Istituzionale della RicercaTONDA, ALBERTO PAOLO
Byron: A Fuzzer for Turing-complete Test Programs
2024 Squillero, Giovanni; Tonda, Alberto; Masetta, Dimitri; Sacchet, Marco
Towards an Evolutionary Approach for Exploting Core Knowledge in Artificial Intelligence
2024 Calabrese, Andrea; Quer, Stefano; Squillero, Giovanni; Tonda, Alberto
Interpretable Neural-Symbolic Concept Reasoning
2023 Barbiero, Pietro; Ciravegna, Gabriele; Giannini, Francesco; Espinosa Zarlenga, Mateo; Charlotte Magister, Lucie; Tonda, Alberto; Lio, Pietro; Precioso, Frederic; Jamnik, Mateja; Marra, Giuseppe
Towards Evolutionary Control Laws for Viability Problems
2023 Tonda, Alberto; Alvarez, Isabelle; Martin, Sophie; Squillero, Giovanni; Lutton, Evelyne
Veni, Vidi, Evolvi (commentary on W. B. Langdon’s "Jaws 30")
2023 Squillero, Giovanni; Tonda, Alberto
Exploiting Artificial Swarms for the Virtual Measurement of Backlash in Industrial Robots
2021 Squillero, Giovanni; Giovannitti, Eliana; Tonda, Alberto; Nabavi, Sayyidshahab
Understanding Cancer Phenomenon at Gene Expression Level by using a Shallow Neural Network Chain
2020 Barbiero, P.; Bertotti, A.; Ciravegna, G.; Cirrincione, G.; Piccolo, E.; Tonda, A.
Beyond coreset discovery: evolutionary archetypes
2019 Barbiero, Pietro; Squillero, Giovanni; Tonda, Alberto
Evolutionary discovery of coresets for classification
2019 Barbiero, Pietro; Squillero, Giovanni; Tonda, Alberto
Towards automatic StarCraft strategy generation using genetic programming
2015 Garcia Sanchez, Pablo; Tonda, ALBERTO PAOLO; Mora, Antonio M.; Squillero, Giovanni; Merelo, J. J.
Software-Based Testing for System Peripherals
2012 Grosso, Michelangelo; Perez Holguin, W. J.; SANCHEZ SANCHEZ, EDGAR ERNESTO; SONZA REORDA, Matteo; Tonda, ALBERTO PAOLO; Velasco Medina, J.
Automatic Generation of Software-based Functional Failing Test for Speed Debug and On-silicon Timing Verification2011 12th International Workshop on Microprocessor Test and Verification
2011 SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni; Tonda, ALBERTO PAOLO
Evolution of Test Programs Exploiting a FSM Processor Model
2011 SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni; Tonda, ALBERTO PAOLO
Evolutionary failing-test generation for modern microprocessors
2011 SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni; Tonda, ALBERTO PAOLO
Functional test generation for the pLRU replacement mechanism of embedded cache memories
2011 PEREZ HOLGIN, W. J.; SANCHEZ SANCHEZ, EDGAR ERNESTO; SONZA REORDA, Matteo; Tonda, ALBERTO PAOLO; VELASCO MEDINA, J.
Functional Verification of DMA Controllers
2011 Grosso, Michelangelo; Perez, H. W. J.; Ravotto, Danilo; SANCHEZ SANCHEZ, EDGAR ERNESTO; SONZA REORDA, Matteo; Tonda, ALBERTO PAOLO; Velasco Medina, J.
Group evolution: Emerging synergy through a coordinated effort
2011 SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni; Tonda, ALBERTO PAOLO
Lamps: A Test Problem for Cooperative Coevolution
2011 Tonda, ALBERTO PAOLO; E., Lutton; Squillero, Giovanni
Post-silicon failing-test generation through evolutionary computation
2011 SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni; Tonda, ALBERTO PAOLO
A Framework for Automated Detection of Power-Related Software Errors in Industrial Verification Processes
2010 Gandini, S.; Ruzzarin, W.; SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni; Tonda, ALBERTO PAOLO
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Byron: A Fuzzer for Turing-complete Test Programs / Squillero, Giovanni; Tonda, Alberto; Masetta, Dimitri; Sacchet, Marco. - STAMPA. - (2024), pp. 1691-1694. (Intervento presentato al convegno GECCO '24 Companion: Genetic and Evolutionary Computation Conference Companion tenutosi a Melbourne, VIC (AUS) nel July 14 - 18, 2024) [10.1145/3638530.3664136]. | 1-gen-2024 | Squillero, GiovanniTonda, AlbertoSacchet, Marco + | 3638530.3664136.pdf |
| Towards an Evolutionary Approach for Exploting Core Knowledge in Artificial Intelligence / Calabrese, Andrea; Quer, Stefano; Squillero, Giovanni; Tonda, Alberto. - ELETTRONICO. - (2024), pp. 259-262. (Intervento presentato al convegno GECCO 2024: The Genetic and Evolutionary Computation Conference tenutosi a Melbourne, VIC (AUS) nel July 14 - 18, 2024) [10.1145/3638530.3654230]. | 1-gen-2024 | Calabrese, AndreaQuer, StefanoSquillero, GiovanniTonda, Alberto | gecco_main.pdf; 3638530.3654230.pdf |
| Interpretable Neural-Symbolic Concept Reasoning / Barbiero, Pietro; Ciravegna, Gabriele; Giannini, Francesco; Espinosa Zarlenga, Mateo; Charlotte Magister, Lucie; Tonda, Alberto; Lio, Pietro; Precioso, Frederic; Jamnik, Mateja; Marra, Giuseppe. - 202:(2023), pp. 1801-1825. (Intervento presentato al convegno ICML International Conference on Machine Learning 2023 tenutosi a Honolulu, Hawaii (USA) nel 23-29 July 2023). | 1-gen-2023 | Gabriele CiravegnaAlberto TondaGiuseppe Marra + | barbiero23a.pdf |
| Towards Evolutionary Control Laws for Viability Problems / Tonda, Alberto; Alvarez, Isabelle; Martin, Sophie; Squillero, Giovanni; Lutton, Evelyne. - (2023), pp. 1464-1472. (Intervento presentato al convegno GECCO'23 tenutosi a Lisbon (Portugal) nel July 15 - 19, 2023) [10.1145/3583131.3590415]. | 1-gen-2023 | Tonda, AlbertoSquillero, Giovanni + | gecco_compressed.pdf |
| Veni, Vidi, Evolvi (commentary on W. B. Langdon’s "Jaws 30") / Squillero, Giovanni; Tonda, Alberto. - In: GENETIC PROGRAMMING AND EVOLVABLE MACHINES. - ISSN 1389-2576. - 24:(2023), pp. 1-4. [10.1007/s10710-023-09472-0] | 1-gen-2023 | Giovanni SquilleroAlberto Tonda | s10710-023-09472-0.pdf |
| Exploiting Artificial Swarms for the Virtual Measurement of Backlash in Industrial Robots / Squillero, Giovanni; Giovannitti, Eliana; Tonda, Alberto; Nabavi, Sayyidshahab. - ELETTRONICO. - (2021), pp. 1743-1750. (Intervento presentato al convegno IEEE Congress on Evolutionary Computation 2021 tenutosi a Kraków, Poland nel 28 June 2021 - 01 July 2021) [10.1109/CEC45853.2021.9504962]. | 1-gen-2021 | Squillero, GiovanniGiovannitti, ElianaTonda,Alberto + | 2021078038.pdf; Exploiting_Artificial_Swarms_for_the_Virtual_Measurement_of_Backlash_in_Industrial_Robots.pdf |
| Understanding Cancer Phenomenon at Gene Expression Level by using a Shallow Neural Network Chain / Barbiero, P.; Bertotti, A.; Ciravegna, G.; Cirrincione, G.; Piccolo, E.; Tonda, A. (SMART INNOVATION, SYSTEMS AND TECHNOLOGIES). - In: Neural Approaches to Dynamics of Signal Exchanges / Esposito A., Faundez-Zanuy M., Morabito F.C., Pasero E.. - Singapore : Springer, 2020. - ISBN 978-981-13-8949-8. - pp. 281-290 [10.1007/978-981-13-8950-4_26] | 1-gen-2020 | Ciravegna G.Cirrincione G.Piccolo E.Tonda A. + | 978-981-13-8950-4_26.pdf |
| Beyond coreset discovery: evolutionary archetypes / Barbiero, Pietro; Squillero, Giovanni; Tonda, Alberto. - (2019), pp. 47-48. (Intervento presentato al convegno GECCO'19 tenutosi a Prague (Czech Republic) nel July 13 - 17, 2019) [10.1145/3319619.3326789]. | 1-gen-2019 | Squillero, GiovanniTonda, Alberto + | 3319619.3326789.pdf |
| Evolutionary discovery of coresets for classification / Barbiero, Pietro; Squillero, Giovanni; Tonda, Alberto. - (2019), pp. 1747-1754. (Intervento presentato al convegno GECCO'19 tenutosi a Prague (Czech Republic) nel July 13 - 17, 2019) [10.1145/3319619.3326846]. | 1-gen-2019 | Squillero, GiovanniTonda, Alberto + | 3319619.3326846.pdf |
| Towards automatic StarCraft strategy generation using genetic programming / Garcia Sanchez, Pablo; Tonda, ALBERTO PAOLO; Mora, Antonio M.; Squillero, Giovanni; Merelo, J. J.. - STAMPA. - (2015), pp. 284-291. (Intervento presentato al convegno 2015 IEEE Conference on Computational Intelligence and Games (CIG) tenutosi a Taiwan nel Aug. 31 2015-Sept. 2 2015) [10.1109/CIG.2015.7317940]. | 1-gen-2015 | TONDA, ALBERTO PAOLOSQUILLERO, Giovanni + | - |
| Software-Based Testing for System Peripherals / Grosso, Michelangelo; Perez Holguin, W. J.; SANCHEZ SANCHEZ, EDGAR ERNESTO; SONZA REORDA, Matteo; Tonda, ALBERTO PAOLO; Velasco Medina, J.. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - STAMPA. - 28:2(2012), pp. 189-200. [10.1007/s10836-012-5287-2] | 1-gen-2012 | GROSSO, MICHELANGELOSANCHEZ SANCHEZ, EDGAR ERNESTOSONZA REORDA, MatteoTONDA, ALBERTO PAOLO + | - |
| Automatic Generation of Software-based Functional Failing Test for Speed Debug and On-silicon Timing Verification2011 12th International Workshop on Microprocessor Test and Verification / SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni; Tonda, ALBERTO PAOLO. - STAMPA. - (2011), pp. 51-55. (Intervento presentato al convegno MTV tenutosi a Austin) [10.1109/MTV.2011.19]. | 1-gen-2011 | SANCHEZ SANCHEZ, EDGAR ERNESTOSQUILLERO, GiovanniTONDA, ALBERTO PAOLO | - |
| Evolution of Test Programs Exploiting a FSM Processor Model / SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni; Tonda, ALBERTO PAOLO. - STAMPA. - 6625:(2011), pp. 162-171. (Intervento presentato al convegno EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG tenutosi a Torino (ITA) nel April 27-29, 2011) [10.1007/978-3-642-20520-0_17]. | 1-gen-2011 | SANCHEZ SANCHEZ, EDGAR ERNESTOSQUILLERO, GiovanniTONDA, ALBERTO PAOLO | 2464578-mod.pdf |
| Evolutionary failing-test generation for modern microprocessors / SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni; Tonda, ALBERTO PAOLO. - ELETTRONICO. - (2011). (Intervento presentato al convegno GECCO'11) [10.1145/2001858.2001985]. | 1-gen-2011 | SANCHEZ SANCHEZ, EDGAR ERNESTOSQUILLERO, GiovanniTONDA, ALBERTO PAOLO | - |
| Functional test generation for the pLRU replacement mechanism of embedded cache memories / PEREZ HOLGIN, W. J.; SANCHEZ SANCHEZ, EDGAR ERNESTO; SONZA REORDA, Matteo; Tonda, ALBERTO PAOLO; VELASCO MEDINA, J.. - STAMPA. - (2011), pp. 1-6. (Intervento presentato al convegno Proceedings of the 12th IEEE Latin-American Test Workshop) [10.1109/LATW.2011.5985898]. | 1-gen-2011 | SANCHEZ SANCHEZ, EDGAR ERNESTOSONZA REORDA, MatteoTONDA, ALBERTO PAOLO + | 2380322-mod.pdf |
| Functional Verification of DMA Controllers / Grosso, Michelangelo; Perez, H. W. J.; Ravotto, Danilo; SANCHEZ SANCHEZ, EDGAR ERNESTO; SONZA REORDA, Matteo; Tonda, ALBERTO PAOLO; Velasco Medina, J.. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - STAMPA. - 27:4(2011), pp. 505-516. [10.1007/s10836-011-5219-6] | 1-gen-2011 | GROSSO, MICHELANGELORAVOTTO, DANILOSANCHEZ SANCHEZ, EDGAR ERNESTOSONZA REORDA, MatteoTONDA, ALBERTO PAOLO + | 2413924.pdf |
| Group evolution: Emerging synergy through a coordinated effort / SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni; Tonda, ALBERTO PAOLO. - STAMPA. - (2011), pp. 2662-2668. (Intervento presentato al convegno Evolutionary Computation (CEC)) [10.1109/CEC.2011.5949951]. | 1-gen-2011 | SANCHEZ SANCHEZ, EDGAR ERNESTOSQUILLERO, GiovanniTONDA, ALBERTO PAOLO | 2464581-mod.pdf |
| Lamps: A Test Problem for Cooperative Coevolution / Tonda, ALBERTO PAOLO; E., Lutton; Squillero, Giovanni. - STAMPA. - 387:(2011), pp. 101-120. (Intervento presentato al convegno Nature Inspired Cooperative Strategies for Optimization tenutosi a Cluj Napoca, Romania nel October 20-22) [10.1007/978-3-642-24094-2_7]. | 1-gen-2011 | TONDA, ALBERTO PAOLOSQUILLERO, Giovanni + | - |
| Post-silicon failing-test generation through evolutionary computation / SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni; Tonda, ALBERTO PAOLO. - STAMPA. - (2011), pp. 164-167. (Intervento presentato al convegno VLSI and System-on-Chip (VLSI-SoC)) [10.1109/VLSISoC.2011.6081667]. | 1-gen-2011 | SANCHEZ SANCHEZ, EDGAR ERNESTOSQUILLERO, GiovanniTONDA, ALBERTO PAOLO | 2464582-mod.pdf |
| A Framework for Automated Detection of Power-Related Software Errors in Industrial Verification Processes / Gandini, S.; Ruzzarin, W.; SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni; Tonda, ALBERTO PAOLO. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - STAMPA. - 26:(2010), pp. 689-697. [10.1007/s10836-010-5184-5] | 1-gen-2010 | SANCHEZ SANCHEZ, EDGAR ERNESTOSQUILLERO, GiovanniTONDA, ALBERTO PAOLO + | - |