ACM SIGADA ADA LETTERS Home

ACM SIGAda Ada Letters

Go to ACM SIGAda Ada Letters Volume 43, Issue 1

Volume 43, Issue 1

June 2023

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 43, Issue 1 June 2023
ISSN:1094-3641
View Table of Contents
article
AADL modelling with SysML v2
- Jean-Charles Roger
  Ellidiss Technologies, Brest, France
  ,
- Pierre Dissaux
  Ellidiss Technologies, Brest, France
October 2023pp 42-45 https://doi.org/10.1145/3631483.3631486
article
Worst Case Execution Time and Power Estimation of Multicore and GPU Software: A Pedestrian Detection Use Case
- Ivan Rodriguez Ferrandez
  Barcelona Supercomputing Center (BSC) and Universitat Politecnica de Catalunya (UPC)
  ,
- Alvaro Jover Alvarez
  Barcelona Supercomputing Center (BSC) and Universitat Politecnica de Catalunya (UPC)
  ,
- Matina Maria Trompouki
  Barcelona Supercomputing Center (BSC) and Universitat Politecnica de Catalunya (UPC)
  ,
- Leonidas Kosmidis
  Barcelona Supercomputing Center (BSC) and Universitat Politecnica de Catalunya (UPC)
  ,
- Francisco J. Cazorla
  Barcelona Supercomputing Center (BSC) and Universitat Politecnica de Catalunya (UPC)
October 2023pp 111-117 https://doi.org/10.1145/3631483.3631502
article
Modelling Robot Architectures with AADL
- Gianluca Bardaro
  Politecnico di Milano, Milano, Italy
  ,
- Matteo Matteucci
  Politecnico di Milano, Milano, Italy
October 2023pp 59-63 https://doi.org/10.1145/3631483.3631491
article
Towards a Methodology to Design Provably Secure Cyber-physical Systems
- Felipe Lisboa Malaquias
  Collins Aerospace, Ireland
  ,
- Georgios Giantamidis
  Collins Aerospace, Ireland
  ,
- Stylianos Basagiannis
  Collins Aerospace, Ireland
  ,
- Simone Fulvio Rollini
  Collins Aerospace, Italy
  ,
- Isaac Amundson
  Collins Aerospace, USA
October 2023pp 94-99 https://doi.org/10.1145/3631483.3631499
article
Symbolic Refinement for CPS
- Dionisio de Niz
  Carnegie Mellon University, Pittsburgh, PA, USA
  ,
- Lutz Wrage
  Carnegie Mellon University, Pittsburgh, PA, USA
October 2023pp 88-93 https://doi.org/10.1145/3631483.3631498

View latest Issue

Recent Award Winners

View all Award Winners

Most Popular