Anastasia Mavridou Profile
Anastasia Mavridou

@anmavrid

Followers
370
Following
1K
Media
41
Statuses
327

Research scientist @ NASA Ames Research Center | Mom of Chloe | Do you speak FRETish? 🚀 https://t.co/6D2G3wzkPv

Mountain View, CA
Joined May 2010
Don't wanna be here? Send us removal request.
@anmavrid
Anastasia Mavridou
3 months
🚀 Looking forward to the FormaliSE keynotes: .Corina Pasareanu and Krzysztof Czarnecki.
0
0
5
@anmavrid
Anastasia Mavridou
3 months
We have just updated our list of FRET-related publications. See: .If you are the author of a FRET-related paper and would like to see it included, let us know!.
0
0
1
@anmavrid
Anastasia Mavridou
3 months
📥 Get FRET v3.0!. 🔗 Full Release Notes: 🔗 GitHub Repository:
0
0
0
@anmavrid
Anastasia Mavridou
3 months
🔹 Requirement-Based Test Case Generation FRET v3.0 also introduces automated test case generation based on FRETish requirements. The streamlined workflow ensures comprehensive testing based on the FLIP coverage metric (.
1
0
0
@anmavrid
Anastasia Mavridou
3 months
🔹 Probabilistic Requirement Specification & Formalization.FRET v3.0 introduces probabilistic requirement specification and formalization, allowing users to model uncertainty—an essential capability for autonomous systems. The generated formulas align with the PRISM language.
1
0
0
@anmavrid
Anastasia Mavridou
3 months
🚀 What’s New in FRET v3.0?.
1
0
0
@anmavrid
Anastasia Mavridou
3 months
FRET supports hierarchical structuring and exporting in various formats, enabling smooth integration with formal analysis tools. Additionally, it features built-in consistency checking, facilitating early verification and validation (V&V).
1
0
0
@anmavrid
Anastasia Mavridou
3 months
FRET allows users to express requirements in restricted English, ensuring unambiguous specification. To enhance understanding of semantics, it automatically translates requirements into multiple representations: English descriptions, formal mathematical logic, and diagrams.
1
0
1
@anmavrid
Anastasia Mavridou
3 months
🚀 Announcing NASA’s Formal Requirements Elicitation Tool (FRET) v3.0 under Apache 2.0 license. We are thrilled to introduce FRET v3.0, a powerful framework for specifying, formalizing, and analyzing system requirements with clarity and precision.
1
1
4
@anmavrid
Anastasia Mavridou
4 months
We have just released FRET v3.0! This release introduces two major features:.🚀Probabilistic Requirement Specification and Formalization.🚀Requirement-based Test Case Generation . Full release notes:
0
0
2
@anmavrid
Anastasia Mavridou
4 months
The program of FormaliSE 2025 is now available: See you in Ottawa! 🚀.
0
1
6
@anmavrid
Anastasia Mavridou
4 months
Here are the abstracts of the FormaliSE keynotes: Looking forward to the talks!.
0
1
1
@anmavrid
Anastasia Mavridou
4 months
RT @NASAAmes: With heavy hearts, we say farewell to Jack Boyd, one of the legends of the NASA Ames family, who has passed away at the age o….
0
68
0
@anmavrid
Anastasia Mavridou
5 months
Excited to announce that our paper was accepted at NFM 2025!
Tweet media one
0
1
6
@anmavrid
Anastasia Mavridou
5 months
We're thrilled to announce our keynote speakers for FormaliSE 2025: Corina Pasareanu and Krzysztof Czarnecki!.
0
1
6
@anmavrid
Anastasia Mavridou
5 months
Such an outstanding program this year! 🎉 Spread the word about FormaliSE 2025 to anyone who may be interested in attending! .⏳ Early Bird Deadline: Register by February 18 to take advantage of reduced pricing: See you in Ottawa!.
0
0
1
@anmavrid
Anastasia Mavridou
7 months
It is always a pleasure to work with you Marie and Hazel. Thanks for visiting us! @farrell_marie
Tweet media one
0
0
4
@anmavrid
Anastasia Mavridou
8 months
Special thanks to all amazing FRETters: Andreas Katis, Tom Pressburger and Khanh Trinh.
0
0
0
@anmavrid
Anastasia Mavridou
8 months
I am delighted to announce that we released NASA's FRET v2.9.1! 🚀 As part of this release, we have extended the expressiveness of FRETIsh, improved the UI, and optimized several aspects of our backend algorithms. Have a look!
1
0
5
@anmavrid
Anastasia Mavridou
8 months
FormaliSE 2025, call for papers: Submission link:
0
1
0