New Testing Equipment for SMT PC Boards. - Luis Balme; Anne Mignotte; Jean-Yves Monari; Patrick Pondaven; Christophe Vaucher (ITC, 1988)

ASYL: A Control Driven RTL Synthesis System using Library Blocks. - Anne Mignotte; Marie-Claude Bertrand; Michel Crastes de Paulet; Jérôme Rampon; Gabriele Saucier (Synthesis for Control Dominated Circuits, 1992)

Synthèse architecturale de circuits intégrés. - Anne Mignotte (1992)

Scheduling using mixed arithmetic: an ILP formulation. - Anne Mignotte; Olivier Peyran (ED&TC, 1997)

Reducing the Complexity of ILP Formulations for Synthesis. - Anne Mignotte; Olivier Peyran (ISSS, 1997)

Retiming DAGs [direct acyclic graph]. - Pierre-Yves Calland; Anne Mignotte; Olivier Peyran; Yves Robert; Frédéric Vivien (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

Loop Alignment for Memory Accesses Optimization. - Antoine Fraboulet; Guillaume Huard; Anne Mignotte (ISSS, 1999)

Synthesis for Mixed Arithmetic. - Anne Mignotte; Jean-Michel Muller; Olivier Peyran (Des. Autom. Embed. Syst., 2000)

Loop fusion for memory space optimization. - Antoine Fraboulet; Karen Kodary; Anne Mignotte (ISSS, 2001)

SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. - Karen Godary-Dejean; Isabelle Augé-Blum; Anne Mignotte (FDL, 2004)

Temporal Bounds for TTA: Validation. - Karen Godary-Dejean; Isabelle Augé-Blum; Anne Mignotte (DIPES, 2004)