foselab retweeted
9 Dec 2024
On behalf of all women in the SA community, we honor Bara with this photo from #ecsa2019. We'll never forget her charm and determination in inspiring and encouraging women to pursue Comput Science. She remains a role model for us all. @ICSAconf @ECSACONF
ALT Women in Software Architecture ECSA 2019
5
15
462
It is with profound sadness that we share the passing of our dear colleague Barbora Buhnova. Bara’s dedication and contributions left a lasting impact. You will be deeply missed and forever remembered, Bara. Our thoughts are with her loved ones. 🕊️
– ICSA Steering Committee
5
7
44
8,873
foselab retweeted
Felienne Hermans (@Felienne ) talks diversity in part II of her interview on the ETAPS blog
etaps.org/blog/027-felienne-…
4
6
289
foselab retweeted
Supervisors, has one of your students recently written an outstanding dissertation? Please nominate them for the ETAPS doctoral dissertation award*: etaps.org/awards/doctoral-di…
*provided they completed their degree at an eligible institution and submitted in 2024
ALT PhD comics 1164: https://phdcomics.com/comics/archive.php?comicid=1164
6
10
951
foselab retweeted
19 Nov 2024
Title: Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach
Authors: Menghi, Claudio; Balai, Eugene; Valovcin, Darren; Sticksel, Christoph; Rajhans, Akshay
Accepted for publication in IEEE Transactions on Software Engineering (TSE)
1
8
194
foselab retweeted
4 Nov 2024
We proudly announce the 37th International Conference on Testing Software and Systems in the beautiful city of Limassol, Cyprus, starting on 17 to 19 September 2025.
youtu.be/JvtWjtSrXEo
@ifipnews @UCYOfficial @SilviaBG_IT @georgeangelos
#ICTSS2025 #testing #softwaretesting
2
131
ICSA 2025 Call for Papers!
"Architecting for the Next Generation of Intelligent Systems"
Abstracts due: Nov 8, 2024
Full papers due: Nov 15, 2024
Submit your work and shape the future of software architecture!
More info: conf.researchr.org/track/ics…
#ICSA2025 #CallForPapers #WeareICSA
1
15
23
862
foselab retweeted
11 Sep 2024
Presenting our tool Asmeta asmeta.github.io/ at @FMsymp @foselab - in the picture: @bombandrea94 @SilviaBG_IT me ElviniaRiccobene @pscand - video available soon
7
14
670
foselab retweeted
9 Sep 2024
🚀 The 13th track on Software Architecture (SA-TTA) at the 40th ACM/SIGAPP SAC 2025 🌍 calls for high-quality contributions! ✨
📅 Important Dates:
📝 Submission: Sept 20, 2024
📢 Notification: Oct 30, 2024
More at satta.polimi.it/2025/
Don’t miss out! #SoftwareArchitecture
4
8
636
foselab retweeted
7 Sep 2024
I've enjoyed to serve as Program co-chair of @ECSACONF 2024 in Luxembourg. Many thanks to @Elena___Navarro, Elisa, @pscand, Matthias and all the OC members for the amazing job.
See you all next year.
2
12
313
foselab retweeted
6 Sep 2024
All good things come to an end and so @ECSACONF 2024 is over. Many thanks to @Elena___Navarro, Elisa, @pscand and Matthias for an amazing job.
See you all next year in beautiful Cyprus
1
5
24
898
The ECSA Panel “Software Architecture for Trustworthy Software” is happening now with Anton Jansen, @RaffaelaMirand2, Steffen Becker, Barbora Buhnova, and Remco de Boer.
Don’t miss it! #ECSA2024 #ECSA24
1
5
11
373
foselab retweeted
6 Sep 2024
ESOP round 2
Submission deadline October 10, 2024, 23:59 AoE
ACAS, FoSSaCS, FASE
Submission deadline October 10, 2024, 23:59 AoE
Do not forget to submit your best work to ETAPS 2025!
@ETAPSconf
1
2
90
foselab retweeted
6 Sep 2024
Presented at @splcconf our work that solves with MDDs some problems difficult to solve with existing techniques like BDDs. @AndreaBombarda @UniBergamo @foselab
1
1
9
275
foselab retweeted
8 Jul 2024
Manuel Núñez, Universidad Complutense de Madrid, giving the first lecture on Metamorphic testing of maps at the Tarot SUMMER school that just started
3
3
165
foselab retweeted
27 Jun 2024
27 Jun 2024
Andrea Bombarda is currently talking about "From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code" at #ABZ2024
#ABZ #FormalMethods #CodeGeneration #Java #Asmeta #ASM #Bergamo #Tool #Transpiler #Conference
1
2
65
foselab retweeted
24 Jun 2024
One day left for @ABZ_Conference #ABZ2024
June, 25th: Workshops and welcome reception from 19:00 to 21:00 with food and drinks! 🍹
June, 26th - 28th: Main Conference and other social events
Bergamo Città Alta is waiting for you!
@UniBergamo @foselab @pscand
ALT San Giacomo gate of bergamo Città ALta
3
10
195
foselab retweeted
20 May 2024
Our paper "A journey with #ASMETA from #requirements to #code: application to an #automotive system with adaptive features" is available online rdcu.be/dIhCX
Paolo Arcaini, @angelogargantin, Elvinia Riccobene, @pscand
@SpringerNature
@UniBergamo
@ABZ_Conference
3
6
280
foselab retweeted
10 May 2024
Congratulations to all authors of accepted papers! We accepted 29 papers: 9 full papers, 12 short papers, 2 papers in the PhD symposium and 5 1 case study papers to be presented at #ABZ2024
See you soon in Bergamo!
The program is now available at: abz-conf.org/site/2024/progr…
6
14
400