From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Modeling context-aware and intention-aware in-car infotainment systems - Concepts and modeling processes.

D. Lüddecke, C. Seidl, J. Schneider, и I. Schaefer. Softw. Syst. Model., 17 (3): 973-987 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ina Schaefer

Mohan Mohadeo Inamdar

Michael Inacker

Jason Inan

Kemal Inat

Другие публикации лиц с тем же именем

Scalability of Deductive Verification Depends on Method Call Treatment.A. Knüppel, T. Thüm, C. Pardylla, и I. Schaefer. ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 159-175. Springer, (2018)Feature-oriented contract composition.T. Thüm, A. Knüppel, S. Krüger, S. Bolle, и I. Schaefer. J. Syst. Softw., (2019)Evaluating #SAT solvers on industrial feature models.C. Sundermann, T. Thüm, и I. Schaefer. VaMoS, стр. 3:1-3:9. ACM, (2020)Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.R. Bubel, F. Damiani, R. Hähnle, E. Johnsen, O. Owe, I. Schaefer, и I. Yu. LNCS Trans. Found. Mastering Chang., (2016)Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces.C. Sundermann, T. Heß, M. Nieke, P. Bittner, J. Young, T. Thüm, и I. Schaefer. Software Engineering, том P-343 из LNI, стр. 67-68. Gesellschaft für Informatik e.V., (2024)Scaling size and parameter spaces in variability-aware software performance models.M. Kowal, M. Tschaikowski, M. Tribastone, и I. Schaefer. Software Engineering, том P-252 из LNI, стр. 33-34. GI, (2016)Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY.T. Bordis, L. Cleophas, A. Kittelmann, T. Runge, I. Schaefer, и B. Watson. The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 80-104. Springer, (2022)Using Abstract Contracts for Verifying Evolving Features and Their Interactions.A. Knüppel, S. Krüger, T. Thüm, R. Bubel, S. Krieter, E. Bodden, и I. Schaefer. 20 Years of KeY, том 12345 из Lecture Notes in Computer Science, Springer, (2020)Tutorial: The Correctness-by-Construction Approach to Programming Using CorC.I. Schaefer, T. Runge, L. Cleophas, и B. Watson. SecDev, стр. 1-2. IEEE, (2021)Supporting commissioning of production plants by model-based testing and model learning.J. Ladiges, A. Fay, C. Haubeck, W. Lamersdorf, S. Lity, и I. Schaefer. ISIE, стр. 606-611. IEEE, (2015)

BibSonomy

Disambiguation