Bröcher, Henrik. Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.
LibreCat: /record/201

Melnikov, Vitalik, Eyke Hüllermeier, Daniel Kaimann, Berndhttps://doi.org/10.4467/20838476si.16.006.6187__Frick, andhttps://doi.org/10.4467/20838476si.16.006.6187__Prithahttps://doi.org/10.4467/20838476si.16.006.6187__Gupta. “Pairwise versus Pointwise Ranking: A Case Study.”https://doi.org/10.4467/20838476si.16.006.6187__Schedae Informaticae 25 (2016).https://doi.org/10.4467/20838476si.16.006.6187 .
LibreCat: /record/3318
DOI: 10.4467/20838476si.16.006.6187

Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.”https://doi.org/10.1007/978-3-319-45943-1_13__In Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, edited by Maurice H. ter Beek, Stefania Gnesi, and Alexander Knapp, 189--204. Lecture Notes in Computer Science, 2016.https://doi.org/10.1007/978-3-319-45943-1_13 .
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

Heck, Eduard. Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn, 2016.
LibreCat: /record/173

Schwentker, Christoph. Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn, 2016.
LibreCat: /record/174

Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.”https://doi.org/10.1016/j.scico.2016.04.002__Science of Computer Programming, 2016, 2--23.https://doi.org/10.1016/j.scico.2016.04.002 .
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

Dollmann, Markus, and Michaela Geierhos. “On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements.” In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), 1807–16. Austin, TX, USA: Association for Computational Linguistics (ACL), 2016.
LibreCat: /record/176

Platenius, Marie Christin, Ammar Shaker, Matthias Becker, Eyke Hüllermeier, and Wilhelm Schäfer. “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic.”https://doi.org/10.1109/TSE.2016.2632115__IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, no. 8 (2016): 739–59.https://doi.org/10.1109/TSE.2016.2632115 .
LibreCat: /record/190
DOI: 10.1109/TSE.2016.2632115

Geierhos, Michaela, and Frederik Simon Bäumer. “How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement.”https://doi.org/10.1007/978-3-319-41754-7_4__In Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), edited by Elisabethhttps://doi.org/10.1007/978-3-319-41754-7_4__Métais, Faridhttps://doi.org/10.1007/978-3-319-41754-7_4__Meziane, Mohamadhttps://doi.org/10.1007/978-3-319-41754-7_4__Saraee, Vijayanhttps://doi.org/10.1007/978-3-319-41754-7_4__Sugumaran, and Sunilhttps://doi.org/10.1007/978-3-319-41754-7_4__Vadera, 9612:37–47. Lecture Notes in Computer Science. Cham, Switzerland: Springer, 2016.https://doi.org/10.1007/978-3-319-41754-7_4 .
LibreCat: /record/191
DOI: 10.1007/978-3-319-41754-7_4

Reckhorn, Lena. Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling. Universität Paderborn, 2016.
LibreCat: /record/192

Stanco, Stefan. Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen. Universität Paderborn, 2016.
LibreCat: /record/181

Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.”https://doi.org/10.1007/978-3-319-46227-1_47__In Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 756–71. LNCS, 2016.https://doi.org/10.1007/978-3-319-46227-1_47 .
LibreCat: /record/184
DOI: 10.1007/978-3-319-46227-1_47

Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!” In Software Engineering 2016, edited by Uwe Zdun Jens Knoop, 17–18. Lecture Notes in Informatics, 2016.
LibreCat: /record/186

Platenius, Marie Christin, Klementina Josifovska, Lorijn van Rooijen, Svetlana Arifulina, Matthias Becker, Gregor Engels, and Wilhelm Schäfer. An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3). Universität Paderborn, 2016.
LibreCat: /record/221

Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.”https://doi.org/10.1016/j.compeleceng.2016.04.005__Computers &; Electrical Engineering, 2016, 112--122.https://doi.org/10.1016/j.compeleceng.2016.04.005 .
LibreCat: /record/222
DOI: 10.1016/j.compeleceng.2016.04.005

Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error Localization for Service Compositions.”https://doi.org/10.1007/978-3-319-44482-6_16__In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 248--262. LNCS, 2016.https://doi.org/10.1007/978-3-319-44482-6_16 .
LibreCat: /record/224
DOI: 10.1007/978-3-319-44482-6_16

Jungmann, Alexander, and Bernd Kleinjohann. “A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality.”https://doi.org/10.1109/ETFA.2016.7733522__In Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 1--8, 2016.https://doi.org/10.1109/ETFA.2016.7733522 .
LibreCat: /record/225
DOI: 10.1109/ETFA.2016.7733522

Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization and Correction in Service Compositions.”https://doi.org/10.1007/978-3-319-50230-4_35__In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 445--457. LNCS, 2016.https://doi.org/10.1007/978-3-319-50230-4_35 .
LibreCat: /record/226
DOI: 10.1007/978-3-319-50230-4_35

Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.”https://doi.org/10.1007/978-3-319-47846-3_29__In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 466--483. LNCS, 2016.https://doi.org/10.1007/978-3-319-47846-3_29 .
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

Schwichtenberg, Simon. “Automatized Derivation of Comprehensive Specifications for Black-Box Services.”https://doi.org/10.1145/2889160.2889271__In Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 815–18, 2016.https://doi.org/10.1145/2889160.2889271 .
LibreCat: /record/217
DOI: 10.1145/2889160.2889271

Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Composition of Service-Based Image Processing Applications.”https://doi.org/10.1109/SCC.2016.21__In Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 106--113, 2016.https://doi.org/10.1109/SCC.2016.21 .
LibreCat: /record/218
DOI: 10.1109/SCC.2016.21

Späth, Johannes, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden. “Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.” In European Conference on Object-Oriented Programming (ECOOP), 2016.
LibreCat: /record/5205

Kühne, Thomas, Heiko Hamann, Svetlana Arifulina, and Gregor Engels. “Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application.”https://doi.org/10.1007/978-3-319-30668-1_18__In Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016), 278--293. LNCS 9594, 2016.https://doi.org/10.1007/978-3-319-30668-1_18 .
LibreCat: /record/169
DOI: 10.1007/978-3-319-30668-1_18

Jakobs, Marie-Christine, Manuel Töws, and Felix Pauck. “PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper).” In Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, edited by Troubitsyna E Ishikawa F, Romanovsky A. School of Computing Science Technical Report Series, 2016.
LibreCat: /record/170

Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016.
LibreCat: /record/1190

Bäumer, Frederik Simon, and Michaela Geierhos. “Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions.”https://doi.org/10.1007/978-3-319-46254-7_44__In Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST), edited by Giedrehttps://doi.org/10.1007/978-3-319-46254-7_44__Dregvaite and Robertashttps://doi.org/10.1007/978-3-319-46254-7_44__Damasevicius, 639:549–58. Communications in Computer and Information Science. Cham, Switzerland: Springer, 2016.https://doi.org/10.1007/978-3-319-46254-7_44 .
LibreCat: /record/158
DOI: 10.1007/978-3-319-46254-7_44

Arifulina, Svetlana. Solving Heterogeneity for a Successful Service Market. Universität Paderborn, 2016.https://doi.org/10.17619/UNIPB/1-13 .
LibreCat: /record/150
DOI: 10.17619/UNIPB/1-13

Rooijen, Lorijn van, and Heiko Hamann. “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm.”https://doi.org/10.1109/REW.2016.015__In Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 3--9, 2016.https://doi.org/10.1109/REW.2016.015 .
LibreCat: /record/160
DOI: 10.1109/REW.2016.015

Zhang, Guangli. Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.
LibreCat: /record/162

Czech, Mike. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.
LibreCat: /record/164

Jungmann, Alexander. Towards On-The-Fly Image Processing. Universität Paderborn, 2016.
LibreCat: /record/140

Mohr, Felix. Towards Automated Service Composition Under Quality Constraints. Universität Paderborn, 2016.https://doi.org/10.17619/UNIPB/1-171 .
LibreCat: /record/141
DOI: 10.17619/UNIPB/1-171

Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.”https://doi.org/10.1109/ReCoSoC.2016.7533910__In Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 1--8, 2016.https://doi.org/10.1109/ReCoSoC.2016.7533910 .
LibreCat: /record/132
DOI: 10.1109/ReCoSoC.2016.7533910

Dewender, Markus. Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.
LibreCat: /record/133

Heinisch, Philipp. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.
LibreCat: /record/134

Vollmers, Daniel. Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn, 2016.
LibreCat: /record/136

Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.”https://doi.org/10.1007/978-3-319-22969-0_12__In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 159--174. LNCS, 2015.https://doi.org/10.1007/978-3-319-22969-0_12 .
LibreCat: /record/250
DOI: 10.1007/978-3-319-22969-0_12

Arifulina, Svetlana, Marie Christin Platenius, Felix Mohr, Gregor Engels, and Wilhelm Schäfer. “Market-Specific Service Compositions: Specification and Matching.”https://doi.org/10.1109/SERVICES.2015.58__In Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 333--340, 2015.https://doi.org/10.1109/SERVICES.2015.58 .
LibreCat: /record/280
DOI: 10.1109/SERVICES.2015.58

Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!”https://doi.org/10.1007/978-3-662-46675-9_7__In Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 100–114. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-662-46675-9_7 .
LibreCat: /record/283
DOI: 10.1007/978-3-662-46675-9_7

Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.”https://doi.org/10.1109/ACSD.2015.13__In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 1–9, 2015.https://doi.org/10.1109/ACSD.2015.13 .
LibreCat: /record/285
DOI: 10.1109/ACSD.2015.13

Becker, Matthias, Sebastian Lehrig, and Steffen Becker. “Systematically Deriving Quality Metrics for Cloud Computing Systems.”https://doi.org/10.1145/2668930.2688043__In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 169--174. ICPE ’15. New York, NY, USA, 2015.https://doi.org/10.1145/2668930.2688043 .
LibreCat: /record/245
DOI: 10.1145/2668930.2688043

Besova, Galina. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.
LibreCat: /record/246

Brosig, Fabian, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek, and Samuel Kounev. “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures.”https://doi.org/10.1109/TSE.2014.2362755__Transactions on Software Engineering, no. 2 (2015): 157--175.https://doi.org/10.1109/TSE.2014.2362755 .
LibreCat: /record/260
DOI: 10.1109/TSE.2014.2362755

Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.”https://doi.org/10.1145/2695664.2695690__In Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729–36. SAC ’15, 2015.https://doi.org/10.1145/2695664.2695690 .
LibreCat: /record/262
DOI: 10.1145/2695664.2695690

Wiersema, Tobias, Sen Wu, and Marco Platzner. “On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.”https://doi.org/10.1007/978-3-319-16214-0_32__In Proceedings of the International Symposium in Reconfigurable Computing (ARC), 365--372. LNCS, 2015.https://doi.org/10.1007/978-3-319-16214-0_32 .
LibreCat: /record/269
DOI: 10.1007/978-3-319-16214-0_32

Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.”https://doi.org/10.1186/s13174-015-0022-8__Journal of Internet Services and Applications, no. 1 (2015): 1–18.https://doi.org/10.1186/s13174-015-0022-8 .
LibreCat: /record/323
DOI: 10.1186/s13174-015-0022-8

Mohr, Felix. “A Metric for Functional Reusability of Services.”https://doi.org/10.1007/978-3-319-14130-5_21__In Proceedings of the 14th International Conference on Software Reuse (ICSR), 298--313. LNCS, 2015.https://doi.org/10.1007/978-3-319-14130-5_21 .
LibreCat: /record/324
DOI: 10.1007/978-3-319-14130-5_21

Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.”https://doi.org/10.1016/j.artint.2015.09.003__Artificial Intelligence, 2015, 246–57.https://doi.org/10.1016/j.artint.2015.09.003 .
LibreCat: /record/3343
DOI: 10.1016/j.artint.2015.09.003

Besova, Galina, Dominik Steenken, and Heike Wehrheim. “Grammar-Based Model Transformations: Definition, Execution, and Quality Properties.”https://doi.org/10.1016/j.cl.2015.05.003__Computer Languages, Systems &; Structures, 2015, 116–38.https://doi.org/10.1016/j.cl.2015.05.003 .
LibreCat: /record/290
DOI: 10.1016/j.cl.2015.05.003

Börding, Paul. Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen. Universität Paderborn, 2015.
LibreCat: /record/291

Geierhos, Michaela, Frederik Simon Bäumer, Sabine Schulze, and Valentina Stuß. “Filtering Reviews by Random Individual Error.”https://doi.org/10.1007/978-3-319-19066-2_30__In Proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015), edited by Moonishttps://doi.org/10.1007/978-3-319-19066-2_30__Ali, Young Sig Kwon, Chang-Hwan Lee, Juntaehttps://doi.org/10.1007/978-3-319-19066-2_30__Kim, and Yongdaihttps://doi.org/10.1007/978-3-319-19066-2_30__Kim, 9101:305–15. Lecture Notes in Artificial Intelligence. Cham, Switzerland: Springer, 2015.https://doi.org/10.1007/978-3-319-19066-2_30 .
LibreCat: /record/293
DOI: 10.1007/978-3-319-19066-2_30

Neumann, Conrad. Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets. Universität Paderborn, 2015.
LibreCat: /record/300

Bruns, Melanie. Design of an Evaluation Strategy for Fuzzy Service Matching. Universität Paderborn, 2015.
LibreCat: /record/310

Börding, Paul, Melanie Bruns, and Marie Christin Platenius. “Comprehensive Service Matching with MatchBox.”https://doi.org/10.1145/2786805.2803181__In 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 974--977, 2015.https://doi.org/10.1145/2786805.2803181 .
LibreCat: /record/313
DOI: 10.1145/2786805.2803181

Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” In Proceedings of the 5th IFIP International Embedded Systems Symposium, 2015.
LibreCat: /record/315

Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.”https://doi.org/10.1007/s00450-014-0259-7__Computer Science - R &; D, no. 3–4 (2015): 303--320.https://doi.org/10.1007/s00450-014-0259-7 .
LibreCat: /record/3162
DOI: 10.1007/s00450-014-0259-7

Huma, Zille. Automatic Service Discovery and Composition for Heterogeneous Service Partners. Universität Paderborn, 2015.
LibreCat: /record/318

Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online Service Composition.”https://doi.org/10.1109/SCC.2015.18__In Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 57--64, 2015.https://doi.org/10.1109/SCC.2015.18 .
LibreCat: /record/319
DOI: 10.1109/SCC.2015.18

Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.”https://doi.org/10.1109/SERVICES.2015.57__In Proceedings of the IEEE 11th World Congress on Services (SERVICES), 329--332, 2015.https://doi.org/10.1109/SERVICES.2015.57 .
LibreCat: /record/272
DOI: 10.1109/SERVICES.2015.57

Platenius, Marie Christin, Svetlana Arifulina, and Wilhelm Schäfer. “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes.”https://doi.org/10.1145/2737166.2737174__In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 75–84, 2015.https://doi.org/10.1145/2737166.2737174 .
LibreCat: /record/279
DOI: 10.1145/2737166.2737174

Geierhos, Michaela, Sabine Schulze, and Frederik Simon Bäumer. “What Did You Mean? Facing the Challenges of User-Generated Software Requirements.”https://doi.org/10.5220/0005346002770283__In Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015), edited by Stephanehttps://doi.org/10.5220/0005346002770283__Loiseau, Joaquimhttps://doi.org/10.5220/0005346002770283__Filipe, Béatricehttps://doi.org/10.5220/0005346002770283__Duval, and Jaap van den Herik, 277–83. Setúbal, Portugal: SciTePress - Science and Technology Publications, 2015.https://doi.org/10.5220/0005346002770283 .
LibreCat: /record/231
DOI: 10.5220/0005346002770283

Senge, Robin, and Eyke Hüllermeier. “Fast Fuzzy Pattern Tree Learning for Classification.”https://doi.org/10.1109/tfuzz.2015.2396078__IEEE Transactions on Fuzzy Systems 23, no. 6 (2015): 2024–33.https://doi.org/10.1109/tfuzz.2015.2396078 .
LibreCat: /record/4792
DOI: 10.1109/tfuzz.2015.2396078

Li, Li, Alexandre Bartel, Tegawende F. Bissyande, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, and Patrick McDaniel. “IccTA: Detecting Inter-Component Privacy Leaks in Android Apps.” In 2015 International Conference on Software Engineering (ICSE), 280–91, 2015.
LibreCat: /record/5207

Meißner, Roland. Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung Virtueller FPGAs. Universität Paderborn, 2015.
LibreCat: /record/10714

Wu, Sen. Webcam Application Using Virtual FPGA. Universität Paderborn, 2014.
LibreCat: /record/331

Osterbrink, Sebastian. Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn, 2014.
LibreCat: /record/333

Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.”https://doi.org/10.1007/978-3-319-15317-9_3__In Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 31–48. LNCS, 2014.https://doi.org/10.1007/978-3-319-15317-9_3 .
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.
LibreCat: /record/340

Klauke, Christoph. Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn, 2014.
LibreCat: /record/342

Becker, Matthias, Steffen Becker, Galina Besova, Sven Walther, and Heike Wehrheim. “Towards Systematic Configuration for Architecture Validation.” In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat: /record/344

Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing.”https://doi.org/10.1109/CloudCom.2014.154__In Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 755–58, 2014.https://doi.org/10.1109/CloudCom.2014.154 .
LibreCat: /record/345
DOI: 10.1109/CloudCom.2014.154

Brangewitz, Sonja, Alexander Jungmann, Ronald Petrlic, and Marie Christin Platenius. “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.” In Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 49–57, 2014.
LibreCat: /record/346

Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”https://doi.org/10.1007/978-3-319-14130-5_14__In Proceedings of the 14th International Conference on Software Reuse (ICSR), 188–203. LNCS, 2014.https://doi.org/10.1007/978-3-319-14130-5_14 .
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

Töws, Manuel. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn, 2014.
LibreCat: /record/359

Arifulina, Svetlana, Matthias Becker, Marie Christin Platenius, and Sven Walther. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.”https://doi.org/10.1145/2642937.2648621__In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 839–42, 2014.https://doi.org/10.1145/2642937.2648621 .
LibreCat: /record/364
DOI: 10.1145/2642937.2648621

Petrlic, Ronald, Alexander Jungmann, Marie Christin Platenius, Wilhelm Schäfer, and Christoph Sorge. “Security and Privacy Challenges in On-The-Fly Computing.” In Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 131–42, 2014.
LibreCat: /record/366

Detten, Markus von, Marie Christin Platenius, and Steffen Becker. “Reengineering Component-Based Software Systems with Archimetrix.”https://doi.org/10.1007/s10270-013-0341-9__Journal of Software and Systems Modeling, no. 4 (2014): 1239--1268.https://doi.org/10.1007/s10270-013-0341-9 .
LibreCat: /record/375
DOI: 10.1007/s10270-013-0341-9

Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs -- Approach and Applications.” In Proceedings of the Software Engineering Conference (SE), 67–68. Lecture Notes in Informatics (LNI), 2014.
LibreCat: /record/383

Huma, Zille, Christian Gerth, and Gregor Engels. “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains.”https://doi.org/10.1007/s00450-014-0254-z__Computer Science - Research and Development, no. 3–4 (2014): 333–61.https://doi.org/10.1007/s00450-014-0254-z .
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.”https://doi.org/10.1109/SERVICES.2014.68__In Proceedings of the 10th World Congress on Services (SERVICES), 346–53, 2014.https://doi.org/10.1109/SERVICES.2014.68 .
LibreCat: /record/447
DOI: 10.1109/SERVICES.2014.68

Gao, Yuan. Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness. Universität Paderborn, 2014.
LibreCat: /record/448

Becker, Matthias, Marie Christin Platenius, and Steffen Becker. “Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!”https://doi.org/10.1007/978-3-319-14886-1_15__In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 153–59. Communications in Computer and Information Science, 2014.https://doi.org/10.1007/978-3-319-14886-1_15 .
LibreCat: /record/449
DOI: 10.1007/978-3-319-14886-1_15

Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable Program Analysis.”https://doi.org/10.1145/2632362.2632372__In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 30–39. SPIN 2014, 2014.https://doi.org/10.1145/2632362.2632372 .
LibreCat: /record/450
DOI: 10.1145/2632362.2632372

Heldt, Waleri. Automated Service Composition: Adaption of the ASTRO Approach. Universität Paderborn, 2014.
LibreCat: /record/454

Jungmann, Alexander, Felix Mohr, and Berndhttps://doi.org/10.1109/SOCA.2014.48__Kleinjohann. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.”https://doi.org/10.1109/SOCA.2014.48__In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 105–12, 2014.https://doi.org/10.1109/SOCA.2014.48 .
LibreCat: /record/457
DOI: 10.1109/SOCA.2014.48

Schwichtenberg, Simon, Christian Gerth, Zille Huma, and Gregor Engels. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.”https://doi.org/10.1007/978-3-319-09195-2_12__In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 180–95. LNCS, 2014.https://doi.org/10.1007/978-3-319-09195-2_12 .
LibreCat: /record/394
DOI: 10.1007/978-3-319-09195-2_12

Bano, Dorina. Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn, 2014.
LibreCat: /record/396

Wiersema, Tobias, Stephanie Drzevitzky, and Marco Platzner. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.”https://doi.org/10.1109/FPT.2014.7082771__In Proceedings of the International Conference on Field-Programmable Technology (FPT), 167–74, 2014.https://doi.org/10.1109/FPT.2014.7082771 .
LibreCat: /record/399
DOI: 10.1109/FPT.2014.7082771

Bunse, Mirko. Measuring Transformation-Induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn, 2014.
LibreCat: /record/400

Platenius, Marie Christin, Svetlana Arifulina, Ronald Petrlic, and Wilhelm Schäfer. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.”https://doi.org/10.1007/978-3-319-14886-1_2__In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 6–17. Communications in Computer and Information Science, 2014.https://doi.org/10.1007/978-3-319-14886-1_2 .
LibreCat: /record/401
DOI: 10.1007/978-3-319-14886-1_2

Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, and Wilhelm Schäfer. “Market-Optimized Service Specification and Matching.”https://doi.org/10.1007/978-3-662-45391-9_47__In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch, AdityaK. Ghose, GraceA. Lewis, and Sami Bhiri, 543–50. LNCS, 2014.https://doi.org/10.1007/978-3-662-45391-9_47 .
LibreCat: /record/402
DOI: 10.1007/978-3-662-45391-9_47

Mohr, Felix. “Issues of Automated Software Composition in AI Planning.”https://doi.org/10.1145/2642937.2653470__In Proceedings of the 29th International Conference on Automated Software Engineering (ASE), 895--898, 2014.https://doi.org/10.1145/2642937.2653470 .
LibreCat: /record/407
DOI: 10.1145/2642937.2653470

Jakobs, Marie-Christine, Marco Platzner, Tobias Wiersema, and Heike Wehrheim. “Integrating Software and Hardware Verification.”https://doi.org/10.1007/978-3-319-10181-1_19__In Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 307–22. LNCS, 2014.https://doi.org/10.1007/978-3-319-10181-1_19 .
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

Platenius, Marie Christin, Steffen Becker, and Wilhelm Schäfer. “Integrating Service Matchers into a Service Market Architecture.”https://doi.org/10.1007/978-3-319-09970-5_19__In Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 210–17. LNCS, 2014.https://doi.org/10.1007/978-3-319-09970-5_19 .
LibreCat: /record/409
DOI: 10.1007/978-3-319-09970-5_19

Jungmann, Alexander, Sonja Brangewitz, Ronald Petrlic, and Marie Christin Platenius. “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services.” International Journal On Advances in Intelligent Systems (IntSys) 7, no. 3&;4 (2014): 572--594.
LibreCat: /record/410

Taherinajafabadi, Vahide. Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn, 2014.
LibreCat: /record/411

Vijapurwala, Shafi. Handling Incomplete Service Specifications Using Fuzzy Matching. Universität Paderborn, 2014.
LibreCat: /record/415

Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model Transformations.”https://doi.org/10.1016/j.cl.2015.05.003__In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 1601–10, 2014.https://doi.org/10.1016/j.cl.2015.05.003 .
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat: /record/418

Merschjohann, Sven. Fuzzy Matching of Service Price Specifications. Universität Paderborn, 2014.
LibreCat: /record/420