Deploying verification methods for the security of cyber-physical systems into fast, flexible system engineering practices 7 Partners in 4 European countries
Europe
Joined June 2020
- Tweets761
- Following96
- Followers86
- Likes344
VeriDevOps retweeted
🤝 In the video, Luca Morlino introduces us to the challenge formed by Fabio Marongiu and @Tiziana_Fanni from @abinsula_it as the use case provider, and Luca Morlino from @Intecs as the solution provider.
#AIDOaRt #AIDOaRtProject #AI #ML
VeriDevOps retweeted
📣 A new article in the newsletter is out now! Our second article is about the second winner of the 5th Internal Hackathon, "Adoption of AI and ML techniques for image processing in the automotive context".
linkedin.com/pulse/adoption-…
VeriDevOps retweeted
🆕 We are excited to announce that next May 28th, during the plenary meeting of #AIDOaRt, the AIDOM@rket day will take place!
Find out all the details about this event, aimed at consortium members, in the informative poster and the link below! 👇
aidoart.eu/aidoart/events/ai…
VeriDevOps retweeted
🆕 A new article focused on Learning-based fuzzing of Automotive Grade Linux is out now!
✍ Authored by Markus Wolf and Stefan Marksteiner from @AVL_List along with @AndreaPferscher from @tugraz.
#AIDOaRt #AIDOaRtProject #Horizon2020 #AGL
linkedin.com/pulse/learning-…
VeriDevOps retweeted
🆕 A new article focused on Operating Life Monitoring is out now!
✍ Authored by Serenella Ferri De Collibus and Carlo Tieri from @tekne_it, along with Nadia Caterina Zullo Lasala and @DiegoGrimani from @ro_technology.
linkedin.com/pulse/operating…
VeriDevOps retweeted
ANR UPCARE Team in #Paris @SofteamGroup @Docapost , Great Cybersécurité #FR-#DE User-Centric and #Privacy-Preserving Cancer Research Platform anr.fr/Project-ANR-20-CYAL-0… #MESRI #BMBF
ALT User-Centric and Privacy-Preserving Cancer Research Platform – UPCARE Attribute-Based Encryption
VeriDevOps retweeted
🆕 New article focused on Performance Data Exploration is out now!
✍ Authored by Per Erik Strandberg and Yosh Marklund from @westermo, along with Kimmo Nupponen and Nikhil Sharma from @CopadoSolutions.
linkedin.com/pulse/performan…
VeriDevOps retweeted
⚙ Based on the Online Test Case Selection and Prioritization Hackathon challenge, Alina Torbunova and Ivan Porres from @AboAkademi together with Per Erik Strandberg from @westermo got a paper accepted.
Find the pre-print available at the link below ⬇
arxiv.org/abs/2402.02925
VeriDevOps retweeted
🆕 New article focused on Online Test Case Selection and Prioritization is out now!
✍ Authored by Per Erik Strandberg and Yosh Marklund from @westermo along with Alina Torbunova and Adnan Ashraf from @AboAkademi.
linkedin.com/pulse/online-te…
VeriDevOps retweeted
Andrey Kruglyak and Ganesh Chandramouli from @Alstom, @cicchettiItalia from @malardalen_uni, and Bilal Said from @SofteamGroup also participated in the challenge.
VeriDevOps retweeted
🆕 Our new article focused on Achieving #ExplainableAI to Support Decision-making during Requirement is out now!
✍ Authored by Calkin Suero Montero and Lodiana Beqiri from @malardalen_uni, @alebagnato from @SofteamGroup, and Pavel Smrz from @VUTvBrne.
linkedin.com/pulse/achieving…
VeriDevOps retweeted
#ExplainableAI to Support Decision-making during #Requirement Engineering Analysis linkedin.com/pulse/achieving… work in the context of the use case AI-Augmented Requirements Engineering for the Railway Industry.#AIDOaRt #AIDOaRtProject #Horizon2020 #ChipsJU
VeriDevOps retweeted
🚀 In the talk, Abel presents the fruits of the collaboration between @UOCuniversity and @prodevelop and how we apply the #AsyncAPI Toolkit in the development of smart port platforms in the context of the #AIDOaRtProject.
youtube.com/watch?v=m4KS6FSe…
VeriDevOps retweeted
✍ Authored by José Climent from @prodevelop as use case provider along with Fernando Herrera and Diego López Ródenas from @Acorde_Tech, @tirafrutas from @UOCuniversity, and Miguel Sanchis Hernández, Ken Sharman and Sergio Saez from @ITI_TIC as solution providers.
VeriDevOps retweeted
📢 The second article of the third edition of our newsletter is now available! Our second article focuses on monitoring and modelling a #SmartPortMonitoringPlatform.
linkedin.com/pulse/monitorin…
VeriDevOps retweeted
Very happy to share our #SuccessStory on #MDE for #RequirementsEngineering in large #Projects, with @sadovykh, @bilal_said and @DragosTruscan.
Full paper in @SCICO_journal
Preprint in hal.science/hal-04250449
@aidoart @VeriDevOps @AboAkademi @SofteamGroup @IMTAtlantique @LaboLS2N
VeriDevOps retweeted
🤗 We would like to invite you to the final event of the #CircleLabProject, where we will show the #educationalmaterials we have created:
VeriDevOps retweeted
⚙️ The #a2kscheduling can show #bottlenecks and inter-task interferences, as well as contention for accessing shared resources such as memories and communications ports. We can also use the #a2kscheduling service to generate #syntheticdata of various types.
#AIDOaRt #Horizon2020
