Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hana Mkaouar
An Ocarina Extension for AADL Formal Semantics Generation
Related publications
Formal Verification of AADL Models Using UPPAAL
Some Formal Semantics for Epistemic Modesty
Logic and Logical Philosophy
Philosophy
Polychronous Automata and Their Use for Formal Validation of AADL Models
Frontiers of Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of AADL Specifications in the Topcased Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Semantics and Verification for Feature Modeling
Elements of Formal Semantics: An Introduction to Logic for Students of Language
Language
Linguistics
Language
Automatic Generation of Systematic Test Cases Using AADL for Embedded Software
International Journal of Future Computer and Communication
A Formal Framework for Prototyping Executable Semantics in ATL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Semantics for Isorecursive and Equirecursive State Abstractions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
