Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Loïc Besnard
Polychronous Automata and Their Use for Formal Validation of AADL Models
Frontiers of Computer Science
Computer Science
Theoretical Computer Science
Implementation of the Data-Flow Synchronous Language SIGNAL
Related publications
Formal Verification of AADL Models Using UPPAAL
Virtual Prototyping AADL Architectures in a Polychronous Model of Computation
An Ocarina Extension for AADL Formal Semantics Generation
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
Lecture Notes in 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
Executing AADL Models With UML/MARTE
Incremental Validation of Formal Specifications
Algorithms for Structural and Dynamical Polychronous Groups Detection
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reusing Formal Models
