Brangewitz, S., Jungmann, A., Petrlic, R., &; Platenius, M. C. (2014). 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) (pp. 49–57).
LibreCat: /record/346

Mohr, F., &; Walther, S. (2014). Template-based Generation of Semantic Services. In Proceedings of the 14th International Conference on Software Reuse (ICSR) (pp. 188–203).https://doi.org/10.1007/978-3-319-14130-5_14 
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

Arifulina, S., Becker, M., Platenius, M. C., &; Walther, S. (2014). SeSAME: Modeling and Analyzing High-Quality Service Compositions. In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) (pp. 839–842).https://doi.org/10.1145/2642937.2648621 
LibreCat: /record/364
DOI: 10.1145/2642937.2648621

Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., &; Sorge, C. (2014). Security and Privacy Challenges in On-The-Fly Computing. In Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014) (pp. 131–142).
LibreCat: /record/366

von Detten, M., Platenius, M. C., &; Becker, S. (2014). Reengineering Component-Based Software Systems with Archimetrix. Journal of Software and Systems Modeling, (4), 1239--1268.https://doi.org/10.1007/s10270-013-0341-9 
LibreCat: /record/375
DOI: 10.1007/s10270-013-0341-9

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2014). Programs from Proofs -- Approach and Applications. In Proceedings of the Software Engineering Conference (SE) (pp. 67–68).
LibreCat: /record/383

Huma, Z., Gerth, C., &; Engels, G. (2014). On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development, (3–4), 333–361.https://doi.org/10.1007/s00450-014-0254-z 
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

Jungmann, A., Mohr, F., &; Kleinjohann, B. (2014). Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In Proceedings of the 10th World Congress on Services (SERVICES) (pp. 346–353).https://doi.org/10.1109/SERVICES.2014.68 
LibreCat: /record/447
DOI: 10.1109/SERVICES.2014.68

Becker, M., Platenius, M. C., &; Becker, S. (2014). Cloud Computing Reduces Uncertainties in Quality-of-Service Matching! In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB) (pp. 153–159).https://doi.org/10.1007/978-3-319-14886-1_15 
LibreCat: /record/449
DOI: 10.1007/978-3-319-14886-1_15

Jakobs, M.-C., &; Wehrheim, H. (2014). Certification for Configurable Program Analysis. In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN) (pp. 30–39).https://doi.org/10.1145/2632362.2632372 
LibreCat: /record/450
DOI: 10.1145/2632362.2632372

Jungmann, A., Mohr, F., &; Kleinjohann, B. (2014). Applying Reinforcement Learning for Resolving Ambiguity in Service Composition. In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA) (pp. 105–112).https://doi.org/10.1109/SOCA.2014.48 
LibreCat: /record/457
DOI: 10.1109/SOCA.2014.48

Schwichtenberg, S., Gerth, C., Huma, Z., &; Engels, G. (2014). Normalizing Heterogeneous Service Description Models with Generated QVT Transformations. In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA) (pp. 180–195).https://doi.org/10.1007/978-3-319-09195-2_12 
LibreCat: /record/394
DOI: 10.1007/978-3-319-09195-2_12

Wiersema, T., Drzevitzky, S., &; Platzner, M. (2014). Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In Proceedings of the International Conference on Field-Programmable Technology (FPT) (pp. 167–174).https://doi.org/10.1109/FPT.2014.7082771 
LibreCat: /record/399
DOI: 10.1109/FPT.2014.7082771

Platenius, M. C., Arifulina, S., Petrlic, R., &; Schäfer, W. (2014). Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet (pp. 6–17).https://doi.org/10.1007/978-3-319-14886-1_2 
LibreCat: /record/401
DOI: 10.1007/978-3-319-14886-1_2

Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., &; Schäfer, W. (2014). Market-optimized Service Specification and Matching. In X. Franch, A. Ghose, G. Lewis, &; S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550).https://doi.org/10.1007/978-3-662-45391-9_47 
LibreCat: /record/402
DOI: 10.1007/978-3-662-45391-9_47

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

Jakobs, M.-C., Platzner, M., Wiersema, T., &; Wehrheim, H. (2014). Integrating Software and Hardware Verification. In E. Albert &; E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (iFM) (pp. 307–322).https://doi.org/10.1007/978-3-319-10181-1_19 
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

Platenius, M. C., Becker, S., &; Schäfer, W. (2014). Integrating Service Matchers into a Service Market Architecture. In P. Avgeriou &; U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014) (pp. 210–217).https://doi.org/10.1007/978-3-319-09970-5_19 
LibreCat: /record/409
DOI: 10.1007/978-3-319-09970-5_19

Jungmann, A., Brangewitz, S., Petrlic, R., &; Platenius, M. C. (2014). Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. International Journal On Advances in Intelligent Systems (IntSys), 7(3&;4), 572--594.
LibreCat: /record/410

Besova, G., Steenke, D., &; Wehrheim, H. (2014). Grammar-based model transformations. In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD) (pp. 1601–1610).https://doi.org/10.1016/j.cl.2015.05.003 
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

Jungmann, A., Jatzkowski, J., &; Kleinjohann, B. (2014). Evaluation of Color Spaces for Robust Image Segmentation. In Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP) (pp. 648–655).
LibreCat: /record/425

Mohr, F. (2014). Estimating Functional Reusability of Services. In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC) (pp. 411–418).
LibreCat: /record/428

Wiersema, T., Bockhorn, A., &; Platzner, M. (2014). Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA. In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig) (pp. 1–6).https://doi.org/10.1109/ReConFig.2014.7032514 
LibreCat: /record/433
DOI: 10.1109/ReConFig.2014.7032514

Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J.,https://doi.org/10.1145/2594291.2594299__McDaniel, P. (2014). FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14. ACM Press.https://doi.org/10.1145/2594291.2594299 
LibreCat: /record/5189
DOI: 10.1145/2594291.2594299

Arzt, S., Rasthofer, S., Lovat, E., &; Bodden, E. (2014). DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In International Conference on Availability, Reliability and Security (ARES 2014) (pp. 40–49). IEEE.
LibreCat: /record/5190

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2013). Zero Overhead Runtime Monitoring. In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM) (pp. 244–258).https://doi.org/10.1007/978-3-642-40561-7_17 
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

Becker, M., Becker, S., &; Meyer, J. (2013). SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems. In Proceedings of the Software Engineering Conference (SE) (pp. 71–84).
LibreCat: /record/483

Platenius, M. C., von Detten, M., Gerth, C., Schäfer, W., &; Engels, G. (2013). Service Matching under Consideration of Explicitly Specified Service Variants. In IEEE 20th International Conference on Web Services (ICWS 2013) (pp. 613–614).https://doi.org/10.1109/ICWS.2013.98 
LibreCat: /record/484
DOI: 10.1109/ICWS.2013.98

Mohr, F., &; Kleine Büning, H. (2013). Semi-Automated Software Composition Through Generated Components. In Proceedings of the 15th International Conference on Information Integration and Web-based Applications &; Services (iiWAS) (pp. 676–680).https://doi.org/10.1145/2539150.2539235 
LibreCat: /record/485
DOI: 10.1145/2539150.2539235

Mohr, F., Lettmann, T., &; Kleine Büning, H. (2013). Reducing Nondeterminism in Automated Service Composition. In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA) (pp. 154–161).https://doi.org/10.1109/SOCA.2013.25 
LibreCat: /record/495
DOI: 10.1109/SOCA.2013.25

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2013). Programs from Proofs – A PCC Alternative. In Proceedings of the 25th International Conference on Computer Aided Verification (CAV) (pp. 912–927).https://doi.org/10.1007/978-3-642-39799-8_65 
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

Becker, M., Luckey, M., &; Becker, S. (2013). 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) (pp. 43–52).https://doi.org/10.1145/2465478.2465489 
LibreCat: /record/502
DOI: 10.1145/2465478.2465489

Engels, G. (2013). On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft. In Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013) (pp. 17–18).
LibreCat: /record/506

Jungmann, A., Kleinjohann, B., &; Kleinjohann, E. (2013). Learning Service Recommendations. International Journal of Business Process Integration and Management, (4), 284–297.https://doi.org/10.1504/IJBPIM.2013.059135 
LibreCat: /record/515
DOI: 10.1504/IJBPIM.2013.059135

Jungmann, A., &; Kleinjohann, B. (2013). Learning Recommendation System for Automated Service Composition. In Proceedings of the 10th IEEE International Conference on Services Computing (SCC) (pp. 97–104).https://doi.org/10.1109/SCC.2013.66 
LibreCat: /record/516
DOI: 10.1109/SCC.2013.66

Walther, S., &; Wehrheim, H. (2013). Knowledge-Based Verification of Service Compositions - An SMT approach. In Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 24–32).https://doi.org/10.1109/ICECCS.2013.14 
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14

Christin Platenius, M. (2013). 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) (pp. 715–718).https://doi.org/10.1145/2491411.2492405 
LibreCat: /record/527
DOI: 10.1145/2491411.2492405

Heinzemann, C., &; Becker, S. (2013). Executing Reconfigurations in Hierarchical Component Architectures. In Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE) (pp. 3–12).https://doi.org/10.1145/2465449.2465452 
LibreCat: /record/529
DOI: 10.1145/2465449.2465452

Huma, Z., Gerth, C., Engels, G., &; Juwig, O. (2013). Automated Service Composition for On-the-Fly SOAs. In Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13) (pp. 524--532).https://doi.org/10.1007/978-3-642-45005-1_42 
LibreCat: /record/551
DOI: 10.1007/978-3-642-45005-1_42

Platenius, M., von Detten, M., Becker, S., Schäfer, W., &; Engels, G. (2013). 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 (pp. 143–152).https://doi.org/10.1145/2465449.2465454 
LibreCat: /record/560
DOI: 10.1145/2465449.2465454

Jungmann, A., &; Kleinjohann, B. (2012). 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) (pp. 701–702).https://doi.org/10.1109/SCC.2012.76 
LibreCat: /record/568
DOI: 10.1109/SCC.2012.76

Becker, S., Heinzemann, C., &; Priesterjahn, C. (2012). Towards Modeling Reconfiguration in Hierarchical Component Architectures. In Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE) (pp. 23--28).https://doi.org/10.1145/2304736.2304742 
LibreCat: /record/569
DOI: 10.1145/2304736.2304742

Jungmann, A., &; Kleinjohann, B. (2012). 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) (pp. 43–47).
LibreCat: /record/571

Huma, Z., Gerth, C., Engels, G., &; Juwig, O. (2012). 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) (pp. 709--725).https://doi.org/10.1007/978-3-642-33666-9_45 
LibreCat: /record/572
DOI: 10.1007/978-3-642-33666-9_45

Arifulina, S. (2012). Towards a Framework for the Integration of Modeling Languages. 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)) (pp. 23--26).
LibreCat: /record/573

Wonisch, D., &; Wehrheim, H. (2012). Predicate Analysis with Block-Abstraction Memoization. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 332–347).https://doi.org/10.1007/978-3-642-34281-3_24 
LibreCat: /record/590
DOI: 10.1007/978-3-642-34281-3_24

Becker, M., Luckey, M., &; Becker, S. (2012). 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) (pp. 117–122).https://doi.org/10.1145/2304696.2304716 
LibreCat: /record/596
DOI: 10.1145/2304696.2304716

Timm, N., Wehrheim, H., &; Czech, M. (2012). Heuristic-Guided Abstraction Refinement for Concurrent Systems. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 348–363).https://doi.org/10.1007/978-3-642-34281-3_25 
LibreCat: /record/608
DOI: 10.1007/978-3-642-34281-3_25

Jungmann, A., Kleinjohann, B., Kleinjohann, E., &; Bieshaar, M. (2012). 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) (pp. 22–29).
LibreCat: /record/617

Arifulina, S., Engels, G., &; Soltenborn, C. (2012). Coverage Criteria for Testing DMM Specifications. In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT).https://doi.org/10.14279/tuj.eceasst.47.718 
LibreCat: /record/622
DOI: 10.14279/tuj.eceasst.47.718

Wonisch, D. (2012). Block Abstraction Memoization for CPAchecker. In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (pp. 531–533).https://doi.org/10.1007/978-3-642-28756-5_41 
LibreCat: /record/627
DOI: 10.1007/978-3-642-28756-5_41

Platenius, M. C., von Detten, M., &; Becker, S. (2012). Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR) (pp. 255–264).https://doi.org/10.1109/CSMR.2012.33 
LibreCat: /record/630
DOI: 10.1109/CSMR.2012.33

von Detten, M. (2012). Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction. In Proceedings of the 19th Working Conference on Reverse Engineering (WCRE) (pp. 503–504).https://doi.org/10.1109/WCRE.2012.61 
LibreCat: /record/631
DOI: 10.1109/WCRE.2012.61

Huma, Z., Gerth, C., Engels, G., &; Juwig, O. (2012). 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 (pp. 90--97).
LibreCat: /record/639

Bodden, E., Lam, P., &; Hendren, L. (2012). Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems, 34(2), 1–52.https://doi.org/10.1145/2220365.2220366 
LibreCat: /record/5183
DOI: 10.1145/2220365.2220366

Besova, G., Walther, S., Wehrheim, H., &; Becker, S. (2012). Weaving-based configuration and modular transformation of multi-layer systems. In Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS) (pp. 776–792).https://doi.org/10.1007/978-3-642-33666-9_49 
LibreCat: /record/565
DOI: 10.1007/978-3-642-33666-9_49

von Detten, M. (2011). 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) (pp. 17–20).https://doi.org/10.1145/2024569.2024573 
LibreCat: /record/644
DOI: 10.1145/2024569.2024573

Leuschel, M., &; Wehrheim, H. (2011). Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming, (10), 835--836.https://doi.org/10.1016/j.scico.2011.01.009 
LibreCat: /record/647
DOI: 10.1016/j.scico.2011.01.009

Besova, G., Wehrheim, H., &; Wagner, A. (2011). Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science, (2), 3–16.https://doi.org/10.1016/j.entcs.2011.11.008 
LibreCat: /record/649
DOI: 10.1016/j.entcs.2011.11.008

Gerth, C., Luckey, M., Küster, J., &; Engels, G. (2011). Precise Mappings between Business Process Models in Versioning Scenarios. In Proceedings of the IEEE 8th International Conference on Service Computingt (SCC) (pp. 218--225).https://doi.org/10.1109/SCC.2011.65 
LibreCat: /record/652
DOI: 10.1109/SCC.2011.65

Lehrig, S., &; Zolynski, T. (2011). Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study. In Proceedings of the Palladio Days 2011 (pp. 15–22).https://doi.org/10.5445/IR/1000025188  
LibreCat: /record/653
DOI: 10.5445/IR/1000025188 

Drzevitzky, S., &; Platzner, M. (2011). Achieving Hardware Security for Reconû01gurable Systems on Chip by a Proof-Carrying Code Approach. In Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) (pp. 58–65).https://doi.org/10.1109/ReCoSoC.2011.5981499 
LibreCat: /record/666
DOI: 10.1109/ReCoSoC.2011.5981499