( en | de | ru )

 

Disambiguierung von "Wasowski, Andrzej"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Study of Non-Boolean Constraints in a Variability Model of an Embedded Operating System

, , , , , und . Third Workshop on Feature-Oriented Software Development FOSD'11, (August 2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andrzej Piotrowski

Andrzej Lingas

Andrzej Debski

Andrzej Tomczyk

Andrzej Bachry

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Specification and Testing for Reinforcement Learning., , , und . Proc. ACM Program. Lang., 7 (ICFP): 125-158 (August 2023)Domain-Specific Languages - Effective Modeling, Automation, and Reuse, und . Springer, (2023)On efficient program synthesis from statecharts.. LCTES, Seite 163-170. ACM, (2003)Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)., , und . CoRR, (2015)Symbolic Semantics for Probabilistic Programs., , , , und . QEST, Volume 14287 von Lecture Notes in Computer Science, Seite 329-345. Springer, (2023)Automatic Generation of Program Families by Model Restrictions. (2004)Techniques for Efficient Interactive Configuration of Distribution Networks., , und . IJCAI, Seite 100-105. (2007)Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores., , , , , , , und . DPM/CBT@ESORICS, Volume 13619 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2022)Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT., , , , und . SE/SWM, Volume P-292 von LNI, Seite 91-92. GI, (2019)Modal I/O Automata for Interface and Product Line Theories., , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 64-79. Springer, (2007)