Giovanni Squillero

Genet. Program. Evolvable Mach., 2017

HAIT: Heap Analyzer with Input Tracing.

[BibT_eX]

[DOI]

Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Discovering Hierarchical Neural Archetype Sets.

[BibT_eX]

[DOI]

Gabriele Ciravegna

Pietro Barbiero

Giansalvo Cirrincione

Alberto Tonda

Proceedings of the Advances in Intelligent Information Hiding and Multimedia Signal Processing, 2017

An effective diversity promotion mechanism in grammatical evolution.

[BibT_eX]

[DOI]

Eric Medvet

Alberto Bartoli

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Adaptive Batteries Exploiting On-Line Steady-State Evolution Strategy.

[BibT_eX]

[DOI]

Edoardo Fadda

Guido Perboli

Proceedings of the Applications of Evolutionary Computation - 20th European Conference, 2017

Multi-objective Evolutionary Algorithms for Influence Maximization in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation - 20th European Conference, 2017

On the optimization of SBST test program compaction.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2017

An evolutionary approach to hardware encryption and Trojan-horse mitigation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Exploiting Evolutionary Modeling to Prevail in Iterated Prisoner's Dilemma Tournaments.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Intell. AI Games, 2016

Observability solutions for in-field functional test of processor-based systems: A survey and quantitative test case evaluation.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2016

Divergence of character and premature convergence: A survey of methodologies for promoting diversity in evolutionary optimization.

[BibT_eX]

[DOI]

Inf. Sci., 2016

Anatomy of a portfolio optimizer under a limited budget constraint.

[BibT_eX]

[DOI]

Igor Deplano

Evol. Intell., 2016

Identification and Rejuvenation of NBTI-Critical Logic Paths in Nanoscale Circuits.

[BibT_eX]

[DOI]

Maksim Jenihhin

Guilherme Cardoso Medeiros

Thiago Santos Copetti

Leticia Bolzani Poehls

Raimund Ubar

J. Electron. Test., 2016

Optimizing groups of colluding strong attackers in mobile urban communication networks with evolutionary algorithms.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2016

A General-Purpose Framework for Genetic Improvement.

[BibT_eX]

[DOI]

Francesco Marino

Proceedings of the Parallel Problem Solving from Nature - PPSN XIV, 2016

Tutorials at PPSN 2016.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature - PPSN XIV, 2016

Promoting Diversity in Evolutionary Algorithms: an Updated Bibliography.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2016

MPDEA 2016 Chairs' Welcome & Organization.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2016

Challenging Anti-virus Through Evolutionary Malware Obfuscation.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation - 19th European Conference, 2016

Portfolio Optimization, a Decision-Support Methodology for Small Budgets.

[BibT_eX]

[DOI]

Igor Deplano

Juan Julián Merelo Guervós

Proceedings of the Applications of Evolutionary Computation - 19th European Conference, 2016

Evolutionary deckbuilding in hearthstone.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computational Intelligence and Games, 2016

Rejuvenation of NBTI-Impacted Processors Using Evolutionary Generation of Assembler Programs.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Asian Test Symposium, 2016

2015

Rejuvenation of nanoscale logic at NBTI-critical paths using evolutionary TPG.

[BibT_eX]

[DOI]

N. Palermo

Valentin Tihhomirov

Thiago Santos Copetti

Letícia Maria Bolzani Pöhls

Proceedings of the 16th Latin-American Test Symposium, 2015

An evolutionary approach for test program compaction.

[BibT_eX]

[DOI]

Riccardo Cantoro

Marco Gaudesi

Pasquale Davide Schiavone

Proceedings of the 16th Latin-American Test Symposium, 2015

Malware Obfuscation through Evolutionary Packers.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Exploiting Evolutionary Computation in an Industrial Flow for the Development of Code-Optimized Microprocessor Test Programs.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Operator Selection using Improved Dynamic Multi-Armed Bandit.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Chromatic Selection - An Oversimplified Approach to Multi-objective Optimization.

[BibT_eX]

[DOI]

Juan Julián Merelo Guervós

Proceedings of the Applications of Evolutionary Computation - 18th European Conference, 2015

Black Holes and Revelations: Using Evolutionary Algorithms to Uncover Vulnerabilities in Disruption-Tolerant Networks.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation - 18th European Conference, 2015

Towards automatic StarCraft strategy generation using genetic programming.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Computational Intelligence and Games, 2015

2014

The impact of topology on energy consumption for collection tree protocols: An experimental assessment through evolutionary computation.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2014

Towards automated malware creation: code generation and code integration.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

Universal information distance for genetic programming.

[BibT_eX]

[DOI]

Marco Gaudesi

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

The tradeoffs between data delivery ratio and energy costs in wireless sensor networks: a multi-objectiveevolutionary framework for protocol analysis.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Diagnostic Test Generation for Statistical Bug Localization Using Evolutionary Computation.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation - 17th European Conference, 2014

TURAN: Evolving non-deterministic players for the iterated prisoner's dilemma.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2014

2013

Evolutionary optimization of wetlands design.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Accounting for Post-Transcriptional Regulation in Boolean Networks Based Regulatory Models.

[BibT_eX]

[DOI]

Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2013

Industrial applications of evolutionary algorithms.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

An efficient distance metric for linear genetic programming.

[BibT_eX]

[DOI]

Marco Gaudesi

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

A Memetic Approach to Bayesian Network Structure Learning.

[BibT_eX]

[DOI]

Evelyne Lutton

Pierre-Henri Wuillemin

Proceedings of the Applications of Evolutionary Computation - 16th European Conference, 2013

An Evolutionary Approach to Wetlands Design.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 2013

An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation - 16th European Conference, 2013

2012

Industrial Applications of Evolutionary Algorithms

[BibT_eX]

[DOI]

Intelligent Systems Reference Library 34, Springer, ISBN: 978-3-642-27466-4, 2012

A benchmark for cooperative coevolution.

[BibT_eX]

[DOI]

Evelyne Lutton

Memetic Comput., 2012

Automatic Generation of On-Line Test Programs through a Cooperation Scheme.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012

Bayesian Network Structure Learning from Limited Datasets through Graph Evolution.

[BibT_eX]

[DOI]

Pierre-Henri Wuillemin

Proceedings of the Genetic Programming - 15th European Conference, 2012

2011

Increasing pattern recognition accuracy for chemical sensing by evolutionary based drift compensation.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2011

Artificial evolution in computer aided design: from the optimization of parameters to the creation of assembly programs.

[BibT_eX]

[DOI]

Computing, 2011

Post-silicon failing-test generation through evolutionary computation.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, 2011

Lamps: A Test Problem for Cooperative Coevolution.

[BibT_eX]

[DOI]

Evelyne Lutton

Proceedings of the Nature Inspired Cooperative Strategies for Optimization, 2011

Automatic Generation of Software-based Functional Failing Test for Speed Debug and On-silicon Timing Verification.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011

Evolutionary failing-test generation for modern microprocessors.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

Evolution of Test Programs Exploiting a FSM Processor Model.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation, 2011

Group evolution: Emerging synergy through a coordinated effort.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

Adaptive opponent modelling for the iterated prisoner's dilemma.

[BibT_eX]

[DOI]

Elio Piccolo

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

2010

A Framework for Automated Detection of Power-related Software Errors in Industrial Verification Processes.

[BibT_eX]

[DOI]

J. Electron. Test., 2010

Towards drift correction in chemical sensors using an evolutionary strategy.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Evolving Individual Behavior in a Multi-agent Traffic Simulator.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation, 2010

Exploiting Evolution for an Adaptive Drift-Robust Classifier in Chemical Sensing.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation, 2010

2009

Design validation of multithreaded architectures using concurrent threads evolution.

[BibT_eX]

[DOI]

Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 2009

Automatic detection of software defects: an industrial experience.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

2008

An Effective Technique for the Automatic Generation of Diagnosis-Oriented Programs for Processor Cores.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

A novel methodology for diversity preservation in evolutionary algorithms.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2008

Ea-based test and verification of microprocessors.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2008

An Evolutionary Methodology for Test Generation for Peripheral Cores Via Dynamic FSM Extraction.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computing, 2008

2007

Evolutionary Techniques Applied to Hardware Optimization Problems: Test and Verification of Advanced Processors.

[BibT_eX]

[DOI]

Proceedings of the Advances in Evolutionary Computing for System Design, 2007

On Automatic Test Block Generation for Peripheral Testing in SoCs via Dynamic FSMs Extraction.

[BibT_eX]

[DOI]

Edgar E. Sánchez

Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007

Automotive Microcontroller End-of-Line Test via Software-Based Methodologies.

[BibT_eX]

[DOI]

W. Di Palma

Edgar E. Sánchez

Letícia Maria Veiras Bolzani

Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007

An Automated Methodology for Cogeneration of Test Blocks for Peripheral Cores.

[BibT_eX]

[DOI]

Letícia Maria Veiras Bolzani

Proceedings of the 13th IEEE International On-Line Testing Symposium (IOLTS 2007), 2007

Coupling EA and high-level metrics for the automatic generation of test blocks for peripheral cores.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2007

Interactive presentation: An enhanced technique for the automatic generation of effective diagnosis-oriented test programs for processor.

[BibT_eX]

[DOI]

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

A local analysis of an incremental evolutionary tool for processor diagnosis.

[BibT_eX]

[DOI]

Letícia Maria Veiras Bolzani

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

Co-evolution of test programs and stimuli vectors for testing of embedded peripheral cores.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006

Efficient Techniques for Automatic Verification-Oriented Test Set Optimization.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2006

An effective technique for minimizing the cost of processor software-based diagnosis in SoCs.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Evolving Warriors for the Nano Core.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE Symposium on Computational Intelligence and Games (CIG06), 2006

Enhanced Test Program Compaction Using Genetic Programming.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

An Evolutionary Methodology to Enhance Processor Software-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

2005

Evolving assembly programs: how games help microprocessor validation.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2005

MicroGP-An Evolutionary Assembly Program Generator.

[BibT_eX]

[DOI]

Genet. Program. Evolvable Mach., 2005

Automatic generation of test sets for SBST of microprocessor IP cores.

[BibT_eX]

[DOI]

Proceedings of the 18th Annual Symposium on Integrated Circuits and Systems Design, 2005

Diagnosing Faulty Functional Units in Processors by Using Automatically Generated Test Sets.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), 2005

New evolutionary techniques for test-program generation for complex microprocessor cores.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Automatic Completion and Refinement of Verification Sets for Microprocessor Cores.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computing, 2005

On the Transformation of Manufacturing Test Sets into On-Line Test Sets for Microprocessors.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2005), 2005

2004

Evolutionary Simulation-Based Validation.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2004

Code Generation for Functional Validation of Pipelined Microprocessors.

[BibT_eX]

[DOI]

J. Electron. Test., 2004

Automatic Test Program Generation: A Case Study.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2004

Automatic Test Programs Generation Driven by Internal Performance Counters.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004

Exploiting HW Acceleration for Classifying Complex Test Program Generation Problems.

[BibT_eX]

[DOI]

Massimo Violante

Proceedings of the Applications of Evolutionary Computing, 2004

Coupling Different Methodologies to Validate Obsolete Microprocessors.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2004), 2004

A local analysis of the genotype-fitness mapping in hardware optimization problems.

[BibT_eX]

[DOI]

Massimo Violante

Proceedings of the IEEE Congress on Evolutionary Computation, 2004

On the evolution of corewar warriors.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2004

Dynamic optimization of semantic annotation relevance.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2004

2003

An Evolutionary Approach to Web Request Prediction.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

A Real-Time Evolutionary Algorithm for Web Prediction.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003

Automatic Test Program Generation for Pipeline Processors.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Exploiting Auto-adaptive 7GP for Highly Effective Test Programs Generation.

[BibT_eX]

[DOI]

F. Cumani

Proceedings of the Evolvable Systems: From Biology to Hardware, 2003

An Enhanced Framework for Microprocessor Test-Program Generation.

[BibT_eX]

[DOI]

Proceedings of the Genetic Programming, 6th European Conference, EuroGP 2003, 2003

Code generation for functional validation of pipelined microprocessors.

[BibT_eX]

[DOI]

Proceedings of the 8th European Test Workshop, 2003

Fully Automatic Test Program Generation for Microprocessor Cores.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

Exploiting co-evolution and a modified island model to climb the Core War hill.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2003

Dynamic prediction of Web requests.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2003

2002

Initializability analysis of synchronous sequential circuits.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2002

An Industrial Environment for High-Level Fault-Tolerant Structures Insertion and Validation.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE VLSI Test Symposium (VTS 2002), Without Testing It's a Gamble, 28 April, 2002

Reducing Test Application Time through Interleaved Scan.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual Symposium on Integrated Circuits and Systems Design, 2002

An evolutionary algorithm for reducing integrated-circuit test application time.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Automatic Test Program Generation from RT-Level Microprocessor Descriptions.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Quality of Electronic Design, 2002

Analysis of the Equivalences and Dominances of Transient Faults at the RT Level.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International On-Line Testing Workshop (IOLTW 2002), 2002

Evolutionary Techniques for Minimizing Test Signals Application Time.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computing, 2002

New Techniques for Speeding-Up Fault-Injection Campaigns.

[BibT_eX]

[DOI]

Proceedings of the 2002 Design, 2002

Efficient machine-code test-program induction.

[BibT_eX]

[DOI]

Proceedings of the 2002 Congress on Evolutionary Computation, 2002

Evolutionary Test Program Induction for Microprocessor Design Verification.

[BibT_eX]

[DOI]

Proceedings of the 11th Asian Test Symposium (ATS 2002), 18-20 November 2002, Guam, USA, 2002

2001

Evolving effective CA/CSTP: BIST architectures for sequential circuits.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

ARPIA: A High-Level Evolutionary Test Signal Generator.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computing, 2001

On the test of microprocessor IP cores.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

Effective Techniques for High-Level ATPG.

[BibT_eX]

[DOI]

Proceedings of the 10th Asian Test Symposium (ATS 2001), 19-21 November 2001, Kyoto, Japan, 2001

2000

RT-Level ITC'99 Benchmarks and First ATPG Results.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2000

An Intelligent User Interface oriented to non-expert users.

[BibT_eX]

Laura Farinetti

Proceedings of WebNet 2000 - World Conference on the WWW and Internet, San Antonio, Texas, USA, October 30, 2000

High-Level Observability for Effective High-Level ATPG.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE VLSI Test Symposium (VTS 2000), 30 April, 2000

Low Power BIST via Non-Linear Hybrid Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE VLSI Test Symposium (VTS 2000), 30 April, 2000

An improved cellular automata-based BIST architecture for sequential circuits.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2000

Exploiting the Selfish Gene Algorithm for Evolving Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, 2000

A genetic algorithm-based system for generating test programs for microprocessor IP cores.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

Evolving Cellular Automata for Self-Testing Hardware.

[BibT_eX]

[DOI]

Proceedings of the Evolvable Systems: From Biology to Hardware, 2000

An RT-level fault model with high gate level correlation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

Automatic Validation of Protocol Interfaces Described in VHDL.

[BibT_eX]

[DOI]

Proceedings of the Real-World Applications of Evolutionary Computing, 2000

CA-CSTP: a new BIST architecture for sequential circuits.

[BibT_eX]

[DOI]

Proceedings of the 5th European Test Workshop, 2000

Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience.

[BibT_eX]

[DOI]

Proceedings of the 2000 Design, 2000

Exploiting the Selfish Gene algorithm for evolving hardware cellular automata.

[BibT_eX]

[DOI]

Proceedings of the 2000 Congress on Evolutionary Computation, 2000

1999

Simulation-based sequential equivalence checking of RTL VHDL.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Electronics, Circuits and Systems, 1999

Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Image Analysis, 1999

Approximate Equivalence Verification of Sequential Circuits via Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 1999 Design, 1999

Optimizing deceptive functions with the SG-Clans algorithm.

[BibT_eX]

[DOI]

Proceedings of the 1999 Congress on Evolutionary Computation, 1999

Verifying the equivalence of sequential circuits with genetic algorithms.

[BibT_eX]

[DOI]

Proceedings of the 1999 Congress on Evolutionary Computation, 1999

1998

The selfish gene algorithm: a new evolutionary optimization strategy.

[BibT_eX]

[DOI]

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

VEGA: a verification tool based on genetic algorithms.

[BibT_eX]

[DOI]