( en | de | ru )

 

Disambiguation of "Schaefer, Ina"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling context-aware and intention-aware in-car infotainment systems - Concepts and modeling processes.

, , , and . 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. You can also use the button next to the name to display some publications already assigned to the person.

Ina Schaefer

Michael Inacker

Mohan Mohadeo Inamdar

Jason Inan

Kemal Inat

 

Other publications of authors with the same name

Feature-oriented contract composition., , , , and . J. Syst. Softw., (2019)Evaluating #SAT solvers on industrial feature models., , and . VaMoS, page 3:1-3:9. ACM, (2020)Scalability of Deductive Verification Depends on Method Call Treatment., , , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 159-175. Springer, (2018)Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct., , , , , , and . LNCS Trans. Found. Mastering Chang., (2016)Using Abstract Contracts for Verifying Evolving Features and Their Interactions., , , , , , and . 20 Years of KeY, volume 12345 of Lecture Notes in Computer Science, Springer, (2020)Efficient Ontology-Based Modeling of Context-Aware In-Car Infotainment Systems - Benchmark Infrastructure and Design Guidelines., , and . MASE@MoDELS, volume 1487 of CEUR Workshop Proceedings, page 23-32. CEUR-WS.org, (2015)Consistency in the View-Based Development of Cyber-Physical Systems (Convide)., , , , and . MoDELS (Companion), page 83-84. IEEE, (2023)A Specification Logic for Programs in the Probabilistic Guarded Command Language., , , and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 369-387. Springer, (2022)Towards efficient SPL testing by variant reduction., , and . VariComp@AOSD, page 1-6. ACM, (2013)Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces., , , , , , and . Software Engineering, volume P-343 of LNI, page 67-68. Gesellschaft für Informatik e.V., (2024)