The page lists 417 projects related to the topic "frameworks".
| # | |||
|---|---|---|---|
| 1 | FATIMA | FArming Tools for external nutrient Inputs and water MAnagement | 2015 |
| 2 | AGILE | Aircraft 3rd Generation MDO for Innovative Collaboration of Heterogeneous Teams of Experts | 2015 |
| 3 | Built2Spec | Built to Specifications: Self-Inspection, 3D Modelling, Management and Quality-Check Tools for the 21st Century Construction Worksite | 2015 |
| 4 | COMPUCELL | Autonomous Cellular Computers for Diagnosis | 2015 |
| 5 | SURFLINK | MOLECULAR CARPETS ON INSULATING SURFACES: RATIONAL DESIGN OF COVALENT NETWORKS | 2015 |
| 6 | FLUID-INTERFACE | Analysis of moving incompressible fluid interfaces | 2015 |
| 7 | COFLeaf | Fuel from sunlight: Covalent organic frameworks as integrated platforms for photocatalytic water splitting and CO2 reduction | 2015 |
| 8 | preQFT | Strategic Predictions for Quantum Field Theories | 2015 |
| 9 | CIMPLEX | Bringing CItizens, Models and Data together in Participatory, Interactive SociaL EXploratories | 2015 |
| 10 | DEFNET | DEFect NETwork materials science and engineering | 2015 |
| 11 | GEO-C | Joint Doctorate in Geoinformatics - Enabling Open Cities | 2015 |
| 12 | WIDEST | Water Innovation through Dissemination Exploitation of Smart Technologies | 2015 |
| 13 | TAMS4CPS | Trans-Atlantic Modelling and Simulation For Cyber-Physical Systems | 2015 |
| 14 | IMMORTAL | Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems | 2015 |
| 15 | CRACKER | Cracking the Language Barrier: Coordination, Evaluation and Resources for European MT Research | 2015 |
| 16 | U-Test | Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies | 2015 |
| 17 | MERID | Middle East Research and Innovation Dialogue | 2015 |
| 18 | P2P-SmarTest | Peer to Peer Smart Energy Distribution Networks (P2P-SmartTest) | 2015 |
| 19 | AnyPLACE | Adaptable Platform for Active Services Exchange | 2015 |
| 20 | CosTesGrav | Cosmological Tests of Gravity | 2015 |
| 21 | DYNPOR | First principle molecular dynamics simulations for complex chemical transformations in nanoporous materials | 2015 |
| 22 | PHOROSOL | Integrating photochemistry in nanoconfined carbon-based porous materials in technological processes | 2016 |
| 23 | GROWMOF | Modelling of MOF self-assembly, crystal growth and thin film formation | 2015 |
| 24 | LaDIST | Large Discrete Structures | 2015 |
| 25 | SEI Metrics | Developing Sustainable Energy Investment (SEI) metrics, benchmarks, and assessment tools for the financial sector | 2015 |
| 26 | Solar Bankability | Improving the Financeability and Attractiveness of Sustainable Energy Investments in Photovolatics: Quantifying and Managing the Technical Risk for Current and New Business Models | 2015 |
| 27 | WISER | Wide-Impact cyber SEcurity Risk framework | 2015 |
| 28 | INNOVATIONOPTIONS | Valuing Innovation Options and Policy Flexibility Under Uncertainty | 2016 |
| 29 | INDIGO-DataCloud | INtegrating Distributed data Infrastructures for Global ExplOitation | 2015 |
| 30 | FUTURES | Energy Futures of the High North: Assessing Intermediary Expertise and New Valuation Practices that Guide Arctic Hydrocarbon Development | 2016 |
| 31 | PEDIGREE | Pluralistic Economics for Development in Green Economic Enhancement | 2016 |
| 32 | ResolvedJetsHIC | Probing the Strongly-Coupled Quark-Gluon Plasma with Jets | 2015 |
| 33 | EMPOWER | Empowering parents through the development of an online evidence-based mental health promotion school engagement resource | 2015 |
| 34 | RContext | Radical Contextualism and the Science of Meaning | 2015 |
| 35 | NPL | Synthesis of Natural Product Like Compounds for Drug Discovery | 2016 |
| 36 | NEDBELS | NEURODIVERSITY BETWEEN LAW AND SCIENCE | 2015 |
| 37 | hetero-MOF | Rational design of novel heterometallic MOFs for their use in heterogeneous catalysis for cascade reactions | 2015 |
| 38 | ENEFOR | Forecasting oil prices, oil price volatility and economic policy uncertainty | 2015 |
| 39 | STOICHIOMET | Blending Stoichiometric and Metabolic Theories from Genes to Populations: Resource Stochiometry and Temperature Effects on Consumers with Contrasting Life-history Strategies | 2015 |
| 40 | HAHPEC | House and home: physical and emotional comfort in the country house, England and Sweden c.1680-1820 | 2015 |
| 41 | BetMon | Delivering better fitness estimators for wildlife ecology and management and effective monitoring | 2015 |
| 42 | PAnaMoL | Proof-theoretic Analysis of Modal Logics | 2015 |
| 43 | hh | Search for Higgs boson pair production | 2016 |
| 44 | RE-DEV | Assessing the transition to renewable energy in Rapidly Developing Countries | 2015 |
| 45 | SLA-Ready | SLA-Ready: Making Cloud SLAs readily usable in the EU private sector | 2015 |
| 46 | Q-Tales | A Collaboration Ecosystem enabling EU Creative SMEs to exchange multi-media content and create multi-plot, interactive Apps for Children, curated according to Reader ability and educational value. | 2015 |
| 47 | ImmRisk | Defining how environmental factors influence downstream effects of immune-mediated disease risk-SNPs | 2015 |
| 48 | BAMB | Buildings as Material Banks: Integrating Materials Passports with Reversible Building Design to Optimise Circular Industrial Value Chains | 2015 |
| 49 | SPRINT | Social Protection Innovative Investment in Long Term Care | 2015 |
| 50 | MACROUNCERTINEQ | Uncertainty, Risk and Inequality: The Role of Macroeconomic Policies and Institutions | 2015 |
| 51 | PICSIMA | Next generation 3D print technology (PICSIMA), which for the first time enables the direct full colour printing of silicone to make soft tissue prostheses, orthoses and removable partial dentures. | 2015 |
| 52 | SURFINK | Functional materials from on-surface linkage of molecular precursors | 2015 |
| 53 | MELGEN | MELanoma GENetics - understanding and biomarking the genetic and immunological determinants of melanoma survival | 2015 |
| 54 | NACCA | New Approaches in the Conservation of Contemporary Art | 2015 |
| 55 | PANDEM | Pandemic Risk and Emergency Management | 2015 |
| 56 | FutureTDM | Reducing Barriers and Increasing Uptake of Text and Data Mining for Research Environments using a Collaborative Knowledge and Open Information Approach | 2015 |
| 57 | SUSTAINABLEOCEAN | Accommodating New Interests at Sea: Legal Tools for Sustainable Ocean Governance | 2015 |
| 58 | TRUST | Creating and enhancing TRUSTworthy, responsible and equitable partnerships in international research | 2015 |
| 59 | iLABOUR | Online Labour: The Construction of Labour Markets, Institutions and Movements on the Internet | 2015 |
| 60 | SELECTION | Improving Educational Outcomes by Transforming the Selection of Future Teachers | 2015 |
| 61 | HyMAP | Hybrid Materials for Artificial Photosynthesis | 2015 |
| 62 | MaGic | The Materials Genome in Action | 2015 |
| 63 | ExaNeSt | European Exascale System Interconnect and Storage | 2015 |
| 64 | SHARS | Small HeteroAromatic Ring Synthesis: A Unified Approach | 2015 |
| 65 | GRACE | GRACE: Gender and Cultures of Equality in Europe | 2015 |
| 66 | ANSWER | ANtibioticS and mobile resistance elements in WastEwater Reuse applications: risks and innovative solutions | 2015 |
| 67 | Supramol | Towards Artificial Enzymes: Bio-inspired Oxidations in Photoactive Metal-Organic Frameworks | 2015 |
| 68 | NANOMED | Nanomedicine: an integrative approach | 2016 |
| 69 | POTI | People, objects and technologies at the interface – multiscalar interaction networks in the Aegean Bronze Age (3100-1200 BC) | 2016 |
| 70 | FLAME | FLow of Ancient Metals across Eurasia (FLAME): New frameworks for interpreting human interaction in Later Prehistory | 2015 |
| 71 | MC-SUITE | ICT Powered Machining Software Suite | 2015 |
| 72 | ProDIA | Production, control and Demonstration of structured hybrid nanoporous materials for Industrial adsorption Applications | 2015 |
| 73 | NANOGENTOOLS | Developing and implementation of a new generation of nanosafety assessment tools | 2016 |
| 74 | FEAT | Future and Emerging Art and Technology | 2015 |
| 75 | VaVeL | Variety, Veracity, VaLue: Handling the Multiplicity of Urban Sensors | 2015 |
| 76 | HDIV | HDIV: SELF-PROTECTED WEB APPLICATIONS | 2015 |
| 77 | SMARTHE | Smart Thermostat Évolution | 2015 |
| 78 | MemMOFs | Hybrid Membranes Incorporating Metal-Organic Frameworks | 2015 |
| 79 | p-DRIVE | Pyrolysis of Derived Residues of waste, providing Improved gas for Vehicle Engines | 2015 |
| 80 | VINEYARD | Versatile Integrated Accelerator-based Heterogeneous Data Centres | 2016 |
| 81 | T2DSystems | Development of a systems biomedicine approach for risk identification, prevention and treatment of type 2 diabetes | 2016 |
| 82 | ADOPT BBMRI-ERIC | implementAtion anD OPeration of the gateway for healTh into BBMRI-ERIC | 2015 |
| 83 | EXO-ATMOS | Exploring the Plurality of New Worlds: Their Origins, Climate and Habitability | 2016 |
| 84 | HNSciCloud | Helix Nebula – The Science Cloud | 2016 |
| 85 | TAPAS | Tools for Assessment and Planning of Aquaculture Sustainability | 2016 |
| 86 | SALSA | Small farms, small food businesses and sustainable food security | 2016 |
| 87 | GenTree | Optimising the management and sustainable use of forest genetic resources in Europe | 2016 |
| 88 | Science2Society | Improving university, industry and society interfaces to boost the throughput capacity of Europe's innovation stakeholders | 2016 |
| 89 | SIMRA | Social Innovation in Marginalised Rural Areas | 2016 |
| 90 | GaugedBH | Black holes in gauged Supergravity: Supersymmetric and Holographic properties | 2017 |
| 91 | CATA-LUX | Light-Driven Asymmetric Organocatalysis | 2016 |
| 92 | DEMETROPIS | Degradation of ozone-depleting methyl halides in the troposphere characterized by isotopes | 2016 |
| 93 | HARA | Human-Animal Relationships in Archaeology: World Views of Hunter-gatherers in NorthernEurope | 2016 |
| 94 | PEEK | Mobilisation and transformation of personal educational knowledge for teaching: An ethnographic account on teacher knowledge | 2017 |
| 95 | ZeoSynMech | Spatiotemporal and In-situ Spectroscopic Crystallization Studies of Microporous Materials | 2016 |
| 96 | PHOTO ORGANO-GOLD | Driving asymmetric photoreactions by merging organo- and gold-catalysis | 2016 |
| 97 | PyroMOF2cat | Metal Organic Framework mediated synthesis for novel catalysts in the Fischer Tropsch synthesis. | 2016 |
| 98 | Cleanup-MOFs | Decontamination of emerging pollutant using porous Metal-Organic Frameworks (MOFs) and silica-MOFs composites | 2016 |
| 99 | FREYA | Forecasting RangE dYnamics of Alien species under climate change. | 2016 |
| 100 | RAMSES | Aryl amide metallofoldamersas selective saccharide sensors | 2016 |
| 101 | ADVANTA | Toward a new generation of miniature multifrequency antennas using multiresonance platform based on subwavelength structures inspired by advanced metamaterials | 2017 |
| 102 | VAPOMOF | Vapour phase deposition of metal-organic frameworks with luminescent guests for solid-state lighting and sensing | 2016 |
| 103 | RESSALE | Resale Second-hand SoftwAre's License for Enterprises | 2016 |
| 104 | Forgery | Forging Ahead: Faking Sagas and Developing Concepts of Cultural Authenticity and National Identity in 17th- and 18th-Century Scandinavia | 2017 |
| 105 | EFFECT | Effective environmental policies in Europe in the context of rebound effects | 2017 |
| 106 | SMART-map | RoadMAPs to Societal Mobilisation for the Advancement of Responsible Industrial Technologies | 2016 |
| 107 | SCoTMOF | Combined Chemo- and Radiotherapies by Controlling the Surface Chemistry of Truncated Metal Organic Framework Nanoparticles | 2016 |
| 108 | MERCES | Marine Ecosystem Restoration in Changing European Seas | 2016 |
| 109 | DYNAPORE | Dynamic responsive porous crystals | 2016 |
| 110 | BROADMAP | Mapping Interoperable EU PPDR Broadband Communication Applications and Technology | 2016 |
| 111 | SafeShore | System for detection of Threat Agents in Maritime Border Environment | 2016 |
| 112 | SOGICA | Sexual Orientation and Gender Identity Claims of Asylum: A European human rights challenge | 2016 |
| 113 | SYSDYNET | Data-driven Modelling in Dynamic Networks | 2016 |
| 114 | EVNSMAS | An evolutionary approach to automated norm synthesis for multi agent systems | 2016 |
| 115 | REFORMED | Reforming Schools Globally: A Multi-Scalar Analysis of Autonomy and Accountability Policies in the Education Sector | 2016 |
| 116 | TiDrugArchitectures | Highly Competent and Safe Titanium(IV) Therapeutic Frameworks that are Cancer Targeted based on Complex 1, 2, and 3D Chemical Architectures | 2016 |
| 117 | POLICYAID | Policy, practice and patient experience in the age of intensified data sourcing | 2016 |
| 118 | SUMPs-Up | European Programme for Accelerating the Take up of Sustainable Urban Mobility Plans | 2016 |
| 119 | ENERI | European Network of Research Ethics and Research Integrity (ENERI) | 2016 |
| 120 | BEGMAT | Layered functional materials - beyond 'graphene' | 2016 |
| 121 | PROWAT | Proton conduction in structured water | 2016 |
| 122 | AdOMiS | Adaptive Optical Microscopy Systems: Unifying theory, practice and applications | 2016 |
| 123 | REGPROP | Regularity properties, definability and combinatorics on the real line. | 2017 |
| 124 | SCOUT | Safe and COnnected aUtomation in road Transport | 2016 |
| 125 | SMARTHE | Smart thermostat èvolution | 2016 |
| 126 | CLIMASLOW | Slowing Down Climate Change: Combining Climate Law and Climate Science to Identify the Best Options to Reduce Emissions of Short-Lived Climate Forcers in Developing Countries | 2017 |
| 127 | MEDIATE | Middlebrow Enlightenment: Disseminating Ideas, Authors, and Texts in 18th-century Europe | 2016 |
| 128 | RuKNOW | Knowledge on International Relations in Russia | 2016 |
| 129 | ASPAir | Accelerated Synthesis of Nanoporous Photocatalysts for Indoor Air Purification | 2016 |
| 130 | NEW-MINE | EU Training Network for Resource Recovery through Enhanced Landfill Mining | 2016 |
| 131 | CHEurope | Critical Heritage Studies and the Future of Europe_Towards an integrated, interdisciplinary and transnational training model in cultural heritage research and management | 2016 |
| 132 | GIFT | Meaningful Personalization of Hybrid Virtual Museum Experiences Through Gifting and Appropriation | 2017 |
| 133 | ROBUST POLICY | Developing a robust decision making framework for climate change policy under uncertainty | 2016 |
| 134 | GRAMOFON | New process for efficient CO2 capture by innovative adsorbents based on modified graphene aerogels and MOF materials | 2016 |
| 135 | MOFcat | Fundamental and Applied Science on Molecular Redox-Catalysts of Energy Relevance in Metal-Organic Frameworks | 2017 |
| 136 | MUSES | Towards middle-range theories of the co-evolutionary dynamics of multi-level social-ecological systems | 2017 |
| 137 | MSO4SC | Mathematical Modelling, Simulation and Optimization for Societal Challenges with Scientific Computing | 2016 |
| 138 | e-Confidence | Confidence in behaviour changes through serious games | 2016 |
| 139 | CONSTAMIS | Connecting Statistical Mechanics and Conformal Field Theory: an Ising Model Perspective | 2017 |
| 140 | MELODIC | Multi-cloud Execution-ware for Large-scale Optimized Data-Intensive Computing | 2016 |
| 141 | AlCat | Bond activation and catalysis with low-valent aluminium | 2017 |
| 142 | ESROCOS | European Space Robot Control Operating System | 2016 |
| 143 | AEGIS | Advanced Big Data Value Chain for Public Safety and Personal Security | 2017 |
| 144 | EPRISE | Empowering Photonics through Regional Innovation Strategies in Europe | 2017 |
| 145 | VERSATILE | Innovative robotic applications for highly reconfigurable production lines - VERSATILE | 2017 |
| 146 | CALC | Computer-Assisted Language Comparison: Reconciling Computational and Classical Approaches in Historical Linguistics | 2017 |
| 147 | VAPORE | Vapor deposition of crystalline porous solids | 2016 |
| 148 | AARC2 | Authentication and Authorisation For Research and Collaboration | 2017 |
| 149 | PJ19 CI | Content Integration | 2016 |
| 150 | chem-fs-MOF | Chemical Engineering of Functional Stable Metal-Organic Frameworks: Porous Crystals and Thin Film Devices | 2017 |
| 151 | H-CCAT | Solid Catalysts for activation of aromatic C-H bonds | 2017 |
| 152 | ROBUST | Robust Mechanism Design and Robust Prediction in Games | 2016 |
| 153 | InRoad | Towards better Synchronisation of Priority Settings and Evaluation Mechanisms for Research Infrastructures Beyond National Relevance | 2017 |
| 154 | bioPCET | Functional Proton-Electron Transfer Elements in Biological Energy Conversion | 2017 |
| 155 | Fed4FIREplus | Federation for FIRE Plus | 2017 |
| 156 | TESTBED | Testing and Evaluating Sophisticated information and communication Technologies for enaBling a smartEr griD | 2017 |
| 157 | LCPT | SONOLIS ENERGY STORAGE SYSTEM: Lithium Capacitor Power Transfer | 2016 |
| 158 | GeoERA | Establishing the European Geological Surveys Research Area to deliver a Geological Service for Europe | 2017 |
| 159 | LMCat | Development of continuous two-dimensional defect-free materials by liquid-metal catalytic routes | 2017 |
| 160 | PRE-EST | Preparatory Phase for the European Solar Telescope | 2017 |
| 161 | ACCELERATE | ACCELERATing Europe's Leading Research Infrastructures | 2017 |
| 162 | ACTRIS PPP | ACTRIS PPP - Aerosols, Clouds and Trace gases Preparatory Phase Project | 2017 |
| 163 | ADAPTATION | Predicting adaptive responses of protected species to environmental changes to optimise conservation management frameworks in Europe | 2016 |
| 164 | TOPIOS | Tracking Of Plastic In Our Seas | 2017 |
| 165 | EURECA | Enhanced Human Robot cooperation in Cabin Assembly tasks | 2017 |
| 166 | EPP | Econometrics for Public Policy: Sampling, Estimation, Decision, and Applications | 2017 |
| 167 | APMAV | Innovative drone-based solution for agriculture | 2017 |
| 168 | QTReproART | Towards an Inclusive Common European Framework for Assisted Reproductive Technologies (ART): Queer Transgender Reproduction in the Age of ART. | 2017 |
| 169 | InsiliCardio | Image-based High-resolution In-silico Modeling of Total Cardiac Function | 2017 |
| 170 | WakeOpColl | Learning and collective intelligence for optimized operations in wake flows | 2017 |
| 171 | CustomCOF | New strategies for the formation of two-dimensional covalent organic frameworks (2D-COFs) on surfaces. | 2017 |
| 172 | LandsOfMeaning | Lands of Meaning. A Geographical Information System Study of Space and Social Praxis in Ancient Attika, Greece, from the Mycenaean Age to the birth of Democracy (1200-480 BC) | 2017 |
| 173 | EDAPOL | The Epistemic and Dynamic Aspects of Polarization. | 2018 |
| 174 | 2D-COF-WS | Designing and screening two dimensional covalent organic frameworks for effective water splitting | 2017 |
| 175 | TRANSRISK | Vulnerability and risk assessment of transportation systems of assets (SoA) exposed to geo-hazards | 2017 |
| 176 | SIMOF | Single-Molecule Spintronics: a Coordination Chemistry Approach to Quantum Computing | 2017 |
| 177 | MONSTAA | Metabolism of Novel Strains of Arctic Algae | 2017 |
| 178 | HiProLoop | Scattering Amplitudes for Higgs Production at High-Order as touchstone for Automated Multiloop Feynman Calculus | 2018 |
| 179 | SmartMOFs | Smart Metal Organic Frameworks for Sensing Volatile Organic Compounds | 2017 |
| 180 | GLOTRAINS | Global Transitions and Innovation Systems | 2017 |
| 181 | TRANSFAIR | Unfair transitions? A critical examination low-carbon energy pathways in the EU from a domestic energy vulnerability perspective | 2018 |
| 182 | S-CAGE | Smart Coordination Polymers with Compartmentalized Pockets for Adaptive Guest Entrance | 2017 |
| 183 | CLIMOD | Integrating climate impact and spatial microsimulation modelling for improved climate change adaptation decision-making | 2018 |
| 184 | Neuronal MRI | Neuronal MRI: Harnessing chemical exchange between N-Acetylaspartate and water for functional imaging of neural activity | 2017 |
| 185 | SAFER-LC | SAFER Level Crossing by integrating and optimizing road-rail infrastructure management and design | 2017 |
| 186 | NanoMOFdeli | Design of NanoMOFs Capsules for Drug Delivery and Bioimaging. | 2017 |
| 187 | SAbDA | Sustainability Assessment based on Decision Aiding | 2018 |
| 188 | MaaS4EU | End-to-End Approach for Mobility-as-a-Service tools, business models, enabling framework and evidence for European seamless mobility | 2017 |
| 189 | RETVOLUTION | Reticulate evolution: patterns and impacts of non-vertical inheritance in eukaryotic genomes. | 2018 |
| 190 | SKILLNET | Sharing Knowledge In Learned and Literary Networks. The Republic of Letters as a Pan-European Knowledge Society | 2017 |
| 191 | CYBECO | Supporting Cyberinsurance from a Behavioural Choice Perspective | 2017 |
| 192 | SIENNA | Stakeholder-informed ethics for new technologies with high socio-economic and human rights impact | 2017 |
| 193 | AF-Cyber | Logic-based Attribution and Forensics in Cyber Security | 2018 |
| 194 | QualitEE | Quality certification frameworks for Energy Efficiency services to scale up responsible investment in the building sector | 2017 |
| 195 | WATERPROTECT | Innovative tools enabling drinking WATER PROTECTion in rural and urban environments | 2017 |
| 196 | ESFR-SMART | European Sodium Fast Reactor Safety Measures Assessment and Research Tools | 2017 |
| 197 | MECHIDENT | Who is that? Neural networks and mechanisms for identifying individuals | 2017 |
| 198 | POLITICS | The politics of anti-racism in Europe and Latin America: knowledge production, decision-making and collective struggles | 2017 |
| 199 | BigFastData | Charting a New Horizon of Big and Fast Data Analysis through Integrated Algorithm Design | 2017 |
| 200 | PADDLE | Planning in A liquiD worlD with tropicaL StakEs: solutions from an EU-Africa-Brazil perspective | 2017 |
| 201 | NRG-5 | Enabling Smart Energy as a Service via 5G Mobile Network advances (NRG-5) | 2017 |
| 202 | BigData Heart | Big Data 4 Better Hearts - Sofia ref.: 116074 | 2017 |
| 203 | IPV_Tanzania | Investigating the predictors of intimate partner violence: a mixed method longitudinal study in Tanzania | 2017 |
| 204 | Pydro Turbine | Energy-Recovery Turbine for Water Pipes | 2017 |
| 205 | SPRING | Setting the framework for the enhanced impact of SPIRE projects | 2017 |
| 206 | BAM | Becoming A Minority | 2017 |
| 207 | ALADDIN | Advanced hoListic Adverse Drone Detection, Identification Neutralization | 2017 |
| 208 | ImmerSAFE | Immersive Visual Technologies for Safety-critical Applications | 2018 |
| 209 | PASTRES | Pastoralism, Uncertainty and Resilience: Global Lessons from the Margins | 2017 |
| 210 | SSID | Soundscape Indices | 2018 |
| 211 | COSMOS | Computational Simulations of MOFs for Gas Separations | 2017 |
| 212 | AMPLITUDES | Manifesting the Simplicity of Scattering Amplitudes | 2018 |
| 213 | iDistributedPV | Solar PV on the Distribution Grid: Smart Integrated Solutions of Distributed Generation based on Solar PV, Energy Storage Devices and Active Demand Management | 2017 |
| 214 | AEROFLEX | Aerodynamic and Flexible Trucks for Next Generation of Long Distance Road Transport | 2017 |
| 215 | INCLUSION | Towards more accessIble and iNCLUSIve mObility solutions for EuropeaN prioritised areas | 2017 |
| 216 | InsSciDE | Inventing a Shared Science Diplomacy for Europe | 2017 |
| 217 | NebuFlox | Making it happen - Scalable biphasic reactions using a nebulizer-driven continuous flow reactor | 2018 |
| 218 | NECOS | Novel Enablers for Cloud Slicing | 2017 |
| 219 | MemoMOFEnergy | Constructing polar rotors in metal-organic frameworks for memories and energy harvesting | 2018 |
| 220 | MNEMONIC | Magnetic Enzyme Metal Organic Framework Composites | 2017 |
| 221 | CARMOF | CARMOF: New process for efficient CO2 capture by innovative adsorbents based on modified carbon nanotubes and MOF materials | 2018 |
| 222 | SoCaTel | A multi-stakeholder co-creation platform for better access to long-term care services | 2017 |
| 223 | RESPECT | Realizing Europe’s Soft Power in External Cooperation and Trade | 2018 |
| 224 | FIT4FOOD2030 | Fostering Integration and Transformation for FOOD 2030 | 2017 |
| 225 | CLAIM | Cleaning Litter by developing and Applying Innovative Methods in european seas | 2017 |
| 226 | NanoCommons | The European Nanotechnology Community Informatics Platform: Bridging data and disciplinary gaps for industry and regulators (NanoCommons) | 2018 |
| 227 | EIRENE | Post-war trasistions in gendered perspective: the case of the North-Eastern Adricatic Region | 2017 |
| 228 | EpComp | Competence and Success in Epistemology and Beyond | 2018 |
| 229 | DATAJUSTICE | Data Justice: Understanding datafication in relation to social justice | 2018 |
| 230 | MEMBER | Advanced MEMBranes and membrane assisted procEsses for pre- and post- combustion CO2 captuRe | 2018 |
| 231 | COMPACT | COMPACT: FROM RESEARCH TO POLICY THROUGH RAISING AWARENESS OF THE STATE OF THE ART ON SOCIAL MEDIA AND CONVERGENCE | 2017 |
| 232 | BEHAPI | Behavioural Application Program Interfaces | 2018 |
| 233 | INDESMOF | International Network on Ionic Liquid Deep Eutectic Solvent Based Metal Organic Frameworks Mixed Matrix Membranes. | 2018 |
| 234 | COMED | Pushing the boundaries of Cost and Outcome analysis of Medical Technologies | 2018 |
| 235 | SPIRIT | A software framework for the efficient setup of industrial inspection robots | 2018 |
| 236 | ComSos | Commercial-scale SOFC systems | 2018 |
| 237 | FANFAR | Reinforced cooperation to provide operational flood forecasting and alerts in West Africa | 2018 |
| 238 | Avionero | Avionero – a new standard in flight search | 2017 |
| 239 | TopATLAS | Topological Atlas: Mapping Contemporary Borderscapes | 2018 |
| 240 | DYNACQM | Dynamics of Correlated Quantum Matter: From Dynamical Probes to Novel Phases of Matter
 | 2018 |
| 241 | PROMOFS | Nanoengineering and Processing of Metal-Organic Framework Composites for Photonic Sensors | 2018 |
| 242 | SHINE | Seeing hydrogen in matter | 2018 |
| 243 | POPCRYSTAL | Precisely Oriented Porous Crystalline Films and Patterns | 2018 |
| 244 | D-SynMA | Distributed Synthesis: from Single to Multiple Agents | 2018 |
| 245 | HAPPEN | Holistic AProach and Platform for the deep renovation of the med residential built ENvironment | 2018 |
| 246 | InvECAT | Investor Energy-Climate Action Toolkit - Developing the framework and platform for non state actors' contribution to the Paris Agreement | 2018 |
| 247 | OSMOSE | Optimal System-Mix Of flexibility Solutions for European electricity | 2018 |
| 248 | ICAPEH | LIVING TOGETHER: AN INTEGRATED ACCULTURATION-CONTACT STRATEGY TO PROMOTE ETHNIC HARMONY BETWEEN BRITISH MUSLIMS AND ANGLO-BRITONS | 2018 |
| 249 | iPER | University students' negotiation of physics identity in informal physics programs | 2018 |
| 250 | MOOiRE | Mix-in Organic-InOrganic Redox Events for High Energy Batteries | 2018 |
| 251 | MISFIRES | Misfires and Market Innovation: Toward a Collaborative Turn in Organising Markets | 2018 |
| 252 | Construye2020_Plus | A new boost for green jobs, growth and sustainability | 2018 |
| 253 | DESlRE | Data-Efficient Scalable Reinforcement Learning for Practical Robotic Environments | 2018 |
| 254 | NEW_ABC | New issues in the Analysis of Business Cycles | 2018 |
| 255 | XFab | Xene Fabrication for a Two-Dimensional Nanotechnology Platform | 2018 |
| 256 | CatChain | Catching–Up along the Global Value Chain: models, determinants and policy implications in the era of the Fourth Industrial Revolution | 2018 |
| 257 | OLYMPUS | Oblivious identitY Management for Private and User-friendly Services | 2018 |
| 258 | ADOR | Assembly-disassembly-organisation-reassembly of microporous materials | 2018 |
| 259 | PROTAX | New Methods to PRevent, Investigate and Mitigate COrruption and TAX Crimes in the EU | 2018 |
| 260 | PERSONA | Privacy, ethical, regulatory and social no-gate crossing point solutions acceptance | 2018 |
| 261 | VOICEs | Controversies in Childbirth: from Epistemology to Practices | 2018 |
| 262 | RiConfigure | Reconfiguring Research and Innovation Constellations | 2018 |
| 263 | SCALINGS | Scaling up Co-creation: Avenues and Limits for Integrating Society in Science and Innovation | 2018 |
| 264 | ISOMAXENT | Development of a design-through-analysis methodology based on a coupled isogemetrcic-maximumentropy approach | 2018 |
| 265 | ZEOCATALYST | Development of Multifunctional Zeolites for the Amelioration of Biomass Catalysis by Measuring and Understanding Synergistic Effects of Catalytic Active Sites | 2019 |
| 266 | MECHANOIDS | Probing and controlling the three-dimensional organoid mechanobiology | 2019 |
| 267 | MOFdynamics | Investigating metal-organic frameworks using excited-state dynamics and theoretical spectroscopy | 2018 |
| 268 | MRRI-MENA | Migrant and Refugee Rights Index for the Middle East and North Africa | 2019 |
| 269 | FaMInART | “Family Making in India through Adoption or Reproductive Technology ” An interdisciplinary investigation of preference of Indian couples experiencing infertility regarding means of family formation | 2019 |
| 270 | METACTIVE | Nonlinear Approaches for the Design of Active Piezoelectric Metamaterials | 2019 |
| 271 | PATH2EVOL | Unravelling pathogen evolution breaking down crop resistance in agricultural ecosystems | 2018 |
| 272 | SpaceEye | Mission concepts for high-performance CubeSat platforms with propulsion system | 2019 |
| 273 | COASTAL | Collaborative lAnd Sea inTegration pLatform | 2018 |
| 274 | PATROLS | Physiologically Anchored Tools for Realistic nanOmateriaL hazard aSsessment | 2018 |
| 275 | MEISTER | Mobility Environmentally-friendly, Integrated and economically Sustainable Through innovative Electromobility Recharging infrastructure and new business models | 2018 |
| 276 | DRONETHICS | Emergent Ethics of Drone Violence: Toward a Comprehensive Governance Framework | 2018 |
| 277 | NEOGENE | Archaeogenomic analysis of genetic and cultural interactions in Neolithic Anatolian societies | 2018 |
| 278 | E-DUALITY | Exploring Duality for Future Data-driven Modelling | 2018 |
| 279 | E-DESIGN | Artificial designer materials | 2018 |
| 280 | APMPAL-HET | Asset Prices and Macro Policy when Agents Learn and are Heterogeneous | 2018 |
| 281 | QuantOCancer | Leveraging the unique organismic approach to health and disease of the Champalimaud Foundation through the inception of a quantitative biomedicine research programme focused on cancer | 2018 |
| 282 | COSMOS | COSMOS: Computational Shaping and Modeling of Musical Structures | 2019 |
| 283 | Made4You | Open and Inclusive Healthcare for Citizens Based on Digital Fabrication | 2018 |
| 284 | Have a BLaST | Disruptive Bike Logistic Smart Trailer for efficient, painless and zero nuisance last mile delivery in cities | 2018 |
| 285 | Symmetries-Cosmology | Duality Symmetries, Higher Derivatives, and their Applications in Cosmology | 2018 |
| 286 | E-FREE | E-FREE (Smart Solutions): Towards a more ECO, HEALTHY and SAFE environment in every single lighting scenario. | 2018 |
| 287 | BITEXT | Building conversational chatbots faster using NLP and machine learning | 2018 |
| 288 | ELDORADO | Electrophilicity-Lifting Directed by Organochalcogen Redox-Auxiliaries and Diversiform Organocatalysis | 2019 |
| 289 | BeyondA1 | Set theory beyond the first uncountable cardinal | 2018 |
| 290 | REFLOW | Phosphorus REcovery for FertiLisers frOm dairy processing Waste | 2019 |
| 291 | CLUSTER | organisation of CLoUdS, and implications for Tropical cyclones and for the Energetics of the tropics, in current and in a waRming climate | 2019 |
| 292 | TRESSPASS | robusT Risk basEd Screening and alert System for PASSengers and luggage | 2018 |
| 293 | GECKO | Governance principles and mEthods enabling deCision maKers to manage and regulate the changing mObility systems | 2018 |
| 294 | A-WEAR | A network for dynamic WEarable Applications with pRivacy constraints | 2019 |
| 295 | UltimateMembranes | Energy-efficient membranes for carbon capture by crystal engineering of two-dimensional nanoporous materials | 2019 |
| 296 | FutureEUAqua | Future growth in sustainable, resilient and climate friendly organic and conventional European aquaculture | 2018 |
| 297 | CICERONE | CIrCular Economy platfoRm for eurOpeaN priorities strategic agEnda | 2018 |
| 298 | EROSS | European Robotic Orbital Support Services | 2019 |
| 299 | PRE-LEAP-RE | PREparing for a Long-Term Joint EU-AU Research and Innovation Partnership on Renewable Energy | 2018 |
| 300 | ENDpoiNTs | Novel Testing Strategies for Endocrine Disruptors in the Context of Developmental NeuroToxicity | 2019 |
| 301 | OSCAR | Open ScienCe Aeronautic & Air Transport Research | 2019 |
| 302 | EU-VNP-Net | EU Valuing Nature Programme and Network | 2018 |
| 303 | CriticalMaaS | Concepts, theories and models for planning , operating and evaluating the dynamics of Mobility as a Service | 2019 |
| 304 | ProDIS | Provenance for Data-Intensive Systems | 2018 |
| 305 | HY-NANO | HYbrid NANOstructured multi-functional interfaces for stable, efficient and eco-friendly photovoltaic devices | 2019 |
| 306 | GRRIP | Grounding RRI practices in research performing organisations | 2019 |
| 307 | Digital Good | The Digital Disruption of Health Research and the Common Good. An Empirical-Philosophical Study | 2019 |
| 308 | NanoSolveIT | Innovative Nanoinformatics models and tools: towards a Solid, verified and Integrated Approach to Predictive (eco)Toxicology (NanoSolveIT) | 2019 |
| 309 | NANORIGO | Establishing a Nanotechnology Risk Governance Framework | 2019 |
| 310 | iGame | Multi-dimensional Intervention Support Architecture for Gamified eHealth and mHealth Products | 2019 |
| 311 | CO-ADAPT | CO-ADAPT: Adaptive Environments and Conversational Agent Based approaches for Healthy Ageing and Work Ability | 2018 |
| 312 | MEUS | Multi-Religious Encounters in Urban Settings | 2019 |
| 313 | DIAPASoN | Differential Program Semantics | 2019 |
| 314 | MOF-reactors | Metal-Organic Frameworks as Chemical Reactors for the Synthesis of Well-Defined Sub-Nanometer Metal Clusters | 2019 |
| 315 | QAFA | Quantum Algorithms from Foundations to Applications | 2019 |
| 316 | CREATIVE IPR | The History of Intellectual Property Rights in the Creative Industries | 2019 |
| 317 | AFRISCREENWORLDS | African Screen Worlds: Decolonising Film and Screen Studies | 2019 |
| 318 | INSCONS | Addressing Global Challenges through International Scientific Consortia (INSCONS); Case studies in biomedicine, the geosciences, and nuclear fusion research | 2019 |
| 319 | AI4EU | A European AI On Demand Platform and Ecosystem | 2019 |
| 320 | QuNeS | Quantum Networks in Space-Time | 2020 |
| 321 | OSTers | Role of OligoSaccharyl Transferase enzymes in developmental signaling and congenital disorders of glycosylation | 2019 |
| 322 | Domesticities | Gender, Infrastructure and the Production of Domesticity in the (Post)Communist City | 2019 |
| 323 | CHIBRIT | Is There No Such Thing As Childhood? New Childhoods in Britain and Turkey between 1976 and 1997 | 2020 |
| 324 | PROTEAS | Programming Terpene Cyclization Through Iterative Precursor Assembly | 2019 |
| 325 | DefTiMOFs | Defective Titanium Metal-Organic Frameworks | 2019 |
| 326 | EMOF | Synthesizing and Investigating the Exotic Electronic Properties of Two-Dimensional Metal-Organic Frameworks | 2020 |
| 327 | MolecularControl | Harvesting out-of-equilibrium forces for molecular control | 2020 |
| 328 | PHOTOCATALYSIS | Recyclable Metal-free Photocatalysts for Synthetic Chemistry based on Covalent Organic Frameworks | 2019 |
| 329 | CLIMB | Calibrating and Improving Mechanistic models of Biodiversity | 2019 |
| 330 | MUSYCA | MUltimetallic SYstems for C-H Activation processes | 2019 |
| 331 | PhotoCatRed | Visible-light-driven Photocatalytic CO2 Reduction to Solar fuels by multinary N-Graphene based Heterostructure Composites | 2019 |
| 332 | RESILIENCE | RESILIENCE: Understanding the role of resources in building resilience in marketing systems of refugee-run businesses in Europe | 2019 |
| 333 | EPIC | Evolution of Planktonic Gastropod Calcification | 2019 |
| 334 | EFFECT | Environmental public goods From Farming through Effective Contract Targeting | 2019 |
| 335 | AGRUMIG | ‘Leaving something behind’ - Migration governance and agricultural & rural change in ‘home’ communities: comparative experience from Europe, Asia and Africa | 2019 |
| 336 | MMQIP | Molecular Magnets: Coordination Cages, Frameworks and Multifunctional Materials | 2020 |
| 337 | ROXANNE | Real time network, text, and speaker analytics for combating organized crime | 2019 |
| 338 | COEXIST | Co-creating change: experimenting with values for sustainability transformation | 2020 |
| 339 | BiMetaCat | Two Are Better Than One: Bimetallic Catalysts for the Conversion of Lignin-Derived Aryl-Ethers | 2019 |
| 340 | SAIFIA | Strong Axioms of Infinity: Frameworks, Interactions and Applications | 2020 |
| 341 | CO2COFs | New Heterogeneous Catalyst Materials for Hydrogenation of CO2 to Formic Acid: Metallophthalocyanine-Based 2D- and 3D Covalent Organic Frameworks | 2019 |
| 342 | CrowdLawLab | CrowdLaw: Towards a More Inclusive Lawmaking Through Technology | 2020 |
| 343 | CoNTESTA | A geologic approach to resolving critical uncertainties in the impact of geomagnetic variance on in-situ cosmogenic nuclide production | 2019 |
| 344 | HoMe | Historical Grounding of Migration Decisions of the People at Environmental Risks | 2020 |
| 345 | LitRivus | Assessment of riverine litter (plastics) inputs to the marine environment | 2020 |
| 346 | iAtlantic | Integrated Assessment of Atlantic Marine Ecosystems in Space and Time | 2019 |
| 347 | PARIS REINFORCE | Delivering on the Paris Agreement: A demand-driven, integrated assessment modelling approach | 2019 |
| 348 | AMAREC | Amenability, Approximation and Reconstruction | 2019 |
| 349 | HubCities | Governing urban diversity through culture and higher education: Learning from Doha and Singapore. | 2019 |
| 350 | CORRELATION | Characterization and prediction of service-level traffic for future sliced mobile network | 2020 |
| 351 | DC-IR | AI based software platform | 2019 |
| 352 | spike | Unique Virtual Reality solution recreating live indoor sports to increase audience | 2019 |
| 353 | RESpECT | RESpECT - Public Actions, Private Rules at the Margins: Ensuring Respect for Human Rights by Private Security Companies | 2019 |
| 354 | ConfliGram | Conflicting Grammars: Gender among bilinguals in Mesoamerica and the Caucasus | 2019 |
| 355 | RETHEIR | The return of the heirs | 2019 |
| 356 | DIGIACT | Digital Authoritarian Practices: Internet Surveillance and Repression against Transnational Activist Networks | 2019 |
| 357 | ZES | opportunity Zones for innovation EcosystemS governance | 2019 |
| 358 | RETRY | Resilience and Resignation among Transnational Roma and non-Roma Youths | 2019 |
| 359 | Hybead | Hybrid Bead Adsorbents | 2019 |
| 360 | MOF4AIR | Metal Organic Frameworks for carbon dioxide Adsorption processes in power production and energy Intensive industRies | 2019 |
| 361 | HECARRUS | Hybrid ElectriC smAll commuteR aiRcraft conceptUal deSign | 2019 |
| 362 | DigiPLACE | Digital Platform for Construction in Europe | 2019 |
| 363 | HYPOSO | Hydropower solutions for developing and emerging countries | 2019 |
| 364 | PIX | The Process Improvement Explorer: Automated Discovery and Assessment of Business Process Improvement Opportunities | 2019 |
| 365 | MUSIC | Market Uptake Support for Intermediate Bioenergy Carriers | 2019 |
| 366 | StrongPIN | The first mobile app to enable LoA 4 hardware backed security on any existing mobile phone safeguarding the identity and privacy on the everyday digital life in an easy to use and scalable manner | 2019 |
| 367 | INIA | Intersex- New Interdisciplinary Approaches | 2020 |
| 368 | HeatNMof | Heating triggered drug release from nanometric inorganic-metal organic framework composites | 2020 |
| 369 | InnovEOX | Training of a new generation of researchers in Innovative Electrochemical OXidation processes for the removal and analysis of micro-pollutants in water streams | 2019 |
| 370 | LO-KMOF | Vapour-deposited metal-organic frameworks as high-performance gap-filling dielectrics for nanoelectronics | 2019 |
| 371 | TACK | Communities of Tacit Knowledge: Architecture and its Ways of Knowing | 2019 |
| 372 | CONICALM | Chemistry in Optical Nano Cavities: Designing Photonic Reagents and Light-Matter Materials | 2020 |
| 373 | CARAMEL | Artificial Intelligence based cybersecurity for connected and automated vehicles | 2019 |
| 374 | NANOCELL | A DNA NANOtechology toolkit for artificial CELL design | 2020 |
| 375 | THERAUTISM | New molecular targets and proof-of-concept therapies for Autism Spectrum Disorders | 2020 |
| 376 | FC2DMOF | Development of Functional Conjugated Two-Dimensional Metal-Organic Frameworks | 2020 |
| 377 | MAGIC | Architectured Soft Magnetoactive Materials: Beyond Instabilities | 2020 |
| 378 | PlatformUptake.eu | Assessing the State of the Art and Supporting an Evidence-Based Uptake and Evolution of Open Service Platforms in the Active and Healthy Ageing Domain | 2020 |
| 379 | INSPIRE-5Gplus | INtelligent Security and PervasIve tRust for 5G and Beyond | 2019 |
| 380 | MonB5G | Distributed management of Network Slices in beyond 5G | 2019 |
| 381 | ENRIITC | European Network of Research Infrastructures & IndusTry for Collaboration | 2020 |
| 382 | VULNER | Vulnerabilities under the Global Protection Regime: how does the law assess, address, shape, and produce the vulnerabilities of protection seekers? | 2020 |
| 383 | inDICEs | Measuring the impact of DIgital CulturE | 2020 |
| 384 | EQUAL4EUROPE | Gender Equality Standards for AHMSSBL institutions throughout Europe | 2020 |
| 385 | TRANSFORM | Territories as Responsive and Accountable Networks of S3 through new Forms of Open and Responsible decision-Making | 2020 |
| 386 | CUBE | Unravelling the secrets of Cu-based catalysts for C-H activation | 2020 |
| 387 | PRO-Ethics | Participatory Real Life Experiments in Research and Innovation Funding Organisations on Ethics | 2020 |
| 388 | RESCUER | RESISTANCE UNDER COMBINATORIAL TREATMENT IN ER+ AND ER- BREAST CANCER. | 2020 |
| 389 | OPSI19 | Making innovation a consistent, reliable and strategic resource for governments | 2020 |
| 390 | DELOREAN | Drones and Egnss for LOw aiRspacE urbAN mobility | 2019 |
| 391 | Rising STARS | RISE International Network for Solutions Technologies and Applications of Real-time Systems | 2020 |
| 392 | IN2SMART2 | Intelligent Innovative Smart Maintenance of Assets by integRated Technologies 2 | 2019 |
| 393 | OpenDR | Open Deep Learning Toolkit for Robotics | 2020 |
| 394 | MultiPLHY | Multimegawatt high-temperature electrolyser to generate green hydrogen for production of high-quality biofuels | 2020 |
| 395 | TRIPS | TRansport Innovation for vulnerable-to-exclusion People needs Satisfaction | 2020 |
| 396 | DIGNITY | DIGital traNsport In and for socieTY | 2020 |
| 397 | DECOLMAD | Decolonising madness? Transcultural psychiatry, international order and the birth of a global psyche in the aftermath of the Second World War | 2020 |
| 398 | PREP-IBISBA | Industrial Biotechnology Innovation and Synthetic Biology Accelerator Preparatory Phase | 2020 |
| 399 | ZENITH | ZEbrafish Neuroscience Interdisciplinary Training Hub | 2019 |
| 400 | Proteomes-in-3D | Three-dimensional dynamic views of proteomes as a novel readout for physiological and pathological alterations | 2020 |
| 401 | NUCLEARREV | Towards a Third Nuclear Age? Strategic Conventional Weapons and the Next Revolution in Global Nuclear Order | 2020 |
| 402 | DELIGHT | Device-Centric Low-Complexity High-Frequency Networks | 2020 |
| 403 | PROPERTY[IN]JUSTICE | Land, Property and Spatial Justice in International Law | 2020 |
| 404 | RE-NUP | Spousal Reunification and Integration Laws in Europe | 2020 |
| 405 | PropRT | Property-Based Modulable Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems | 2020 |
| 406 | MechanoSelfFate | Role of Tissue Mechanics in Embryonic Self-Organization and Cell Fate Plasticity | 2020 |
| 407 | SSFI | Spin-resolved strong field ionisation | 2021 |
| 408 | VegSciLif | The Emergence of a Science of Vegetation in Early Modern Natural Philosophy and the Sciences of Life: From Cesalpino to Malpighi | 2021 |
| 409 | PSust-MOF | Metal-Organic Frameworks as multifunctional materials toward P-sustainability | 2020 |
| 410 | ArCAN | An Archaeology of Exchange Networks in Central Africa. The Cases of the Copperbelt and Niari Basin Copper Deposits | 2020 |
| 411 | TMC4MPO | Transition metal carbides as efficient catalysts for methane partial oxidation | 2021 |
| 412 | ECURES | Encouraging CUlture of REsponsible RoboticS | 2021 |
| 413 | Financing_Entrep | Financing Frictions in High-Potential Entrepreneurship | 2020 |
| 414 | UNTWIST | UNraveling the knoT of the Water-energy-food nexus usIng ecosySTems services | 2021 |
| 415 | DEFORM | Dead or Alive: Finding the Origin of Caldera Unrest using Magma Reservoir Models | 2020 |
| 416 | QFluidsNano | Structural and thermophysical properties of quantum fluids adsorbed on nanostructured surfaces | 2020 |
| 417 | CAESAR | Integrating Safety and Cybersecurity through Stochastic Model Checking | 2020 |