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
S. Schneider, H. Treharne, and H. 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, 2010, pp. 260--274.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3196
K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. 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, 2010, pp. 271--274.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3198
D. Steenken, H. Wehrheim, and D. Wonisch, “Towards {A} Shape Analysis for Graph Transformation Systems,” CoRR, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 3810
H. Wachsmuth, P. Prettenhofer, and B. Stein, “Efficient Statement Identification for Automatic Market Forecasting,” in Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.
LibreCat | Download (ext.)
 

2010 | Book Chapter | LibreCat-ID: 2988
M. R. Ackermann and J. Blömer, “Bregman Clustering for Separable Instances,” in SWAT 2010, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 212–223.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 2990
M. R. Ackermann, J. Blömer, and C. Sohler, “Clustering for Metric and Nonmetric Distance Measures,” ACM Trans. Algorithms, no. 4, pp. 59:1--59:26, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 2991
A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, and J. 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
J. Schrieb, “Efficient and Compact CCA Security from Partitioned IBKEM.” 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2994
W. Schäfer et al., “Engineering self-coordinating software intensive systems,” in Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3139
T. Jager, F. Kohlar, S. Schäge, and J. 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, 2010, pp. 232--249.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3140
T. Jager and A. 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, 2010, pp. 539--556.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3141
K. Haralambiev, T. Jager, E. Kiltz, and V. 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, 2010, pp. 1--18.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3189
J. Derrick and H. Wehrheim, “Model transformations across views,” Sci. Comput. Program., no. 3, pp. 192--210, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3191
W. Schäfer and H. 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, 2010, pp. 533--554.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3193
N. Timm and H. 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, 2010, pp. 534--548.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3194
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. 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, 2010, pp. 183--198.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 27159
S. Samara and G. Schomaker, “Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip,” 2010, doi: 10.1109/cit.2010.304.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 20934
M. von Detten, M. Meyer, and D. 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, 2010, vol. 2, pp. 299–300.
LibreCat
 

2010 | Report | LibreCat-ID: 20935
M. von Detten, M. Meyer, and D. Travkin, Reclipse - A Reverse Engineering Tool Suite. 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 20936
R. Löffler, M. Meyer, and M. 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, 2010, pp. 57–67.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 20961
H. Seebach et al., “Designing Self-healing in Automotive Systems,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 20962
J. Holtmann, “Mit Satzmustern von textuellen Anforderungen zu Modellen,” OBJEKTspektrum, no. RE/2010, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 20963
J. Meyer, J. Holtmann, W. Schäfer, and U. A. Nickel, “Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie,” in Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), 2010, vol. P-160.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 17422
M. Fischer, H. Renken, C. Laroque, G. Schaumann, and W. Dangelmaier, “Automated 3D-motion planning for ramps and stairs in intra-logistics material flow simulations,” in Proceedings of the 2010 Winter Simulation Conference, 2010.
LibreCat | DOI
 

2010 | Report | LibreCat-ID: 17462
J. Gehweiler, F. Meyer auf der Heide, and U.-P. Schroeder, A Large-Scale Distributed Environment for Peer-to-Peer Services. Paderborn: Heinz Nixdorf Institut, 2010.
LibreCat | Files available
 

2010 | Report | LibreCat-ID: 17464
M. J. Blesa et al., Adapting a sensor net to the dynamic environment in a wildlife scenario - a case study. 2010.
LibreCat | Files available
 

2010 | Preprint | LibreCat-ID: 17586
P. Brandes, B. Degener, B. Kempkes, and F. 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
R. Bar-Yehuda, G. Polevoy, and D. Rawitz, “Bandwidth allocation in cellular networks with multiple interferences,” in DIALM-PODC, 2010, pp. 33–42.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 18761
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, P. Levi, and S. Kernbach, “Hormone-based Control for Multi-modular Robotics,” in Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution, Springer, 2010, pp. 240--263.
LibreCat
 

2010 | Dissertation | LibreCat-ID: 18910
M. Bienkowski, Page migration in dynamic networks, vol. 282. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat | Files available
 

2010 | Dissertation | LibreCat-ID: 18927
M. Dynia, Collective graph exploration, vol. 284. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat | Files available
 

2010 | Journal Article | LibreCat-ID: 19011
B. Degener, J. Gehweiler, and C. Lammersen, “Kinetic Facility Location,” Algorithmica, vol. 57, no. 3, pp. 562–584, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19013
J. Gehweiler and H. Meyerhenke, “A distributed diffusive heuristic for clustering a virtual P2P supercomputer,” in Proceeedings of 24th International Parallel and Distributed Processing Symposium (IPDPS, HPGC), 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19016
J. Gehweiler and H. 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
M. Thies and J. Gehweiler, Thread Migration and Checkpointing in Java. 2010.
LibreCat | Files available
 

2010 | Conference Paper | LibreCat-ID: 19023
S. Kernbach et al., “Adaptive Action Selection Mechanisms for Evolutionary Multimodular Robotics,” in Artificial Life XII (ALife XII), 2010, pp. 781–788.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 19029
P. Briest, P. Chalermsook, S. Khanna, B. Laekhanukit, and D. Nanongkai, “Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing,” in Workshop on Internet and Network Economics (WINE), 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 1903
F. Meyer auf der Heide and C. Scheideler, “Algorithmische Grundlagen verteilter Speichersysteme,” Informatik Spektrum, no. 5, pp. 468--474, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19033
P. Briest, S. Chawla, R. Kleinberg, and S. M. Weinberg, “Pricing Randomized Allocations,” in Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 1904
C. Gavoille, B. Patt-Shamir, and C. Scheideler, “Foreword,” Theory of Computing Systems, no. 4, pp. 809--810, 2010.
LibreCat | DOI
 

2010 | Dissertation | LibreCat-ID: 19041
P. Mahlmann, Peer-to-peer networks based on random graphs, vol. 283. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat | Files available
 

2010 | Dissertation | LibreCat-ID: 19042
B. Degener, Local, distributed approximation algorithms for geometric assignment problems, vol. 278. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat | Files available
 

2010 | Conference Paper | LibreCat-ID: 1905
D. Gall, R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, and H. 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, 2010, vol. 6034, pp. 294--305.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1906
A. W. Richa, J. Zhang, C. Scheideler, and S. 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, 2010, pp. 114--115.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1907
A. W. Richa, C. Scheideler, S. Schmid, and J. 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, 2010, vol. 6343, pp. 179--193.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1908
B. Doerr, L. Ann Goldberg, L. Minder, T. Sauerwald, and C. 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, 2010, vol. 6343, pp. 528--530.
LibreCat | DOI
 

2010 | Conference (Editor) | LibreCat-ID: 1909
C. Scheideler, 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. 2010.
LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 1915
M. Savorić, H. Karl, and A. 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, Elsevier, 2010, pp. 861–870.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1916
H. Karl and S. MENGESHA, “ANALYSING CAPACITY IMPROVEMENTS IN WIRELESS NETWORKS BY RELAYING,” in Wireless LANs and Home Networks, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1810
S. Oberthür, L. Zaremba, and H. S. 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, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1811
C. Dannewitz, J. Golic, B. Ohlman, and B. Ahlgren, “Secure Naming for a Network of Information,” in 2010 INFOCOM IEEE Conference on Computer Communications Workshops, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 18136
M. Fischer, C. Jähn, and T. Suess, “Asynchronous Parallel Reliefboard Computation for Scene Object Approximation,” in Eurographics Symposium on Parallel Graphics and Visualization (EGPGV), 2010, pp. 43–51, doi: 10.2312/EGPGV/EGPGV10/043-051.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 18289
T. Suess, T. Wiesemann, and M. 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, 2010, pp. 448–456, doi: 10.1109/nas.2010.52.
LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 18290
T. Suess, T. Wiesemann, and M. Fischer, “Gewichtetes c-Collision-Protokoll zur Balancierung eines parallelen Out-of-Core-Renderingsystems,” in Augmented & Virtual Reality in der Produktentstehung, 2010, pp. 39–52.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 1831
S. Valentin and H. Karl, “Cooperative feedback to improve capacity and error rate in multiuser diversity systems - an OFDM case study,” European Transactions on Telecommunications, vol. 21, no. 8, pp. 714–724, 2010.
LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 22940
J. Gausemeier, R. Dumitrescu, and T. Gaukstern, “Integrative Konzipierung von MID-Produkt und MID-Produktionssystem,” in Frühzeitige Zuverlässigkeitsanalyse mechatronischer Systeme, J. Gausemeier, Ed. München: Carl Hanser Verlag, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 21771
G. Domik and G. Fischer, “Coping with Complex Real-World Problems: Strategies for Developing the Competency of Transdisciplinary Collaboration,” in Key Competencies in the Knowledge Society, 2010, pp. 90–101.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 21772
S. Arens and G. Domik, “A Survey of Transfer Functions Suitable for Volume Rendering,” in IEEE/ EG Symposium on Volume Graphics, 2010, pp. 77–83.
LibreCat | DOI
 

2010 | Conference (Editor) | LibreCat-ID: 7770
G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, and B. Westfechtel, Eds., Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, vol. 5765. Berlin/Heidelberg: Springer, 2010.
LibreCat | DOI
 

2010 | Conference (Editor) | LibreCat-ID: 7771
G. Engels, M. Luckey, A. Pretschner, and R. H. Reussner, Eds., Software Engineering 2010 - Workshop Proceedings (inkl. Doktoranden Symposium), Paderborn (Germany), vol. P-160. Bonn: Gesellschaft für Informatik (GI), 2010.
LibreCat
 

2010 | Conference (Editor) | LibreCat-ID: 7772
G. Engels, M. Luckey, and W. Schäfer, Eds., Software Engineering 2010 - Proceedings, Paderborn (Germany), vol. P-159. Bonn: Gesellschaft für Informatik (GI), 2010.
LibreCat
 

2010 | Conference (Editor) | LibreCat-ID: 7773
G. Engels, D. Karagiannis, and H. C. Mayr, Eds., Modellierung 2010, Klagenfurt (Österreich), vol. P-161. Bonn: Gesellschaft für Informatik (GI), 2010.
LibreCat
 

2010 | Conference (Editor) | LibreCat-ID: 7774
J. Van den Bergh, S. Sauer, K. Breiner, H. Hußmann, G. Meixner, and A. 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. 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8023
M. Mlynarski, “Holistic Model-Based Testing for Business Information Systems,” in Proceedings of 3rd International Conference on Software Testing, Verification and Validation, 2010, pp. 327–330.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8024
F. Christ, J.-C. Bals, G. Engels, C. Gerth, and M. 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), 2010, vol. 6141, pp. 21–40.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 8025
G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, and B. Westfechtel, “Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl,” in Graph Transformations and Model-Driven Engineering, 2010, vol. 5765, pp. 1–5.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8026
G. Engels and F. 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), 2010, pp. 211–214.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8027
R. Gimnich et al., “Proceedings 12. Workshop Software-Reengineering (WSR) & 2. Workshop Design for Future 2010 (DFF),” 2010, vol. 30, no. 2, pp. 28–85.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8028
C. Gerth, J. Küster, M. Luckey, and G. 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), 2010, vol. 6395, no. Part II, pp. 93–107.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 8029
C. Gerth, M. Luckey, J. Küster, and G. 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), 2010, pp. 57–64.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 8030
M. Heinemann, B. Duwe, and G. Engels, “Enriching RUP with key success factors for large-scale custom software development projects,” in Software & Systems Engineering Essentials (SEE) 2010, 2010, pp. 37–56.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8031
M. Heinemann and G. Engels, “Auswahl projektspezifischer Vorgehensstrategien,” in Integration von Vorgehensmodellen und Projektmanagement, 2010, pp. 132–142.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8032
W. Huck et al., “Computergestützte traumatherapeutische Behandlungsmöglichkeiten bei Verkehrsunfallopfern von Kinder und Jugendlichen,” in 12. Jahrestagung der Deutschsprachigen Gesellschaft für Psychotraumatologie (DeGPT), 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8033
J. Küster, C. Gerth, and G. 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), 2010, vol. 6138, pp. 201–216.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 8034
G. Engels and S. Sauer, “A Meta-Method for Defining Software Engineering Methods,” in Graph Transformations and Model-Driven Engineering, 2010, vol. 5765, pp. 411–440.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 8035
Y. Sancar and C. 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), 2010, pp. 299–314.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8037
F. Salger, G. Engels, and A. 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), 2010, vol. 2, pp. 29–38.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 8038
C. Chambers, M. Erwig, and M. 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), 2010, pp. 85–92.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8039
J. Van den Bergh, G. Meixner, K. Breiner, A. Pleuß, S. Sauer, and H. Hussmann, “Model-driven Development of Advanced User Interfaces,” in Proc. 28th International Conference on Human Factors in Computing Systems (CHI 2010), 2010, pp. 4429–4432.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8040
B. Güldali and S. 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), 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8041
T. von der Maßen and A. Wübbeke, “Verteiltes Testen heterogener Systemlandschaften,” in Proceedings of Software Engineering 2010 (SE2010), 2010, vol. P-159, pp. 17–18.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 805
S. Valentin and H. Karl, “Cooperative feedback to improve capacity and error rate in multiuser diversity systems - an OFDM case study,” European Transactions on Telecommunications, no. 8, pp. 714--724, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 806
H. S. Lichte, S. Valentin, and H. Karl, “Expected interference in wireless networks with geometric path loss: a closed-form approximation,” IEEE Communications Letters, no. 2, pp. 130--132, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 807
H. Simon Lichte, S. Valentin, and H. Karl, “Automated Development of Cooperative MAC Protocols - A Compiler-Assisted Approach,” Mobile Networks and Applications, no. 6, pp. 769--785, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 808
M. Andree, A. Gebel, and H. 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, 2010, pp. 737--742.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 809
G. Birkenheuer, A. Brinkmann, and H. 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, 2010, pp. 51–76.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 810
H. S. Lichte, H. Frey, and H. 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, 2010, pp. 101--110.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 811
T. Biermann, C. Dannewitz, and H. 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, 2010, pp. 442--453.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 812
C. Dannewitz, T. Biermann, M. Dräxler, F. Beister, and H. 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, 2010, pp. 609--611.
LibreCat | DOI
 

2010 | Report | LibreCat-ID: 8219
C. Gerth, M. Luckey, J. Küster, and G. Engels, Detection of Semantically Equivalent Fragments for Business Process Model Change Management. Zurich: IBM Research, 2010.
LibreCat
 

2010 | Report | LibreCat-ID: 8220
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. 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
F. Brüseke, Y. Sancar, and E. Yigitbas, “Erfolgsfaktoren von Testprozessbewertungsmodellen,” in Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany), 2010, pp. 277–298.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 7356
R. Löffler, B. Güldali, and S. Geisen, “Towards Model-based Acceptance Testing for Scrum,” Softwaretechnik-Trends, vol. 30, no. 3, pp. 9–12, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 7357
B. Güldali, S. Jungmayr, M. Mlynarski, S. Neumann, and M. Winter, “Starthilfe für modellbasiertes Testen,” OBJEKTspektrum, no. 3, pp. 63–69, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 7358
D. Beulen, B. Güldali, and M. Mlynarski, “Tabellarischer Vergleich der Prozessmodelle für modellbasiertes Testen aus Managementsicht,” Softwaretechnik-Trends, vol. 30, no. 2, pp. 6–9, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 7359
M. Späth and M. Mlynarski, “Agiles Testen in Großprojekten mit TDD und Testaspekten: Beobachtungen und erste Erfahrungen,” Softwaretechnik-Trends, vol. 30, 2010.
LibreCat | Download (ext.)
 

2010 | Journal Article | LibreCat-ID: 7364
M. Jureczko and M. Mlynarski, “Automated acceptance testing tools for web applications using Test-Driven Development,” Electrical Review, vol. 86, pp. 198–202, 2010.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 7556
S. Oster, A. Wübbeke, G. Engels, and A. Schürr, “Model-Based Software Product Lines Testing Survey,” in Model-Based Testing For Embedded Systems, P. Mosterman, I. Schieferdecker, J. Zander , Ed. CRC Press, 2010, pp. 339–381.
LibreCat
 

2010 | Dissertation | LibreCat-ID: 7573
A. Wübbeke, Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien. 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 8437
G. Engels and C. 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), 2010, vol. 30, pp. 240–257.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed