Univ. Paris-Sud, Laboratoire LRI

Organization

Univ. Paris-Sud, Laboratoire LRI, UMR8623, was listed as the Orsay, France affiliation for Abderrahmane Feliachi, Yakoub Nemouchi, and Burkhart Wolff in the 2013 paper “Test Program Generation for a Microprocessor: A Case Study.” The paper describes formal-methods-based test program generation for validating microprocessor instruction-set conformance using Isabelle/HOL and HOL-TestGen.

First seen 5/25/2026

Last seen 5/25/2026

Evidence 1 chunks

Wiki v1

WIKI

Overview

Univ. Paris-Sud, Laboratoire LRI, UMR8623 is identified in the available evidence as an academic laboratory affiliation in Orsay, F-91405, France. In the 2013 paper Test Program Generation for a Microprocessor: A Case Study, the affiliation line lists “Univ. Paris-Sud, Laboratoire LRI, UMR8623, Orsay, F-91405, France” and also lists “CNRS, Orsay, F-91405, France” under the same author affiliation block. [C1]

Documented affiliates in the evidence

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

LINKED ENTITIES

3 links

Abderrahmane Feliachi AFFILIATED_WITH Extracted graph relationship

Yakoub Nemouchi AFFILIATED_WITH Extracted graph relationship

Burkhart Wolff AFFILIATED_WITH Extracted graph relationship

CITATIONS

4 sources

4 citations — click to collapse

[1] C1: Univ. Paris-Sud, Laboratoire LRI, UMR8623 is listed as an Orsay, France affiliation, with CNRS also listed in the same affiliation block. Test Program Generation for a Microprocessor: A Case Study

[2] C2: Abderrahmane Feliachi, Yakoub Nemouchi, and Burkhart Wolff are listed with affiliation marker 2 corresponding to Univ. Paris-Sud, Laboratoire LRI, UMR8623, and with @lri.fr email addresses. Test Program Generation for a Microprocessor: A Case Study

[3] C3: The paper presents a case study using a formal model of a microprocessor to generate test programs that validate whether the processor implements the specified instruction set correctly. Test Program Generation for a Microprocessor: A Case Study

[4] C4: The case study was built on an existing Isabelle/HOL model, used HOL-TestGen as a model-based testing extension of Isabelle/HOL, and developed conformance test scenarios run against real hardware in the loop. Test Program Generation for a Microprocessor: A Case Study