SELEXPERT - A Knowledge-based Tool for Test Case Selection. - Abdelaziz Guerrouat; Hartmut König; Andreas Ulrich (FORTE, 1995)

Eine wissensbasierte Technik zur Testfallauswahl im Konformitätstest von Protokollen. - Abdelaziz Guerrouat (1997)

On the Development of Object-Oriented Operating Systems for Deeply Embedded Systems - The PURE Project. - Danilo Beuche; Abdelaziz Guerrouat; Holger Papajewski; Wolfgang Schröder-Preikschat; Olaf Spinczyk; Ute Spinczyk (ECOOP Workshops, 1999)

The PURE Family of Object-Oriented Operating Systems for Deeply Embedded Systems. - Danilo Beuche; Abdelaziz Guerrouat; Holger Papajewski; Wolfgang Schröder-Preikschat; Olaf Spinczyk; Ute Spinczyk (ISORC, 1999)

A Formal Approach for Analysis and Testing of Reliable Embedded Systems. - Abdelaziz Guerrouat; Harald Richter 001 (FESCA@ETAPS, 2005)

A Combined Approach for Reachability Analysis. - Abdelaziz Guerrouat; Harald Richter 001 (ICSEA, 2006)

A Conformance Testing Approach for Component-Based Systems. - Abdelaziz Guerrouat; Harald Richter 001 (IMECS, 2006)

A component-based specification approach for embedded systems using FDTs. - Abdelaziz Guerrouat; Harald Richter 001 (ACM SIGSOFT Softw. Eng. Notes, 2006)