Universität Paderborn » SFB 901 » Publications » Project Area B

Publications

All | Project Area A | Project Area B | Project Area C

Publication type



Year



Author






2017 (11)

Florian Grobbel:
Was kommt zuerst? Erkennung von zeitlichen Abläufen in funktionalen Softwareanforderungsbeschreibungen
Master's thesis, University of Paderborn (2017)

[Show BibTeX]
Mona Theda:
Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze
Master's thesis, University of Paderborn (2017)

[Show BibTeX]
Tobias Isenberg, Marco Platzner, Heike Wehrheim, Tobias Wiersema:
Proof-Carrying Hardware via Inductive Invariants
In ACM Transactions on Design Automation of Electronic Systems. (2017) (to appear)

[Show BibTeX]
Marie-Christine Jakobs, Heike Wehrheim:
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
In ACM Transactions on Programming Languages and Systems, vol. 39, no. 2, pp. 7:1-7:56. ACM (2017)

[Show Abstract] [Show BibTeX] [DOI]
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim:
Predicting Rankings of Software Verification Competitions
arXiv. (2017) (presented at 1st Workshop on Learning in Verification (LiVe))

[Show BibTeX] [DOI]
Marie Christin Platenius, Svetlana Arifulina, Wilhelm Schaefer:
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract)
In Tagungsband Software Engineering. Gesellschaft für Informatik, Lecture Notes in Informatics (LNI), vol. P-267, pp. 81-82 (2017)

[Show Abstract] [Show BibTeX]
Michaela Geierhos, Frederik Simon Bäumer:
Guesswork? Resolving Vagueness in User-Generated Software Requirements
In Henning Christiansen and M. Dolores Jiménez López and Roussanka Loukanova and Larry Moss (eds.): Partiality and Underspecification in Information, Languages, and Knowledge, pp. 65-107. Cambridge Scholars Publishing (2017) (in press)

[Show BibTeX]
Lennart Rehmer:
Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation
Bachelor thesis, University of Paderborn (2017)

[Show BibTeX]
Isabel Krammer:
Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz
Master's thesis, University of Munich (2017)

[Show BibTeX]
Marie-Christine Jakobs, Heike Wehrheim:
Compact Proof Witnesses
In Barrett, Clark and Davies, Misty and Kahsai, Temesghen (eds.): NASA Formal Methods: 9th International Symposium. Springer, Lecture Notes in Computer Science, vol. 10227, pp. 389-403 (2017)

[Show BibTeX] [DOI]
Marie-Christine Jakobs, Julia Krämer, Dirk Van Straaten, Theodor Lettmann:
Certification Matters for Service Markets
In Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas Prinz (eds.): The Ninth International Conferences on Advanced Service Computing SERVICE COMPUTATION 2017. IARIA XPS Press, pp. 7-12 (2017)

[Show Abstract] [Show BibTeX]

2016 (35)

Tobias Wiersema, Marco Platzner:
Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware
In Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016). IEEE Computer Society, pp. 1-8 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Markus Dewender:
Verifikation von Service Kompositionen mit Spin
Bachelor thesis, Paderborn University (2016)

[Show Abstract] [Show BibTeX]
Philipp Heinisch:
Verifikation von Service Kompositionen mit Prolog
Bachelor thesis, Paderborn University (2016)

[Show Abstract] [Show BibTeX]
Daniel Vollmers:
Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen
Bachelor thesis, University of Paderborn (2016)

[Show BibTeX]
Alexander Jungmann:
Towards On-The-Fly Image Processing
PhD thesis, Paderborn University (2016)

[Show BibTeX] [DOI]
Felix Mohr:
Towards Automated Service Composition Under Quality Constraints
PhD thesis, Paderborn University (2016)

[Show BibTeX]
Svetlana Arifulina:
Solving Heterogeneity for a Successful Service Market
PhD thesis, Paderborn University (2016)

[Show BibTeX]
Frederik Simon Bäumer, Michaela Geierhos:
Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions
In Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST). Springer International Publishing, Communications in Computer and Information Science, vol. 639, pp. 549-558 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Lorijn van Rooijen, Heiko Hamann:
Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm
In Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016). IEEE, pp. 3-9 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Guangli Zhang:
Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions
Master's thesis, University of Paderborn (2016)

[Show BibTeX]
Mike Czech:
Predicting Rankings of Software Verification Tools Using Kernels for Structured Data
Master's thesis, Paderborn University (2016)

[Show BibTeX]
Thomas Kuehne, Heiko Hamann, Svetlana Arifulina, Gregor Engels:
Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application
In Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016). Springer, LNCS 9594, pp. 278-293 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Manuel Töws, Felix Pauck:
PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper)
In Ishikawa F, Romanovsky A, Troubitsyna E (eds.): Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems. School of Computing Science, University of Newcastle upon Tyne, School of Computing Science Technical Report Series, no. CS-TR-1503 (2016)

[Show BibTeX]
Eduard Heck:
Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace
Bachelor thesis, University of Paderborn (2016)

[Show BibTeX]
Christoph Schwentker:
Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen
Bachelor thesis, University of Paderborn (2016)

[Show BibTeX]
Sven Walther, Heike Wehrheim:
On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs
In Science of Computer Programming, vol. 127, pp. 2-23. Elsevier (2016)

[Show Abstract] [Show BibTeX] [DOI]
Markus Dollmann, 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). The Association for Computational Linguistics, pp. 1807-1816 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Stefan Stanco:
Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen
Master's thesis, University of Paderborn (2016)

[Show BibTeX]
Vitalik Melnikov, Eyke Hüllermeier:
Learning to Aggregate Using Uninorms
In Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016). Springer, LNCS, vol. 9852, no. 2, pp. 756-771 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Mike Czech, Marie-Christine Jakobs, Heike Wehrheim:
Just test what you cannot verify!
In Jens Knoop, Uwe Zdun (eds.): Software Engineering 2016. Gesellschaft für Informatík, Lecture Notes in Informatics, vol. P-252, pp. 17-18 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Isenberg:
Induction-Based Verificiation of Timed Systems
PhD thesis, University of Paderborn (2016)

[Show BibTeX]
Marie Christin Platenius, Ammar Shaker, Matthias Becker, Eyke Hüllermeier, Wilhelm Schaefer:
Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic
In IEEE Transactions on Software Engineering (TSE), vol. 99. IEEE (2016)

[Show Abstract] [Show BibTeX] [DOI]
Michaela Geierhos, Frederik Simon Bäumer:
How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement
In Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera (eds.): Natural Language Processing and Information Systems. 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings. Springer International Publishing, Lecture Notes in Computer Science, vol. 9612, pp. 37-47 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Lena Reckhorn:
Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling
Bachelor thesis, University of Paderborn (2016)

[Show BibTeX]
Marie Christin Platenius:
Fuzzy Matching of Comprehensive Service Specifications
PhD thesis, Paderborn University (2016) (https://katalog.ub.uni-paderborn.de/local/records/001876297)

[Show BibTeX]
Markus Dollmann:
Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content
Master's thesis, University of Paderborn (2016)

[Show BibTeX]
Henrik Bröcher:
Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung
Bachelor thesis, University of Paderborn (2016)

[Show BibTeX]
Simon Schwichtenberg:
Automatized Derivation of Comprehensive Specifications for Black-box Services
In Proceedings of the 38th International Conference on Software Engineering Companion (ICSE). ACM, pp. 815-818 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Bernd Kleinjohann:
Automatic Composition of Service-based Image Processing Applications
In Proceedings of the 13th IEEE International Conference on Services Computing (SCC). IEEE, pp. 106-113 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Marie Christin Platenius, Klementina Josifovska, Lorijn van Rooijen, Svetlana Arifulina, Matthias Becker, Gregor Engels, Wilhelm Schaefer:
An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)
Techreport UPB. (2016) (Technical Report, tr-ri-16-349 (https://www.hni.uni-paderborn.de/pub/9309))

[Show BibTeX]
Tobias Wiersema, Arne Bockhorn, Marco Platzner:
An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip
In Computers & Electrical Engineering, vol. 55, pp. 112-122. Elsevier (2016)

[Show Abstract] [Show BibTeX] [DOI]
Julia Krämer, Heike Wehrheim:
A short survey on using software error localization for service compositions
In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016). Springer, LNCS, vol. 9846, pp. 248-262 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Bernd Kleinjohann:
A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality
In Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, pp. 1-8 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Julia Krämer, Heike Wehrheim:
A Formal Approach to Error Localization and Correction in Service Compositions
In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016). Springer, LNCS, vol. 9946, pp. 445-457 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Manuel Töws, Heike Wehrheim:
A CEGAR Scheme for Information Flow Analysis
In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016). Springer, LNCS, vol. 10009, pp. 466-483 (2016)

[Show Abstract] [Show BibTeX] [DOI]

2015 (22)

Michaela Geierhos, Sabine Schulze, Frederik Simon Bäumer:
What did you mean? Facing the Challenges of User-generated Software Requirements
In Stephane Loiseau, Joaquim Filipe, Béatrice Duval and Jaap van den Herik (eds.): Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015). SCITEPRESS – Science and Technology Publications (Lisbon, Portugal), pp. 277-283 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Becker, Sebastian Lehrig, Steffen Becker:
Systematically Deriving Quality Metrics for Cloud Computing Systems
In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering. ACM (New York, NY, USA), ICPE '15, pp. 169-174 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Galina Besova:
Systematic Development and Re-Use of Model Tranformations
PhD thesis, University of Paderborn (2015)

[Show BibTeX]
Marie-Christine Jakobs:
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM). Springer, LNCS, vol. 9276, pp. 159-174 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Fabian Brosig, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek, Samuel Kounev:
Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures
In Transactions on Software Engineering, vol. 41, no. 2, pp. 157-175. IEEE (2015)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Heike Wehrheim:
Programs from Proofs of Predicated Dataflow Analyses
In Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, SAC '15, pp. 1729-1736 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Wiersema, Sen Wu, Marco Platzner:
On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach
In Proceedings of the International Symposium in Reconfigurable Computing (ARC). Springer, LNCS, vol. 9040, pp. 365-372 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann:
On Adaptivity for Automated Composition of Service Functionality
In Proceedings of the IEEE 11th World Congress on Services (SERVICES). IEEE, pp. 329-332 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Marie Christin Platenius, Svetlana Arifulina, Wilhelm Schaefer:
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes
In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'15). ACM, pp. 75-84 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Svetlana Arifulina, Marie Christin Platenius, Felix Mohr, Gregor Engels, Wilhelm Schaefer:
Market-Specific Service Compositions: Specification and Matching
In Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet. IEEE, pp. 333-340 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Mike Czech, Marie-Christine Jakobs, Heike Wehrheim:
Just test what you cannot verify!
In Egyed, Alexander and Schaefer, Ina (eds.): Fundamental Approaches to Software Engineering. Springer, Lecture Notes in Computer Science, vol. 9033, pp. 100-114 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Isenberg:
Incremental Inductive Verification of Parameterized Timed Systems
In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD). IEEE Computer Society, pp. 1-9 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Galina Besova, Dominik Steenken, Heike Wehrheim:
Grammar-based model transformations: Definition, execution, and quality properties
In Computer Languages, Systems & Structures, vol. 43, pp. 116-138. Elsevier (2015)

[Show Abstract] [Show BibTeX] [DOI]
Paul Börding:
Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Michaela Geierhos, Frederik Simon Bäumer, Sabine Schulze, Valentina Stuß:
Filtering Reviews by Random Individual Error
In Ali, M., Kwon, Y.S., Lee, C.-H., Kim, J., Kim, Y. (eds.): Current Approaches in Applied Artificial Intelligence Intelligence - 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, Seoul, South Korea, June 10-12, 2015, Proceedings. Springer, LNAI, vol. 9101, pp. 305-315 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Conrad Neumann:
Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Paul Börding, Melanie Bruns, Marie Christin Platenius:
Comprehensive Service Matching with MatchBox
In 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'15). ACM, pp. 974-977 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Jan Jatzkowski, Bernd Kleinjohann:
Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study
In Proceedings of the 5th IFIP International Embedded Systems Symposium. Springer (2015)

[Show Abstract] [Show BibTeX]
Zille Huma:
Automatic Service Discovery and Composition for heterogeneous service partners
PhD thesis, University of Paderborn (2015)

[Show BibTeX]
Felix Mohr, Alexander Jungmann, Hans Kleine Buening:
Automated Online Service Composition
In Proceedings of the 12th IEEE International Conference on Services Computing (SCC). IEEE, pp. 57-64 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Felix Mohr:
An approach towards adaptive service composition in markets of composed services
In Journal of Internet Services and Applications, vol. 6, no. 1, pp. 1-18. Springer Open (2015)

[Show Abstract] [Show BibTeX] [DOI]
Felix Mohr:
A Metric for Functional Reusability of Services
In Proceedings of the 14th International Conference on Software Reuse (ICSR). Springer, LNCS, vol. 8919, pp. 298-313 (2015)

[Show Abstract] [Show BibTeX] [DOI]

2014 (44)

Sen Wu:
Webcam application using virtual FPGA
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Sebastian Osterbrink:
Visualisierung von SMT-Solver-Ausgaben
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Sven Walther, Heike Wehrheim:
Verified Service Compositions by Template-Based Construction
In Lanese, Ivan and Madelaine, Eric (eds.): Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS). Springer, LNCS, vol. 8997, pp. 31-48 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Philipp Korth:
Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Christoph Klauke:
Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Matthias Becker, Steffen Becker, Galina Besova, Sven Walther, 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). IEEE (2014)

[Show BibTeX]
Alexander Jungmann, Bernd Kleinjohann:
Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
In Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom). IEEE, pp. 755-758 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Sonja Brangewitz, Alexander Jungmann, Ronald Petrlic, 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). IARIA XPS Press, pp. 49-57 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Felix Mohr, Sven Walther:
Template-based Generation of Semantic Services
In Proceedings of the 14th International Conference on Software Reuse (ICSR). Springer, LNCS, vol. 8919, pp. 188-203 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Manuel Töws:
Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Svetlana Arifulina, Matthias Becker, Marie Christin Platenius, Sven Walther:
SeSAME: Modeling and Analyzing High-Quality Service Compositions
In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). ACM New York, pp. 839-842 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Ronald Petrlic, Alexander Jungmann, Marie Christin Platenius, Wilhelm Schaefer, Christoph Sorge:
Security and Privacy Challenges in On-The-Fly Computing
In Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014). De Gruyter Oldenbourg, pp. 131-142 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Markus von Detten, Marie Christin Platenius, Steffen Becker:
Reengineering Component-Based Software Systems with Archimetrix
In Journal of Software and Systems Modeling, vol. 13, no. 4, pp. 1239-1268. Springer (2014)

[Show Abstract] [Show BibTeX] [DOI]
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim:
Programs from Proofs - Approach and Applications
In Proceedings of the Software Engineering Conference (SE). Gesellschaft für Informatik (GI), Lecture Notes in Informatics (LNI), vol. 227, pp. 67-68 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Zille Huma, Christian Gerth, Gregor Engels:
On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains
In Computer Science - Research and Development, vol. 30, no. 3-4, pp. 333-361. Springer (2014)

[Show Abstract] [Show BibTeX] [DOI]
Simon Schwichtenberg, Christian Gerth, Zille Huma, Gregor Engels:
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations
In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA). Springer, LNCS, vol. 8569, pp. 180-195 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Dorina Bano:
Modeling and Matching of Reputation of Services in On-The-Fly Computing
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Tobias Wiersema, Stephanie Drzevitzky, Marco Platzner:
Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring
In Proceedings of the International Conference on Field-Programmable Technology (FPT). IEEE Computer Society, pp. 167-174 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Mirko Bunse:
Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Marie Christin Platenius, Svetlana Arifulina, Ronald Petrlic, Wilhelm Schaefer:
Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching
In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet. Springer, Communications in Computer and Information Science, vol. 508, pp. 6-17 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Svetlana Arifulina, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, Wilhelm Schaefer:
Market-optimized Service Specification and Matching
In Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, Sami (eds.): Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014). Springer Berlin Heidelberg, LNCS, vol. 8831, pp. 543-550 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Felix Mohr:
Issues of Automated Software Composition in AI Planning
In Proceedings of the 29th International Conference on Automated Software Engineering (ASE). ACM, pp. 895-898 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Marco Platzner, Tobias Wiersema, Heike Wehrheim:
Integrating Software and Hardware Verification
In Albert, Elvira and Sekerinski, Emil (eds.): Proceedings of the 11th International Conference on Integrated Formal Methods (iFM). Springer, LNCS, vol. 8739, pp. 307-322 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Marie Christin Platenius, Steffen Becker, Wilhelm Schaefer:
Integrating Service Matchers into a Service Market Architecture
In Avgeriou, Paris and Zdun, Uwe (eds.): Proceedings of the 8th European Conference on Software Architecture (ECSA 2014). Springer International Publishing, LNCS, vol. 8627, pp. 210-217 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Sonja Brangewitz, Ronald Petrlic, Marie Christin Platenius:
Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services
In International Journal On Advances in Intelligent Systems (IntSys), vol. 7, no. 3&4, pp. 572-594. ThinkMind (2014)

[Show Abstract] [Show BibTeX] [DOI]
Vahide Taherinajafabadi:
Improving Service Specifications for the Service Matching on a Service Market
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Shafi Vijapurwala:
Handling Incomplete Service Specifications using Fuzzy Matching
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Galina Besova, Dominik Steenken, Heike Wehrheim:
Grammar-based model transformations
In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). IEEE, pp. 1601-1610 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Felix Pauck:
Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Sven Merschjohann:
Fuzzy Matching of Service Price Specifications
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Maryam Sanati:
Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Suman Jojiju:
Finding Optimal Self-Adaption Rules by Design-Space Exploration
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Christoph Finkensiep:
Fast and Flexible Automatic Composition of Semantic Web Services
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Alexander Jungmann, Jan Jatzkowski, Bernd Kleinjohann:
Evaluation of Color Spaces for Robust Image Segmentation
In Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP). SCITEPRESS Digital Library, pp. 648-655 (2014)

[Show Abstract] [Show BibTeX]
Benjamin Bulk:
Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Felix Mohr:
Estimating Functional Reusability of Services
In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC). IEEE, LNCS, vol. 8831, pp. 411-418 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Andreas Krakau:
Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Tobias Wiersema, Arne Bockhorn, Marco Platzner:
Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA
In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE Computer Society, pp. 1-6 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Felix Mohr, Bernd Kleinjohann:
Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services
In Proceedings of the 10th World Congress on Services (SERVICES). IEEE, pp. 346-353 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Yuan Gao:
Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Matthias Becker, Marie Christin Platenius, Steffen Becker:
Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!
In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB). Springer, Communications in Computer and Information Science, pp. 153-159 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Heike Wehrheim:
Certification for Configurable Program Analysis
In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN). ACM, SPIN 2014, pp. 30-39 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Waleri Heldt:
Automated Service Composition: Adaption of the ASTRO Approach
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Alexander Jungmann, Felix Mohr, Bernd Kleinjohann:
Applying Reinforcement Learning for Resolving Ambiguity in Service Composition
In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA). IEEE Computer Society, pp. 105-112 (2014)

[Show Abstract] [Show BibTeX] [DOI]

2013 (27)

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim:
Zero Overhead Runtime Monitoring
In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM). Springer, LNCS, vol. 8137, pp. 244-258 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Marco Engelbrecht:
Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern
Bachelor thesis, University of Paderborn (2013)

[Show BibTeX]
Nils Timm:
Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems
PhD thesis, University of Paderborn (2013)

[Show Abstract] [Show BibTeX] [DOI]
Maarten Bieshaar:
Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen
Bachelor thesis, University of Paderborn (2013)

[Show BibTeX]
Matthias Becker, Steffen Becker, Joachim Meyer:
SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems
In Proceedings of the Software Engineering Conference (SE). Gesellschaft für Informatik (GI), Lecture Notes in Informatics (LNI), vol. 213, pp. 71-84 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Marie Christin Platenius, Markus von Detten, Christian Gerth, Wilhelm Schaefer, Gregor Engels:
Service Matching under Consideration of Explicitly Specified Service Variants
In IEEE 20th International Conference on Web Services (ICWS 2013). IEEE Computer Society, pp. 613-614 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Felix Mohr, Hans Kleine Buening:
Semi-Automated Software Composition Through Generated Components
In Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS). ACM, pp. 676-680 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Markus von Detten:
Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies
PhD thesis, University of Paderborn (2013)

[Show Abstract] [Show BibTeX] [DOI]
Felix Mohr, Theodor Lettmann, Hans Kleine Buening:
Reducing Nondeterminism in Service Composition
In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA). IEEE Computer Society, pp. 154-161 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Christian Soltenborn:
Quality Assurance with Dynamic Meta Modeling
PhD thesis, University of Paderborn (2013)

[Show Abstract] [Show BibTeX] [DOI]
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim:
Programs from Proofs – A PCC Alternative
In Proceedings of the 25th International Conference on Computer Aided Verification (CAV). Springer, LNCS, vol. 8044, pp. 912-927 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Becker, Markus Luckey, Steffen Becker:
Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time
In Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA'13). ACM, pp. 43-52 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Simon Schwichtenberg:
Ontology-based Normalization and Matching of Rich Service Descriptions
Master's thesis, University of Paderborn (2013)

[Show BibTeX]
Gregor Engels:
On-The-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft
In Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013). GI, LNI, vol. P-213, pp. 17-18 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Bernd Kleinjohann, Lisa Kleinjohann:
Learning Service Recommendations
In International Journal of Business Process Integration and Management, vol. 6, no. 4, pp. 284-297. Inderscience (2013)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Bernd Kleinjohann:
Learning Recommendation System for Automated Service Composition
In Proceedings of the 10th IEEE International Conference on Services Computing (SCC). IEEE Computer Society, pp. 97-104 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Sven Walther, Heike Wehrheim:
Knowledge-Based Verification of Service Compositions - An SMT approach
In Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE Computer Society, pp. 24 - 32 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Vanessa Petrausch:
Klassifizierung unterschiedlicher Ansätze zum Matching von Services
Bachelor thesis, University of Paderborn (2013)

[Show BibTeX]
Marie Christin Platenius:
Fuzzy Service Matching in On-The-Fly Computing
In Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE). ACM, pp. 715-718 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Christian Heinzemann, Steffen Becker:
Executing Reconfigurations in Hierarchical Component Architectures
In Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE). ACM, pp. 3-12 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Dominik Buse:
Entwurf kooperativer Verhaltensweisen heterogener Roboter
Bachelor thesis, University of Paderborn (2013)

[Show BibTeX]
Richard Borkowski:
Entwicklung eines Hybriden Planers zur verhaltensorientierten Selbstoptimierung
Bachelor thesis, University of Paderborn (2013)

[Show BibTeX]
Kavitha Jagannath:
Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services
Master's thesis, University of Paderborn (2013)

[Show BibTeX]
Christian Gerth:
Business Process Models - Change Management
PhD thesis, University of Paderborn (2013)

[Show Abstract] [Show BibTeX] [DOI]
Zille Huma, Christian Gerth, Gregor Engels, Oliver Juwig:
Automated Service Composition for On-the-Fly SOAs
In Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC'13). Springer-Verlag (Berlin/Heidelberg), LNCS, vol. 8274, pp. 524-532 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Nickel:
Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking
Bachelor thesis, University of Paderborn (2013)

[Show BibTeX]
Marie Christin Platenius, Markus von Detten, Steffen Becker, Wilhelm Schaefer, Gregor Engels:
A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing
In Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering. ACM, pp. 143-152 (2013)

[Show Abstract] [Show BibTeX] [DOI]

2012 (19)

Galina Besova, Sven Walther, Heike Wehrheim, Steffen Becker:
Weaving-based configuration and modular transformation of multi-layer systems
In Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS). Springer, LNCS, vol. 7590, pp. 776-792 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Bernd Kleinjohann:
Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition
In Proceedings of the 9th IEEE International Conference on Service Computing (SCC). IEEE Computer Society, pp. 701-702 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Steffen Becker, Christian Heinzemann, Claudia Priesterjahn:
Towards Modeling Reconfiguration in Hierarchical Component Architectures
In Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE). ACM, pp. 23-28 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Bernd Kleinjohann:
Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition
In Proceedings of the 4th International Conferences on Advanced Service Computing (SERVICE COMPUTATION). Curran Associates, Inc., pp. 43-47 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Zille Huma, Christian Gerth, Gregor Engels, Oliver Juwig:
Towards an Automatic Service Discovery for UML-based Rich Service Descriptions
In Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS). Springer, LNCS, vol. 7590, pp. 709-725 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Svetlana Arifulina:
Towards a Framework for the Integration of Modeling Languages
In Ulrich W. Eisenecker and Christian Bucholdt (eds.): Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)). CEUR-WS.org, CEUR Workshop Proceedings, vol. 935, pp. 23-26 (2012)

[Show Abstract] [Show BibTeX]
Stephanie Drzevitzky:
Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security
PhD thesis, University of Paderborn (2012)

[Show Abstract] [Show BibTeX] [DOI]
Daniel Wonisch, Heike Wehrheim:
Predicate Analysis with Block-Abstraction Memoization
In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM). Springer, LNCS, vol. 7635, pp. 332-347 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Becker, Markus Luckey, Steffen Becker:
Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey
In Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA'12). ACM, pp. 117-122 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Nils Timm, Heike Wehrheim, Mike Czech:
Heuristic-Guided Abstraction Refinement for Concurrent Systems
In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM). Springer, LNCS, vol. 7635, pp. 348-363 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Mario Mohr:
Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis
Master's thesis, University of Paderborn (2012)

[Show BibTeX]
Sebastian Lehrig:
Empirischer, quantitativer Vergleich von Modelltransformationssprachen
Master's thesis, University of Paderborn (2012)

[Show BibTeX]
Alexander Jungmann, Bernd Kleinjohann, Lisa Kleinjohann, Maarten Bieshaar:
Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems
In Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE). Curran Associates, Inc., pp. 22-29 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Svetlana Arifulina, Gregor Engels, Christian Soltenborn:
Coverage Criteria for Testing DMM Specifications
In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). European Association of Software Science and Technology, Electronic Communications of the EASST, vol. 47 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs:
Change and Validity Analysis in Deductive Program Verification
Master's thesis, University of Paderborn (2012)

[Show BibTeX]
Daniel Wonisch:
Block Abstraction Memoization for CPAchecker
In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, LNCS, vol. 7214, pp. 531-533 (2012) (won the competition on software verification)

[Show Abstract] [Show BibTeX] [DOI]
Marie Christin Platenius, Markus von Detten, Steffen Becker:
Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies
In Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR). IEEE Computer Society, pp. 255-264 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Markus von Detten:
Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction
In Proceedings of the 19th Working Conference on Reverse Engineering (WCRE). IEEE Computer Society, pp. 503 - 504 (2012)

[Show Abstract] [Show BibTeX] [DOI]
Zille Huma, Christian Gerth, Gregor Engels, Oliver Juwig:
A UML-based Rich Service Description for Automatic Service Discovery
In Proceedings of the Forum at the CAiSE'12 Conference on Advanced Information Systems Engineering. CEUR-WS.org, CEUR Workshop Proceedings, vol. 855, pp. 90-97 (2012)

[Show Abstract] [Show BibTeX] [DOI]

2011 (10)

Markus von Detten:
Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution
In Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE). ACM, pp. 17-20 (2011)

[Show Abstract] [Show BibTeX] [DOI]
Michael Leuschel, Heike Wehrheim:
Selected papers on Integrated Formal Methods (iFM09)
In Science of Computer Programming, vol. 76, no. 10, pp. 835-836. Elsevier (2011)

[Show BibTeX] [DOI]
Galina Besova, Heike Wehrheim, Annika Wagner:
Reputation-based Reliability Prediction of Service Compositions
In Electronic Notes in Theoretical Computer Science, vol. 279, no. 2, pp. 3-16. Elsevier (2011)

[Show Abstract] [Show BibTeX] [DOI]
Marie Christin Platenius:
Reengineering of Design Deficiencies in Component-Based Software Architectures
Master's thesis, University of Paderborn (2011)

[Show BibTeX]
Christian Gerth, Markus Luckey, Jochen Küster, Gregor Engels:
Precise Mappings between Business Process Models in Versioning Scenarios
In Proceedings of the IEEE 8th International Conference on Service Computingt (SCC). IEEE Computer Society, pp. 218-225 (2011)

[Show Abstract] [Show BibTeX] [DOI]
Sebastian Lehrig, Thomas Zolynski:
Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study
In Proceedings of the Palladio Days 2011. FZI Forschungszentrum Informatik Karlsruhe, Karlsruhe Reports in Informatics, vol. 32, pp. 15-22 (2011)

[Show Abstract] [Show BibTeX] [DOI]
Joachim Meyer:
Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud
Master's thesis, University of Paderborn (2011)

[Show BibTeX]
Alexander Schremmer:
Function Specification Inference Using Craig Interpolation
Master's thesis, University of Paderborn (2011)

[Show BibTeX]
Svetlana Arifulina:
Coverage Criteria for Testing DMM Specifications
Master's thesis, University of Paderborn (2011)

[Show BibTeX]
Stephanie Drzevitzky, Marco Platzner:
Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach
In Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). IEEE Computer Society, pp. 58-65 (2011)

[Show Abstract] [Show BibTeX] [DOI]