Abdelaziz Guerrouat

According to our database, Abdelaziz Guerrouat authored at least 8 papers between 1995 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

A component-based specification approach for embedded systems using FDTs.

Abdelaziz Guerrouat, Harald Richter

ACM SIGSOFT Softw. Eng. Notes, 2006

A Conformance Testing Approach for Component-Based Systems.

Abdelaziz Guerrouat, Harald Richter

Proceedings of the International MultiConference of Engineers and Computer Scientists 2006, 2006

A Combined Approach for Reachability Analysis.

Abdelaziz Guerrouat, Harald Richter

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

2005

A Formal Approach for Analysis and Testing of Reliable Embedded Systems.

Abdelaziz Guerrouat, Harald Richter

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

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

Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

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

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1997

Eine wissensbasierte Technik zur Testfallauswahl im Konformitätstest von Protokollen.

Abdelaziz Guerrouat

PhD thesis, 1997

1995

SELEXPERT - A Knowledge-based Tool for Test Case Selection.

Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich

Proceedings of the Formal Description Techniques VIII, 1995