Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Shahar Maoz

Semantically Configurable Analysis of Scenario-Based Specifications

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Why Is My Component and Connector Views Specification Unsatisfiable?

English

Verifying Component and Connector Models Against Crosscutting Structural Views

English