Concepedia

A. Naamad

AN

4

Publications

2.4K

Citations

4

H-Index

1988

Active since

Affiliations

Weizmann Institute of Science(Current)

A. Naamad is an author at Weizmann Institute of Science specializing in systems engineering, computer science, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSystems EngineeringAutomationSystem SoftwareSoftware AnalysisFormal Specification

Publications per year

1988–2003

4

Publications

4

STATEMATE: a working environment for the development of complex reactive systems

David Harel, H. Lachover, A. Naamad et al. · IEEE Transactions on Software Engineering · 1990 · 1.1K citations

Graphical Languages, Engineering, Reactive Behavior +22

The STATEMATE semantics of statecharts

David Harel, A. Naamad · ACM Transactions on Software Engineering and Methodology · 1996 · 1K citations

First Executable Semantics, Engineering, Semantic Web +21

Statemate: a working environment for the development of complex reactive systems

David Harel, H. Lachover, A. Naamad et al. · International Conference on Software Engineering · 1988 · 210 citations

Engineering, Visual Programming Language, Reactive Behavior +24

STATEMATE: a working environment for the development of complex reactive systems

David Harel, H. Lachover, A. Naamad et al. · 2003 · 36 citations

Engineering, Reactive Behavior, Software Engineering +22

Rows per page

1–4 of 4