オープン アクセスを義務付けられた論文 - Bernhard Steffen詳細
一般には非公開: 2 件
A model-driven and generative approach to holistic security
F Gossen, T Margaria, J Neubauer, B Steffen
Resilience of Cyber-Physical Systems: From Risk Modelling to Threat …, 2019
委任: Science Foundation Ireland
User-level synthesis: treating product lines as systems of constraints
B Steffen, AL Lamprecht, T Margaria
Proceedings of the 19th International Conference on Software Product Line …, 2015
委任: Science Foundation Ireland
一般公開: 12 件
Language-driven engineering: from general-purpose to purpose-specific languages
B Steffen, F Gossen, S Naujokat, T Margaria
Computing and Software Science: State of the Art and Perspectives, 311-344, 2019
委任: Science Foundation Ireland
RERS 2019: combining synthesis with real-world models
M Jasper, M Mues, A Murtovi, M Schlüter, F Howar, B Steffen, M Schordan, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
委任: US Department of Energy
The RERS 2017 challenge and workshop
M Jasper, M Fecke, B Steffen, M Schordan, J Meijer, J Pol, F Howar, ...
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
委任: US Department of Energy
Meta-level reuse for mastering domain specialization
S Naujokat, J Neubauer, T Margaria, B Steffen
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
委任: Science Foundation Ireland
Scientific workflows with the jABC framework: A review after a decade in the field
AL Lamprecht, B Steffen, T Margaria
International Journal on Software Tools for Technology Transfer 18, 629-651, 2016
委任: Science Foundation Ireland
Extending automata learning to extended finite state machines
S Cassel, F Howar, B Jonsson, B Steffen
Machine Learning for Dynamic Software Analysis: Potentials and Limits …, 2018
委任: Swedish Research Council
Securing C/C++ applications with a SEcube™-based model-driven approach
F Gossen, J Neubauer, B Steffen
2017 12th International Conference on Design & Technology of Integrated …, 2017
委任: Science Foundation Ireland
Secube (tm): an open security platform-general approach and strategies
A Varriale, G Di Natale, P Prinetto, B Steffen, T Margaria
Proceedings of the International Conference on Security and Management (SAM …, 2016
委任: Science Foundation Ireland
Cinco de Bio: A Low-Code Platform for Domain-Specific Workflows for Biomedical Imaging Research
C Brandon, S Boßelmann, A Singh, S Ryan, A Schieweck, E Fennell, ...
BioMedInformatics 4 (3), 1865-1883, 2024
委任: Science Foundation Ireland
Synthesis from a practical perspective
S Jörges, AL Lamprecht, T Margaria, S Naujokat, B Steffen
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
委任: Science Foundation Ireland
Constraint-based behavioral consistency of evolving software systems
R Hähnle, B Steffen
Machine Learning for Dynamic Software Analysis: Potentials and Limits …, 2018
委任: German Research Foundation
Enhancing Performance Through Control-flow Unmerging and Loop Unrolling
A Murtovi, G Georgakoudis, K Parasyris, C Liao, I Laguna, B Steffen
Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States), 2023
委任: US Department of Energy
公開と助成金に関する情報は、コンピュータ プログラムによって自動的に決定されます