{ "types" : { "Bookmark" : { "pluralLabel" : "Bookmarks" }, "Publication" : { "pluralLabel" : "Publications" }, "GoldStandardPublication" : { "pluralLabel" : "GoldStandardPublications" }, "GoldStandardBookmark" : { "pluralLabel" : "GoldStandardBookmarks" }, "Tag" : { "pluralLabel" : "Tags" }, "User" : { "pluralLabel" : "Users" }, "Group" : { "pluralLabel" : "Groups" }, "Sphere" : { "pluralLabel" : "Spheres" } }, "properties" : { "count" : { "valueType" : "number" }, "date" : { "valueType" : "date" }, "changeDate" : { "valueType" : "date" }, "url" : { "valueType" : "url" }, "id" : { "valueType" : "url" }, "tags" : { "valueType" : "item" }, "user" : { "valueType" : "item" } }, "items" : [ { "type" : "Bookmark", "id" : "https://puma.ub.uni-stuttgart.de/url/73cef47a29ddf32ee127219f1c9f5d33/diglezakis", "tags" : [ "ShEx","metadata","specification" ], "intraHash" : "73cef47a29ddf32ee127219f1c9f5d33", "label" : "ShEx - Shape Expressions", "user" : "diglezakis", "description" : "Spezifikation, Tutorials, etc. rund um Shape Expressions - Schema Language for RDF", "date" : "2018-04-10 12:47:07", "changeDate" : "2018-04-10 10:47:07", "count" : 1, "url" : "http://shex.io/" } , { "type" : "Publication", "id" : "https://puma.ub.uni-stuttgart.de/bibtex/276b7fe347f1a86944b540a67e26160e0/alirezahakamian", "tags" : [ "myown","resilience","specification","verification" ], "intraHash" : "76b7fe347f1a86944b540a67e26160e0", "interHash" : "1ccd8a4b128640b4167943fe5a99296f", "label" : "Towards Continuous and Data-driven Specification and Verification\r\n of Resilience Scenarios", "user" : "alirezahakamian", "description" : "", "date" : "2023-06-29 07:10:11", "changeDate" : "2023-06-29 07:10:11", "count" : 2, "pub-type": "inproceedings", "booktitle": "IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022","publisher":"IEEE", "year": "2022", "url": "https://doi.org/10.1109/ISSREW55968.2022.00059", "author": [ "Sebastian Frank","M. Alireza Hakamian","Lion Wagner","Jóakim von Kistowski","André van Hoorn" ], "authors": [ {"first" : "Sebastian", "last" : "Frank"}, {"first" : "M. Alireza", "last" : "Hakamian"}, {"first" : "Lion", "last" : "Wagner"}, {"first" : "Jóakim", "last" : "von Kistowski"}, {"first" : "André", "last" : "van Hoorn"} ], "pages": "136--137", "bibsource" : "dblp computer science bibliography, https://dblp.org", "doi" : "10.1109/ISSREW55968.2022.00059", "bibtexKey": "DBLP:conf/issre/0001HWKH22" } , { "type" : "Publication", "id" : "https://puma.ub.uni-stuttgart.de/bibtex/276b7fe347f1a86944b540a67e26160e0/rss", "tags" : [ "myown","from:alirezahakamian","specification","resilience","verification" ], "intraHash" : "76b7fe347f1a86944b540a67e26160e0", "interHash" : "1ccd8a4b128640b4167943fe5a99296f", "label" : "Towards Continuous and Data-driven Specification and Verification\r\n of Resilience Scenarios", "user" : "rss", "description" : "", "date" : "2023-06-29 07:10:11", "changeDate" : "2023-06-29 07:10:11", "count" : 2, "pub-type": "inproceedings", "booktitle": "IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022","publisher":"IEEE", "year": "2022", "url": "https://doi.org/10.1109/ISSREW55968.2022.00059", "author": [ "Sebastian Frank","M. Alireza Hakamian","Lion Wagner","Jóakim von Kistowski","André van Hoorn" ], "authors": [ {"first" : "Sebastian", "last" : "Frank"}, {"first" : "M. Alireza", "last" : "Hakamian"}, {"first" : "Lion", "last" : "Wagner"}, {"first" : "Jóakim", "last" : "von Kistowski"}, {"first" : "André", "last" : "van Hoorn"} ], "pages": "136--137", "bibsource" : "dblp computer science bibliography, https://dblp.org", "doi" : "10.1109/ISSREW55968.2022.00059", "bibtexKey": "DBLP:conf/issre/0001HWKH22" } , { "type" : "Publication", "id" : "https://puma.ub.uni-stuttgart.de/bibtex/2ca525a0e62375c9545090a248e6d0c03/alirezahakamian", "tags" : [ "resilience","specification","verification" ], "intraHash" : "ca525a0e62375c9545090a248e6d0c03", "interHash" : "d9920a65802f69e3877377685fd76841", "label" : "Verifying Transient Behavior Specifications in Chaos Engineering Using\r\n Metric Temporal Logic and Property Specification Patterns", "user" : "alirezahakamian", "description" : "", "date" : "2023-06-29 06:51:47", "changeDate" : "2023-06-29 06:51:47", "count" : 2, "pub-type": "inproceedings", "booktitle": "Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, ICPE 2023, Coimbra, Portugal, April 15-19, 2023","publisher":"ACM", "year": "2023", "url": "https://doi.org/10.1145/3578245.3584314", "author": [ "Sebastian Frank","M. Alireza Hakamian","Denis Zahariev","André van Hoorn" ], "authors": [ {"first" : "Sebastian", "last" : "Frank"}, {"first" : "M. Alireza", "last" : "Hakamian"}, {"first" : "Denis", "last" : "Zahariev"}, {"first" : "André", "last" : "van Hoorn"} ], "editor": [ "Marco Vieira","Valeria Cardellini","Antinisca Di Marco","Petr Tuma" ], "editors": [ {"first" : "Marco", "last" : "Vieira"}, {"first" : "Valeria", "last" : "Cardellini"}, {"first" : "Antinisca Di", "last" : "Marco"}, {"first" : "Petr", "last" : "Tuma"} ], "pages": "319--326", "bibsource" : "dblp computer science bibliography, https://dblp.org", "doi" : "10.1145/3578245.3584314", "bibtexKey": "DBLP:conf/wosp/0001HZH23" } , { "type" : "Publication", "id" : "https://puma.ub.uni-stuttgart.de/bibtex/2ca525a0e62375c9545090a248e6d0c03/rss", "tags" : [ "from:alirezahakamian","specification","resilience","verification" ], "intraHash" : "ca525a0e62375c9545090a248e6d0c03", "interHash" : "d9920a65802f69e3877377685fd76841", "label" : "Verifying Transient Behavior Specifications in Chaos Engineering Using\r\n Metric Temporal Logic and Property Specification Patterns", "user" : "rss", "description" : "", "date" : "2023-06-29 06:51:47", "changeDate" : "2023-06-29 06:51:47", "count" : 2, "pub-type": "inproceedings", "booktitle": "Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, ICPE 2023, Coimbra, Portugal, April 15-19, 2023","publisher":"ACM", "year": "2023", "url": "https://doi.org/10.1145/3578245.3584314", "author": [ "Sebastian Frank","M. Alireza Hakamian","Denis Zahariev","André van Hoorn" ], "authors": [ {"first" : "Sebastian", "last" : "Frank"}, {"first" : "M. Alireza", "last" : "Hakamian"}, {"first" : "Denis", "last" : "Zahariev"}, {"first" : "André", "last" : "van Hoorn"} ], "editor": [ "Marco Vieira","Valeria Cardellini","Antinisca Di Marco","Petr Tuma" ], "editors": [ {"first" : "Marco", "last" : "Vieira"}, {"first" : "Valeria", "last" : "Cardellini"}, {"first" : "Antinisca Di", "last" : "Marco"}, {"first" : "Petr", "last" : "Tuma"} ], "pages": "319--326", "bibsource" : "dblp computer science bibliography, https://dblp.org", "doi" : "10.1145/3578245.3584314", "bibtexKey": "DBLP:conf/wosp/0001HZH23" } , { "type" : "Publication", "id" : "https://puma.ub.uni-stuttgart.de/bibtex/2120360c713632ed9560aa37dfb753027/al.villanueva", "tags" : [ "axiomatic","data-analytics","design","machine-learning","manufacturing","myown","specification" ], "intraHash" : "120360c713632ed9560aa37dfb753027", "interHash" : "a7a8116b28eebe3e745fcf8c85e9d2b2", "label" : "AD4ML: Axiomatic Design to Specify Machine Learning Solutions for Manufacturing", "user" : "al.villanueva", "description" : "", "date" : "2020-09-15 14:45:04", "changeDate" : "2020-09-15 13:18:55", "count" : 1, "pub-type": "inproceedings", "booktitle": "2020 IEEE 21st International Conference on Information Reuse and Integration for Data Science (IRI)", "year": "2020", "url": "https://ieeexplore.ieee.org/document/9191629/", "author": [ "A. G. Villanueva Zacarias","R. Ghabri","P. Reimann" ], "authors": [ {"first" : "A. G.", "last" : "Villanueva Zacarias"}, {"first" : "R.", "last" : "Ghabri"}, {"first" : "P.", "last" : "Reimann"} ], "pages": "148-155","abstract": "Machine learning is increasingly adopted in manufacturing use cases, e.g., for fault detection in a production line. Each new use case requires developing its own machine learning (ML) solution. A ML solution integrates different software components to read, process, and analyze all use case data, as well as to finally generate the output that domain experts need for their decision-making. The process to design a system specification for a ML solution is not straight-forward. It entails two types of complexity: (1) The technical complexity of selecting combinations of ML algorithms and software components that suit a use case; (2) the organizational complexity of integrating different requirements from a multidisciplinary team of, e.g., domain experts, data scientists, and IT specialists. In this paper, we propose several adaptations to Axiomatic Design in order to design ML solution specifications that handle these complexities. We call this Axiomatic Design for Machine Learning (AD4ML). We apply AD4ML to specify a ML solution for a fault detection use case and discuss to what extent our approach conquers the above-mentioned complexities. We also discuss how AD4ML facilitates the agile design of ML solutions.", "doi" : "10.1109/IRI49571.2020.00029", "bibtexKey": "9191629" } , { "type" : "Publication", "id" : "https://puma.ub.uni-stuttgart.de/bibtex/23824a9778eb687fae1a89272266bd129/hermann", "tags" : [ "API","Elasticity","SYBL","application","cloud","code","program","soc2018","specification","system" ], "intraHash" : "3824a9778eb687fae1a89272266bd129", "interHash" : "7f08b6efcfcf08ea26872619b6fd8f67", "label" : "SYBL: An Extensible Language for Controlling Elasticity in Cloud Applications", "user" : "hermann", "description" : "", "date" : "2018-06-26 09:23:23", "changeDate" : "2018-06-26 07:23:23", "count" : 2, "pub-type": "inproceedings", "booktitle": "2013 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing", "year": "2013", "url": "", "author": [ "G. Copil","D. Moldovan","H. L. Truong","S. Dustdar" ], "authors": [ {"first" : "G.", "last" : "Copil"}, {"first" : "D.", "last" : "Moldovan"}, {"first" : "H. L.", "last" : "Truong"}, {"first" : "S.", "last" : "Dustdar"} ], "pages": "112-119", "doi" : "10.1109/CCGrid.2013.42", "bibtexKey": "copil2013extensible" } , { "type" : "Publication", "id" : "https://puma.ub.uni-stuttgart.de/bibtex/20ebfbc4b77ffed3431bd7c5c0e16e345/isw-bibliothek", "tags" : [ "CNC","Companion","Device","HMI","ISW","MTConnect","OPC","PLCopen","Specification","UA","xkt" ], "intraHash" : "0ebfbc4b77ffed3431bd7c5c0e16e345", "interHash" : "3e73e3209e9d4e4071311a1b8970c153", "label" : "OPC UA - eine Positionsbestimmung", "user" : "isw-bibliothek", "description" : "", "date" : "2016-03-03 09:53:12", "changeDate" : "2016-03-14 15:28:20", "count" : 1, "pub-type": "article", "journal": "Computer&Automation", "year": "2013", "url": "http://www.computer-automation.de/steuerungsebene/bedienen-beobachten/artikel/97031/", "author": [ "Matthias Keinert" ], "authors": [ {"first" : "Matthias", "last" : "Keinert"} ], "number": "5-2013","pages": "46-49","abstract": "Mit der OPC UA Technologie steht ein industrieller Kommunikationsmechanismuszur Verfügung, der es erlaubt Systeme von der Steuerungs- bis zur Leit- undBetriebsebene miteinander zu vernetzen. OPC UA zeichnet sich durch integrierteSicherheitsmechanismen, Plattformunabhängigkeit und Skalierbarkeit aus. Um dieAustauschbarkeit von Produkten mit integrierter OPC UA Technologie weiter zuerhöhen, müssen entsprechende Informationsmodelle standardisiert werden. Sowürde beispielsweise der Einsatz einer einzigen HMI für CNC-Steuerungenverschiedener Hersteller zu einem wirklichen Mehrwert führen und die Akzeptanzund Verbreitung von OPC UA weiter fördern.", "__markedentry" : "[xtl:6]", "bibtexKey": "Keinert2013a" } ] }