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.
5674 Publications
2010 | Report | LibreCat-ID: 20935
Reclipse - A Reverse Engineering Tool Suite
M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool Suite, 2010.
LibreCat
M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool Suite, 2010.
2010 | Conference Paper | LibreCat-ID: 20936
Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications
R. Löffler, M. Meyer, M. Gottschalk, in: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, New York, NY, USA, 2010, pp. 57–67.
LibreCat
R. Löffler, M. Meyer, M. Gottschalk, in: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, New York, NY, USA, 2010, pp. 57–67.
2010 | Book Chapter | LibreCat-ID: 20961
Designing Self-healing in Automotive Systems
H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
LibreCat
| DOI
H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
2010 | Journal Article | LibreCat-ID: 20962
Mit Satzmustern von textuellen Anforderungen zu Modellen
J. Holtmann, OBJEKTspektrum (2010).
LibreCat
J. Holtmann, OBJEKTspektrum (2010).
2010 | Conference Paper | LibreCat-ID: 20963
Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie
J. Meyer, J. Holtmann, W. Schäfer, U.A. Nickel, in: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2010.
LibreCat
J. Meyer, J. Holtmann, W. Schäfer, U.A. Nickel, in: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2010.
2010 | Conference Paper | LibreCat-ID: 17422
Automated 3D-motion planning for ramps and stairs in intra-logistics material flow simulations
M. Fischer, H. Renken, C. Laroque, G. Schaumann, W. Dangelmaier, in: Proceedings of the 2010 Winter Simulation Conference, 2010.
LibreCat
| DOI
M. Fischer, H. Renken, C. Laroque, G. Schaumann, W. Dangelmaier, in: Proceedings of the 2010 Winter Simulation Conference, 2010.
2010 | Report | LibreCat-ID: 17462
A Large-Scale Distributed Environment for Peer-to-Peer Services
J. Gehweiler, F. Meyer auf der Heide, U.-P. Schroeder, A Large-Scale Distributed Environment for Peer-to-Peer Services, Heinz Nixdorf Institut, Paderborn, 2010.
LibreCat
| Files available
J. Gehweiler, F. Meyer auf der Heide, U.-P. Schroeder, A Large-Scale Distributed Environment for Peer-to-Peer Services, Heinz Nixdorf Institut, Paderborn, 2010.
2010 | Report | LibreCat-ID: 17464
Adapting a sensor net to the dynamic environment in a wildlife scenario - a case study
M.J. Blesa, C. Blum, A. de Caro, B. Degener, B. Kempkes, P. Leone, G. Persiano, F. Meyer auf der Heide, G. Mylonas, Adapting a Sensor Net to the Dynamic Environment in a Wildlife Scenario - a Case Study, 2010.
LibreCat
| Files available
M.J. Blesa, C. Blum, A. de Caro, B. Degener, B. Kempkes, P. Leone, G. Persiano, F. Meyer auf der Heide, G. Mylonas, Adapting a Sensor Net to the Dynamic Environment in a Wildlife Scenario - a Case Study, 2010.
2010 | Preprint | LibreCat-ID: 17586
Building short chains of mobile robots locally with a bounded stepwidth
P. Brandes, B. Degener, B. Kempkes, F. Meyer auf der Heide, (2010).
LibreCat
| Files available
P. Brandes, B. Degener, B. Kempkes, F. Meyer auf der Heide, (2010).
2010 | Conference Paper | LibreCat-ID: 17665
Bandwidth allocation in cellular networks with multiple interferences
R. Bar-Yehuda, G. Polevoy, D. Rawitz, in: DIALM-PODC, 2010, pp. 33–42.
LibreCat
R. Bar-Yehuda, G. Polevoy, D. Rawitz, in: DIALM-PODC, 2010, pp. 33–42.
2010 | Book Chapter | LibreCat-ID: 18761
Hormone-based Control for Multi-modular Robotics
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, P. Levi, S. Kernbach, in: Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution, Springer, 2010, pp. 240--263.
LibreCat
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, P. Levi, S. Kernbach, in: Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution, Springer, 2010, pp. 240--263.
2010 | Dissertation | LibreCat-ID: 18910
Page migration in dynamic networks
M. Bienkowski, Page Migration in Dynamic Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
M. Bienkowski, Page Migration in Dynamic Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
2010 | Dissertation | LibreCat-ID: 18927
Collective graph exploration
M. Dynia, Collective Graph Exploration, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
M. Dynia, Collective Graph Exploration, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
2010 | Journal Article | LibreCat-ID: 19011
Kinetic Facility Location
B. Degener, J. Gehweiler, C. Lammersen, Algorithmica 57 (2010) 562–584.
LibreCat
| DOI
B. Degener, J. Gehweiler, C. Lammersen, Algorithmica 57 (2010) 562–584.
2010 | Conference Paper | LibreCat-ID: 19013
A distributed diffusive heuristic for clustering a virtual P2P supercomputer
J. Gehweiler, H. Meyerhenke, in: Proceeedings of 24th International Parallel and Distributed Processing Symposium (IPDPS, HPGC), 2010.
LibreCat
| DOI
J. Gehweiler, H. Meyerhenke, in: Proceeedings of 24th International Parallel and Distributed Processing Symposium (IPDPS, HPGC), 2010.
2010 | Conference Paper | LibreCat-ID: 19016
On Dynamic Graph Partitioning and Graph Clustering using Diffusion
J. Gehweiler, H. Meyerhenke, in: Dagstuhl Seminar Proceedings 10261: Algorithm Engineering, 2010.
LibreCat
| Files available
J. Gehweiler, H. Meyerhenke, in: Dagstuhl Seminar Proceedings 10261: Algorithm Engineering, 2010.
2010 | Report | LibreCat-ID: 19018
Thread Migration and Checkpointing in Java
M. Thies, J. Gehweiler, Thread Migration and Checkpointing in Java, 2010.
LibreCat
| Files available
M. Thies, J. Gehweiler, Thread Migration and Checkpointing in Java, 2010.
2010 | Conference Paper | LibreCat-ID: 19023
Adaptive Action Selection Mechanisms for Evolutionary Multimodular Robotics
S. Kernbach, T. Schmickl, H. Hamann, J. Stradner, F. Schlachter, C. s. F. Schwarzer, A.F.T. Winfield, R. Matthias, in: Artificial Life XII (ALife XII), MIT Press, 2010, pp. 781–788.
LibreCat
S. Kernbach, T. Schmickl, H. Hamann, J. Stradner, F. Schlachter, C. s. F. Schwarzer, A.F.T. Winfield, R. Matthias, in: Artificial Life XII (ALife XII), MIT Press, 2010, pp. 781–788.
2010 | Conference Paper | LibreCat-ID: 19029
Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing
P. Briest, P. Chalermsook, S. Khanna, B. Laekhanukit, D. Nanongkai, in: Workshop on Internet and Network Economics (WINE), 2010.
LibreCat
| DOI
P. Briest, P. Chalermsook, S. Khanna, B. Laekhanukit, D. Nanongkai, in: Workshop on Internet and Network Economics (WINE), 2010.
2010 | Journal Article | LibreCat-ID: 1903
Algorithmische Grundlagen verteilter Speichersysteme
F. Meyer auf der Heide, C. Scheideler, Informatik Spektrum (2010) 468--474.
LibreCat
| DOI
F. Meyer auf der Heide, C. Scheideler, Informatik Spektrum (2010) 468--474.
2010 | Conference Paper | LibreCat-ID: 19033
Pricing Randomized Allocations
P. Briest, S. Chawla, R. Kleinberg, S.M. Weinberg, in: Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010.
LibreCat
| DOI
P. Briest, S. Chawla, R. Kleinberg, S.M. Weinberg, in: Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010.
2010 | Dissertation | LibreCat-ID: 19041
Peer-to-peer networks based on random graphs
P. Mahlmann, Peer-to-Peer Networks Based on Random Graphs, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
P. Mahlmann, Peer-to-Peer Networks Based on Random Graphs, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
2010 | Dissertation | LibreCat-ID: 19042
Local, distributed approximation algorithms for geometric assignment problems
B. Degener, Local, Distributed Approximation Algorithms for Geometric Assignment Problems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
B. Degener, Local, Distributed Approximation Algorithms for Geometric Assignment Problems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
2010 | Conference Paper | LibreCat-ID: 1905
Time Complexity of Distributed Topological Self-stabilization: The Case of Graph Linearization
D. Gall, R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, in: LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings, Springer, 2010, pp. 294--305.
LibreCat
| DOI
D. Gall, R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, in: LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings, Springer, 2010, pp. 294--305.
2010 | Conference Paper | LibreCat-ID: 1906
Brief announcement: towards robust medium access in multi-hop networks
A.W. Richa, J. Zhang, C. Scheideler, S. Schmid, in: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, ACM, 2010, pp. 114--115.
LibreCat
| DOI
A.W. Richa, J. Zhang, C. Scheideler, S. Schmid, in: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, ACM, 2010, pp. 114--115.
2010 | Conference Paper | LibreCat-ID: 1907
A Jamming-Resistant MAC Protocol for Multi-Hop Wireless Networks
A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, Springer, 2010, pp. 179--193.
LibreCat
| DOI
A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, Springer, 2010, pp. 179--193.
2010 | Conference Paper | LibreCat-ID: 1908
Brief Announcement: Stabilizing Consensus with the Power of Two Choices
B. Doerr, L. Ann Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, Springer, 2010, pp. 528--530.
LibreCat
| DOI
B. Doerr, L. Ann Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, Springer, 2010, pp. 528--530.
2010 | Conference (Editor) | LibreCat-ID: 1909
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
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
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.
2010 | Book Chapter | LibreCat-ID: 1915
Selected properties of a joint congestion controller for TCP connections
M. Savorić, H. Karl, A. Wolisz, in: Providing Quality of Service in Heterogeneous Environments, Proceedings of the 18th International Teletraffic Congress - ITC-18, Elsevier, 2010, pp. 861–870.
LibreCat
| DOI
M. Savorić, H. Karl, A. Wolisz, in: Providing Quality of Service in Heterogeneous Environments, Proceedings of the 18th International Teletraffic Congress - ITC-18, Elsevier, 2010, pp. 861–870.
2010 | Conference Paper | LibreCat-ID: 1916
ANALYSING CAPACITY IMPROVEMENTS IN WIRELESS NETWORKS BY RELAYING
H. Karl, S. MENGESHA, in: Wireless LANs and Home Networks, WORLD SCIENTIFIC, 2010.
LibreCat
| DOI
H. Karl, S. MENGESHA, in: Wireless LANs and Home Networks, WORLD SCIENTIFIC, 2010.
2010 | Conference Paper | LibreCat-ID: 1810
Flexible Resource Management for Self-X Systems: An Evaluation
S. Oberthür, L. Zaremba, H.S. Lichte, in: 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, IEEE, 2010.
LibreCat
| DOI
S. Oberthür, L. Zaremba, H.S. Lichte, in: 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, IEEE, 2010.
2010 | Conference Paper | LibreCat-ID: 1811
Secure Naming for a Network of Information
C. Dannewitz, J. Golic, B. Ohlman, B. Ahlgren, in: 2010 INFOCOM IEEE Conference on Computer Communications Workshops, IEEE, 2010.
LibreCat
| DOI
C. Dannewitz, J. Golic, B. Ohlman, B. Ahlgren, in: 2010 INFOCOM IEEE Conference on Computer Communications Workshops, IEEE, 2010.
2010 | Conference Paper | LibreCat-ID: 18136
Asynchronous Parallel Reliefboard Computation for Scene Object Approximation
M. Fischer, C. Jähn, T. Suess, in: Eurographics Symposium on Parallel Graphics and Visualization (EGPGV), The Eurographics Association, 2010, pp. 43–51.
LibreCat
| DOI
M. Fischer, C. Jähn, T. Suess, in: Eurographics Symposium on Parallel Graphics and Visualization (EGPGV), The Eurographics Association, 2010, pp. 43–51.
2010 | Conference Paper | LibreCat-ID: 18289
Evaluation of a c-Load-Collision-Protocol for Load-Balancing in Interactive Environments
T. Suess, T. Wiesemann, M. Fischer, in: 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage, 2010, pp. 448–456.
LibreCat
| DOI
T. Suess, T. Wiesemann, M. Fischer, in: 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage, 2010, pp. 448–456.
2010 | Book Chapter | LibreCat-ID: 18290
Gewichtetes c-Collision-Protokoll zur Balancierung eines parallelen Out-of-Core-Renderingsystems
T. Suess, T. Wiesemann, M. Fischer, in: Augmented & Virtual Reality in Der Produktentstehung, 2010, pp. 39–52.
LibreCat
T. Suess, T. Wiesemann, M. Fischer, in: Augmented & Virtual Reality in Der Produktentstehung, 2010, pp. 39–52.
2010 | Journal Article | LibreCat-ID: 1831
Cooperative feedback to improve capacity and error rate in multiuser diversity systems - an OFDM case study
S. Valentin, H. Karl, European Transactions on Telecommunications 21 (2010) 714–724.
LibreCat
| DOI
S. Valentin, H. Karl, European Transactions on Telecommunications 21 (2010) 714–724.
2010 | Book Chapter | LibreCat-ID: 22940
Integrative Konzipierung von MID-Produkt und MID-Produktionssystem
J. Gausemeier, R. Dumitrescu, T. Gaukstern, in: J. Gausemeier (Ed.), Frühzeitige Zuverlässigkeitsanalyse mechatronischer Systeme, Carl Hanser Verlag, München, 2010.
LibreCat
J. Gausemeier, R. Dumitrescu, T. Gaukstern, in: J. Gausemeier (Ed.), Frühzeitige Zuverlässigkeitsanalyse mechatronischer Systeme, Carl Hanser Verlag, München, 2010.
2010 | Conference Paper | LibreCat-ID: 21771
Coping with Complex Real-World Problems: Strategies for Developing the Competency of Transdisciplinary Collaboration
G. Domik, G. Fischer, in: N. Reynolds, M. Turcsànyi-Szabò (Eds.), Key Competencies in the Knowledge Society, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 90–101.
LibreCat
| DOI
G. Domik, G. Fischer, in: N. Reynolds, M. Turcsànyi-Szabò (Eds.), Key Competencies in the Knowledge Society, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 90–101.
2010 | Conference Paper | LibreCat-ID: 21772
A Survey of Transfer Functions Suitable for Volume Rendering
S. Arens, G. Domik, in: R. Westermann, G. Kindlmann (Eds.), IEEE/ EG Symposium on Volume Graphics, The Eurographics Association, 2010, pp. 77–83.
LibreCat
| DOI
S. Arens, G. Domik, in: R. Westermann, G. Kindlmann (Eds.), IEEE/ EG Symposium on Volume Graphics, The Eurographics Association, 2010, pp. 77–83.
2010 | Conference (Editor) | LibreCat-ID: 7770
Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, B. Westfechtel, eds., Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, Springer, Berlin/Heidelberg, 2010.
LibreCat
| DOI
G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, B. Westfechtel, eds., Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, Springer, Berlin/Heidelberg, 2010.
2010 | Conference (Editor) | LibreCat-ID: 7771
Software Engineering 2010 - Workshop Proceedings (inkl. Doktoranden Symposium), Paderborn (Germany)
G. Engels, M. Luckey, A. Pretschner, R. H. Reussner, eds., Software Engineering 2010 - Workshop Proceedings (Inkl. Doktoranden Symposium), Paderborn (Germany), Gesellschaft für Informatik (GI), Bonn, 2010.
LibreCat
G. Engels, M. Luckey, A. Pretschner, R. H. Reussner, eds., Software Engineering 2010 - Workshop Proceedings (Inkl. Doktoranden Symposium), Paderborn (Germany), Gesellschaft für Informatik (GI), Bonn, 2010.
2010 | Conference (Editor) | LibreCat-ID: 7772
Software Engineering 2010 - Proceedings, Paderborn (Germany)
G. Engels, M. Luckey, W. Schäfer, eds., Software Engineering 2010 - Proceedings, Paderborn (Germany), Gesellschaft für Informatik (GI), Bonn, 2010.
LibreCat
G. Engels, M. Luckey, W. Schäfer, eds., Software Engineering 2010 - Proceedings, Paderborn (Germany), Gesellschaft für Informatik (GI), Bonn, 2010.
2010 | Conference (Editor) | LibreCat-ID: 7773
Modellierung 2010, Klagenfurt (Österreich)
G. Engels, D. Karagiannis, H. C. Mayr, eds., Modellierung 2010, Klagenfurt (Österreich), Gesellschaft für Informatik (GI), Bonn, 2010.
LibreCat
G. Engels, D. Karagiannis, H. C. Mayr, eds., Modellierung 2010, Klagenfurt (Österreich), Gesellschaft für Informatik (GI), Bonn, 2010.
2010 | Conference (Editor) | LibreCat-ID: 7774
Proceedings of the 5th International Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010): Bridging between User Experience and UI Engineering
J. Van den Bergh, S. Sauer, K. Breiner, H. Hußmann, G. Meixner, 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, 2010.
LibreCat
J. Van den Bergh, S. Sauer, K. Breiner, H. Hußmann, G. Meixner, 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, 2010.
2010 | Conference Paper | LibreCat-ID: 8023
Holistic Model-Based Testing for Business Information Systems
M. Mlynarski, in: Proceedings of 3rd International Conference on Software Testing, Verification and Validation, IEEE Computer Society, 2010, pp. 327–330.
LibreCat
M. Mlynarski, in: Proceedings of 3rd International Conference on Software Testing, Verification and Validation, IEEE Computer Society, 2010, pp. 327–330.
2010 | Conference Paper | LibreCat-ID: 8024
A Generic Meta-Model-based Approach for Specifying Framework Functionality and Usage
F. Christ, J.-C. Bals, G. Engels, C. Gerth, M. Luckey, in: Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS’10), Málaga (Spain), Springer, Berlin/Heidelberg, 2010, pp. 21–40.
LibreCat
| DOI
F. Christ, J.-C. Bals, G. Engels, C. Gerth, M. Luckey, in: Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS’10), Málaga (Spain), Springer, Berlin/Heidelberg, 2010, pp. 21–40.
2010 | Conference Paper | LibreCat-ID: 8025
Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl
G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, B. Westfechtel, in: Graph Transformations and Model-Driven Engineering, Springer, Berlin/Heidelberg, 2010, pp. 1–5.
LibreCat
G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, B. Westfechtel, in: Graph Transformations and Model-Driven Engineering, Springer, Berlin/Heidelberg, 2010, pp. 1–5.
2010 | Conference Paper | LibreCat-ID: 8026
Knowledge Transfer in Global Software Development - Leveraging Acceptance Test Case Specifications
G. Engels, F. Salger, 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), ACM New York, NY, USA, 2010, pp. 211–214.
LibreCat
G. Engels, F. Salger, 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), ACM New York, NY, USA, 2010, pp. 211–214.
2010 | Conference Paper | LibreCat-ID: 8027
Proceedings 12. Workshop Software-Reengineering (WSR) & 2. Workshop Design for Future 2010 (DFF)
R. Gimnich, U. Kaiser, C. Momm, J. Quante, V. Riediger, S. Sauer, M. Trifu, A. Winter, in: E.-E. Doberkat, U. Kelter (Eds.), Bad Honnef, May 3-5,2010, 2010, pp. 28–85.
LibreCat
R. Gimnich, U. Kaiser, C. Momm, J. Quante, V. Riediger, S. Sauer, M. Trifu, A. Winter, in: E.-E. Doberkat, U. Kelter (Eds.), Bad Honnef, May 3-5,2010, 2010, pp. 28–85.
2010 | Conference Paper | LibreCat-ID: 8028
Precise Detection of Conflicting Change Operations using Process Model Terms
C. Gerth, J. Küster, M. Luckey, G. Engels, in: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10), Springer, Berlin/Heidelberg, 2010, pp. 93–107.
LibreCat
| DOI
C. Gerth, J. Küster, M. Luckey, G. Engels, in: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10), Springer, Berlin/Heidelberg, 2010, pp. 93–107.
2010 | Conference Paper | LibreCat-ID: 8029
Detection of Semantically Equivalent Fragments for Business Process Model Change Management
C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 7th International Conference on Services Computing (SCC’10), IEEE Computer Society, 2010, pp. 57–64.
LibreCat
| DOI
C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 7th International Conference on Services Computing (SCC’10), IEEE Computer Society, 2010, pp. 57–64.
2010 | Conference Paper | LibreCat-ID: 8030
Enriching RUP with key success factors for large-scale custom software development projects
M. Heinemann, B. Duwe, G. Engels, in: Software & Systems Engineering Essentials (SEE) 2010, Technische Universität München, 2010, pp. 37–56.
LibreCat
M. Heinemann, B. Duwe, G. Engels, in: Software & Systems Engineering Essentials (SEE) 2010, Technische Universität München, 2010, pp. 37–56.
2010 | Conference Paper | LibreCat-ID: 8031
Auswahl projektspezifischer Vorgehensstrategien
M. Heinemann, G. Engels, in: Integration von Vorgehensmodellen Und Projektmanagement, Shaker Verlag, 2010, pp. 132–142.
LibreCat
M. Heinemann, G. Engels, in: Integration von Vorgehensmodellen Und Projektmanagement, Shaker Verlag, 2010, pp. 132–142.
2010 | Conference Paper | LibreCat-ID: 8032
Computergestützte traumatherapeutische Behandlungsmöglichkeiten bei Verkehrsunfallopfern von Kinder und Jugendlichen
W. Huck, A. Alakbarov, G. Domik, R. Radkowski, R. Tölke, A.-C. Mikus, S. Geisen, in: 12. Jahrestagung Der Deutschsprachigen Gesellschaft Für Psychotraumatologie (DeGPT), Göttingen, 2010.
LibreCat
W. Huck, A. Alakbarov, G. Domik, R. Radkowski, R. Tölke, A.-C. Mikus, S. Geisen, in: 12. Jahrestagung Der Deutschsprachigen Gesellschaft Für Psychotraumatologie (DeGPT), Göttingen, 2010.
2010 | Conference Paper | LibreCat-ID: 8033
Dynamic Computation of Change Operations in Version Management of Business Process Models
J. Küster, C. Gerth, G. Engels, in: Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA’10), Springer, Berlin/Heidelberg, 2010, pp. 201–216.
LibreCat
| DOI
J. Küster, C. Gerth, G. Engels, in: Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA’10), Springer, Berlin/Heidelberg, 2010, pp. 201–216.
2010 | Conference Paper | LibreCat-ID: 8034
A Meta-Method for Defining Software Engineering Methods
G. Engels, S. Sauer, in: G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering, Springer, Berlin Heidelberg, 2010, pp. 411–440.
LibreCat
| DOI
G. Engels, S. Sauer, in: G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering, Springer, Berlin Heidelberg, 2010, pp. 411–440.
2010 | Conference Paper | LibreCat-ID: 8035
Erweiterung des TPI-Modells zur Reifegradbewertung unter Berücksichtigung von projekteigenen Anforderungen
Y. Sancar, C. Schumacher, in: Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany), Technische Universität München, 2010, pp. 299–314.
LibreCat
Y. Sancar, C. Schumacher, in: Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany), Technische Universität München, 2010, pp. 299–314.
2010 | Conference Paper | LibreCat-ID: 8037
Assessments in Global Software Development: A Tailorable Framework for Industrial Projects
F. Salger, G. Engels, A. Hofmann, in: Proceedings ACM/IEEE 32nd International Conference on Software Engineering, Software Engineering in Practice Track, Cape Town, South Africa (ICSE’10), ACM New York, NY, USA, 2010, pp. 29–38.
LibreCat
| DOI
F. Salger, G. Engels, A. Hofmann, in: Proceedings ACM/IEEE 32nd International Conference on Software Engineering, Software Engineering in Practice Track, Cape Town, South Africa (ICSE’10), ACM New York, NY, USA, 2010, pp. 29–38.
2010 | Conference Paper | LibreCat-ID: 8038
SheetDiff: A Tool for Identifying Changes in Spreadsheets
C. Chambers, M. Erwig, M. Luckey, in: Proceedings of the 26th IEEE Symposium on Visual Languages and Human-Centric Computing 2010 (VL/HCC 2010), IEEE Computer Society, Washington, DC, USA, 2010, pp. 85–92.
LibreCat
C. Chambers, M. Erwig, M. Luckey, in: Proceedings of the 26th IEEE Symposium on Visual Languages and Human-Centric Computing 2010 (VL/HCC 2010), IEEE Computer Society, Washington, DC, USA, 2010, pp. 85–92.
2010 | Conference Paper | LibreCat-ID: 8039
Model-driven Development of Advanced User Interfaces
J. Van den Bergh, G. Meixner, K. Breiner, A. Pleuß, S. Sauer, H. Hussmann, in: Proc. 28th International Conference on Human Factors in Computing Systems (CHI 2010), ACM, Atlanta, Georgia, USA, 2010, pp. 4429–4432.
LibreCat
J. Van den Bergh, G. Meixner, K. Breiner, A. Pleuß, S. Sauer, H. Hussmann, in: Proc. 28th International Conference on Human Factors in Computing Systems (CHI 2010), ACM, Atlanta, Georgia, USA, 2010, pp. 4429–4432.
2010 | Conference Paper | LibreCat-ID: 8040
Transfer of Testing Research from University to Industry: An Experience Report
B. Güldali, S. Sauer, in: Online Proc. of International TestIstanbul Conference 2010 (URL: Www.Testistanbul.Org/Presentations.Html), Turkish Testing Board, 2010.
LibreCat
B. Güldali, S. Sauer, in: Online Proc. of International TestIstanbul Conference 2010 (URL: Www.Testistanbul.Org/Presentations.Html), Turkish Testing Board, 2010.
2010 | Conference Paper | LibreCat-ID: 8041
Verteiltes Testen heterogener Systemlandschaften
T. von der Maßen, A. Wübbeke, in: Proceedings of Software Engineering 2010 (SE2010), Gesellschaft für Informatik (GI), Bonn, 2010, pp. 17–18.
LibreCat
T. von der Maßen, A. Wübbeke, in: Proceedings of Software Engineering 2010 (SE2010), Gesellschaft für Informatik (GI), Bonn, 2010, pp. 17–18.
2010 | Journal Article | LibreCat-ID: 805
Cooperative feedback to improve capacity and error rate in multiuser diversity systems - an OFDM case study
S. Valentin, H. Karl, European Transactions on Telecommunications (2010) 714--724.
LibreCat
| DOI
S. Valentin, H. Karl, European Transactions on Telecommunications (2010) 714--724.
2010 | Journal Article | LibreCat-ID: 806
Expected interference in wireless networks with geometric path loss: a closed-form approximation
H. S. Lichte, S. Valentin, H. Karl, IEEE Communications Letters (2010) 130--132.
LibreCat
| DOI
H. S. Lichte, S. Valentin, H. Karl, IEEE Communications Letters (2010) 130--132.
2010 | Journal Article | LibreCat-ID: 807
Automated Development of Cooperative MAC Protocols - A Compiler-Assisted Approach
H. Simon Lichte, S. Valentin, H. Karl, Mobile Networks and Applications (2010) 769--785.
LibreCat
| DOI
H. Simon Lichte, S. Valentin, H. Karl, Mobile Networks and Applications (2010) 769--785.
2010 | Conference Paper | LibreCat-ID: 808
Concept and Prototype for a Real-Time Enabled Publish/Subscribe System
M. Andree, A. Gebel, H. Karl, 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
M. Andree, A. Gebel, H. Karl, 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.
2010 | Conference Paper | LibreCat-ID: 809
Risk Aware Overbooking for Commercial Grids
G. Birkenheuer, A. Brinkmann, H. Karl, 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
G. Birkenheuer, A. Brinkmann, H. Karl, 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.
2010 | Conference Paper | LibreCat-ID: 810
Fading-resistant low-latency broadcasts in wireless multihop networks: the probabilistic cooperation diversity approach
H. S. Lichte, H. Frey, H. Karl, 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
H. S. Lichte, H. Frey, H. Karl, 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.
2010 | Conference Paper | LibreCat-ID: 811
FIT: Future Internet Toolbox
T. Biermann, C. Dannewitz, H. Karl, 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
T. Biermann, C. Dannewitz, H. Karl, 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.
2010 | Conference Paper | LibreCat-ID: 812
Prototyping with the Future Internet Toolbox
C. Dannewitz, T. Biermann, M. Dräxler, F. Beister, H. Karl, 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
C. Dannewitz, T. Biermann, M. Dräxler, F. Beister, H. Karl, 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.
2010 | Report | LibreCat-ID: 8219
Detection of Semantically Equivalent Fragments for Business Process Model Change Management
C. Gerth, M. Luckey, J. Küster, G. Engels, Detection of Semantically Equivalent Fragments for Business Process Model Change Management, IBM Research, Zurich, 2010.
LibreCat
C. Gerth, M. Luckey, J. Küster, G. Engels, Detection of Semantically Equivalent Fragments for Business Process Model Change Management, IBM Research, Zurich, 2010.
2010 | Report | LibreCat-ID: 8220
Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques, Centre for Telematics and Information Technology of the University of Twente, Enschede, The Netherlands, 2010.
LibreCat
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques, Centre for Telematics and Information Technology of the University of Twente, Enschede, The Netherlands, 2010.
2010 | Conference Paper | LibreCat-ID: 5756
Erfolgsfaktoren von Testprozessbewertungsmodellen
F. Brüseke, Y. Sancar, E. Yigitbas, in: Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany), Technische Universität München, 2010, pp. 277–298.
LibreCat
F. Brüseke, Y. Sancar, E. Yigitbas, in: Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany), Technische Universität München, 2010, pp. 277–298.
2010 | Journal Article | LibreCat-ID: 7356
Towards Model-based Acceptance Testing for Scrum
R. Löffler, B. Güldali, S. Geisen, Softwaretechnik-Trends 30 (2010) 9–12.
LibreCat
R. Löffler, B. Güldali, S. Geisen, Softwaretechnik-Trends 30 (2010) 9–12.
2010 | Journal Article | LibreCat-ID: 7357
Starthilfe für modellbasiertes Testen
B. Güldali, S. Jungmayr, M. Mlynarski, S. Neumann, M. Winter, OBJEKTspektrum (2010) 63–69.
LibreCat
B. Güldali, S. Jungmayr, M. Mlynarski, S. Neumann, M. Winter, OBJEKTspektrum (2010) 63–69.
2010 | Journal Article | LibreCat-ID: 7358
Tabellarischer Vergleich der Prozessmodelle für modellbasiertes Testen aus Managementsicht
D. Beulen, B. Güldali, M. Mlynarski, Softwaretechnik-Trends 30 (2010) 6–9.
LibreCat
D. Beulen, B. Güldali, M. Mlynarski, Softwaretechnik-Trends 30 (2010) 6–9.
2010 | Journal Article | LibreCat-ID: 7359
Agiles Testen in Großprojekten mit TDD und Testaspekten: Beobachtungen und erste Erfahrungen
M. Späth, M. Mlynarski, Softwaretechnik-Trends 30 (2010).
LibreCat
| Download (ext.)
M. Späth, M. Mlynarski, Softwaretechnik-Trends 30 (2010).
2010 | Journal Article | LibreCat-ID: 7364
Automated acceptance testing tools for web applications using Test-Driven Development
M. Jureczko, M. Mlynarski, Electrical Review 86 (2010) 198–202.
LibreCat
M. Jureczko, M. Mlynarski, Electrical Review 86 (2010) 198–202.
2010 | Book Chapter | LibreCat-ID: 7556
Model-Based Software Product Lines Testing Survey
S. Oster, A. Wübbeke, G. Engels, A. Schürr, in: P. Mosterman, I. Schieferdecker, J. Zander (Ed.), Model-Based Testing For Embedded Systems, CRC Press, 2010, pp. 339–381.
LibreCat
S. Oster, A. Wübbeke, G. Engels, A. Schürr, in: P. Mosterman, I. Schieferdecker, J. Zander (Ed.), Model-Based Testing For Embedded Systems, CRC Press, 2010, pp. 339–381.
2010 | Dissertation | LibreCat-ID: 7573
Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien
A. Wübbeke, Variabilitätsmanagement in Anforderungs- Und Testfallspezifikation Für Software-Produktlinien, 2010.
LibreCat
A. Wübbeke, Variabilitätsmanagement in Anforderungs- Und Testfallspezifikation Für Software-Produktlinien, 2010.
2010 | Conference Paper | LibreCat-ID: 8437
Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling
G. Engels, C. Soltenborn, in: Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), European Association of Software Science and Technology, 2010, pp. 240–257.
LibreCat
G. Engels, C. Soltenborn, in: Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), European Association of Software Science and Technology, 2010, pp. 240–257.
2010 | Conference Paper | LibreCat-ID: 8438
Agility vs. Model-based Testing: A fair Play?
B. Güldali, M. Mlynarski, in: Proceedings of the IWK2010 Workshops: The First International Workshop on Evolution Support for Model-Based Development and Testing (EMDT2010), 2010, pp. 55–58.
LibreCat
| Download (ext.)
B. Güldali, M. Mlynarski, in: Proceedings of the IWK2010 Workshops: The First International Workshop on Evolution Support for Model-Based Development and Testing (EMDT2010), 2010, pp. 55–58.
2010 | Conference Paper | LibreCat-ID: 8439
Verknüpfung von kombinatorischem Plattform- und individuellem Produkt-Test für Software-Produktlinien
A. Wübbeke, S. Oster, in: Proceedings of Produktlinien Im Kontext (PIK2010), 2010, p. to appear.
LibreCat
A. Wübbeke, S. Oster, in: Proceedings of Produktlinien Im Kontext (PIK2010), 2010, p. to appear.
2010 | Conference Paper | LibreCat-ID: 8440
Towards Economical Software Release Recommendations
Y. Sancar, F. Brüseke, H. Voigt, S. Sauer, G. Engels, in: ECOOP 2010 - Workshop on Testing Object-Oriented Software Systems (ETOOS), 2010, pp. 59–67.
LibreCat
Y. Sancar, F. Brüseke, H. Voigt, S. Sauer, G. Engels, in: ECOOP 2010 - Workshop on Testing Object-Oriented Software Systems (ETOOS), 2010, pp. 59–67.
2010 | Conference Paper | LibreCat-ID: 8441
A Framework for Change Management of Business Process Models
C. Gerth, in: Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010, pp. 183–184.
LibreCat
C. Gerth, in: Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010, pp. 183–184.
2010 | Conference Paper | LibreCat-ID: 8442
Reusing Security Requirements using an Extended Quality Model
M. Luckey, A. Baumann, D. Méndez Fernández, S. Wagner, in: Software Engineering for Secure Systems, 2010. SESS ’10. ICSE Workshop, 2010.
LibreCat
M. Luckey, A. Baumann, D. Méndez Fernández, S. Wagner, in: Software Engineering for Secure Systems, 2010. SESS ’10. ICSE Workshop, 2010.
2010 | Conference Paper | LibreCat-ID: 8443
Teststufenspezifische Qualitätsattribute für die Qualitätsbewertung von nichtfunktionalen Anforderungen
Y. Sancar, F. Brüseke, G. Engels, in: Proceedings of Software-Qualitätsmodellierung Und -Bewertung (SQMB ’10), Paderborn, Germany, Technische Universität München, München, Germany, 2010, pp. 50–57.
LibreCat
Y. Sancar, F. Brüseke, G. Engels, in: Proceedings of Software-Qualitätsmodellierung Und -Bewertung (SQMB ’10), Paderborn, Germany, Technische Universität München, München, Germany, 2010, pp. 50–57.
2010 | Conference Paper | LibreCat-ID: 8444
Knowledge Transfer in Global Software Development - Leveraging Ontologies, Tools and Assessments
F. Salger, S. Sauer, G. Engels, A. Baumann, in: 5th IEEE International Conference on Global Software Engineering (ICGSE 2010), 2010, pp. 336–341.
LibreCat
| DOI
F. Salger, S. Sauer, G. Engels, A. Baumann, in: 5th IEEE International Conference on Global Software Engineering (ICGSE 2010), 2010, pp. 336–341.
2010 | Conference Paper | LibreCat-ID: 8445
MDDAUI 2010 Workshop Report
J. Van den Bergh, G. Meixner, S. Sauer, in: Proc. 5th Intl. Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), urn:nbn:de:0074-617-8, 2010, pp. 53–56.
LibreCat
J. Van den Bergh, G. Meixner, S. Sauer, in: Proc. 5th Intl. Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), urn:nbn:de:0074-617-8, 2010, pp. 53–56.
2010 | Conference Paper | LibreCat-ID: 8446
Pattern-based Generation of Test Plans for Open Distributed Processing Systems
B. Güldali, S. Sauer, P. Winkelhane, M. Jahnich, H. Funke, in: Proceedings of 5th International Workshop on Automation of Software Test (AST 2010), ICSE Workshop, ACM Press, 2010, pp. 119–126.
LibreCat
B. Güldali, S. Sauer, P. Winkelhane, M. Jahnich, H. Funke, in: Proceedings of 5th International Workshop on Automation of Software Test (AST 2010), ICSE Workshop, ACM Press, 2010, pp. 119–126.
2010 | Conference Paper | LibreCat-ID: 8447
Architecture-Driven Derivation of Performance Metrics
F. Brüseke, Y. Sancar, G. Engels, in: Proceedings of Software-Qualitätsmodellierung Und -Bewertung (SQMB ’10), Paderborn, Germany, Technische Universität München, München, Germany, 2010, pp. 22–31.
LibreCat
F. Brüseke, Y. Sancar, G. Engels, in: Proceedings of Software-Qualitätsmodellierung Und -Bewertung (SQMB ’10), Paderborn, Germany, Technische Universität München, München, Germany, 2010, pp. 22–31.
2010 | Conference Paper | LibreCat-ID: 8448
Effort Comparison of Model-based Testing Scenarios
B. Güldali, M. Mlynarski, Y. Sancar, in: Proceedings of 3th International Conference on Software Testing, Verification, and Validation Workshops, IEEE Computer Society, 2010, pp. 28–36.
LibreCat
B. Güldali, M. Mlynarski, Y. Sancar, in: Proceedings of 3th International Conference on Software Testing, Verification, and Validation Workshops, IEEE Computer Society, 2010, pp. 28–36.
2010 | Conference Paper | LibreCat-ID: 8449
Test Case Generation for Visual Contracts Using AI Planning
M. Schnelte, B. Güldali, in: INFORMATIK 2010, Beiträge Der 40. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Gesellschaft für Informatik (GI), Bonn, 2010, p. (accepted for publication).
LibreCat
M. Schnelte, B. Güldali, in: INFORMATIK 2010, Beiträge Der 40. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Gesellschaft für Informatik (GI), Bonn, 2010, p. (accepted for publication).
2010 | Conference Paper | LibreCat-ID: 16414
Proceedings of the 22nd ACM symposium on Parallelism in algorithms and architectures - SPAA '10
F. Meyer auf der Heide, C.A. Phillips, in: 2010.
LibreCat
| DOI
F. Meyer auf der Heide, C.A. Phillips, in: 2010.
2010 | Book Chapter | LibreCat-ID: 16505
Preprocessed Global Visibility for Real-Time Rendering on Low-End Hardware
B. Eikel, C. Jähn, M. Fischer, in: Advances in Visual Computing, Berlin, Heidelberg, 2010.
LibreCat
| DOI
B. Eikel, C. Jähn, M. Fischer, in: Advances in Visual Computing, Berlin, Heidelberg, 2010.
2010 | Conference Paper | LibreCat-ID: 16851
Computergestützte traumatherapeutische Behandlungsmöglichkeiten bei Verkehrsunfallopfern von Kindern und Jugendlichen
W. Huck, A. Alakbarov, G. Domik, R. Radkowski, R. Tölke, A.-C. Mikus, S. Geisen, in: 12. Jahrestagung Der Deutschsprachigen Gesellschaft Für Psychotraumatologie (DeGPT), Göttingen, 2010.
LibreCat
W. Huck, A. Alakbarov, G. Domik, R. Radkowski, R. Tölke, A.-C. Mikus, S. Geisen, in: 12. Jahrestagung Der Deutschsprachigen Gesellschaft Für Psychotraumatologie (DeGPT), Göttingen, 2010.
2010 | Journal Article | LibreCat-ID: 10605
Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification
S. Drzevitzky, U. Kastens, M. Platzner, International Journal of Reconfigurable Computing 2010 (2010).
LibreCat
| DOI
S. Drzevitzky, U. Kastens, M. Platzner, International Journal of Reconfigurable Computing 2010 (2010).
2010 | Mastersthesis | LibreCat-ID: 10614
Virtuelle Speicherverwaltung für Hardware Threads in Rekonfigurierbaren Systemen
A. Agne, Virtuelle Speicherverwaltung Für Hardware Threads in Rekonfigurierbaren Systemen, Paderborn University, 2010.
LibreCat
A. Agne, Virtuelle Speicherverwaltung Für Hardware Threads in Rekonfigurierbaren Systemen, Paderborn University, 2010.
2010 | Mastersthesis | LibreCat-ID: 10629
EMG-basierte Ganganalyse
A. Boschmann, EMG-Basierte Ganganalyse, Paderborn University, 2010.
LibreCat
A. Boschmann, EMG-Basierte Ganganalyse, Paderborn University, 2010.