default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnastasia Mavridou
Person information
- affiliation: NASA Ames Research Center, Robust Software Engineering, Moffett Field, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c31]Gricel Vázquez
, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu:
Robotics: A New Mission for FRET Requirements. NFM 2024: 359-376- [c30]Xaver Fink, Anastasia Mavridou, Andreas Katis, Borja Fernández Adiego:
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif. NFM 2024: 427-435 - 2023
- [j9]Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas G. Veneris, Aron Laszka:
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid. IEEE Trans. Dependable Secur. Comput. 20(4): 3110-3127 (2023) - [c29]Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins:
Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. DSN-W 2023: 263-266 - [c28]Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bes, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego:
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. NFM 2023: 353-360 - [c27]Marie Farrell, Anastasia Mavridou, Johann Schumann:
Exploring Requirements for Software that Learns: A Research Preview. REFSQ 2023: 179-188 - [c26]Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou:
Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. REFSQ 2023: 295-308 - 2022
- [j8]Alberto Lluch-Lafuente, Anastasia Mavridou:
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24(6): 973-976 (2022) - [c25]Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann:
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. CAV (2) 2022: 490-504 - [c24]Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou:
Automated Translation of Natural Language Requirements to Runtime Monitors. TACAS (1) 2022: 387-395 - [c23]Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick J. Martin:
Monitoring ROS2: from Requirements to Autonomous Robots. FMAS/ASYDE@SEFM 2022: 208-216 - 2021
- [j7]Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
Automated formalization of structured natural language requirements. Inf. Softw. Technol. 137: 106590 (2021) - [j6]Christos Grompanopoulos, Antonios Gouglidis, Anastasia Mavridou:
Specifying and verifying usage control models and policies in TLA+. Int. J. Softw. Tools Technol. Transf. 23(5): 685-700 (2021) - [c22]Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen:
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. FM 2021: 503-523 - [c21]Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher:
Integrating Formal Verification and Assurance: An Inspection Rover Case Study. NFM 2021: 53-71 - [e5]Alberto Lluch-Lafuente, Anastasia Mavridou:
Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. Lecture Notes in Computer Science 12863, Springer 2021, ISBN 978-3-030-85247-4 [contents] - [e4]Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas:
Proceedings 14th Interaction and Concurrency Experience, ICE 2021, Online, 18th June 2021. EPTCS 347, 2021 [contents] - 2020
- [j5]Scott Eisele, Carlos A. Barreto, Abhishek Dubey, Xenofon D. Koutsoukos, Taha Eghtesad, Aron Laszka, Anastasia Mavridou:
Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches. Computer 53(9): 66-76 (2020) - [c20]Mudabbir Kaleem, Anastasia Mavridou, Aron Laszka:
Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities. BRAINS 2020: 107-111 - [c19]Keerthi Nelaturu, Anastasia Mavridou, Andreas G. Veneris, Aron Laszka:
Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid. IEEE ICBC 2020: 1-9 - [c18]Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann:
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. RE 2020: 300-310 - [c17]Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
Generation of Formal Requirements from Structured Natural Language. REFSQ 2020: 19-35 - [c16]Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi:
Formal Requirements Elicitation with FRET. REFSQ Workshops 2020 - [c15]Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann:
Bridging the Gap Between Requirements and Simulink Model Analysis. REFSQ Workshops 2020 - [c14]Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger:
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS 2020: 23-30 - [e3]Ritchie Lee, Susmit Jha, Anastasia Mavridou:
NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lecture Notes in Computer Science 12229, Springer 2020, ISBN 978-3-030-55753-9 [contents] - [e2]Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas:
Proceedings 13th Interaction and Concurrency Experience, ICE 2020, Online, 19 June 2020. EPTCS 324, 2020 [contents]
2010 – 2019
- 2019
- [c13]Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey:
VeriSolid: Correct-by-Design Smart Contracts for Ethereum. Financial Cryptography 2019: 446-465 - [e1]Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou, Alceste Scalas:
Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019. EPTCS 304, 2019 [contents] - [i7]Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey:
VeriSolid: Correct-by-Design Smart Contracts for Ethereum. CoRR abs/1901.01292 (2019) - [i6]Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits:
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR abs/1911.08405 (2019) - 2018
- [j4]Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis:
Early validation of system requirements and design through correctness-by-construction. J. Syst. Softw. 145: 52-78 (2018) - [c12]Anastasia Mavridou, Aron Laszka:
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach. Financial Cryptography 2018: 523-540 - [c11]Scott Eisele, Aron Laszka, Anastasia Mavridou, Abhishek Dubey:
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities. iThings/GreenCom/CPSCom/SmartData 2018: 1263-1272 - [c10]Anastasia Mavridou, Tamás Kecskés, Qishen Zhang, Janos Sztipanovits:
A Common Integrated Framework for Heterogeneous Modeling Services. MoDELS (Workshops) 2018: 416-422 - [c9]Anastasia Mavridou, Aron Laszka:
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts. POST 2018: 270-277 - [c8]Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou:
Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+. MeTRiD@ETAPS 2018: 52-64 - [i5]Anastasia Mavridou, Aron Laszka:
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts. CoRR abs/1802.09949 (2018) - [i4]Scott Eisele, Aron Laszka, Anastasia Mavridou, Abhishek Dubey:
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities. CoRR abs/1804.08133 (2018) - [i3]Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits:
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR abs/1805.09919 (2018) - 2017
- [j3]Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Configuration logics: Modeling architecture styles. J. Log. Algebraic Methods Program. 86(1): 2-29 (2017) - [j2]Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina:
Exogenous coordination of concurrent software components with JavaBIP. Softw. Pract. Exp. 47(11): 1801-1836 (2017) - [c7]Anastasia Mavridou, Valentin Rutz, Simon Bliudze:
Coordination of Dynamic Software Components with JavaBIP. FACS 2017: 39-57 - [i2]Anastasia Mavridou, Valentin Rutz, Simon Bliudze:
Coordination of Dynamic Software Components with JavaBIP. CoRR abs/1707.09716 (2017) - [i1]Anastasia Mavridou, Aron Laszka:
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach. CoRR abs/1711.09327 (2017) - 2016
- [b1]Anastasia Mavridou:
Modelling Architecture Styles. EPFL, Switzerland, 2016 - [c6]Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis:
Architecture-Based Design: A Satellite On-Board Software Case Study. FACS 2016: 260-279 - [c5]Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Architecture Diagrams: A Graphical Language for Architecture Style Specification. ICE 2016: 83-97 - 2015
- [c4]Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Configuration Logics: Modelling Architecture Styles. FACS 2015: 256-274 - 2014
- [c3]Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina:
Coordination of software components with BIP: application to OSGi. MiSE 2014: 25-30 - 2012
- [j1]Anastasia Mavridou, Victor Zhou, Jerald Dawkins, Mauricio Papa:
A situational awareness framework for securing the smart grid using monitoring sensors and threat models. Int. J. Electron. Secur. Digit. Forensics 4(2/3): 138-153 (2012) - 2011
- [c2]Anastasia Mavridou, Mauricio Papa:
A Situational Awareness Architecture for the Smart Grid. ICGS3/e-Democracy 2011: 229-236
2000 – 2009
- 2007
- [c1]Tania Kerkiri, Athanasios Manitsaris, Anastasia Mavridou:
Reputation Metadata for Recommending Personalized e-Learning Resources. SMAP 2007: 110-115
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
