@InProceedings{adaptivepn18, author = {Mai, Carl and Schöne, René and Mey, Johannes and Kühn, Thomas and Aßmann, Uwe}, title = {Adaptive Petri Nets – A Petri Net Extension for Reconfigurable Structures}, booktitle = {ADAPTIVE 2018, The Tenth International Conference on Adaptive and Self-Adaptive Systems and Applications}, year = {2018}, date = {2018-02-18}, organization = {IARIA}, publisher = {ThinkMind}, location = {Barcelona, Spain}, isbn = {978-1-61208-610-1}, pages = {15--23}, url = {https://www.thinkmind.org/index.php?view=article&articleid=adaptive_2018_1_30_50016}, urldate = {2018-09-07}, abstract = {Petri nets are used to formally model the behavior of systems. However, when these systems dynamically change, e.g., due to context dependence, modeling gets complex and cumbersome since Petri nets are low-level and can not express dynamic changing parts. Expressing dynamically changing parts of the system directly within Petri nets increases the clarity and allows for modeling complex, context dependent, systems. While various approaches can be found in the literature, their integration into the Petri net ecosystem is often not considered. This restricts the available tools and analysis techniques to those, which can handle that custom net type. We present adaptive Petri nets, an extension to Petri nets, which directly expresses variability within the net. Our approach integrates well with other Petri net extensions, such as colored tokens, inhibitor arcs or hierarchy. Most importantly, it is possible to convert an adaptive Petri net to a semantically equivalent Petri net with inhibitor arcs. This work presents the formalism of adaptive Petri nets, how they can be flattened to Petri nets with inhibitor arcs and their graphical representation. The feasability and usability is demonstrated on two examples that are modeled, flattened and analyzed.}, keywords = {Petri nets; Reconfigurable Petri nets; Inhibitor Arcs; Analysis}, }

@inproceedings{Pukhkaiev:2018:BEB:3194078.3194082, author = {Pukhkaiev, Dmytro and G"{o}tz, Sebastian}, title = {BRISE: Energy-efficient Benchmark Reduction}, booktitle = {Proceedings of the 6th International Workshop on Green and Sustainable Software}, series = {GREENS '18}, year = {2018}, isbn = {978-1-4503-5732-6}, location = {Gothenburg, Sweden}, pages = {23--30}, numpages = {8}, url = {http://doi.acm.org/10.1145/3194078.3194082}, doi = {10.1145/3194078.3194082}, acmid = {3194082}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {active learning, adaptive instance selection, benchmarking, fractional factorial design, non-functional properties}, }

@inproceedings{DBLP:conf/se/MorgensternD18, author = {Martin Morgenstern and Birgit Demuth}, title = {Continuous Publishing of Online Programming Assignments with {INLOOP}}, booktitle = {Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 {(SE} 2018), Ulm, Germany, March 06, 2018.}, pages = {32--33}, year = {2018}, crossref = {DBLP:conf/se/2018w}, url = {http://ceur-ws.org/Vol-2066/isee2018paper08.pdf}, timestamp = {Fri, 09 Mar 2018 13:12:33 +0100}, biburl = {https://dblp.org/rec/bib/conf/se/MorgensternD18}, bibsource = {dblp computer science bibliography, https://dblp.org} } @proceedings{DBLP:conf/se/2018w, editor = {Stephan Krusche and Kurt Schneider and Marco Kuhrmann and Robert Heinrich and Reiner Jung and Marco Konersmann and Eric Schmieders and Michael Striewe and Sven Strickroth and Ulrike Lucke and Horst Lichter and Dirk Riehle and Andreas Steffens and Robert H{"{o}}ttger and J{"{o}}rg Te{\ss}mer and Jan{-}Philipp Stegh{"{o}}fer}, title = {Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 {(SE} 2018), Ulm, Germany, March 06, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2066}, publisher = {CEUR-WS.org}, year = {2018}, url = {http://ceur-ws.org/Vol-2066}, urn = {urn:nbn:de:0074-2066-4}, timestamp = {Fri, 09 Mar 2018 13:10:36 +0100}, biburl = {https://dblp.org/rec/bib/conf/se/2018w}, bibsource = {dblp computer science bibliography, https://dblp.org}

@INPROCEEDINGS{8433691, author={D. {Pukhkaiev} and S. {Shchaslyvyi} and R. {Kosovnenko} and I. {Svetsynska} and S. {Götz}}, booktitle={2018 IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom)}, title={Star-BRISE: Energy-Efficient Benchmarking for Interacting Algorithms}, year={2018}, volume={}, number={}, pages={1-5}, keywords={cryptography;energy conservation;energy consumption;matrix algebra;optimisation;power aware computing;Star-BRISE;interacting algorithms;energy-efficient computing;software energy-efficiency;energy consumption;computing systems;energy-efficient software;workflow energy-efficiency;software algorithms;dynamic voltage;frequency scaling;compression;encryption algorithms;matrix transposition;two-algorithm workflows;optimal configuration;Benchmark testing;Energy consumption;Encryption;Software algorithms;Software;Sea measurements;Heuristic algorithms;Energy-efficient computing;workflow;benchmarking;green software;active learning}, doi={10.1109/BlackSeaCom.2018.8433691}, ISSN={}, month={June},}

@inproceedings{gotz_jastadd-_2018, title = {A {JastAdd}- and {ILP}-based {Solution} to the {Software}-{Selection} and {Hardware}-{Mapping}-{Problem} at the {TTC} 2018}, abstract = {The TTC 2018 case describes the computation of an optimal mapping from software implementations to hardware components for a given set of user requests as a model transformation problem. In this paper, we show a detailed view on the reference solution which uses two main approaches: 1) transformation using attribute grammars and higherorder attributes into an integer linear programming (ILP) specification, and 2) solving the ILP resulting in a valid and optimal mapping. We further show evaluation results for the given scenarios.}, language = {en}, booktitle = {11th {Transformation} {Tool} {Contest}}, author = {Götz, Sebastian and Mey, Johannes and Schöne, René and Aßmann, Uwe}, year = {2018}, note = {https://git-st.inf.tu-dresden.de/stgroup/ttc18}, }

@inproceedings{werner2018, author = {Christopher Werner and Hendrik Sch\{"o}n and Thomas K\{"u}hn and Sebastian G\{"o}tz and Uwe A{\ss}mann}, title = {{Role-based Runtime Model Synchronization}}, booktitle = {{Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)}}, year = {2018}, editor = {Tomas Bures and Lefteris Angelis}, pages = {306--313}, address = {Prague, Czech Republic}, publisher = {Euromicro}, month = "29th-31th of August" howpublished = {\url{#}}, url = {#} }

@inproceedings{kuehn2018, author = {Thomas K{"u}hn and Kevin Ivo Kassin and Walter Cazzola and Uwe A{\ss}mann}, title = {{Modular Feature-Oriented Graphical Editor Product Lines}}, booktitle = {{Proceedings of the 22th International Software Product Line Conference (SPLC'18)}}, year = 2018, editor = {Borba, Paulo and Berger, Thorsten}, pages = {}, address = {Gothenburg, Sweden}, publisher = {ACM}, month = "10th-14th of September" }

@inproceedings{Hamann:2018:IUR:3270112.3270131, author = {Hamann, Markus and Pfeffer, Juliane and Demuth, Birgit}, title = {How to Improve the Understanding of Roles in Modeling}, booktitle = {Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings}, series = {MODELS '18}, year = {2018}, isbn = {978-1-4503-5965-8}, location = {Copenhagen, Denmark}, pages = {114--121}, numpages = {8}, url = {http://doi.acm.org/10.1145/3270112.3270131}, doi = {10.1145/3270112.3270131}, acmid = {3270131}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {CRC cards, object-oriented modeling, role concept, teaching}, }

@PhdThesis{seiger-phd-thesis.18, author = {Ronny Seiger}, title = {Self-managed Workflows for Cyber-physical Systems}, school = {Technische Universität Dresden}, year = 2018, month = nov, day = 7, url = "http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-323153", note = "Co-supervised with Prof. Thomas Schlegel.", abstract = {This PhD thesis develops a workflow system for cyber-physical systems with cyber-physical consistency.}

@inproceedings{gotz_jastadd-_2018, title = {A {JastAdd}- and {ILP}-based {Solution} to the {Software}-{Selection} and {Hardware}-{Mapping}-{Problem} at the {TTC} 2018}, abstract = {The TTC 2018 case describes the computation of an optimal mapping from software implementations to hardware components for a given set of user requests as a model transformation problem. In this paper, we show a detailed view on the reference solution which uses two main approaches: 1) transformation using attribute grammars and higherorder attributes into an integer linear programming (ILP) specification, and 2) solving the ILP resulting in a valid and optimal mapping. We further show evaluation results for the given scenarios.}, language = {en}, booktitle = {11th {Transformation} {Tool} {Contest}}, author = {Götz, Sebastian and Mey, Johannes and Schöne, René and Aßmann, Uwe}, year = {2018}, note = {https://git-st.inf.tu-dresden.de/stgroup/ttc18}, }

@inproceedings{schone_jastadd-based_2018, title = {A {JastAdd}-based {Solution} to the {TTC} 2018 {Social} {Media} {Case}}, abstract = {The TTC 2018 live contest case describes a social media network and two queries retrieving elements based on a calculated score. This solution solves the case by employing Reference Attribute Grammars. Thus, we first transform the given EMF model into syntax tree, and secondly compute attributes defined on its grammar. Both grammar and attributes are specified and evaluated using the JastAdd system. Utilizing the same source code, we can generate an incrementally evaluated variant, and a non-incremental one.}, language = {en}, booktitle = {11th {Transformation} {Tool} {Contest}}, author = {Schöne, René and Mey, Johannes}, year = {2018}, }

@inproceedings{Mey:2018:CMV:3276604.3276616, author = {Mey, Johannes and Sch\"{o}ne, Ren{\'e} and Hedin, G\"{o}rel and S\"{o}derberg, Emma and K\"{u}hn, Thomas and Fors, Niklas and \"{O}qvist, Jesper and A\ssmann, Uwe}, title = {Continuous Model Validation Using Reference Attribute Grammars}, booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering}, series = {SLE 2018}, year = {2018}, isbn = {978-1-4503-6029-6}, location = {Boston, MA, USA}, pages = {70--82}, numpages = {13}, url = {http://doi.acm.org/10.1145/3276604.3276616}, doi = {10.1145/3276604.3276616}, acmid = {3276616}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {Incremental model evaluation, References Attribute Grammars, bidirectional relations}, }

@inproceedings{bierzynski_openlicht_2018, series = {{SPUB} 2018}, title = {{OpenLicht} - {A} {Self}-learning {Lighting} {System} based on {openHAB}}, volume = {156}, url = {https://www.hft-stuttgart.de/Forschung/i_city/Handlungsfelder/Explorative-Projekte-i-city/Exploratives-Projekt-SPUB/de/}, publisher = {Prof. Dr.-Ing. Dieter Uckelmann}, author = {Bierzynski, Kay and Kalleder, Florian and Lutskov, Pavel and Rohde, Frank and Morales-Rodríguez, David and Mena-Carrillo, Juan and Schöne, René and Aßmann, Uwe}, month = dec, year = {2018}, pages = {43--52} }

@PhdThesis{pueschel-phd-thesis.18, author = {Georg Püschel}, title = {Testing Self-Adaptive Systems - A Model-based Approach to Resilience}, school = {Technische Universität Dresden}, year = 2018, month = jun, day = 5, url = "http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-237791", note = "Co-supervised with Jun.-Prof. Thomas Schlegel.", abstract = {This PhD thesis develops a testing method for context-based applic ations} }

@InProceedings{10.1007/978-3-319-94764-8_20, author = "A{\ss}mann, Uwe and Piechnick, Christian and P{"u}schel, Georg and Piechnick, Maria and Falkenberg, Jan and Werner, Sebastian", editor = "Pires, Lu{\'i}s Ferreira and Hammoudi, Slimane and Selic, Bran", title = "Modelling the World of a Smart Room for Robotic Co-working", booktitle = "5th International Conference on Model-Driven Engineering and Software Development ({MODELSWARD})", location = "Porto, Portugal", date = "February 19-21, 2017", year = 2018, publisher = "Springer International Publishing", address = "Cham", pages = "484--506", abstract = "Robots come out of the cage. Soon, it will be possible to interact with free-standing robots along an assembly line or in a manufacturing workshop (robotic co-working). New sensitive robot arms have appeared on the market that slow down or stop when humans enter their context, which creates rich opportunities for collaboration between human and robots. But how to program them? This paper contributes an architectural design pattern to engineer software for robotic co-working with world-oriented modelling (WOM). We argue that robotic co-working always has to take place in smart rooms tracking the movements of humans carefully, so that the robotic system can automatically adapt to their actions. Because robotic co-working should be safe for humans, robots, and their work items, the robots should enter safe states before harmful encounters happen. Based on the safety automata in the style of Haddadin, we suggest to engineer software for the smart rooms of human-robotic co-working with an explicit world model, an automaton of the world's states, and a software variant space, a software variant family, which are related by a total activation mapping. This construction has the advantage that the world model is split off the software system to make its construction simpler, avoiding if-bloated code. Also, proofs about the entire smart system can be split into a proof about the world model and a proof obligation for the software variant space. Therefore, we claim that world-oriented modelling (WOM) simplifies the development of robotic co-working applications, leveraging the principle of separation of concerns for improved maintainability and quality assurance.", isbn = "978-3-319-94764-8" }

@inproceedings{Kuhn:2018:MCA:3236112.3236122, author = {K\"{u}hn, Romina and Schlegel, Thomas}, title = {Mixed-focus Collaboration Activities for Designing Mobile Interactions}, booktitle = {Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct}, series = {MobileHCI '18}, year = {2018}, isbn = {978-1-4503-5941-2}, location = {Barcelona, Spain}, pages = {71--78}, numpages = {8}, url = {http://doi.acm.org/10.1145/3236112.3236122}, doi = {10.1145/3236112.3236122}, acmid = {3236122}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {collaboration activities, mixed-focus collaboration, mobile device-based interactions}, }