Sahar Mohajerani
Showing 29 publications
On test case reduction for testing safety properties of manufacturing systems
Modeling and Security Verification of State-Based Smart Contracts
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs
Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
Transforming Opacity Verification to Nonblocking Verification in Modular Systems
Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions
Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle
Application of formal verification to the lane change module of an autonomous vehicle
Compositional synthesis of supervisors in the form of state machines and state maps
A framework for compositional nonblocking verification of extended finite-state machines
On Compositional Approaches for Discrete Event Systems Verification and Synthesis
Certainly Unsupervisable States
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE
An algorithm for compositional nonblocking verification of extended finite-state machines
FIVE ABSTRACTION RULES TO REMOVE TRANSITIONS WHILE PRESERVING COMPOSITIONAL SYNTHESIS RESULTS
PARTIAL UNFOLDING FOR COMPOSITIONAL NONBLOCKING VERIFICATION OF EXTENDED FINITE-STATE MACHINES
Compositional Nonblocking Verification for Extended Finite-State Automata Using Partial Unfolding
On Compositional Supervisor Synthesis for Discrete Event Systems
An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis
Transition Removal for Compositional Supervisor Synthesis
On the Use of Observation Equivalence
THREE VARIATIONS OF OBSERVATION EQUIVALENCE PRESERVING SYNTHESIS ABSTRACTION
Compositional Synthesis of Discrete Event Systems Using Synthesis Abstraction
Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems
On Initialization of Iterative Algorithms for Nonlinear ARX Models
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.
Showing 1 research projects
Logisk medellering av Formell Verifiering av Säkerhetsfunktioner i Självkörande Fordon