5th International Workshop on Automated and verifiable Software sYstem DEvelopment Co-located with ASE 2023
Joined May 2023
- Tweets 23
- Following 32
- Followers 11
- Likes 12
9 Photos and videos
Pinned Tweet
12 Mar 2025
Ready to break the mold? We are looking for bold, cutting-edge research for a special issue in the prestigious Automated Software Engineering journal focusing on automated and verifiable software system development.
ause-journal.github.io/24asy…
2
15 Jul 2025
Are you working on automated software development, compositional verification theories, integration architectures, and automated planning?
Submit your work at the 7th International Workshop on
Automated and verifiable Software sYstem DEvelopment (ASYDE)
asyde-series.github.io/asyde…
5
26 Jul 2024
The paper submission deadline for the 6th International Workshop on Automated and Verifiable Software System Development (ASYDE) has been extended to August 10, 2024.
For more details, check out our official website:
asyde-series.github.io/asyde…
#ASE2024 #SoftwareEngineering
8
10 Jun 2024
Are you working on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms? Submit your work to #ASYDE2024.
More info below ⏬
1
11
10 Jun 2024
The 6th International Workshop on Automated and verifiable Software sYstem DEvelopment (#ASYDE2024) will be hosted in the @ASE_conf
📍 Sacramento, CA
🗓️ 28th October 2024
Submission deadline: 28th July 2024
Check more at asyde-series.github.io/asyde…
18
11 Sep 2023
The session has ended and with it the workshop is over. See you next year for the 6th edition of ASYDE!! @ASE_conf
2
20
11 Sep 2023
The third talk of the session has begun! Gianluca Filippone talks about "Migrating from monoliths to microservices: enforcing correct coordination" @ASE_conf
2
21
11 Sep 2023
Second talk of the session by Alexander Abreu has started: "Exploring Automatic Specification Repair in Dafny Programs" @ASE_conf
1
2
4
185
11 Sep 2023
Starting the last session with a talk about "Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts" by Reiko Heckel
@ASE_conf
1
3
60
11 Sep 2023
We have a second talk on test case prioritization from Arnold Szederjesi titled "Neural Network-based Test Case Prioritization in Continuous Integration" @ASE_conf
1
3
125
11 Sep 2023
Second talk in the session is "Test Case Prioritization based on Neural Network Classification with Artifacts Traceability" from Andreea Vescan @ASE_conf
3
4
89
11 Sep 2023
The second session on Prioritization and Optimization has just started with a talk from Eduard Guegain titled "ICO: A Platform for Optimizing Highly Configurable Systems"
1
2
39
11 Sep 2023
We now have a talk on a systematic mapping study on Automated Negotiation approaches from Mashal Afzal Memon
1
3
53
11 Sep 2023
The 5th edition of ASYDE has just begun! To kickoff there is a keynote on "Machine Learning Security in the Real World" by Dr. Maxime Cordy
2
3
94
ASYDE 2023 retweeted
8 Sep 2023
Are you interested in test case prioritization in continuous integration?
You are welcome to discuss this topic with us, @RaduGaceanu , Arnold Szederjesi and yt, during the @ASE_conf in the talk at the @ASYDE_WS. Or talk to us during coffee breaks.
3
3
9
391
18 Aug 2023
Notifications are out! 8 papers were accepted out of 19 submissions.
Congratulations to all authors of the accepted papers! 🥳
3
21
22 May 2023
Are you working on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms? Submit your work to #ASYDE2023.
🗓️Submission deadline: July 22, 2023
2
22
22 May 2023
📢 Accepted #ASYDE_2023 workshop papers will be included in #ASE2023's conference proceedings.
🗓️ Submission deadline: July 22, 2023.
2
4
107