Sotabase

Career

· Professor (Research), Stanford University2021–
· Doctoral Assistant, EPFL
· Research Assistant, EPFL
· Research Scientist, KBR Inc, NASA Ames Research Center
· Associate Professor (Research), Stanford University
· Computer Scientist, Stinger Ghaffarian Technologies (SGT), NASA Ames Research Center
· Postdoctoral Researcher, Vanderbilt University

Publications (57)

Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
Financial Cryptography · 2017
232
cited
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
Financial Cryptography · 2019
132
cited
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
The post · 2018
82
cited
The Eurasian Modern Pollen Database (EMPD), version 2
Earth System Science Data · 2020
76
cited
Formal Requirements Elicitation with FRET
REFSQ Workshops · 2020
69
cited
Automated formalization of structured natural language requirements
Information and Software Technology · 2021
46
cited
Generation of Formal Requirements from Structured Natural Language
Requirements Engineering: Foundation for Software Quality · 2020
46
cited
Reputation Metadata for Recommending Personalized e-Learning Resources
International Workshop on Semantic and Social Media Adaptation and Personalization · 2007
38
cited
Early validation of system requirements and design through correctness-by-construction
Journal of Systems and Software · 2018
37
cited
Configuration logics: Modeling architecture styles
J. Log. Algebraic Methods Program. · 2015
36
cited
Architecture-Based Design: A Satellite On-Board Software Case Study
International Workshop on Formal Aspects of Component Software · 2016
30
cited
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained
IEEE International Requirements Engineering Conference · 2020
28
cited
Exogenous coordination of concurrent software components with JavaBIP
Software, Practice & Experience · 2017
25
cited
Integrating Formal Verification and Assurance: An Inspection Rover Case Study
NASA Formal Methods · 2021
25
cited
Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid
International Conference on Blockchain · 2020
25
cited
A Situational Awareness Architecture for the Smart Grid
ICGS3/e-Democracy · 2011
22
cited
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid
IEEE Transactions on Dependable and Secure Computing · 2023
22
cited
Configuration Logic—Modelling Architecture Styles
2015
21
cited
Architecture Diagrams: A Graphical Language for Architecture Style Specification
International Conference on Information and Computation Economies · 2016
18
cited
Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches
Computer · 2020
16
cited
Sotabase
Anastasia Mavridou | Researcher Profile | Sotabase | Sotabase