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.
5692 Publications
2010 | Conference Paper | LibreCat-ID: 3195
Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Approach to Control in Event-B.” In Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_19.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” In Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, edited by Javier Esparza and Rupak Majumdar, 271--274. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-12002-2_22.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3198
Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Towards {A} Shape Analysis for Graph Transformation Systems.” CoRR, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3810
Wachsmuth, Henning, Peter Prettenhofer, and Benno Stein. “Efficient Statement Identification for Automatic Market Forecasting.” In Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 1128–36, 2010.
LibreCat
| Download (ext.)
2010 | Book Chapter | LibreCat-ID: 2988
Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable Instances.” In SWAT 2010, 212–23. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. https://doi.org/10.1007/978-3-642-13731-0_21.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 2990
Ackermann, Marcel R., Johannes Blömer, and Christian Sohler. “Clustering for Metric and Nonmetric Distance Measures.” ACM Trans. Algorithms, no. 4 (2010): 59:1--59:26. https://doi.org/10.1145/1824777.1824779.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 2991
Krueger, Alexander, Volker Leutnant, Reinhold Haeb-Umbach, Marcel Ackermann, and Johannes Blömer. “On the Initialization of Dynamic Models for Speech Features.” Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2993
Schrieb, Jonas. “Efficient and Compact CCA Security from Partitioned IBKEM.” Proceedings of the 3rd Western European Workshop on Research in Cryptology, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2994
Schäfer, Wilhelm, Ansgar Trächtler, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O’Grady, Marco Platzner, Franz Rammig, and Wolfgang Reif. “Engineering Self-Coordinating Software Intensive Systems.” In Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10. ACM Press, 2010. https://doi.org/10.1145/1882362.1882428.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3139
Jager, Tibor, Florian Kohlar, Sven Schäge, and Jörg Schwenk. “Generic Compilers for Authenticated Key Exchange.” In Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 232--249, 2010. https://doi.org/10.1007/978-3-642-17373-8_14.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications to Pairing-Based Cryptography.” In Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 539--556, 2010. https://doi.org/10.1007/978-3-642-17373-8_31.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
Haralambiev, Kristiyan, Tibor Jager, Eike Kiltz, and Victor Shoup. “Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model.” In Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 1--18, 2010. https://doi.org/10.1007/978-3-642-13013-7_1.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3189
Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” Sci. Comput. Program., no. 3 (2010): 192--210. https://doi.org/10.1016/j.scico.2009.11.004.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” In Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels, Claus Lewerentz, Wilhelm Sch{\"{a}}fer, Andy Sch{\"{u}}rr, and Bernhard Westfechtel, 533--554. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-17322-6_23.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” In Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16901-4_35.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” In Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_14.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 27159
Samara, Sufyan, and Gunnar Schomaker. “Real-Time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip.” In 2010 10th IEEE International Conference on Computer and Information Technology, 2010. https://doi.org/10.1109/cit.2010.304.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20934
Detten, Markus von, Matthias Meyer, and Dietrich Travkin. “Reverse Engineering with the Reclipse Tool Suite.” In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, 2:299–300. New York, NY, USA: ACM Press, 2010.
LibreCat
2010 | Report | LibreCat-ID: 20935
Detten, Markus von, Matthias Meyer, and Dietrich Travkin. Reclipse - A Reverse Engineering Tool Suite, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
Löffler, Renate, Matthias Meyer, and Matthias Gottschalk. “Formal Scenario-Based Requirements Specification and Test Case Generation in Healthcare Applications.” In Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 57–67. New York, NY, USA: ACM, 2010.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, Hella, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, and Wilhelm Schäfer. “Designing Self-Healing in Automotive Systems.” In Lecture Notes in Computer Science. Berlin, Heidelberg, 2010. https://doi.org/10.1007/978-3-642-16576-4_4.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 20962
Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.” OBJEKTspektrum, no. RE/2010 (2010).
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
Meyer, Jan, Jörg Holtmann, Wilhelm Schäfer, and Ulrich A. Nickel. “Eine Erweiterte Systemmodellierung Zur Entwicklung von Softwareintensiven Anwendungen in Der Automobilindustrie.” In Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), Vol. P-160. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 17422
Fischer, Matthias, Hendrik Renken, Christoph Laroque, Guido Schaumann, and Wilhelm Dangelmaier. “Automated 3D-Motion Planning for Ramps and Stairs in Intra-Logistics Material Flow Simulations.” In Proceedings of the 2010 Winter Simulation Conference, 2010. https://doi.org/10.1109/wsc.2010.5678906.
LibreCat
| DOI
2010 | Report | LibreCat-ID: 17462
Gehweiler, Joachim, Friedhelm Meyer auf der Heide, and Ulf-Peter Schroeder. A Large-Scale Distributed Environment for Peer-to-Peer Services. Paderborn: Heinz Nixdorf Institut, 2010.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 17464
Blesa, Maria J., Christian Blum, Angelo de Caro, Bastian Degener, Barbara Kempkes, Piere Leone, Giuseppe Persiano, Friedhelm Meyer auf der Heide, and Georgios Mylonas. Adapting a Sensor Net to the Dynamic Environment in a Wildlife Scenario - a Case Study, 2010.
LibreCat
| Files available
2010 | Preprint | LibreCat-ID: 17586
Brandes, Philipp, Bastian Degener, Barbara Kempkes, and Friedhelm Meyer auf der Heide. “Building Short Chains of Mobile Robots Locally with a Bounded Stepwidth,” 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 17665
Bar-Yehuda, Reuven, Gleb Polevoy, and Dror Rawitz. “Bandwidth Allocation in Cellular Networks with Multiple Interferences.” In DIALM-PODC, 33–42, 2010.
LibreCat
2010 | Book Chapter | LibreCat-ID: 18761
Hamann, Heiko, Thomas Schmickl, Jürgen Stradner, Karl Crailsheim, Paul Levi, and Serge Kernbach. “Hormone-Based Control for Multi-Modular Robotics.” In Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution, 240--263. Springer, 2010.
LibreCat
2010 | Dissertation | LibreCat-ID: 18910
Bienkowski, Marcin. Page Migration in Dynamic Networks. Vol. 282. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 18927
Dynia, Miroslaw. Collective Graph Exploration. Vol. 284. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Journal Article | LibreCat-ID: 19011
Degener, Bastian, Joachim Gehweiler, and Christiane Lammersen. “Kinetic Facility Location.” Algorithmica 57, no. 3 (2010): 562–84. https://doi.org/10.1007/s00453-008-9250-7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19013
Gehweiler, Joachim, and Henning Meyerhenke. “A Distributed Diffusive Heuristic for Clustering a Virtual P2P Supercomputer.” In Proceeedings of 24th International Parallel and Distributed Processing Symposium (IPDPS, HPGC), 2010. https://doi.org/10.1109/ipdpsw.2010.5470922.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19016
Gehweiler, Joachim, and Henning Meyerhenke. “On Dynamic Graph Partitioning and Graph Clustering Using Diffusion.” In Dagstuhl Seminar Proceedings 10261: Algorithm Engineering, 2010.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 19018
Thies, Michael, and Joachim Gehweiler. Thread Migration and Checkpointing in Java, 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 19023
Kernbach, Serge, Thomas Schmickl, Heiko Hamann, Jürgen Stradner, Florian Schlachter, Christopher s. F. Schwarzer, Alan F. T. Winfield, and Rene Matthias. “Adaptive Action Selection Mechanisms for Evolutionary Multimodular Robotics.” In Artificial Life XII (ALife XII), 781–88. MIT Press, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 19029
Briest, Patrick, Parinya Chalermsook, Sanjeev Khanna, Bundit Laekhanukit, and Danupon Nanongkai. “Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing.” In Workshop on Internet and Network Economics (WINE), 2010. https://doi.org/10.1007/978-3-642-17572-5_37.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 1903
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Algorithmische Grundlagen Verteilter Speichersysteme.” Informatik Spektrum, no. 5 (2010): 468--474. https://doi.org/10.1007/s00287-010-0470-2.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19033
Briest, Patrick, Shuchi Chawla, Robert Kleinberg, and S. Matthew Weinberg. “Pricing Randomized Allocations.” In Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010. https://doi.org/10.1137/1.9781611973075.49.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 1904
Gavoille, Cyril, Boaz Patt-Shamir, and Christian Scheideler. “Foreword.” Theory of Computing Systems, no. 4 (2010): 809--810. https://doi.org/10.1007/s00224-010-9284-5.
LibreCat
| DOI
2010 | Dissertation | LibreCat-ID: 19041
Mahlmann, Peter. Peer-to-Peer Networks Based on Random Graphs. Vol. 283. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 19042
Degener, Bastian. Local, Distributed Approximation Algorithms for Geometric Assignment Problems. Vol. 278. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 1905
Gall, Dominik, Riko Jacob, Andrea W. Richa, Christian Scheideler, Stefan Schmid, and Hanjo Täubig. “Time Complexity of Distributed Topological Self-Stabilization: The Case of Graph Linearization.” In LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings, 6034:294--305. Lecture Notes in Computer Science. Springer, 2010. https://doi.org/10.1007/978-3-642-12200-2_27.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1906
Richa, Andrea W., Jin Zhang, Christian Scheideler, and Stefan Schmid. “Brief Announcement: Towards Robust Medium Access in Multi-Hop Networks.” In Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, 114--115. ACM, 2010. https://doi.org/10.1145/1835698.1835726.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1907
Richa, Andrea W., Christian Scheideler, Stefan Schmid, and Jin Zhang. “A Jamming-Resistant MAC Protocol for Multi-Hop Wireless Networks.” In Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, 6343:179--193. Lecture Notes in Computer Science. Springer, 2010. https://doi.org/10.1007/978-3-642-15763-9_17.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1908
Doerr, Benjamin, Leslie Ann Goldberg, Lorenz Minder, Thomas Sauerwald, and Christian Scheideler. “Brief Announcement: Stabilizing Consensus with the Power of Two Choices.” In Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, 6343:528--530. Lecture Notes in Computer Science. Springer, 2010. https://doi.org/10.1007/978-3-642-15763-9_50.
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 1909
Scheideler, Christian, ed. Algorithms for Sensor Systems - 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16988-5.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 1915
Savorić, Michael, Holger Karl, and Adam Wolisz. “Selected Properties of a Joint Congestion Controller for TCP Connections.” In Providing Quality of Service in Heterogeneous Environments, Proceedings of the 18th International Teletraffic Congress - ITC-18, 861–70. Elsevier, 2010. https://doi.org/10.1016/s1388-3437(03)80235-4.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1916
Karl, Holger, and S. MENGESHA. “ANALYSING CAPACITY IMPROVEMENTS IN WIRELESS NETWORKS BY RELAYING.” In Wireless LANs and Home Networks. WORLD SCIENTIFIC, 2010. https://doi.org/10.1142/9789812799562_0031.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1810
Oberthür, Simon, Leszek Zaremba, and Hermann Simon Lichte. “Flexible Resource Management for Self-X Systems: An Evaluation.” In 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. IEEE, 2010. https://doi.org/10.1109/isorcw.2010.30.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1811
Dannewitz, Christian, Jovan Golic, Borje Ohlman, and Bengt Ahlgren. “Secure Naming for a Network of Information.” In 2010 INFOCOM IEEE Conference on Computer Communications Workshops. IEEE, 2010. https://doi.org/10.1109/infcomw.2010.5466661.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 18136
Fischer, Matthias, Claudius Jähn, and Tim Suess. “Asynchronous Parallel Reliefboard Computation for Scene Object Approximation.” In Eurographics Symposium on Parallel Graphics and Visualization (EGPGV), 43–51. The Eurographics Association, 2010. https://doi.org/10.2312/EGPGV/EGPGV10/043-051.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 18289
Suess, Tim, Timo Wiesemann, and Matthias Fischer. “Evaluation of a C-Load-Collision-Protocol for Load-Balancing in Interactive Environments.” In 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage, 448–56, 2010. https://doi.org/10.1109/nas.2010.52.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 18290
Suess, Tim, Timo Wiesemann, and Matthias Fischer. “Gewichtetes C-Collision-Protokoll Zur Balancierung Eines Parallelen Out-of-Core-Renderingsystems.” In Augmented & Virtual Reality in Der Produktentstehung, 39–52. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 1831
Valentin, Stefan, and Holger Karl. “Cooperative Feedback to Improve Capacity and Error Rate in Multiuser Diversity Systems - an OFDM Case Study.” European Transactions on Telecommunications 21, no. 8 (2010): 714–24. https://doi.org/10.1002/ett.1454.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 22940
Gausemeier, Jürgen, Roman Dumitrescu, and Tobias Gaukstern. “Integrative Konzipierung von MID-Produkt und MID-Produktionssystem.” In Frühzeitige Zuverlässigkeitsanalyse mechatronischer Systeme, edited by Jürgen Gausemeier. München: Carl Hanser Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 21771
Domik, Gitta, and Gerhard Fischer. “Coping with Complex Real-World Problems: Strategies for Developing the Competency of Transdisciplinary Collaboration.” In Key Competencies in the Knowledge Society, edited by Nicholas Reynolds and Màrta Turcsànyi-Szabò, 90–101. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. https://doi.org/10.1007/978-3-642-15378-5_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 21772
Arens, Stephan, and Gitta Domik. “A Survey of Transfer Functions Suitable for Volume Rendering.” In IEEE/ EG Symposium on Volume Graphics, edited by Ruediger Westermann and Gordon Kindlmann, 77–83. The Eurographics Association, 2010. https://doi.org/10.2312/VG/VG10/077-083.
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 7770
Engels, Gregor, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, and Bernhard Westfechtel, eds. Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday. Vol. 5765. LNCS. Berlin/Heidelberg: Springer, 2010. http://dx.doi.org/10.1007/978-3-642-17322-6.
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 7771
Engels, Gregor, Markus Luckey, Alexander Pretschner, and Ralf H. Reussner, eds. Software Engineering 2010 - Workshop Proceedings (Inkl. Doktoranden Symposium), Paderborn (Germany). Vol. P-160. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2010.
LibreCat
2010 | Conference (Editor) | LibreCat-ID: 7772
Engels, Gregor, Markus Luckey, and Wilhelm Schäfer, eds. Software Engineering 2010 - Proceedings, Paderborn (Germany). Vol. P-159. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2010.
LibreCat
2010 | Conference (Editor) | LibreCat-ID: 7773
Engels, Gregor, Dimitris Karagiannis, and Heinrich C. Mayr, eds. Modellierung 2010, Klagenfurt (Österreich). Vol. P-161. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2010.
LibreCat
2010 | Conference (Editor) | LibreCat-ID: 7774
Van den Bergh, Jan, Stefan Sauer, Kai Breiner, Heinrich Hußmann, Gerrit Meixner, and Andreas Pleuß, eds. Proceedings of the 5th International Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010): Bridging between User Experience and UI Engineering. Vol. 617. CEUR Workshop Proceedings, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8023
Mlynarski, Michael. “Holistic Model-Based Testing for Business Information Systems.” In Proceedings of 3rd International Conference on Software Testing, Verification and Validation, 327–30. IEEE Computer Society, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8024
Christ, Fabian, Jan-Christopher Bals, Gregor Engels, Christian Gerth, and Markus Luckey. “A Generic Meta-Model-Based Approach for Specifying Framework Functionality and Usage.” In Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS’10), Málaga (Spain), 6141:21–40. LNCS. Berlin/Heidelberg: Springer, 2010. http://dx.doi.org/10.1007/978-3-642-13953-6_2.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8025
Engels, Gregor, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, and Bernhard Westfechtel. “Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl.” In Graph Transformations and Model-Driven Engineering, 5765:1–5. LNCS. Berlin/Heidelberg: Springer, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8026
Engels, Gregor, and Frank Salger. “Knowledge Transfer in Global Software Development - Leveraging Acceptance Test Case Specifications.” In In Proceedings of the ACM/IEEE 32nd International Conference on Software Engineering (ICSE), New Ideas and Emergent Results Program, May 2010, Cape Town (South Africa), 211–14. ACM New York, NY, USA, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8027
Gimnich, Rainer, Uwe Kaiser, Christof Momm, Jochen Quante, Volker Riediger, Stefan Sauer, Mircea Trifu, and Andreas Winter. “Proceedings 12. Workshop Software-Reengineering (WSR) & 2. Workshop Design for Future 2010 (DFF).” edited by Ernst-Erich Doberkat and Uwe Kelter, 30:28–85. Bad Honnef, May 3-5,2010, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8028
Gerth, Christian, Jochen Küster, Markus Luckey, and Gregor Engels. “Precise Detection of Conflicting Change Operations Using Process Model Terms.” In Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10), 6395:93–107. LNCS. Berlin/Heidelberg: Springer, 2010. http://dx.doi.org/10.1007/978-3-642-16129-2_8.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8029
Gerth, Christian, Markus Luckey, Jochen Küster, and Gregor Engels. “Detection of Semantically Equivalent Fragments for Business Process Model Change Management.” In Proceedings of the IEEE 7th International Conference on Services Computing (SCC’10), 57–64. IEEE Computer Society, 2010. http://dx.doi.org/10.1109/SCC.2010.38.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8030
Heinemann, Marianne, Bettina Duwe, and Gregor Engels. “Enriching RUP with Key Success Factors for Large-Scale Custom Software Development Projects.” In Software & Systems Engineering Essentials (SEE) 2010, 37–56. TUM-I1009. Technische Universität München, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8031
Heinemann, Marianne, and Gregor Engels. “Auswahl Projektspezifischer Vorgehensstrategien.” In Integration von Vorgehensmodellen Und Projektmanagement, 132–42. Shaker Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8032
Huck, Wilfried, Alexej Alakbarov, Gitta Domik, Rafael Radkowski, Roswitha Tölke, Ann-Cathrin Mikus, and Silke Geisen. “Computergestützte Traumatherapeutische Behandlungsmöglichkeiten Bei Verkehrsunfallopfern von Kinder Und Jugendlichen.” In 12. Jahrestagung Der Deutschsprachigen Gesellschaft Für Psychotraumatologie (DeGPT). Göttingen, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8033
Küster, Jochen, Christian Gerth, and Gregor Engels. “Dynamic Computation of Change Operations in Version Management of Business Process Models.” In Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA’10), 6138:201–16. LNCS. Berlin/Heidelberg: Springer, 2010. http://dx.doi.org/10.1007/978-3-642-13595-8_17.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8034
Engels, Gregor, and Stefan Sauer. “A Meta-Method for Defining Software Engineering Methods.” In Graph Transformations and Model-Driven Engineering, edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, and Bernhard Westfechtel, 5765:411–40. LNCS. Berlin Heidelberg: Springer, 2010. https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-642-17322-6_18.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8035
Sancar, Yavuz, and Claudia Schumacher. “Erweiterung Des TPI-Modells Zur Reifegradbewertung Unter Berücksichtigung von Projekteigenen Anforderungen.” In Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany), 299–314. Technische Universität München, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8037
Salger, Frank, Gregor Engels, and Alexander Hofmann. “Assessments in Global Software Development: A Tailorable Framework for Industrial Projects.” In Proceedings ACM/IEEE 32nd International Conference on Software Engineering, Software Engineering in Practice Track, Cape Town, South Africa (ICSE’10), 2:29–38. ACM New York, NY, USA, 2010. http://doi.acm.org/10.1145/1810295.1810301.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8038
Chambers, Chris, Martin Erwig, and Markus Luckey. “SheetDiff: A Tool for Identifying Changes in Spreadsheets.” In Proceedings of the 26th IEEE Symposium on Visual Languages and Human-Centric Computing 2010 (VL/HCC 2010), 85–92. Washington, DC, USA: IEEE Computer Society, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8039
Van den Bergh, Jan, Gerrit Meixner, Kai Breiner, Andreas Pleuß, Stefan Sauer, and Heinrich Hussmann. “Model-Driven Development of Advanced User Interfaces.” In Proc. 28th International Conference on Human Factors in Computing Systems (CHI 2010), 4429–32. Extended Abstracts Volume. Atlanta, Georgia, USA,: ACM, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8040
Güldali, Baris, and Stefan Sauer. “Transfer of Testing Research from University to Industry: An Experience Report.” In Online Proc. of International TestIstanbul Conference 2010 (URL: Www.Testistanbul.Org/Presentations.Html). Turkish Testing Board, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8041
Maßen, Thomas von der, and Andreas Wübbeke. “Verteiltes Testen Heterogener Systemlandschaften.” In Proceedings of Software Engineering 2010 (SE2010), P-159:17–18. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 805
Valentin, Stefan, and Holger Karl. “Cooperative Feedback to Improve Capacity and Error Rate in Multiuser Diversity Systems - an OFDM Case Study.” European Transactions on Telecommunications, no. 8 (2010): 714--724. https://doi.org/10.1002/ett.1454.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 806
S. Lichte, Hermann, Stefan Valentin, and Holger Karl. “Expected Interference in Wireless Networks with Geometric Path Loss: A Closed-Form Approximation.” IEEE Communications Letters, no. 2 (2010): 130--132. https://doi.org/10.1109/LCOMM.2010.02.091863.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 807
Simon Lichte, Hermann, Stefan Valentin, and Holger Karl. “Automated Development of Cooperative MAC Protocols - A Compiler-Assisted Approach.” Mobile Networks and Applications, no. 6 (2010): 769--785. https://doi.org/10.1007/s11036-009-0210-5.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 808
Andree, Matthias, Alexander Gebel, and Holger Karl. “Concept and Prototype for a Real-Time Enabled Publish/Subscribe System.” In 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, 737--742, 2010. https://doi.org/10.1109/CIT.2010.142.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 809
Birkenheuer, Georg, Andre Brinkmann, and Holger Karl. “Risk Aware Overbooking for Commercial Grids.” In Job Scheduling Strategies for Parallel Processing - 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers, 51–76, 2010. https://doi.org/10.1007/978-3-642-16505-4_4.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 810
S. Lichte, Hermann, Hannes Frey, and Holger Karl. “Fading-Resistant Low-Latency Broadcasts in Wireless Multihop Networks: The Probabilistic Cooperation Diversity Approach.” In Proceedings of the 11th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2010, Chicago, IL, USA, September 20-24, 2010, 101--110, 2010. https://doi.org/10.1145/1860093.1860108.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 811
Biermann, Thorsten, Christian Dannewitz, and Holger Karl. “FIT: Future Internet Toolbox.” In Testbeds and Research Infrastructures. Development of Networks and Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers, 442--453, 2010. https://doi.org/10.1007/978-3-642-17851-1_34.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 812
Dannewitz, Christian, Thorsten Biermann, Martin Dräxler, Frederic Beister, and Holger Karl. “Prototyping with the Future Internet Toolbox.” In Testbeds and Research Infrastructures. Development of Networks and Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers, 609--611, 2010. https://doi.org/10.1007/978-3-642-17851-1_56.
LibreCat
| DOI
2010 | Report | LibreCat-ID: 8219
Gerth, Christian, Markus Luckey, Jochen Küster, and Gregor Engels. Detection of Semantically Equivalent Fragments for Business Process Model Change Management. IBM Research Report. Zurich: IBM Research, 2010.
LibreCat
2010 | Report | LibreCat-ID: 8220
Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 5756
Brüseke, Frank, Yavuz Sancar, and Enes Yigitbas. “Erfolgsfaktoren von Testprozessbewertungsmodellen.” In Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany), 277–98. Technische Universität München, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 7356
Löffler, Renate, Baris Güldali, and Silke Geisen. “Towards Model-Based Acceptance Testing for Scrum.” Softwaretechnik-Trends 30, no. 3 (2010): 9–12.
LibreCat
2010 | Journal Article | LibreCat-ID: 7357
Güldali, Baris, Stefan Jungmayr, Michael Mlynarski, Stefan Neumann, and Mario Winter. “Starthilfe Für Modellbasiertes Testen.” OBJEKTspektrum, no. 3 (2010): 63–69.
LibreCat
2010 | Journal Article | LibreCat-ID: 7358
Beulen, Dominik, Baris Güldali, and Michael Mlynarski. “Tabellarischer Vergleich Der Prozessmodelle Für Modellbasiertes Testen Aus Managementsicht.” Softwaretechnik-Trends 30, no. 2 (2010): 6–9.
LibreCat
2010 | Journal Article | LibreCat-ID: 7359
Späth, Melanie, and Michael Mlynarski. “Agiles Testen in Großprojekten Mit TDD Und Testaspekten: Beobachtungen Und Erste Erfahrungen.” Softwaretechnik-Trends 30 (2010).
LibreCat
| Download (ext.)
2010 | Journal Article | LibreCat-ID: 7364
Jureczko, Marian, and Michael Mlynarski. “Automated Acceptance Testing Tools for Web Applications Using Test-Driven Development.” Electrical Review 86 (2010): 198–202.
LibreCat
2010 | Book Chapter | LibreCat-ID: 7556
Oster, Sebastian, Andreas Wübbeke, Gregor Engels, and Andy Schürr. “Model-Based Software Product Lines Testing Survey.” In Model-Based Testing For Embedded Systems, edited by P. Mosterman, I. Schieferdecker, J. Zander , 339–81. Computational Analysis, Synthesis, and Design of Dynamic Systems. CRC Press, 2010.
LibreCat
2010 | Dissertation | LibreCat-ID: 7573
Wübbeke, Andreas. Variabilitätsmanagement in Anforderungs- Und Testfallspezifikation Für Software-Produktlinien, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8437
Engels, Gregor, and Christian Soltenborn. “Test-Driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling.” In Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), 30:240–57. Electronic Communications of the EASST. European Association of Software Science and Technology, 2010.
LibreCat