Aliasing errors in signature analysis testing of integrated circuits. - Maurizio Damiani; Piero Olivo; Michele Favalli; Bruno Riccò (ICCD, 1988)

Improved testability evaluations in combinational logic networks. - Silvia Ercolani; Michele Favalli; Maurizio Damiani; Piero Olivo; Bruno Riccò (ICCD, 1989)

CMOS Design for Improved IC Testability. - Michele Favalli; Piero Olivo; Maurizio Damiani; Bruno Riccò (ITC, 1989)

On the Design of Multiple-Input Shift-Registers for Signature Analysis Testing. - Piero Olivo; Maurizio Damiani; Bruno Riccò (ITC, 1989)

An analytical model for the aliasing probability in signature analysis testing. - Maurizio Damiani; Piero Olivo; Michele Favalli; Bruno Riccò (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989)

Observability Don't Care Sets and Boolean Relations. - Maurizio Damiani; Giovanni De Micheli (ICCAD, 1990)

Aliasing in signature analysis testing with multiple input shift registers. - Maurizio Damiani; Piero Olivo; Michele Favalli; Silvia Ercolani; Bruno Riccò (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990)

Novel design for testability schemes for CMOS ICs. - Michele Favalli; Piero Olivo; Maurizio Damiani; Bruno Riccò (IEEE J. Solid State Circuits, 1990)

Analysis and Design of Linear Finite State Machines for Signature Analysis Testing. - Maurizio Damiani; Piero Olivo; Bruno Riccò (IEEE Trans. Computers, 1991)

Fault simulation of unconventional faults in CMOS circuits. - Michele Favalli; Piero Olivo; Maurizio Damiani; Bruno Riccò (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991)

Recurrence Equations and the Optimization of Synchronous Logic Circuits. - Maurizio Damiani; Giovanni De Micheli (DAC, 1992)

Testability measures in pseudorandom testing. - Silvia Ercolani; Michele Favalli; Maurizio Damiani; Piero Olivo; Bruno Riccò (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992)

Don't care set specifications in combinational and synchronous logic circuits. - Maurizio Damiani; Giovanni De Micheli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Nondeterministic finite-state machines and sequential don't cares. - Maurizio Damiani (EDAC-ETC-EUROASIC, 1994)

Scheduling with Environmental Constraints based on Automata Representations. - Jerry Chih-Yuan Yang; Giovanni De Micheli; Maurizio Damiani (EDAC-ETC-EUROASIC, 1994)

A Synthesis Framework Based on Trace and Automata Theory. - Jérôme Fron; Jerry Chih-Yuan Yang; Maurizio Damiani; Giovanni De Micheli (ISCAS, 1994)

Synthesis of multilevel fault-tolerant combinational circuits. - Alessandro Bogliolo; Maurizio Damiani (ED&TC, 1995)

Synthesis of combinational circuits with special fault-handling capabilitie. - Alessandro Bogliolo; Maurizio Damiani (VTS, 1995)

Reliability evaluation of combinational logic circuits by symbolic simulation. - Alessandro Bogliolo; Maurizio Damiani; Piero Olivo; Bruno Riccò (VTS, 1995)

Optimization of combinational logic circuits based on compatible gates. - Maurizio Damiani; Jerry Chih-Yuan Yang; Giovanni De Micheli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995)

On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda; Maurizio Damiani; Leonardo Impagliazzo; G. Sartore (EDCC, 1996)

Boolean Function Representation Using Parallel-Access Diagrams. - Valeria Bertacco; Maurizio Damiani (Great Lakes Symposium on VLSI, 1996)

Boolean Function Representation Based on Disjoint-Support Decompositions. - Valeria Bertacco; Maurizio Damiani (ICCD, 1996)

Synthesis of Self-Testing Finite State Machines from High-Level Specifications. - Vishwani D. Agrawal; Ronald D. Blanton; Maurizio Damiani (ITC, 1996)

Scheduling and control generation with environmental constraints based on automata representations. - Jerry Chih-Yuan Yang; Giovanni De Micheli; Maurizio Damiani (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996)

The disjunctive decomposition of logic functions. - Valeria Bertacco; Maurizio Damiani (ICCAD, 1997)

The state reduction of nondeterministic finite-state machines. - Maurizio Damiani (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997)

Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits. - Valeria Bertacco; Maurizio Damiani; Stefano Quer (DAC, 1999)

Enabling testability of fault-tolerant circuits by means of IDDQ-checkable voters. - Alessandro Bogliolo; Michele Favalli; Maurizio Damiani (IEEE Trans. Very Large Scale Integr. Syst., 2000)

Boolean Technology Mapping Based on Logic Decomposition. - Maurizio Damiani; Andrei Y. Selchenko (SBCCI, 2003)

Partially unate Boolean functions: Properties of their sum-of-products representations. - Maurizio Damiani (Discret. Appl. Math., 2023)