Chantal Robach

发表

Analyse de la Testabilité des Logiciels Flots de Données Synchrones

Huy-Vu Do, Thanh Binh Nguyen, Chantal Robach, 2003, RIVF.

Chantal Robach, S. Guibert, 1988, Comput. Syst. Sci. Eng..

Chantal Robach, Chouki Aktouf, Uros Kac, 1999 .

Qualification et génération de vecteurs pour la validation et le test de production de systèmes analogiques, mixtes et RF

Smail Tedjini, Vincent Beroulle, Chantal Robach, 2006 .

Distributed off-line testing of parallel systems

Chantal Robach, Chouki Aktouf, O. Benkahla, 1995, Proceedings of the Fourth Asian Test Symposium.

Decreasing Test Qualification Time in AMS and RF Systems

Smail Tedjini, Vincent Beroulle, Chantal Robach, 2008, IEEE Design & Test of Computers.

Analysis of Testability Metrics for Lustre/Scade Programs

Huy-Vu Do, Chantal Robach, Michel Delaunay, 2010, 2010 Second International Conference on Advances in System Testing and Validation Lifecycle.

Testability analysis of co-designed systems

Yves Le Traon, Chantal Robach, 1995, Proceedings of the Fourth Asian Test Symposium.

Functional Verification of RTL Designs driven by Mutation Testing metrics

Vincent Beroulle, Chantal Robach, Youssef Serrestou, 2007, 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007).

Software-Based Testing of Sequential VHDL Descriptions

Vincent Beroulle, Chantal Robach, Bruno Rouzeyre, 2003 .

Mutation sampling technique for the generation of structural test data

Vincent Beroulle, Chantal Robach, Bruno Rouzeyre, 2005, Design, Automation and Test in Europe.

From specification validation to hardware testing: a unified method

Chantal Robach, Ghassan Al Hayek, C. Robach, 1996, Proceedings International Test Conference 1996. Test and Design Validity.

A Diagnosis Strategy for Cluster-Based Parallel Architectures

Chantal Robach, Chouki Aktouf, Oum-El-Kheir Benkahla, 1995, PDPTA.

Integrating testability into the development process of reactive systems

Chantal Robach, Huy Vu Do, Michel Delaunay, 2007 .

Analyzing testability on data flow designs

Yves Le Traon, Chantal Robach, Farid Ouabdesselam, 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.

Testability analysis for software components

Thanh Binh Nguyen, Chantal Robach, Michel Delaunay, 2002, International Conference on Software Maintenance, 2002. Proceedings..

CATA: A Computer-Aided Test Analysis System

Chantal Robach, Philippe Malecha, Gilles Michel, 1984, IEEE Design & Test of Computers.

Automatic testability analysis for data-flow designs of reactive systems

Chantal Robach, M. Delaunay, Huy Vu Do, 2004, First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings..

Hardware Test: Can We Learn from Software Testing?

Paolo Prinetto, Christian Landrault, Chantal Robach, 1997, VTS.

A methodology for validating digital circuits with mutation testing

Yvon Savaria, Chantal Robach, Yannick Zoccarato, 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

How to Implement an Asynchronous Test Wrapper for Network-on-Chip Nodes

Vincent Beroulle, Chantal Robach, Xuan-Tu Tran, 2007 .

Considering test economics in the process of hardware/software partitioning

Yves Le Traon, Chantal Robach, Ghassan Al Hayek, 1996, Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies.

Testing criteria for data flow software

Thanh Binh Nguyen, Chantal Robach, Michel Delaunay, 2003, Tenth Asia-Pacific Software Engineering Conference, 2003..

Testability Analysis Approach For Reactive Systems

Chantal Robach, Grenoble Inp, Nguyen Thi Thanh Binh, 2011 .

Modélisation des systèmes distribués en vue de la détection de pannes

Chantal Robach, Catherine Bellon, Christian Kubiak, 1978 .

Functional testing and reconfiguration of MIMD machines

Chantal Robach, Chouki Aktouf, J. Johansson, 1993, Proceedings of 1993 IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems.

Performance Evaluation of Distributed Diagnosis Algorithms in Parallel Systems

Chantal Robach, Chouki Aktouf, Oum-El-Kheir Benkahla, 1998, Parallel Comput..

System-diagnosis of cluster-based parallel architectures

Chantal Robach, Chouki Aktouf, Oum-El-Kheir Benkahla, 1996, Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing.

A Design-for-Test Implementation of an Asynchronous Network-on-Chip Architecture and its Associated Test Pattern Generation and Application

Vincent Beroulle, Chantal Robach, Yvain Thonnart, 2008, Second ACM/IEEE International Symposium on Networks-on-Chip (nocs 2008).

Design-for-test approach of an asynchronous network-on-chip architecture and its associated test pattern generation and application

Vincent Beroulle, Chantal Robach, Yvain Thonnart, 2009, IET Comput. Digit. Tech..

Design and Test of a Massively Parallel Architecture

Chantal Robach, Chouki Aktouf, Guy Mazaré, 1994, EUROSIM.

Qualification of behavioral level design validation for AMS & RF SoCs

Smail Tedjini, Vincent Beroulle, Chantal Robach, 2007, 2007 IFIP International Conference on Very Large Scale Integration.

Fault-Tolerant Routing Algorithms for a Massively Parallel Machine

Chantal Robach, Chouki Aktouf, Guy Mazaré, 1994, 1994 International Conference on Parallel Processing Vol. 1.

Implementation of a Design-for-Test Architecture for Asynchronous Networks-on-Chip

Vincent Beroulle, Chantal Robach, Yvain Thonnart, 2007, First International Symposium on Networks-on-Chip (NOCS'07).

On the adequacy of deriving hardware test data from the behavioral specification

Chantal Robach, Ghassan Al Hayek, 1996, Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies.

Transition-based testability analysis for reactive systems

Thanh Binh Nguyen, Chantal Robach, Michel Delaunay, 2011, 2011 IEEE International Conference on Computer Science and Automation Engineering.

Méthodologie de test de processeurs : impacts sur la conception

Chantal Robach, 1975 .

Host-Diagnosis of Parallel Systems

Chantal Robach, Chouki Aktouf, Oum-El-Kheir Benkahla, 1995, PDPTA.

Processor Testability and Design Consequences

Gabriele Saucier, Chantal Robach, J. Lebrun, 1976, IEEE Transactions on Computers.

Self-healing mechanisms in ATM networks: the role of virtual path management functions

Chantal Robach, Saloua Ben Yahia, 1997, Proceedings of ICC'97 - International Conference on Communications.

Diagnosis and time-out based escalation strategies for ATM networks

Chantal Robach, Saloua Ben Yahia, 1997, EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167).

Choice of a High-Level Fault Model for the Optimization of Validation Test Set Reused for Manufacturing Test

Smail Tedjini, Vincent Beroulle, Chantal Robach, 2008, VLSI Design.

4.3.3 Integrating Testability and Diagnosis methods into Airbus Systems Development Process

Chantal Robach, Odile Laurent, Fassely Doumbia, 2010 .

Performance evaluation of testing strategies in parallel systems

Chantal Robach, Oum-El-Kheir Benkahla, F. Chevassu, 1996, Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies.

Testability analysis applied to embedded data-flow software

Thanh Binh Nguyen, Chantal Robach, Michel Delaunay, 2003, Third International Conference on Quality Software, 2003. Proceedings..

Testability measurements for data flow designs

Yves Le Traon, Chantal Robach, 1997, Proceedings Fourth International Software Metrics Symposium.

A testability analysis for data-flow designs of reactive real-time systems

Huy-Vu Do, Chantal Robach, Michel Delaunay, 2004, IASTED Conf. on Software Engineering and Applications.

Flexible test method for microprocessors

Chantal Robach, Raoul Velazco, G. Saucier, 1980 .

Prise en compte de la testabilité dans la conception assistée par ordinateur

Chantal Robach, Philippe Malecha, Gilles Michel, 1984 .

An experimental comparison of software diagnosis methods

Chantal Robach, Oum-El-Kheir Benkahla, Maisaa Khalil, 1999, Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium.

Periodic Testing of FPGAs Using a Software Test Method

Oum-El-Kheir Aktouf, Chantal Robach, Chouki Aktouf, 1999 .

Combined Resource Allocation and Test Generation for On-Line Test Structures

Chantal Robach, Chouki Aktouf, Uros Kac, 1999 .

Simulation-Based Fault Injection and Testing Unsing the Mutation Technique

Chantal Robach, Mathieu Scholive, 2003 .

A DFT Architecture for Asynchronous Networks-on-Chip

Vincent Beroulle, Chantal Robach, François Bertrand, 2006, Eleventh IEEE European Test Symposium (ETS'06).

Behavioral modeling of WCDMA transceiver with VHDL-AMS language

Smail Tedjini, Vincent Beroulle, Chantal Robach, 2006, 2006 IEEE Design and Diagnostics of Electronic Circuits and systems.

The functional test parameter of a microprocessor

Chantal Robach, Raoul Velazco, G. Saucier, 1980 .

IP Validation using Genetic Algorithms guided by Mutation Testing

Vincent Beroulle, Chantal Robach, Youssef Serrestou, 2006 .

Computer Aided Testability Evaluation and Test Generation

Chantal Robach, G. Michel, Ch. Malecha, 1983, ITC.

Test et testabilité de systèmes informatiques

Chantal Robach, 1979 .

Impact of System Partitioning on Test Cost

Yves Le Traon, Chantal Robach, Ghassan Al Hayek, 1997, IEEE Des. Test Comput..

Towards a unified approach to the testability of co-designed systems

Yves Le Traon, Chantal Robach, Y. L. Traon, 1995, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.

Testability-oriented hardware/software partitioning

Yves Le Traon, Chantal Robach, Ghassan Al Hayek, 1996, Proceedings International Test Conference 1996. Test and Design Validity.

A Design-for-Test Implementation of an Asynchronous Network-on-Chip Architecture and its Associated Test Pattern Generation and Application

Vincent Beroulle, Chantal Robach, Yvain Thonnart, 2008 .

Testability Metrics for Extended Finite State Machines

Chantal Robach, Binh T. Nguyen, Michel Delaunay, 2011 .

Using the Testability Analysis Methodology for the Validation of AIRBUS Systems

Chantal Robach, Michel Delaunay, Odile Laurent, 2009, 2009 First International Conference on Advances in System Testing and Validation Lifecycle.

Testability Analysis for Graphically Described Algorithms of Reactive Systems

Chantal Robach, Jean-Sébastien Cruz, H Do, 2006 .

Testability Analysis of Data-Flow Software

Thanh Binh Nguyen, Chantal Robach, Michel Delaunay, 2005, Electron. Notes Theor. Comput. Sci..

Impact of the VHDL Description on the Testability of Integrated Systems

Chantal Robach, Pierre Wodey, Eric Fauchier, 1996 .

Using the Multiple-Clue approach for system testing on AIRBUS FAL (Final Assembly Line)

Chantal Robach, Odile Laurent, Fassely Doumbia, 2009, 2009 International Test Conference.

Dynamic Testing of Control Units

Gabriele Saucier, Chantal Robach, C. Robach, 1978, IEEE Transactions on Computers.

Using of Behavioral level AMS & RF Simulation for Validation Test Set Optimization

Smail Tedjini, Vincent Beroulle, Chantal Robach, 2007 .

Knowledge-based functional specification of test and maintenance programs

Chantal Robach, Daniel Lutoff, Nouar Garcia, 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Testability Analysis Integrated into Scicos Development Environment

Thanh Binh Nguyen, Chantal Robach, Michel Delaunay, 2010, 2010 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF).

Inserting Scan at the Behavioral Level

Chantal Robach, Chouki Aktouf, Hérvé Fleury, 2000, IEEE Des. Test Comput..

On-line testing of scalable signal processing architectures using a software test method

Chantal Robach, Chouki Aktouf, Ghassan Al Hayek, 1998, Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270).

Design-for-Test of Asynchronous Networks-on-Chip

Vincent Beroulle, Chantal Robach, François Bertrand, 2006, 2006 IEEE Design and Diagnostics of Electronic Circuits and systems.

Off-line diagnosis of parallel systems

Chantal Robach, Oum-El-Kheir Benkahla, 1998, Proceedings Seventeenth IEEE Symposium on Reliable Distributed Systems (Cat. No.98CB36281).

An Implementation Approach of the IEEE 1149.1 for the Routing Test of a VLSI Massively Parallel Architecture

Chantal Robach, Chouki Aktouf, Guy Mazaré, 1998, J. Electron. Test..

Distributed validation of massively parallel machines

Chantal Robach, Chouki Aktouf, Oum-El-Kheir Benkahla, 1994, Proceedings of the International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN).

Testability analysis of reactive software

Thanh Binh Nguyen, Chantal Robach, Michel Delaunay, 2004, First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings..

Towards an automatic diagnosis for high-level design validation

Yves Le Traon, Chantal Robach, Maisaa Khalil, 1998, Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270).

Concurrent testing of VLSI digital signal processors using mutation based testing

Chantal Robach, Chouki Aktouf, Ghassan Al Hayek, 1997, 1997 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems.

Software diagnosability

Yves Le Traon, Chantal Robach, Farid Ouabdesselam, 1998, Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257).

*CATA: AComputer-Aided TestAnalysis System

Chantal Robach, Philippe Malecha, Gilles Michel, 1984 .

Decreasing Test Qualification Time of AMS&RF Systems by using Normal Estimation

Smail Tedjini, Vincent Beroulle, Chantal Robach, 2008 .

Diagnosis Strategies for Hardware or Software Systems

Chantal Robach, Franc Novak, Maisaa Khalil, 2002, J. Electron. Test..

High-Speed Design-for-Test Architecture for Asynchronous NoC-based Systems-on-Chip

Vincent Beroulle, Chantal Robach, Yvain Thonnart, 2008 .

From Design Validation to Hardware Testing: A Unified Approach

Chantal Robach, Ghassan Al Hayek, 1999, J. Electron. Test..

Functional Verification of RTL Designs driven by Mutation Testing metrics

Vincent Beroulle, Chantal Robach, Youssef Serrestou, 2007 .

Diversified Test Methods for Local Control Units

Gabriele Saucier, Chantal Robach, 1975, IEEE Transactions on Computers.

From hardware to software testability

Yves Le Traon, Chantal Robach, 1995, Proceedings of 1995 IEEE International Test Conference (ITC).

Memory testing in a massively parallel machine

Chantal Robach, Chouki Aktouf, Guy Mazaré, 1993, Microprocess. Microprogramming.

Impact of hardware emulation on the verification quality improvement

Vincent Beroulle, Chantal Robach, Youssef Serrestou, 2007, 2007 IFIP International Conference on Very Large Scale Integration.

How to Improve a set of design validation data by using mutation-based test

Vincent Beroulle, Chantal Robach, Youssef Serrestou, 2006, 2006 IEEE Design and Diagnostics of Electronic Circuits and systems.

From diagnosis to diagnosability: axiomatization, measurement and application

Yves Le Traon, Chantal Robach, Benoit Baudry, 2003, J. Syst. Softw..