Green Journals

Multiword Arithmetic and Parallel Computing

Jan Verschelde

2025-12-1 Vol. 45 Issue 2 Pages 67-68

DOI: 10.1145/3821489.3821501

Modeling and Analysis of Energy Monitoring Systems

Tiago Carvalho, Luis Miguel Pinho, Pedro Paiva

2025-12-1 Vol. 45 Issue 2 Pages 78-82

DOI: 10.1145/3821489.3821506

12 <sup>th</sup> Ada Developer Room at FOSDEM 2025

Dirk Craeynest, Fernando Oleo Blanco

2025-12-1 Vol. 45 Issue 2 Pages 54-54

DOI: 10.1145/3821489.3821493

Reasoning About Subprogram Termination in SPARK

Claire Dross, Joffrey Huguet, Johannes Kanig

2025-12-1 Vol. 45 Issue 2 Pages 49-53

DOI: 10.1145/3821489.3821492

A Model-Based Cloud-Edge-Fog Applications Design Walkthrough with the MYRTUS Project's Modelio TOSCA Designer

Alessandra Bagnato, Juan Cadavid, Amina Moussaoui

2025-12-1 Vol. 45 Issue 2 Pages 83-87

DOI: 10.1145/3821489.3821507

Understanding Liquid Types, Contracts and Formal Verification with Ada/SPARK

Fernando Oleo Blanco

2025-12-1 Vol. 45 Issue 2 Pages 61-63

DOI: 10.1145/3821489.3821498

Automated Execution of Attack Chains to Train Data-Driven IDS in Cyber-Physical Systems

Diogo Pedro, José Cecílio, Pedro M. Ferreira et al.

2025-12-1 Vol. 45 Issue 2 Pages 39-43

DOI: 10.1145/3821489.3821490

Kids Learn to Code with AdaBots

Tama McGlinn

2025-12-1 Vol. 45 Issue 2 Pages 71-72

DOI: 10.1145/3821489.3821503

Big Integers for Cryptography in SPARK

César Sagaert

2025-12-1 Vol. 45 Issue 2 Pages 65-66

DOI: 10.1145/3821489.3821500

Improving Vulnerability Analysis of Docker Images

Ilnar Khasanov, Andrey Sadovykh

2025-12-1 Vol. 45 Issue 2 Pages 74-77

DOI: 10.1145/3821489.3821505

Year	A+	A	B	C
2026
2025
2024
2023
2021/2022			✓
2020			✓
2019			✓
2018

Journal Report

Journal Information

Classification History

Recent Articles