Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Leandro Buss Becker

Formal Verification of AADL Models Using UPPAAL

2017English

Related publications

Formal Verification of AADL Specifications in the Topcased Environment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

CAN Database Verification Framework Using UPPAAL

International Journal of Computer Theory and Engineering
2017English

Specification and Verification of Media Constraints Using UPPAAL

Design, Specification and Verification of Interactive Systems ’98
1998English

Polychronous Automata and Their Use for Formal Validation of AADL Models

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2019English

Improving Reliability of Myocontrol Using Formal Verification

IEEE Transactions on Neural Systems and Rehabilitation Engineering
Internal MedicineMedicineComputer Science ApplicationsBiomedical EngineeringNeuroscience
2019English

An Ocarina Extension for AADL Formal Semantics Generation

2018English

Executing AADL Models With UML/MARTE

2009English

Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2000English

Formal Verification of Pipelined Processors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy