| Home > Authorities > Institutes > Record #219154 |
ACO
Accelerator Controls Also known as:Control Systems| ID | I:(DE-Ds200)ACO-20051214OR053 |
All known publications ...
Download: BibTeX | EndNote XML, Text | RIS |
Journal Article/Contribution to a conference proceedings/Contribution to a book
Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study
NASA Formal Methods / Dutle, Aaron (Editor); Cham : Springer Nature Switzerland, 2025, Chapter 13 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-031-93705-7=978-3-031-93706-4 ; doi:10.1007/978-3-031-93706-4
17th International Symposium on NASA Formal Methods-NFM, VA, VirginaVirgina, usa, 11 Jun 2025 - 13 Jun 2025
0302-9743 15682, 227 - 235 (2025) [10.1007/978-3-031-93706-4_13]
BibTeX |
EndNote:
XML,
Text |
RIS
Contribution to a conference proceedings/Contribution to a book
Introduction of key performance indicators for the GSI accelerator facility
16th International Particle Accelerator Conference, IPAC25, TaipehTaipeh, Taiwan, 1 Jun 2025 - 6 Jun 2025
604-606 p. (2025) [10.18429/JACoW-IPAC2025-MOPS008]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Journal Article
A setup to study atomic state population dynamics and optical polarization at CRYRING@ESR
Journal of Instrumentation 20(06), P06047 (2025) [10.1088/1748-0221/20/06/P06047]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Journal Article
Software defined radio for on-line interaction with beam processes in the heavy ion storage ring ESR*
Chinese physics / C 49(7), 074005 (2025) [10.1088/1674-1137/adcc01]
BibTeX |
EndNote:
XML,
Text |
RIS
Contribution to a conference proceedings
Full Stack Performance Optimizations for FAIR Operation
19th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS202, Cape TownCape Town, South Africa, 9 Oct 2023 - 13 Oct 2023
Geneva, Switzerland : JACoW Publishing 1325 - 1329 (2024) [10.18429/JACOW-ICALEPCS2023-THPDP016]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Contribution to a conference proceedings
Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code
19th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS202, Cape TownCape Town, South Africa, 9 Oct 2023 - 13 Oct 2023
Geneva, Switzerland : JACoW Publishing 467 - 472 (2024) [10.18429/JACOW-ICALEPCS2023-TUPDP001]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Contribution to a conference proceedings
Integration of LHC-type beam loss monitors into the machine protection system for the SIS100 synchrotron at FAIR
15th International Particle Accelerator Conference, IPAC2024, NashvilleNashville, USA, 19 May 2024 - 24 May 2024
JACoW Publishing 3417-3419 pages (2024) [10.18429/JACOW-IPAC2024-THPG64]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Contribution to a conference proceedings/Contribution to a book
Storage Ring Mode for FAIR
Proceedings of the 13th International Workshop on Emerging Technologies and Scientific Facilities Controls, PCaPAC2022, Dolní Brežany, Czech Republic
13th International Workshop on Emerging Technologies and Scientific Facilities Controls, PCaPAC 2022, Dolní BrežanyDolní Brežany, Czech Republic, 4 Oct 2022 - 7 Oct 2022
Geneva, Switzerland : JACoW Publishing 34 - 36 (2023) [10.18429/JACOW-PCAPAC2022-THPP3]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Journal Article
Elucidating the nature of the proton radioactivity and branching ratio on the first proton emitter discovered $^{53m}Co$
Nature Communications 14(1), 5961 (2023) [10.1038/s41467-023-39389-2]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Contribution to a conference proceedings/Contribution to a book
Next Generation GSI/FAIR Scalable Control Unit: Lessons Learned from 10 Years in the Field
Proceedings of the 13th International Workshop on Emerging Technologies and Scientific Facilities Controls, PCaPAC2022, Dolní Brežany, Czech Republic
13th International Workshop on Emerging Technologies and Scientific Facilities Controls, PCaPAC 2022, Dolní BrežanyDolní Brežany, Czech Republic, 4 Oct 2022 - 7 Oct 2022
Geneva : JACoW Publishing 3 pages (2023) [10.18429/JACOW-PCAPAC2022-THP15]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
All known publications ...
Download: BibTeX | EndNote XML, Text | RIS |