default search action

combined dblp search
author search
venue search
publication search

ask others

Anastasia Mavridou

> Home > Persons

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

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/VazquezMFPC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/VazquezMFPC24
Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu:
Robotics: A New Mission for FRET Requirements. NFM 2024: 359-376
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/FinkMKA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/FinkMKA24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/NelaturuMSVL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/NelaturuMSVL23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/FerroMDM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/FerroMDM23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/AdamLMPBVKTTA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/AdamLMPBVKTTA23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/FarrellMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FarrellMS23
Marie Farrell, Anastasia Mavridou, Johann Schumann:
Exploring Requirements for Software that Learns: A Research Preview. REFSQ 2023: 179-188
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/PressburgerKDM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/PressburgerKDM23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Lluch-LafuenteM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Lluch-LafuenteM22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KatisMGPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KatisMGPS22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/PerezMPGG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/PerezMPGG22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14030
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14030
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]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/GiannakopoulouP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/GiannakopoulouP21
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
Automated formalization of structured natural language requirements. Inf. Softw. Technol. 137: 106590 (2021)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GrompanopoulosG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GrompanopoulosG21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MavridouKGKPW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MavridouKGKPW21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BourbouhFMSBD021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BourbouhFMSBD021
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2021
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-14908
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-14908
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]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/EiseleBDKELM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/EiseleBDKELM20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/brains/KaleemML20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/brains/KaleemML20
Mudabbir Kaleem, Anastasia Mavridou, Aron Laszka:
Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities. BRAINS 2020: 107-111
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icbc2/NelaturuMVL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icbc2/NelaturuMVL20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MavridouBGPHGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MavridouBGPHGS20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/GiannakopoulouP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/GiannakopoulouP20
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
Generation of Formal Requirements from Structured Natural Language. REFSQ 2020: 19-35
[c16]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/GiannakopoulouP20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/GiannakopoulouP20a
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi:
Formal Requirements Elicitation with FRET. REFSQ Workshops 2020
[c15]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/MavridouBGGPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/MavridouBGGPS20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-03745
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-03745
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/2020
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-07628
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-07628
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/MavridouLSD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/MavridouLSD19
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey:
VeriSolid: Correct-by-Design Smart Contracts for Ethereum. Financial Cryptography 2019: 446-465
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-05242
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-05242
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-01292
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-01292
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey:
VeriSolid: Correct-by-Design Smart Contracts for Ethereum. CoRR abs/1901.01292 (2019)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-08405
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-08405
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits:
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR abs/1911.08405 (2019)
2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/StachtiariMKBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/StachtiariMKBS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/MavridouL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/MavridouL18
Anastasia Mavridou, Aron Laszka:
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach. Financial Cryptography 2018: 523-540
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ithings/EiseleLMD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ithings/EiseleLMD18
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/MavridouKZS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/MavridouKZS18
Anastasia Mavridou, Tamás Kecskés, Qishen Zhang, Janos Sztipanovits:
A Common Integrated Framework for Heterogeneous Modeling Services. MoDELS (Workshops) 2018: 416-422
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/MavridouL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/MavridouL18
Anastasia Mavridou, Aron Laszka:
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts. POST 2018: 270-277
[c8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1806-09848
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-09848
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-09949
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-09949
Anastasia Mavridou, Aron Laszka:
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts. CoRR abs/1802.09949 (2018)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-08133
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-08133
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-09919
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-09919
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits:
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR abs/1805.09919 (2018)
2017
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/MavridouBBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MavridouBBS17
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Configuration logics: Modeling architecture styles. J. Log. Algebraic Methods Program. 86(1): 2-29 (2017)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/BliudzeMSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/BliudzeMSZ17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/MavridouRB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/MavridouRB17
Anastasia Mavridou, Valentin Rutz, Simon Bliudze:
Coordination of Dynamic Software Components with JavaBIP. FACS 2017: 39-57
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MavridouRB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MavridouRB17
Anastasia Mavridou, Valentin Rutz, Simon Bliudze:
Coordination of Dynamic Software Components with JavaBIP. CoRR abs/1707.09716 (2017)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-09327
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-09327
Anastasia Mavridou, Aron Laszka:
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach. CoRR abs/1711.09327 (2017)
2016
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/ch/Mavridou16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ch/Mavridou16
Anastasia Mavridou:
Modelling Architecture Styles. EPFL, Switzerland, 2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/MavridouSBIKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/MavridouSBIKS16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MavridouBBS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MavridouBBS16
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Architecture Diagrams: A Graphical Language for Architecture Style Specification. ICE 2016: 83-97
2015
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/MavridouBBS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/MavridouBBS15
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Configuration Logics: Modelling Architecture Styles. FACS 2015: 256-274
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BliudzeMSZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BliudzeMSZ14
Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina:
Coordination of software components with BIP: application to OSGi. MiSE 2014: 25-30
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijesdf/MavridouZDP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijesdf/MavridouZDP12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icgs3/MavridouP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgs3/MavridouP11
Anastasia Mavridou, Mauricio Papa:
A Situational Awareness Architecture for the Smart Grid. ICGS3/e-Democracy 2011: 229-236

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/smap/KerkiriMM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smap/KerkiriMM07
Tania Kerkiri, Athanasios Manitsaris, Anastasia Mavridou:
Reputation Metadata for Recommending Personalized e-Learning Resources. SMAP 2007: 110-115

Coauthor Index

see FAQ

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.