ACM SIGADA ADA LETTERS Home

ACM SIGAda Ada Letters

Volume 44, Issue 1

June 2024

SIGAda Ada Letters provides an information interchange forum on all aspects of the Ada language and Ada-related technologies, including usage, education, standardization, design methods and compiler implementation. SIGAda's annual conference addresses Ada's role in connection with topics such as software engineering, process improvement, CASE, object technology, computer science education, high-integrity software, real-time applications, COBRA, and Java.

Recommend ACM DL

ALREADY A SUBSCRIBER?SIGN IN

Bibliometrics

Subject Areas

Most Frequent Affiliations

Most Cited Authors

Latest Issue

Volume 44, Issue 1 June 2024
ISSN:1094-3641
View Table of Contents
research-article
Reconfigurable and Scalable Honeynet for Cyber-physical Systems
- Luís Sousa
  LASIGE, Faculdade de Ciências da Universidade de Lisboa, Portugal
  ,
- José Cecílio
  LASIGE, Faculdade de Ciências da Universidade de Lisboa, Portugal
  ,
- Pedro M. Ferreira
  LASIGE, Faculdade de Ciências da Universidade de Lisboa, Portugal
  ,
- Alan Oliveira de Sá
  LASIGE, Faculdade de Ciências da Universidade de Lisboa, Portugal
December 2024pp 90-94 https://doi.org/10.1145/3706601.3706617
research-article
Formal Model Engineering of Synchronous CPS Designs in AADL
- Kyungmin Bae
  Pohang University of Science and Technology, South Korea
  ,
- Peter Csaba Ölveczky
  University of Oslo, Norway
December 2024pp 26-30 https://doi.org/10.1145/3706601.3706604
research-article
Algebraic Effects and Static Analysis for Safety-Critical Applications in Fuzion
- Fridtjof Siebert
  Tokiwa Software GmbH, Karlsruhe, Germany
  ,
- Michael Lill
  Tokiwa Software GmbH, Karlsruhe, Germany
  ,
- Max Teufel
  Tokiwa Software GmbH, Karlsruhe, Germany
December 2024pp 73-77 https://doi.org/10.1145/3706601.3706614
research-article
Task-to-Thread Mapping in OpenMP Using Fuzzy Decision Making
- Mohammad Samadi
  Polytechnic Institute of Porto & INESC TEC, Porto, Portugal
  ,
- Tiago Carvalho
  Polytechnic Institute of Porto & INESC TEC, Porto, Portugal
  ,
- Luís Miguel Pinho
  Polytechnic Institute of Porto & INESC TEC, Porto, Portugal
  ,
- Sara Royuela
  Barcelona Supercomputing Center, Barcelona, Spain
December 2024pp 107-111 https://doi.org/10.1145/3706601.3706620
research-article
Software-Based Security Framework for Edge and Mobile IoT
- José Cecílio
  LASIGE, Faculdade de Ciências da Universidade Lisboa, Portugal
  ,
- Alan Oliveira de Sá
  LASIGE, Faculdade de Ciências da Universidade Lisboa, Portugal
  ,
- André Souto
  LASIGE, Faculdade de Ciências da Universidade Lisboa, Portugal
December 2024pp 95-99 https://doi.org/10.1145/3706601.3706618

View latest Issue

Recent Award Winners

View all Award Winners

Subject Areas

Most Frequent Affiliations

Most Cited Authors

Latest Issue

Reconfigurable and Scalable Honeynet for Cyber-physical Systems

Formal Model Engineering of Synchronous CPS Designs in AADL

Algebraic Effects and Static Analysis for Safety-Critical Applications in Fuzion

Task-to-Thread Mapping in OpenMP Using Fuzzy Decision Making

Software-Based Security Framework for Edge and Mobile IoT

Recent Award Winners

Most Popular