Treffer 1 - 20 von 1.483

1

Using LLMs for Use Case Modelling of IoT Systems: An Experience Report
Tabassum, Mirza Rehenuma ; Ritchie, Matthew J. ; Mustafiz, Sadaf ; et al.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. :611-619

Konferenz
2

From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems
Yadav, Drishti
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :1896-1900

Konferenz
3

Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning
Schuts, Mathijs ; Hooman, Jozef
Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. :15-31

Konferenz
4

FIM: fault injection and mutation for Simulink
Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; et al.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :1716-1720

Konferenz
5

A comprehensive framework for the analysis of automotive systems
Cimatti, Alessandro ; Corfini, Sara ; Cristoforetti, Luca ; et al.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems. :379-389

Konferenz
6

Architecture synthesis for optimized and flexible production
Terzimehić, Tarik
Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings. :251-255

Konferenz
7

Formal Methods in Railways: A Systematic Mapping Study
Ferrari, Alessio ; Beek, Maurice H. Ter
ACM Computing Surveys. 55(4):1-37

Fachzeitschrift
8

Fault Injection for Simulink-based CPS Models: Insights and Future Directions
Yadav, Drishti ; Mandrioli, Claudio ; Bartocci, Ezio ; et al.
2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2025 40th IEEE/ACM International Conference on. :3834-3839 Nov, 2025

Konferenz
9

Enhancing Flight Software Development through a Model-Based Approach: A Case Study on Alsat-1B
Bouziane, Youcef
2025 European Data Handling & Data Processing Conference (EDHPC) Data Handling & Data Processing Conference (EDHPC), 2025 European. :1-5 Oct, 2025

Konferenz
10

Model-Based Conceptualization Methods Used in IT for Educational Environments: A Systematic Literature Review with Focus on Automated Assessment Repositories
Nikiforova, Oksana ; Babris, Kristaps ; Kampars, Janis ; et al.
2025 66th International Scientific Conference on Information Technology and Management Science of Riga Technical University (ITMS) Information Technology and Management Science of Riga Technical University (ITMS), 2025 66th International Scientific Conference on. :1-7 Oct, 2025

Konferenz
11

Pattern-Based Model-Driven UI Prototyping from Two-Hemisphere Models
Babris, Kristaps
2025 66th International Scientific Conference on Information Technology and Management Science of Riga Technical University (ITMS) Information Technology and Management Science of Riga Technical University (ITMS), 2025 66th International Scientific Conference on. :1-7 Oct, 2025

Konferenz
12

User Perceptions of Code and Model Generation with Simulink in Industrial Settings - A Survey
Cederbladh, Johan ; Norin, Jakob
2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) MODELS-C Model Driven Engineering Languages and Systems Companion (MODELS-C), 2025 ACM/IEEE 28th International Conference on. :532-536 Oct, 2025

Konferenz
13

CPSDebug: a tool for explanation of failures in cyber-physical systems
Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; et al.
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. :569-572

Konferenz
14

Towards DO-178C certification of adaptive learning UAV agents designed with a cognitive architecture
Pyrgies, John
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings. :174-177

Konferenz
15

How to live with inconsistencies in industrial model-based development practice
Jongeling, Robbert
Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems. :642-647

Konferenz
16

Towards model-based generation and optimization of AUTOSAR runnable-to-task mapping
Wilhelm, Thomas ; Weber, Raphael
Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems. :38-43

Konferenz
17

A scalable Monte-Carlo test-case generation tool for large and complex simulink models
Tomita, Takashi ; Ishii, Daisuke ; Murakami, Toru ; et al.
Proceedings of the 11th International Workshop on Modelling in Software Engineerings. :39-46

Konferenz
18

Impact analysis of model-based development in avionics software production
Mottin, Gustavo Giroletti ; Porto, Josiane Brietzke
Proceedings of the XV Brazilian Symposium on Information Systems. :1-8

Konferenz
19

An Interface Modeling Method for Avionics Software Based on Open System Architecture
Zhao, Suo ; Xin, Chenliang ; Shan, Yiming
2025 International Conference of Mechanical Engineering on Aerospace (CoMEA) Mechanical Engineering on Aerospace (CoMEA), 2025 International Conference of. :1-5 Jun, 2025

Konferenz
20

Data Modeling Pattern for FACE Data Modeling
Zhao, Suo ; Liu, Meng ; Xiong, Feng
2025 International Conference of Mechanical Engineering on Aerospace (CoMEA) Mechanical Engineering on Aerospace (CoMEA), 2025 International Conference of. :1-5 Jun, 2025

Konferenz

Filter