Abdelaziz Guerrouat

Publications

Citations

H-Index

1999

Active since

Affiliations

Clausthal University of Technology(Current)

Abdelaziz Guerrouat is an author at Clausthal University of Technology specializing in system software, computer engineering, and formal verification.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceEmbedded SystemsSoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringCompilers

Publications per year

1999–2005

Publications

A component-based specification approach for embedded systems using FDTs

Abdelaziz Guerrouat, H. Richter · ACM SIGSOFT Software Engineering Notes · 2005 · 19 citations

Engineering, Software Engineering, Embedded Systems +18

On the Development of Object-Oriented Operating Systems for Deeply Embedded Systems - The PURE Project

Danilo Beuche, Abdelaziz Guerrouat, Holger Papajewski et al. · 1999 · 12 citations

A Formal Approach for Analysis and Testing of Reliable Embedded Systems

Abdelaziz Guerrouat, H. Richter · Electronic Notes in Theoretical Computer Science · 2005 · 10 citations · Full text

Engineering, Formal Approach, Verification +28

Rows per page

1–3 of 3