 | Up a level |
Collaboration networkThis graph maps the connections between all the collaborators of {}'s publications listed on this page.
Each link represents a collaboration on the same publication. The thickness of the link represents the number of collaborations.
Use the mouse wheel or scroll gestures to zoom into the graph.
You can click on the nodes and links to highlight them and move the nodes by dragging them.
Hold down the "Ctrl" key or the "⌘" key while clicking on the nodes to open the list of this person's publications.
Word cloudA word cloud is a visual representation of the most frequently used words in a text or a set of texts. The words appear in different sizes, with the size of each word being proportional to its frequency of occurrence in the text. The more frequently a word is used, the larger it appears in the word cloud. This technique allows for a quick visualization of the most important themes and concepts in a text.
In the context of this page, the word cloud was generated from the publications of the author {}. The words in this cloud come from the titles, abstracts, and keywords of the author's articles and research papers. By analyzing this word cloud, you can get an overview of the most recurring and significant topics and research areas in the author's work.
The word cloud is a useful tool for identifying trends and main themes in a corpus of texts, thus facilitating the understanding and analysis of content in a visual and intuitive way.
Amaral Misson, H., Zrelli, R., Ben Attia, M., Gohring de Magalhaes, F., & Nicolescu, G. (2023, September). ReDaML: a modeling language for DO-178C high-level requirements in airspace systems [Paper]. 34th International Workshop on Rapid System Prototyping (RSP 2023), Hamburg, Germany (7 pages). External link
Amaral Misson, H. (2024). Towards Reliable and Efficient Safety-Critical Systems: A DO-178C Framework for UAV Development [Ph.D. thesis, Polytechnique Montréal]. Available
Amaral Misson, H., Gonçalves, F. S., & Becker, L. B. (2019, November). Applying Integrated Formal Methods on CPS Design [Paper]. 9th Brazilian Symposium on Computing Systems Engineering (SBESC 2019), Natal, Brazil (8 pages). External link
Becker, L. B., Broering, E. F., Gonçalves, F. S., Amaral Misson, H., & Cordeiro, L. (2025). Safe UAV Continuous-Control Architecture Design. ACM SIGAda Ada Letters, 45(1), 44-48. External link
Kamkuimo, S. A., Gohring de Magalhaes, F., Zrelli, R., Amaral Misson, H., Ben Attia, M., & Nicolescu, G. (2023). Decomposition and Modeling of the Situational Awareness of Unmanned Aerial Vehicles for Advanced Air Mobility. Drones, 7(8), 501-501. Available
Zrelli, R., Amaral Misson, H., Kamkuimo, S., Ben Attia, M., Shabah, A., Gohring de Magalhaes, F., & Nicolescu, G. (2026). Integrating formal methods and automated tools for DO-178C compliance in UAV software. Information and Software Technology, 108068. External link
Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. (2024, October). Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications [Paper]. International Workshop on Rapid System Prototyping (RSP 2024), Raleigh, NC, USA. External link
Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents [Paper]. 30th International Working Conference on Requirement Engineering : Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland. External link
