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.
5711 Publications
2012 | Book Chapter | LibreCat-ID: 7557
Model-Based Testing: Achievements and Future Challenges
M. Mlynarski, B. Güldali, S. Weißleder, G. Engels, in: A. Hurson, A. Memon (Eds.), Advances in Computers, Elsevier, 2012, pp. 1–39.
LibreCat
| DOI
M. Mlynarski, B. Güldali, S. Weißleder, G. Engels, in: A. Hurson, A. Memon (Eds.), Advances in Computers, Elsevier, 2012, pp. 1–39.
2012 | Dissertation | LibreCat-ID: 7572
Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen
F. Christ, Automatische Kompatibilitätsprüfung Framework-Basierter Anwendungen, Universität Paderborn, 2012.
LibreCat
F. Christ, Automatische Kompatibilitätsprüfung Framework-Basierter Anwendungen, Universität Paderborn, 2012.
2012 | Conference Paper | LibreCat-ID: 8473
Towards Rich Change Management for Business Process Models
C. Gerth, M. Luckey, in: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12), FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2012, pp. 32–34.
LibreCat
C. Gerth, M. Luckey, in: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12), FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2012, pp. 32–34.
2012 | Conference Paper | LibreCat-ID: 8475
A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners
Z. Huma , C. Gerth , G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, CEUR-WS.org, 2012, pp. 90--97.
LibreCat
| DOI
Z. Huma , C. Gerth , G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, CEUR-WS.org, 2012, pp. 90--97.
2012 | Conference Paper | LibreCat-ID: 8476
Modeling with Adapt Cases
M. Luckey , F. Mutz, in: University of Paderborn (Ed.), Repository for Model-Driven Development (ReMoDD), 2012.
LibreCat
M. Luckey , F. Mutz, in: University of Paderborn (Ed.), Repository for Model-Driven Development (ReMoDD), 2012.
2012 | Conference Paper | LibreCat-ID: 8477
Ein Ansatz zur dynamischen Qualitätsmessung, -bewertung und Anpassung von Software Engineering Methoden
S. Geisen , M. Luckey , G. Engels, in: Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle, Shaker Verlag, 2012, pp. 111–120.
LibreCat
S. Geisen , M. Luckey , G. Engels, in: Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle, Shaker Verlag, 2012, pp. 111–120.
2012 | Conference Paper | LibreCat-ID: 8478
Towards a Framework for the Integration of Modeling Languages
S. Arifulina, in: Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), CEUR-WS.org, 2012, pp. 23–26.
LibreCat
S. Arifulina, in: Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), CEUR-WS.org, 2012, pp. 23–26.
2012 | Conference Paper | LibreCat-ID: 8479
Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme
B. Güldali , S. Sauer, P. Löhr, in: Proceedings of the Workshop Modellbasierte Und Modellgetriebene Softwaremodernisierung (MMSM 2012), Softwaretechnik-Trends, 2012, pp. 5–6.
LibreCat
| Download (ext.)
B. Güldali , S. Sauer, P. Löhr, in: Proceedings of the Workshop Modellbasierte Und Modellgetriebene Softwaremodernisierung (MMSM 2012), Softwaretechnik-Trends, 2012, pp. 5–6.
2012 | Conference Paper | LibreCat-ID: 8480
Assessing composition in modeling approaches
G. Mussbacher , O. Alam , M. Alhaj , S. Ali , N. Amálio , B. Barn , R. Bræk , T. Clark , B. Combemale , L.M. Cysneiros , U. Fatima , R. France , G. Georg , J. Horkoff , J. Kienzle , J.C. Leite , T.C. Lethbridge , M. Luckey , A. Moreira , F. Mutz , A.P. A. Oliveira, D. C. Petriu , M. Schöttle, L. Troup, V.M.B. Werneck, in: Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012), ACM, New York, NY, USA, 2012.
LibreCat
| DOI
G. Mussbacher , O. Alam , M. Alhaj , S. Ali , N. Amálio , B. Barn , R. Bræk , T. Clark , B. Combemale , L.M. Cysneiros , U. Fatima , R. France , G. Georg , J. Horkoff , J. Kienzle , J.C. Leite , T.C. Lethbridge , M. Luckey , A. Moreira , F. Mutz , A.P. A. Oliveira, D. C. Petriu , M. Schöttle, L. Troup, V.M.B. Werneck, in: Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012), ACM, New York, NY, USA, 2012.
2012 | Conference Paper | LibreCat-ID: 8483
Multi-Staged Quality Assurance for Self-Adaptive Systems
M. Luckey , C. Thanos , C. Gerth, G. Engels, in: Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12, 2012.
LibreCat
M. Luckey , C. Thanos , C. Gerth, G. Engels, in: Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12, 2012.
2012 | Conference Paper | LibreCat-ID: 8484
Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt
S. Geisen, in: Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium, Petra Hofstedt, Claus Lewerentz (BTU Cottbus), 2012, pp. 7–12.
LibreCat
S. Geisen, in: Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium, Petra Hofstedt, Claus Lewerentz (BTU Cottbus), 2012, pp. 7–12.
2012 | Journal Article | LibreCat-ID: 5183
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
LibreCat
| Files available
| DOI
| Download (ext.)
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
2012 | Conference Paper | LibreCat-ID: 565
Weaving-based configuration and modular transformation of multi-layer systems
G. Besova, S. Walther, H. Wehrheim, S. Becker, in: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
LibreCat
| Files available
| DOI
G. Besova, S. Walther, H. Wehrheim, S. Becker, in: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
2012 | Conference Paper | LibreCat-ID: 6720
Optimized XPath evaluation for Schema-compressed XML data
S. Böttcher, R. Hartel, S. Heindorf, in: ADC, Australian Computer Society, 2012, pp. 137–144.
LibreCat
S. Böttcher, R. Hartel, S. Heindorf, in: ADC, Australian Computer Society, 2012, pp. 137–144.
2012 | Conference Paper | LibreCat-ID: 6742
Generalizing and Improving SQL/XML Query Evaluation
S. Böttcher, D. Bokermann, R. Hartel, in: 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12), IEEE, 2012.
LibreCat
| DOI
S. Böttcher, D. Bokermann, R. Hartel, in: 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12), IEEE, 2012.
2012 | Book Chapter | LibreCat-ID: 16445
Continuous Local Strategies for Robotic Formation Problems
B. Kempkes, F. Meyer auf der Heide, in: Experimental Algorithms, Berlin, Heidelberg, 2012.
LibreCat
| DOI
B. Kempkes, F. Meyer auf der Heide, in: Experimental Algorithms, Berlin, Heidelberg, 2012.
2012 | Conference Paper | LibreCat-ID: 16446
Optimal and competitive runtime bounds for continuous, local gathering of mobile robots
B. Kempkes, P. Kling, F. Meyer auf der Heide, in: Proceedinbgs of the 24th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’12, 2012.
LibreCat
| DOI
B. Kempkes, P. Kling, F. Meyer auf der Heide, in: Proceedinbgs of the 24th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’12, 2012.
2012 | Book Chapter | LibreCat-ID: 16448
Local, Self-organizing Strategies for Robotic Formation Problems
B. Kempkes, F. Meyer auf der Heide, in: Algorithms for Sensor Systems, Berlin, Heidelberg, 2012.
LibreCat
| DOI
B. Kempkes, F. Meyer auf der Heide, in: Algorithms for Sensor Systems, Berlin, Heidelberg, 2012.
2012 | Conference Paper | LibreCat-ID: 16929
Faculty Submitted Student Work at Siggraph 2012
G. Domik, in: Curated Exhibit at Siggraph, Los Angeles, 2012.
LibreCat
G. Domik, in: Curated Exhibit at Siggraph, Los Angeles, 2012.
2012 | Conference Paper | LibreCat-ID: 10636
Reducing classification accuracy degradation of pattern recognition based myoelectric control caused by electrode shift using a high density electrode array
A. Boschmann, M. Platzner, in: Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC), 2012.
LibreCat
A. Boschmann, M. Platzner, in: Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC), 2012.
2012 | Mastersthesis | LibreCat-ID: 10650
Design and Implementation of a Nanophotonics Simulation Personality for the Convey HC-1 Hybrid Core Computer
D. Dridger, Design and Implementation of a Nanophotonics Simulation Personality for the Convey HC-1 Hybrid Core Computer, Paderborn University, 2012.
LibreCat
D. Dridger, Design and Implementation of a Nanophotonics Simulation Personality for the Convey HC-1 Hybrid Core Computer, Paderborn University, 2012.
2012 | Dissertation | LibreCat-ID: 10652
Design and Programming of Reconfigurable Mesh based Many-Cores
H. Giefers, Design and Programming of Reconfigurable Mesh Based Many-Cores, Logos Verlag Berlin GmbH, Berlin, 2012.
LibreCat
H. Giefers, Design and Programming of Reconfigurable Mesh Based Many-Cores, Logos Verlag Berlin GmbH, Berlin, 2012.
2012 | Mastersthesis | LibreCat-ID: 10658
Adaptive Playouts in der Monte-Carlo Spielbaumsuche am Anwendungsfall Go
T. Graf, Adaptive Playouts in Der Monte-Carlo Spielbaumsuche Am Anwendungsfall Go, Paderborn University, 2012.
LibreCat
T. Graf, Adaptive Playouts in Der Monte-Carlo Spielbaumsuche Am Anwendungsfall Go, Paderborn University, 2012.
2012 | Bachelorsthesis | LibreCat-ID: 10667
Generating Adjustable Temperature Gradients on modern FPGAs
H. Hangmann, Generating Adjustable Temperature Gradients on Modern FPGAs, Paderborn University, 2012.
LibreCat
H. Hangmann, Generating Adjustable Temperature Gradients on Modern FPGAs, Paderborn University, 2012.
2012 | Journal Article | LibreCat-ID: 10685
Compensating Resource Fluctuations by Means of Evolvable Hardware: The Run-Time Reconfigurable Functional Unit Row Classifier Architecture
P. Kaufmann, K. Glette, M. Platzner, J. Torresen, International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS) 3 (2012) 17–31.
LibreCat
| DOI
P. Kaufmann, K. Glette, M. Platzner, J. Torresen, International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS) 3 (2012) 17–31.
2012 | Misc | LibreCat-ID: 10723
Wieder natürlich gehen und greifen
M. Platzner, A. Boschmann, P. Kaufmann, Wieder Natürlich Gehen Und Greifen, 2012.
LibreCat
M. Platzner, A. Boschmann, P. Kaufmann, Wieder Natürlich Gehen Und Greifen, 2012.
2012 | Bachelorsthesis | LibreCat-ID: 10734
Stereo Matching on a HC-1 Hybrid Core Computer
H. Schmitz, Stereo Matching on a HC-1 Hybrid Core Computer, Paderborn University, 2012.
LibreCat
H. Schmitz, Stereo Matching on a HC-1 Hybrid Core Computer, Paderborn University, 2012.
2012 | Bachelorsthesis | LibreCat-ID: 10747
Entwicklung eines Picoblaze Compilers mit dem Gentle Compiler Construction System
C. Topmöller, Entwicklung Eines Picoblaze Compilers Mit Dem Gentle Compiler Construction System, Paderborn University, 2012.
LibreCat
C. Topmöller, Entwicklung Eines Picoblaze Compilers Mit Dem Gentle Compiler Construction System, Paderborn University, 2012.
2012 | Mastersthesis | LibreCat-ID: 10754
Analysis of Pattern Based Model Design and Learning in Computer-Go
M. Wistuba, Analysis of Pattern Based Model Design and Learning in Computer-Go, Paderborn University, 2012.
LibreCat
M. Wistuba, Analysis of Pattern Based Model Design and Learning in Computer-Go, Paderborn University, 2012.
2012 | Conference Paper | LibreCat-ID: 11998
Cooperative Awareness at Low Vehicle Densities: How Parked Cars Can Help See through Buildings
D. Eckhoff, C. Sommer, R. German, F. Dressler, in: 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011, 2012.
LibreCat
| DOI
D. Eckhoff, C. Sommer, R. German, F. Dressler, in: 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011, 2012.
2012 | Conference Paper | LibreCat-ID: 12001
On the Necessity of Accurate IEEE 802.11P Models for IVC Protocol Simulation
D. Eckhoff, C. Sommer, F. Dressler, in: 2012 IEEE 75th Vehicular Technology Conference (VTC Spring), 2012.
LibreCat
| DOI
D. Eckhoff, C. Sommer, F. Dressler, in: 2012 IEEE 75th Vehicular Technology Conference (VTC Spring), 2012.
2012 | Conference Paper | LibreCat-ID: 12021
Comparing apples and oranges?
S. Joerer, F. Dressler, C. Sommer, in: Proceedings of the Ninth ACM International Workshop on Vehicular Inter-Networking, Systems, and Applications - VANET ’12, 2012.
LibreCat
| DOI
S. Joerer, F. Dressler, C. Sommer, in: Proceedings of the Ninth ACM International Workshop on Vehicular Inter-Networking, Systems, and Applications - VANET ’12, 2012.
2012 | Journal Article | LibreCat-ID: 12023
Toward reproducibility and comparability of IVC simulation studies: a literature survey
S. Joerer, C. Sommer, F. Dressler, IEEE Communications Magazine (2012) 82–88.
LibreCat
| DOI
S. Joerer, C. Sommer, F. Dressler, IEEE Communications Magazine (2012) 82–88.
2012 | Conference Paper | LibreCat-ID: 12037
Content downloading in vehicular networks: Bringing parked cars into the picture
F. Malandrino, C. Casetti, C.F. Chiasserini, C. Sommer, F. Dressler, in: 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC), 2012.
LibreCat
| DOI
F. Malandrino, C. Casetti, C.F. Chiasserini, C. Sommer, F. Dressler, in: 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC), 2012.
2012 | Conference Paper | LibreCat-ID: 15299
GPU-based cloud computing for comparing the structure of protein binding sites
M. Leinweber, L. Baumgärtner, M. Mernberger, T. Fober, E. Hüllermeier, G. Klebe, B. Freisleben, in: In Proceedings IEEE Conference on Digital Ecosystem Technologies-Complex Environment Engineering Campione D`Italia, Italy, 2012.
LibreCat
M. Leinweber, L. Baumgärtner, M. Mernberger, T. Fober, E. Hüllermeier, G. Klebe, B. Freisleben, in: In Proceedings IEEE Conference on Digital Ecosystem Technologies-Complex Environment Engineering Campione D`Italia, Italy, 2012.
2012 | Book Chapter | LibreCat-ID: 15396
Efficient learning of classifiers based on the 2-additive Choquet integral
E. Hüllermeier, A. Fallah Tehrani, in: C. Moewes, A. Nürnberger (Eds.), Computational Intelligence in Intelligent Data Analysis, Springer, 2012, pp. 17–30.
LibreCat
E. Hüllermeier, A. Fallah Tehrani, in: C. Moewes, A. Nürnberger (Eds.), Computational Intelligence in Intelligent Data Analysis, Springer, 2012, pp. 17–30.
2012 | Journal Article | LibreCat-ID: 15669
Koli Calling 2009 and 2010
C. Schulte, J. Suhonen, Computer Science Education 22 (2012) 79–80.
LibreCat
C. Schulte, J. Suhonen, Computer Science Education 22 (2012) 79–80.
2012 | Conference Paper | LibreCat-ID: 15670
Computer science at school/CS teacher education: Koli working-group report on CS at school
C. Schulte, M. Hornung, S. Sentance, V. Dagiene, T. Jevsikova, N. Thota, A. Eckerdal, A.-K. Peters, in: Koli Calling, ACM, 2012, pp. 29–38.
LibreCat
C. Schulte, M. Hornung, S. Sentance, V. Dagiene, T. Jevsikova, N. Thota, A. Eckerdal, A.-K. Peters, in: Koli Calling, ACM, 2012, pp. 29–38.
2012 | Conference Paper | LibreCat-ID: 15671
Uncovering structure behind function: the experiment as teaching method in computer science education
C. Schulte, in: WiPSCE, ACM, 2012, pp. 40–47.
LibreCat
C. Schulte, in: WiPSCE, ACM, 2012, pp. 40–47.
2012 | Conference Paper | LibreCat-ID: 15754
Learning conditional lexicographic preference trees
M. Bräuning, E. Hüllermeier, in: In Workshops on Preference Learning at ECAI, European Conference on Artiticial Intelligence, Montpellier, France, 2012.
LibreCat
M. Bräuning, E. Hüllermeier, in: In Workshops on Preference Learning at ECAI, European Conference on Artiticial Intelligence, Montpellier, France, 2012.
2012 | Conference Paper | LibreCat-ID: 14871
A Syllable-based Prosody Modeling for L1 and L2 English Speeches
W.-F. Chen, C.-K. Kuo, Y.-R. Wang, S.-H. Chen, in: Proceedings of the 8th International Symposium on Chinese Spoken Language Processing, IEEE, 2012, pp. 281–285.
LibreCat
W.-F. Chen, C.-K. Kuo, Y.-R. Wang, S.-H. Chen, in: Proceedings of the 8th International Symposium on Chinese Spoken Language Processing, IEEE, 2012, pp. 281–285.
2012 | Conference Paper | LibreCat-ID: 15095
Efficient String-Based XML Stream Prefiltering
S. Böttcher, R. Hartel, S. Weber, in: Proceedings of the Twenty-Third Australasian Database Conference, Australian Computer Society, Inc., 2012, pp. 145–152.
LibreCat
S. Böttcher, R. Hartel, S. Weber, in: Proceedings of the Twenty-Third Australasian Database Conference, Australian Computer Society, Inc., 2012, pp. 145–152.
2012 | Conference Paper | LibreCat-ID: 15096
Fast Insertion and Deletion in Compressed Texts
S. Böttcher, A. Bültmann, R. Hartel, J. Schlüßler, in: 2012 Data Compression Conference, IEEE, 2012, p. 393.
LibreCat
| DOI
S. Böttcher, A. Bültmann, R. Hartel, J. Schlüßler, in: 2012 Data Compression Conference, IEEE, 2012, p. 393.
2012 | Conference Paper | LibreCat-ID: 15114
On the VC dimension of the Choquet integral
E. Hüllermeier, A. Fallah Tehrani, in: In Proceedings IPMU-2012 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part 1, Catania, Italy, 2012.
LibreCat
E. Hüllermeier, A. Fallah Tehrani, in: In Proceedings IPMU-2012 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part 1, Catania, Italy, 2012.
2012 | Journal Article | LibreCat-ID: 16084
Learning monotone nonlinear models using the Choquet integral
A. Fallah Tehrani, W. Cheng, K. Dembczynski, E. Hüllermeier, Machine Learning 89 (2012) 183–211.
LibreCat
A. Fallah Tehrani, W. Cheng, K. Dembczynski, E. Hüllermeier, Machine Learning 89 (2012) 183–211.
2012 | Journal Article | LibreCat-ID: 16085
Grouping, overlap and generalized bientropic functions for fuzzy modeling of pairwise comparisons
H. Bustince, M. Pagola, R. Mesiar, E. Hüllermeier, F. Herrera, IEEE Transactions on Fuzzy Systems 20 (2012) 405–415.
LibreCat
H. Bustince, M. Pagola, R. Mesiar, E. Hüllermeier, F. Herrera, IEEE Transactions on Fuzzy Systems 20 (2012) 405–415.
2012 | Journal Article | LibreCat-ID: 16087
Preference-based reinforcement learning: A formal framework and a policy iteration algorithm
J. Fürnkranz, E. Hüllermeier, W. Cheng, S.H. Park, Machine Learning 89 (2012) 123–156.
LibreCat
J. Fürnkranz, E. Hüllermeier, W. Cheng, S.H. Park, Machine Learning 89 (2012) 123–156.
2012 | Journal Article | LibreCat-ID: 16088
On label dependence and loss minimization in multi-label classification
K. Dembczynski, W. Waegeman, W. Cheng, E. Hüllermeier, Machine Learning 88 (2012) 5–45.
LibreCat
K. Dembczynski, W. Waegeman, W. Cheng, E. Hüllermeier, Machine Learning 88 (2012) 5–45.
2012 | Journal Article | LibreCat-ID: 16089
IBL Streams: A system for instance-based classification and regression on data streams
A. Shaker, E. Hüllermeier, Evolving Systems 3 (2012) 235–249.
LibreCat
A. Shaker, E. Hüllermeier, Evolving Systems 3 (2012) 235–249.
2012 | Journal Article | LibreCat-ID: 16090
A formal and empirical analysis of the fuzzy gamma rank correlation coefficient
M. Dolorez Ruiz, E. Hüllermeier, Information Sciences 206 (2012) 1–17.
LibreCat
M. Dolorez Ruiz, E. Hüllermeier, Information Sciences 206 (2012) 1–17.