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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Evaluation of Color Spaces for Robust Image Segmentation.” In Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), 648–55, 2014.
LibreCat: /record/425

Mohr, Felix. “Estimating Functional Reusability of Services.” In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 411–18. LNCS, 2014.
LibreCat: /record/428

Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS Meets ZUMA.”https://doi.org/10.1109/ReConFig.2014.7032514__In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 1–6, 2014.https://doi.org/10.1109/ReConFig.2014.7032514 .
LibreCat: /record/433
DOI: 10.1109/ReConFig.2014.7032514

Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “FlowDroid: Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis for Android Apps.”https://doi.org/10.1145/2594291.2594299__In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14. ACM Press, 2014.https://doi.org/10.1145/2594291.2594299 .
LibreCat: /record/5189
DOI: 10.1145/2594291.2594299

Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In International Conference on Availability, Reliability and Security (ARES 2014), 40–49. IEEE, 2014.
LibreCat: /record/5190

Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Zero Overhead Runtime Monitoring.”https://doi.org/10.1007/978-3-642-40561-7_17__In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 244–58. LNCS, 2013.https://doi.org/10.1007/978-3-642-40561-7_17 .
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

Becker, Matthias, Steffen Becker, and Joachim Meyer. “SimuLizar: Design-Time Modeling and Performance Analysis of Self-Adaptive Systems.” In Proceedings of the Software Engineering Conference (SE), 71–84. Lecture Notes in Informatics (LNI), 2013.
LibreCat: /record/483

Platenius, Marie Christin, Markus von Detten, Christian Gerth, Wilhelm Schäfer, and Gregor Engels. “Service Matching under Consideration of Explicitly Specified Service Variants.”https://doi.org/10.1109/ICWS.2013.98__In IEEE 20th International Conference on Web Services (ICWS 2013), 613–14, 2013.https://doi.org/10.1109/ICWS.2013.98 .
LibreCat: /record/484
DOI: 10.1109/ICWS.2013.98

Mohr, Felix, and Hans Kleine Büning. “Semi-Automated Software Composition Through Generated Components.”https://doi.org/10.1145/2539150.2539235__In Proceedings of the 15th International Conference on Information Integration and Web-Based Applications &; Services (IiWAS), 676–80, 2013.https://doi.org/10.1145/2539150.2539235 .
LibreCat: /record/485
DOI: 10.1145/2539150.2539235

Mohr, Felix, Theodor Lettmann, and Hans Kleine Büning. “Reducing Nondeterminism in Automated Service Composition.”https://doi.org/10.1109/SOCA.2013.25__In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 154–61, 2013.https://doi.org/10.1109/SOCA.2013.25 .
LibreCat: /record/495
DOI: 10.1109/SOCA.2013.25

Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs – A PCC Alternative.”https://doi.org/10.1007/978-3-642-39799-8_65__In Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 912–27. LNCS, 2013.https://doi.org/10.1007/978-3-642-39799-8_65 .
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

Becker, Matthias, Markus Luckey, and Steffen Becker. “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time.”https://doi.org/10.1145/2465478.2465489__In Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13), 43–52, 2013.https://doi.org/10.1145/2465478.2465489 .
LibreCat: /record/502
DOI: 10.1145/2465478.2465489

Engels, Gregor. “On-The-Fly Computing -- Das Entwicklungs- Und Betriebsparadigma FürSoftwaresysteme Der Zukunft.” In Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 17–18. LNI, 2013.
LibreCat: /record/506

Jungmann, Alexander, Bernd Kleinjohann, and Elisabeth Kleinjohann. “Learning Service Recommendations.”https://doi.org/10.1504/IJBPIM.2013.059135__International Journal of Business Process Integration and Management, no. 4 (2013): 284–97.https://doi.org/10.1504/IJBPIM.2013.059135 .
LibreCat: /record/515
DOI: 10.1504/IJBPIM.2013.059135

Jungmann, Alexander, and Bernd Kleinjohann. “Learning Recommendation System for Automated Service Composition.”https://doi.org/10.1109/SCC.2013.66__In Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 97–104, 2013.https://doi.org/10.1109/SCC.2013.66 .
LibreCat: /record/516
DOI: 10.1109/SCC.2013.66

Walther, Sven, and Heike Wehrheim. “Knowledge-Based Verification of Service Compositions - An SMT Approach.”https://doi.org/10.1109/ICECCS.2013.14__In Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 24–32, 2013.https://doi.org/10.1109/ICECCS.2013.14 .
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14

Christin Platenius, Marie. “Fuzzy Service Matching in On-The-Fly Computing.”https://doi.org/10.1145/2491411.2492405__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), 715–18, 2013.https://doi.org/10.1145/2491411.2492405 .
LibreCat: /record/527
DOI: 10.1145/2491411.2492405

Heinzemann, Christian, and Steffen Becker. “Executing Reconfigurations in Hierarchical Component Architectures.”https://doi.org/10.1145/2465449.2465452__In Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE), 3–12, 2013.https://doi.org/10.1145/2465449.2465452 .
LibreCat: /record/529
DOI: 10.1145/2465449.2465452

Huma, Zille, Christian Gerth, Gregor Engels, and Oliver Juwig. “Automated Service Composition for On-the-Fly SOAs.”https://doi.org/10.1007/978-3-642-45005-1_42__In Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 524--532. LNCS, 2013.https://doi.org/10.1007/978-3-642-45005-1_42 .
LibreCat: /record/551
DOI: 10.1007/978-3-642-45005-1_42

Platenius, Marie, Markus von Detten, Steffen Becker, Wilhelm Schäfer, and Gregor Engels. “A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing.”https://doi.org/10.1145/2465449.2465454__In Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 143–52, 2013.https://doi.org/10.1145/2465449.2465454 .
LibreCat: /record/560
DOI: 10.1145/2465449.2465454

Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition.”https://doi.org/10.1109/SCC.2012.76__In Proceedings of the 9th IEEE International Conference on Service Computing (SCC), 701–2, 2012.https://doi.org/10.1109/SCC.2012.76 .
LibreCat: /record/568
DOI: 10.1109/SCC.2012.76

Becker, Steffen, Christian Heinzemann, and Claudiahttps://doi.org/10.1145/2304736.2304742__Priesterjahn. “Towards Modeling Reconfiguration in Hierarchical Component Architectures.”https://doi.org/10.1145/2304736.2304742__In Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 23--28, 2012.https://doi.org/10.1145/2304736.2304742 .
LibreCat: /record/569
DOI: 10.1145/2304736.2304742

Jungmann, Alexander, and 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), 43–47, 2012.
LibreCat: /record/571

Huma, Zille, Christian Gerth, Gregor Engels, and Oliver Juwig. “Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions.”https://doi.org/10.1007/978-3-642-33666-9_45__In Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 709--725. LNCS, 2012.https://doi.org/10.1007/978-3-642-33666-9_45 .
LibreCat: /record/572
DOI: 10.1007/978-3-642-33666-9_45

Arifulina, Svetlana. “Towards a Framework for the Integration of Modeling Languages.” In Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), edited by Ulrich W. Eisenecker and Christian Bucholdt, 23--26. CEUR Workshop Proceedings, 2012.
LibreCat: /record/573

Wonisch, Daniel, and Heike Wehrheim. “Predicate Analysis with Block-Abstraction Memoization.”https://doi.org/10.1007/978-3-642-34281-3_24__In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 332–47. LNCS, 2012.https://doi.org/10.1007/978-3-642-34281-3_24 .
LibreCat: /record/590
DOI: 10.1007/978-3-642-34281-3_24

Becker, Matthias, Markus Luckey, and Steffen Becker. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.”https://doi.org/10.1145/2304696.2304716__In Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12), 117–22, 2012.https://doi.org/10.1145/2304696.2304716 .
LibreCat: /record/596
DOI: 10.1145/2304696.2304716

Timm, Nils, Heike Wehrheim, and Mike Czech. “Heuristic-Guided Abstraction Refinement for Concurrent Systems.”https://doi.org/10.1007/978-3-642-34281-3_25__In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 348–63. LNCS, 2012.https://doi.org/10.1007/978-3-642-34281-3_25 .
LibreCat: /record/608
DOI: 10.1007/978-3-642-34281-3_25

Jungmann, Alexander, Bernd Kleinjohann, Elisabeth Kleinjohann, and 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), 22–29, 2012.
LibreCat: /record/617

Arifulina, Svetlana, Gregor Engels, and Christian Soltenborn. “Coverage Criteria for Testing DMM Specifications.”https://doi.org/10.14279/tuj.eceasst.47.718__In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Electronic Communications of the EASST, 2012.https://doi.org/10.14279/tuj.eceasst.47.718 .
LibreCat: /record/622
DOI: 10.14279/tuj.eceasst.47.718

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

Platenius, Marie Christin, Markus von Detten, and Steffen Becker. “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies.”https://doi.org/10.1109/CSMR.2012.33__In Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 255–64, 2012.https://doi.org/10.1109/CSMR.2012.33 .
LibreCat: /record/630
DOI: 10.1109/CSMR.2012.33

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

Huma, Zille, Christian Gerth, Gregor Engels, and 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, 90--97. CEUR Workshop Proceedings, 2012.
LibreCat: /record/639

Bodden, Eric, Patrick Lam, and Laurie Hendren. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.”https://doi.org/10.1145/2220365.2220366__ACM Transactions on Programming Languages and Systems 34, no. 2 (2012): 1–52.https://doi.org/10.1145/2220365.2220366 .
LibreCat: /record/5183
DOI: 10.1145/2220365.2220366

Besova, Galina, Sven Walther, Heike Wehrheim, and Steffen Becker. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.”https://doi.org/10.1007/978-3-642-33666-9_49__In Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS), 776–92. LNCS, 2012.https://doi.org/10.1007/978-3-642-33666-9_49 .
LibreCat: /record/565
DOI: 10.1007/978-3-642-33666-9_49

Detten, Markus von. “Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution.”https://doi.org/10.1145/2024569.2024573__In Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 17–20, 2011.https://doi.org/10.1145/2024569.2024573 .
LibreCat: /record/644
DOI: 10.1145/2024569.2024573

Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).”https://doi.org/10.1016/j.scico.2011.01.009__Science of Computer Programming, no. 10 (2011): 835--836.https://doi.org/10.1016/j.scico.2011.01.009 .
LibreCat: /record/647
DOI: 10.1016/j.scico.2011.01.009

Besova, Galina, Heike Wehrheim, and Annika Wagner. “Reputation-Based Reliability Prediction of Service Compositions.”https://doi.org/10.1016/j.entcs.2011.11.008__Electronic Notes in Theoretical Computer Science, no. 2 (2011): 3–16.https://doi.org/10.1016/j.entcs.2011.11.008 .
LibreCat: /record/649
DOI: 10.1016/j.entcs.2011.11.008

Gerth, Christian, Markus Luckey, Jochen Küster, and Gregor Engels. “Precise Mappings between Business Process Models in Versioning Scenarios.”https://doi.org/10.1109/SCC.2011.65__In Proceedings of the IEEE 8th International Conference on Service Computingt (SCC), 218--225, 2011.https://doi.org/10.1109/SCC.2011.65 .
LibreCat: /record/652
DOI: 10.1109/SCC.2011.65

Lehrig, Sebastian, and Thomas Zolynski. “Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study.”https://doi.org/10.5445/IR/1000025188 __In Proceedings of the Palladio Days 2011, 15–22. Karlsruhe Reports in Informatics, 2011.https://doi.org/10.5445/IR/1000025188  .
LibreCat: /record/653
DOI: 10.5445/IR/1000025188 

Drzevitzky, Stephanie, and Marco Platzner. “Achieving Hardware Security for Reconû01gurable Systems on Chip by a Proof-Carrying Code Approach.”https://doi.org/10.1109/ReCoSoC.2011.5981499__In Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 58–65, 2011.https://doi.org/10.1109/ReCoSoC.2011.5981499 .
LibreCat: /record/666
DOI: 10.1109/ReCoSoC.2011.5981499