From post

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

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)

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

Kemal Inat

Matthias Inacker

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

Variational correctness-by-construction.T. Bordis, T. Runge, A. Knüppel, T. Thüm, и I. Schaefer. VaMoS, стр. 7:1-7:9. ACM, (2020)Applying Design by Contract to Feature-Oriented ProgrammingT. Thüm, I. Schaefer, M. Kuhlemann, S. Apel, и G. Saake. Fundamental Approaches to Software Engineering, том 7212 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2012)Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers.T. Runge, A. Kittelmann, M. Servetto, A. Potanin, и I. Schaefer. CoRR, (2022)Scaling Correctness-by-Construction.A. Knüppel, T. Runge, и I. Schaefer. ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 187-207. Springer, (2020)Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study.T. Runge, T. Thüm, L. Cleophas, I. Schaefer, и B. Watson. FM Workshops (2), том 12233 из Lecture Notes in Computer Science, стр. 388-405. Springer, (2019)Konzepte zur Erweiterung des SPES Meta-Modells um Aspekte der Variabilitäts- und Deltamodellierung.P. Manhart, P. Nazari, B. Rumpe, I. Schaefer, и C. Schulze. Software Engineering (Workshops), том P-215 из LNI, стр. 283-292. GI, (2013)ATPS 2016: 9. Arbeitstagung Programmiersprachen.A. Krall, и I. Schaefer. Software Engineering, том P-252 из LNI, стр. 119-120. GI, (2016)A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages.C. Seidl, T. Winkelmann, и I. Schaefer. Modellierung, том P-254 из LNI, стр. 157-172. GI, (2016)Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen.S. Holthusen, P. Manhart, I. Schaefer, S. Schulze, C. Singer, и D. Wille. GI-Jahrestagung, том P-220 из LNI, стр. 2443-2457. GI, (2013)Visualization of Variability Analysis of Control Software From Industrial Automation Systems.S. Bougouffa, B. Vogel-Heuser, J. Fischer, I. Schaefer, и H. Li. SMC, стр. 3357-3364. IEEE, (2019)

BibSonomy

Disambiguation