Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sara Sharifirad
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
Related publications
A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
A Layered Formal Framework for Modeling of Cyber-Physical Systems
Applying Formal Techniques to the Design of Concurrent Systems.
A Formal Framework for Reasoning About Opportunistic Propensity in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Formal Framework for Computational Trust
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Framework for Prototyping Executable Semantics in ATL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
