Displaying 6851 - 6900 of 33463
| Request date Sort ascending | Organisation name | Country | Search type | Topic | Link | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | LIQUID DEMOCRACY EV | Germany | Expertise Request | Collaborative intelligence – combining the best of machine and human (AI Data and Robotics Partnership) (RIA) (HORIZON-CL4-2024-HUMAN-01-07) | F&T portal | ||||||
| Liquid Democracy is a Berlin-based non-profit organization, since 2009 focused on developing and implementing innovative concepts for digital democracy. Our AI-supported moderation software KOSMO helps moderators of digital participation processes to identify high-quality contributions while flagging problematic and less argumentative ones, thus improving the overall quality of digital discussions and decision-making. Info: www.liqd.net and www.kosmo-moderation.de; Contact: [email protected] | |||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | HIRO MICRODATACENTERS B.V. | Netherlands | Expertise Request | Open Source for Cloud/Edge to support European Digital Autonomy (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-21) | F&T portal | ||||||
| HIRO-MicroDataCenters, Dutch SME develops innovative EdgeMicroDataCenter (EMDC) hardware, an edge services software stack, with built in cognitive engine, to facilitate Big data Processing and AI at the edge of the network. 6G, Smart Hospitals, Intelligent Energy grid, Smart cities, Robotics platforms can run highly resilient on our platform. HIRO wants to set the standard for European edge data centers. | |||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
| 13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
| The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||