foselab retweeted
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
foselab retweeted
Felienne Hermans (@Felienne ) talks diversity in part II of her interview on the ETAPS blog
etaps.org/blog/027-felienne-…
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
foselab retweeted
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)
foselab retweeted
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
foselab retweeted
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
foselab retweeted
Presenting our tool Asmeta asmeta.github.io/ at @FMsymp @foselab - in the picture: @bombandrea94 @SilviaBG_IT me ElviniaRiccobene @pscand - video available soon
foselab retweeted
🚀 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
foselab retweeted
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.
foselab retweeted
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 – at Niederanven, Luxembourg
foselab retweeted
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
foselab retweeted
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
foselab retweeted
Presented at @splcconf our work that solves with MDDs some problems difficult to solve with existing techniques like BDDs. @AndreaBombarda @UniBergamo @foselab
foselab retweeted
Manuel Núñez, Universidad Complutense de Madrid, giving the first lecture on Metamorphic testing of maps at the Tarot SUMMER school that just started
foselab retweeted
Our work has been presented today at #ABZ2024! @angelogargantin @bombandrea94 – at Bergamo, Lombardy
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
foselab retweeted
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
foselab retweeted
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
foselab retweeted
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…
































