SFB 901 - Project Area B

Project Period: 2011-07-01
Externally Funded
Acronym
SFB 901 - B
Funding Organisation
DFG

250 Publications

2018 | Preprint | LibreCat-ID: 3586
CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation
L. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Third Workshop on Approximate Computing (AxC 2018) (2018).
LibreCat | Files available
 
2014 | Mastersthesis | LibreCat-ID: 396
Modeling and Matching of Reputation of Services in On-The-Fly Computing
D. Bano, Modeling and Matching of Reputation of Services in On-The-Fly Computing, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 411
Improving Service Specifications for the Service Matching on a Service Market
V. Taherinajafabadi, Improving Service Specifications for the Service Matching on a Service Market, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 423
Finding Optimal Self-Adaption Rules by Design-Space Exploration
S. Jojiju, Finding Optimal Self-Adaption Rules by Design-Space Exploration, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 430
Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT
A. Krakau, Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT, Universität Paderborn, 2014.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 2331
Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure
Y. Kim, S. Lee, M. Dollmann, M. Geierhos, International Journal of Advanced Science and Technology 112 (2018) 123–136.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 245
Systematically Deriving Quality Metrics for Cloud Computing Systems
M. Becker, S. Lehrig, S. Becker, in: Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, New York, NY, USA, 2015, pp. 169--174.
LibreCat | Files available | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 310
Design of an Evaluation Strategy for Fuzzy Service Matching
M. Bruns, Design of an Evaluation Strategy for Fuzzy Service Matching, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 315
Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium, 2015.
LibreCat | Files available
 
2017 | Bachelorsthesis | LibreCat-ID: 101
Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation
L. Rehmer, Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation, Universität Paderborn, 2017.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 106
Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz
I. Krammer, Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz, Universität München, 2017.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 1181
How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas
F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
LibreCat | Files available | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 170
PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper)
M.-C. Jakobs, M. Töws, F. Pauck, in: T.E. Ishikawa F, Romanovsky A (Ed.), Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, 2016.
LibreCat | Files available
 
2017 | Dissertation | LibreCat-ID: 707
Knowledge-based Verification of Service Compositions
S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 454
Automated Service Composition: Adaption of the ASTRO Approach
W. Heldt, Automated Service Composition: Adaption of the ASTRO Approach, Universität Paderborn, 2014.
LibreCat
 
2013 | Dissertation | LibreCat-ID: 478
Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems
N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, Universität Paderborn, 2013.
LibreCat | Files available
 
2013 | Dissertation | LibreCat-ID: 497
Quality Assurance with Dynamic Meta Modeling
C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität Paderborn, 2013.
LibreCat | Files available
 
2012 | Journal Article | LibreCat-ID: 5183
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
LibreCat | Files available | DOI | Download (ext.)
 
2013 | Conference Paper | LibreCat-ID: 529
Executing Reconfigurations in Hierarchical Component Architectures
C. Heinzemann, S. Becker, in: Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE), 2013, pp. 3–12.
LibreCat | Files available | DOI
 
2013 | Mastersthesis | LibreCat-ID: 543
Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services
K. Jagannath, Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services, Universität Paderborn, 2013.
LibreCat
 
2012 | Dissertation | LibreCat-ID: 586
Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security
S. Drzevitzky, Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security, Universität Paderborn, 2012.
LibreCat | Files available
 
2018 | Bachelorsthesis | LibreCat-ID: 5936
Learning about learning curves from dataset properties
M. Scheibl, Learning about Learning Curves from Dataset Properties, 2018.
LibreCat
 
2011 | Conference Paper | LibreCat-ID: 644
Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution
M. von Detten, in: Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2011, pp. 17–20.
LibreCat | Files available | DOI
 
2017 | Book Chapter | LibreCat-ID: 93
Guesswork? Resolving Vagueness in User-Generated Software Requirements
M. Geierhos, F.S. Bäumer, in: H. Christiansen, M.D. Jiménez-López, R. Loukanova, L.S. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., Cambridge Scholars Publishing, Newcastle upon Tyne, UK, 2017, pp. 65–108.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 98
From Open API to Semantic Specifications and Code Adapters
S. Schwichtenberg, C. Gerth, G. Engels, in: Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 2017, pp. 484--491.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 5203
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, in: European Conference on Object-Oriented Programming (ECOOP), 2018, pp. 10:1-10:27.
LibreCat | Files available | Download (ext.)
 
2017 | Mastersthesis | LibreCat-ID: 3512
Testing Java Method Contracts
P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.
LibreCat
 
2011 | Journal Article | LibreCat-ID: 649
Reputation-based Reliability Prediction of Service Compositions
G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16.
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 290
Grammar-based model transformations: Definition, execution, and quality properties
G. Besova, D. Steenken, H. Wehrheim, Computer Languages, Systems & Structures (2015) 116–138.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 5190
DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android
S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.
LibreCat | Files available | Download (ext.)
 
2016 | Journal Article | LibreCat-ID: 175
On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs
S. Walther, H. Wehrheim, Science of Computer Programming (2016) 2--23.
LibreCat | Files available | DOI
 
2018 | Preprint | LibreCat-ID: 2711
Do Android Taint Analysis Tools Keep their Promises?
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
LibreCat | Files available
 
2016 | Report | LibreCat-ID: 221
An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)
M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G. Engels, W. Schäfer, An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3), Universität Paderborn, 2016.
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 517
Knowledge-Based Verification of Service Compositions - An SMT approach
S. Walther, H. Wehrheim, in: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 409
Integrating Service Matchers into a Service Market Architecture
M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 346
Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services
S. Brangewitz, A. Jungmann, R. Petrlic, M.C. Platenius, in: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 283
Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in: A. Egyed, I. Schaefer (Eds.), Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 447
Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–353.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 485
Semi-Automated Software Composition Through Generated Components
F. Mohr, H. Kleine Büning, in: Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS), 2013, pp. 676–680.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 269
On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach
T. Wiersema, S. Wu, M. Platzner, in: Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 353
Template-based Generation of Semantic Services
F. Mohr, S. Walther, in: Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 428
Estimating Functional Reusability of Services
F. Mohr, in: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–418.
LibreCat | Files available | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 226
A Formal Approach to Error Localization and Correction in Service Compositions
J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 132
Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware
T. Wiersema, M. Platzner, in: Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 120
Active Coevolutionary Learning of Requirements Specifications from Examples
M.D. Wever, L. van Rooijen, H. Hamann, in: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2017, pp. 1327--1334.
LibreCat | Files available | DOI
 
2016 | Bachelorsthesis | LibreCat-ID: 201
Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung
H. Bröcher, Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Paper | LibreCat-ID: 218
Automatic Composition of Service-based Image Processing Applications
A. Jungmann, B. Kleinjohann, in: Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 2016, pp. 106--113.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 225
A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality
A. Jungmann, B. Kleinjohann, in: Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, pp. 1--8.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2479
(WIP) Towards the Automated Composition of Machine Learning Services
F. Mohr, M.D. Wever, E. Hüllermeier, A. Faez, in: SCC, IEEE, San Francisco, CA, USA, 2018.
LibreCat | Files available | DOI | Download (ext.)
 
2017 | Mastersthesis | LibreCat-ID: 100
Evaluation of Software Reputation Matching Based on App Reviews
A. Sergio Djoum Temdjim, Evaluation of Software Reputation Matching Based on App Reviews, Universität Paderborn, 2017.
LibreCat
 
2018 | Book Chapter | LibreCat-ID: 1104
Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen
M. Geierhos, in: S. Freitag, M. Geierhos, R. Asmani, J.I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 1st ed., Ferdinand Schöningh, Paderborn, Germany, 2018, pp. 111–128.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 1180
Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization
M.D. Wever, F. Mohr, E. Hüllermeier, in: 27th Workshop Computational Intelligence, Dortmund, 2017.
LibreCat | Files available | Download (ext.)
 
2016 | Bachelorsthesis | LibreCat-ID: 136
Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen
D. Vollmers, Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen, Universität Paderborn, 2016.
LibreCat
 
2016 | Dissertation | LibreCat-ID: 150
Solving Heterogeneity for a Successful Service Market
S. Arifulina, Solving Heterogeneity for a Successful Service Market, Universität Paderborn, 2016.
LibreCat | Files available | DOI
 
2016 | Mastersthesis | LibreCat-ID: 162
Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions
G. Zhang, Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 174
Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen, Universität Paderborn, 2016.
LibreCat
 
2016 | Mastersthesis | LibreCat-ID: 181
Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen
S. Stanco, Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen, Universität Paderborn, 2016.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 73
PART_PW: From Partial Analysis Results to a Proof Witness
M.-C. Jakobs, in: A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 3162
Temporal plans for software architecture reconfiguration
S. Ziegert, H. Wehrheim, Computer Science - R & D (2015) 303--320.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 333
Visualisierung von SMT-Solver-Ausgaben
S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 3340
Partial Order Planning - Implementierung und Visualisierung
J. Kuckling, Partial Order Planning - Implementierung und Visualisierung, 2015.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 340
Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 345
Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.
LibreCat | Files available | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 3580
An FPGA Accelerator for Checking Resolution Proofs
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 3852
ML-Plan for Unlimited-Length Machine Learning Pipelines
M.D. Wever, F. Mohr, E. Hüllermeier, in: ICML 2018 AutoML Workshop, 2018.
LibreCat | Files available | Download (ext.)
 
2014 | Journal Article | LibreCat-ID: 410
Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal On Advances in Intelligent Systems (IntSys) 7 (2014) 572--594.
LibreCat | Files available | Download (ext.)
 
2014 | Mastersthesis | LibreCat-ID: 415
Handling Incomplete Service Specifications using Fuzzy Matching
S. Vijapurwala, Handling Incomplete Service Specifications Using Fuzzy Matching, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 422
Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions
M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 427
Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction
B. Bulk, Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction, Universität Paderborn, 2014.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 5694
Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies
N.N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies, 2017.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 617
Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems
A. Jungmann, B. Kleinjohann, E. Kleinjohann, M. Bieshaar, in: Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE), 2012, pp. 22–29.
LibreCat | Files available
 
2012 | Mastersthesis | LibreCat-ID: 624
Change and Validity Analysis in Deductive Program Verification
M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 631
Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction
M. von Detten, in: Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–504.
LibreCat | Files available | DOI
 
2011 | Mastersthesis | LibreCat-ID: 655
Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud
J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud, Universität Paderborn, 2011.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 47
Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze
M. Theda, Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze, Universität Paderborn, 2017.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 472
Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern
M. Engelbrecht, Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern, Universität Paderborn, 2013.
LibreCat
 
2015 | Journal Article | LibreCat-ID: 4792
Fast Fuzzy Pattern Tree Learning for Classification
R. Senge, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 23 (2015) 2024–2033.
LibreCat | Files available | DOI
 
2013 | Mastersthesis | LibreCat-ID: 504
Ontology-based Normalization and Matching of Rich Service Descriptions
S. Schwichtenberg, Ontology-Based Normalization and Matching of Rich Service Descriptions, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 516
Learning Recommendation System for Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 2013, pp. 97–104.
LibreCat | Files available | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 530
Entwurf kooperativer Verhaltensweisen heterogener Roboter
D. Buse, Entwurf Kooperativer Verhaltensweisen Heterogener Roboter, Universität Paderborn, 2013.
LibreCat
 
2013 | Dissertation | LibreCat-ID: 547
Business Process Models - Change Management
C. Gerth, Business Process Models - Change Management, Universität Paderborn, 2013.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 97
From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
LibreCat | Files available | DOI
 
2019 | Conference Paper | LibreCat-ID: 3287
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), Washington, DC, USA, 2019.
LibreCat | Files available | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 5769
Policy Dependent and Independent Information Flow Analyses
M. Töws, H. Wehrheim, in: Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–378.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 5207
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps
L. Li, A. Bartel, T.F. Bissyande, J. Klein, Y. Le Traon, S. Arzt, S. Rasthofer, E. Bodden, D. Octeau, P. McDaniel, in: 2015 International Conference on Software Engineering (ICSE), 2015, pp. 280–291.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 4999
Do Android taint analysis tools keep their promises?
F. Pauck, E. Bodden, H. Wehrheim, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018, ACM Press, 2018.
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 390
On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains
Z. Huma, C. Gerth, G. Engels, Computer Science - Research and Development (2014) 333–361.
LibreCat | Files available | DOI
 
2018 | Dissertation | LibreCat-ID: 3720
FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization
N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Paderborn University, 2018.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 573
Towards a Framework for the Integration of Modeling Languages
S. Arifulina, in: U. W. Eisenecker, C. Bucholdt (Eds.), Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), 2012, pp. 23--26.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 7626
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 408
Integrating Software and Hardware Verification
M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim, in: E. Albert, E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), 2014, pp. 307–322.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 484
Service Matching under Consideration of Explicitly Specified Service Variants
M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in: IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 364
SeSAME: Modeling and Analyzing High-Quality Service Compositions
S. Arifulina, M. Becker, M.C. Platenius, S. Walther, in: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–842.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 186
Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in: U.Z. Jens Knoop (Ed.), Software Engineering 2016, 2016, pp. 17–18.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 383
Programs from Proofs -- Approach and Applications
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat | Files available | Download (ext.)
 
2015 | Conference Paper | LibreCat-ID: 319
Automated Online Service Composition
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 1096
Reducer-Based Construction of Conditional Verifiers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), 2018.
LibreCat | Files available
 
2011 | Mastersthesis | LibreCat-ID: 650
Reengineering of Design Deficiencies in Component-Based Software Architectures
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 3373
An FPGA/HMC-Based Accelerator for Resolution Proof Checking
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 342
Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen, Universität Paderborn, 2014.
LibreCat