https://www.mdu.se/

mdu.sePublications
EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2024)
University of L'Aquila, L'Aquila, Italy.ORCID iD: 0000-0001-5951-1567
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-8027-0611
Gran Sasso Science Institute, L'Aquila, Italy.ORCID iD: 0000-0001-8908-6960
University of Toronto, Toronto, Canada.ORCID iD: 0000-0002-0220-191X
Show others and affiliations
2024 (English)In: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, Association for Computing Machinery (ACM), 2024, p. 22-23Conference paper, Oral presentation with published abstract (Other academic)
Abstract [en]

The 6th edition of the workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) provided a forum to share and discuss innovative contributions to research and practice related to novel software engineering approaches to automated and verifiable development of software systems.
Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2024. p. 22-23
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-69575DOI: 10.1145/3691621.3694960Scopus ID: 2-s2.0-85213345577OAI: oai:DiVA.org:mdh-69575DiVA, id: diva2:1921061
Conference
ASEW '24: 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, Sacramento, USA, 27 October - 1 November 2024
Available from: 2024-12-13 Created: 2024-12-13 Last updated: 2025-04-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Bucaioni, Alessio

Search in DiVA

By author/editor
Autili, MarcoBucaioni, AlessioFilippone, GianlucaMarsso, LinaScoccia, Gian Luca
By organisation
Embedded Systems
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 27 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.46.0
|
WCAG
|
Mälardalen University Library
|
DiVA Log in