 | 2006 |
|---|
| 8 |       | Abdelaziz Guerrouat,
Harald Richter:
A Combined Approach for Reachability Analysis.
ICSEA 2006: 23 |
| 7 |  | Abdelaziz Guerrouat,
Harald Richter:
A Conformance Testing Approach for Component-Based Systems.
IMECS 2006: 870-874 |
| 6 | | Abdelaziz Guerrouat,
Harald Richter:
A component-based specification approach for embedded systems using FDTs.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 2005 |
|---|
| 5 | | Abdelaziz Guerrouat,
Harald Richter:
A Formal Approach for Analysis and Testing of Reliable Embedded Systems.
Electr. Notes Theor. Comput. Sci. 141(3): 91-106 (2005) |
| 1999 |
|---|
| 4 | | Danilo Beuche,
Abdelaziz Guerrouat,
Holger Papajewski,
Wolfgang Schröder-Preikschat,
Olaf Spinczyk,
Ute Spinczyk:
On the Development of Object-Oriented Operating Systems for Deeply Embedded Systems - The PURE Project.
ECOOP Workshops 1999: 26 |
| 3 | | Danilo Beuche,
Abdelaziz Guerrouat,
Holger Papajewski,
Wolfgang Schröder-Preikschat,
Olaf Spinczyk,
Ute Spinczyk:
The PURE Family of Object-Oriented Operating Systems for Deeply Embedded Systems.
ISORC 1999: 45-53 |
| 1997 |
|---|
| 2 | | Abdelaziz Guerrouat:
Eine wissensbasierte Technik zur Testfallauswahl im Konformitätstest von Protokollen.
Universität Magdeburg 1997: 1-133 |
| 1995 |
|---|
| 1 | | Abdelaziz Guerrouat,
Hartmut König,
Andreas Ulrich:
SELEXPERT - A Knowledge-based Tool for Test Case Selection.
FORTE 1995: 313-328 |
Data released under the ODC-BY 1.0 license — See also our legal information page