Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
367 Publications
2015 | Conference Paper | LibreCat-ID: 231
@inproceedings{Geierhos_Schulze_Bäumer_2015, place={Setúbal, Portugal}, title={What did you mean? Facing the Challenges of User-generated Software Requirements}, DOI={10.5220/0005346002770283}, booktitle={Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015)}, publisher={SciTePress - Science and Technology Publications}, author={Geierhos, Michaela and Schulze, Sabine and Bäumer, Frederik Simon}, editor={Loiseau, Stephane and Filipe, Joaquim and Duval, Béatrice and van den Herik, JaapEditors}, year={2015}, pages={277–283} }
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 4792
@article{Senge_Hüllermeier_2015, title={Fast Fuzzy Pattern Tree Learning for Classification}, volume={23}, DOI={10.1109/tfuzz.2015.2396078}, number={6}, journal={IEEE Transactions on Fuzzy Systems}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Senge, Robin and Hüllermeier, Eyke}, year={2015}, pages={2024–2033} }
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 5207
@inproceedings{Li_Bartel_Bissyande_Klein_Le Traon_Arzt_Rasthofer_Bodden_Octeau_McDaniel_2015, title={IccTA: Detecting Inter-Component Privacy Leaks in Android Apps}, booktitle={2015 International Conference on Software Engineering (ICSE)}, author={Li, Li and Bartel, Alexandre and Bissyande, Tegawende F. and Klein, Jacques and Le Traon, Yves and Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric and Octeau, Damien and McDaniel, Patrick}, year={2015}, pages={280–291} }
LibreCat
| Files available
| Download (ext.)
2015 | Bachelorsthesis | LibreCat-ID: 10714
@book{Meißner_2015, title={Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs}, publisher={Universität Paderborn}, author={Meißner, Roland}, year={2015} }
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 331
@book{Wu_2014, title={Webcam application using virtual FPGA}, publisher={Universität Paderborn}, author={Wu, Sen}, year={2014} }
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 333
@book{Osterbrink_2014, title={Visualisierung von SMT-Solver-Ausgaben}, publisher={Universität Paderborn}, author={Osterbrink, Sebastian}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 336
@inproceedings{Walther_Wehrheim_2014, series={LNCS}, title={Verified Service Compositions by Template-Based Construction}, DOI={10.1007/978-3-319-15317-9_3}, booktitle={Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)}, author={Walther, Sven and Wehrheim, Heike}, editor={Lanese, Ivan and Madelaine, EricEditors}, year={2014}, pages={31–48}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 340
@book{Korth_2014, title={Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs”}, publisher={Universität Paderborn}, author={Korth, Philipp}, year={2014} }
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 342
@book{Klauke_2014, title={Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen}, publisher={Universität Paderborn}, author={Klauke, Christoph}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 344
@inproceedings{Becker_Becker_Besova_Walther_Wehrheim_2014, title={Towards Systematic Configuration for Architecture Validation}, booktitle={Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)}, author={Becker, Matthias and Becker, Steffen and Besova, Galina and Walther, Sven and Wehrheim, Heike}, year={2014} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 345
@inproceedings{Jungmann_Kleinjohann_2014, title={Towards Context-Sensitive Service Composition for Service-Oriented Image Processing}, DOI={10.1109/CloudCom.2014.154}, booktitle={Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2014}, pages={755–758} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 346
@inproceedings{Brangewitz_Jungmann_Petrlic_Platenius_2014, title={Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services}, booktitle={Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Brangewitz, Sonja and Jungmann, Alexander and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={49–57} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 353
@inproceedings{Mohr_Walther_2014, series={LNCS}, title={Template-based Generation of Semantic Services}, DOI={10.1007/978-3-319-14130-5_14}, booktitle={Proceedings of the 14th International Conference on Software Reuse (ICSR)}, author={Mohr, Felix and Walther, Sven}, year={2014}, pages={188–203}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 359
@book{Töws_2014, title={Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB}, publisher={Universität Paderborn}, author={Töws, Manuel}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 364
@inproceedings{Arifulina_Becker_Platenius_Walther_2014, title={SeSAME: Modeling and Analyzing High-Quality Service Compositions}, DOI={10.1145/2642937.2648621}, booktitle={Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)}, author={Arifulina, Svetlana and Becker, Matthias and Platenius, Marie Christin and Walther, Sven}, year={2014}, pages={839–842} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 366
@inproceedings{Petrlic_Jungmann_Platenius_Schäfer_Sorge_2014, title={Security and Privacy Challenges in On-The-Fly Computing}, booktitle={Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)}, author={Petrlic, Ronald and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and Sorge, Christoph}, year={2014}, pages={131–142} }
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 375
@article{von Detten_Platenius_Becker_2014, title={Reengineering Component-Based Software Systems with Archimetrix}, DOI={10.1007/s10270-013-0341-9}, number={4}, journal={Journal of Software and Systems Modeling}, publisher={Springer}, author={von Detten, Markus and Platenius, Marie Christin and Becker, Steffen}, year={2014}, pages={1239--1268} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 383
@inproceedings{Wonisch_Schremmer_Wehrheim_2014, series={Lecture Notes in Informatics (LNI)}, title={Programs from Proofs -- Approach and Applications}, booktitle={Proceedings of the Software Engineering Conference (SE)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2014}, pages={67–68}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
| Files available
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 390
@article{Huma_Gerth_Engels_2014, title={On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains}, DOI={10.1007/s00450-014-0254-z}, number={3–4}, journal={Computer Science - Research and Development}, publisher={Springer}, author={Huma, Zille and Gerth, Christian and Engels, Gregor}, year={2014}, pages={333–361} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 447
@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services}, DOI={10.1109/SERVICES.2014.68}, booktitle={Proceedings of the 10th World Congress on Services (SERVICES)}, author={Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={346–353} }
LibreCat
| Files available
| DOI