Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Julien Brunel
Performing Safety Analyses With AADL and AltaRica
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic
Robotic Intelligence
A Service-Based Modelling Approach to Ease the Certification of Multi-Core COTS Processors
