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
@inbook{Mlynarski_Güldali_Weißleder_Engels_2012, series={Advances in Computers}, title={Model-Based Testing: Achievements and Future Challenges}, volume={86}, DOI={http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6}, booktitle={Advances in Computers}, publisher={Elsevier}, author={Mlynarski, Michael and Güldali, Baris and Weißleder, Stephan and Engels, Gregor}, editor={ Hurson, Ali and Memon, AtifEditors}, year={2012}, pages={1–39}, collection={Advances in Computers} }
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 7572
@book{Christ_2012, title={Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen}, publisher={Universität Paderborn}, author={Christ, Fabian}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8473
@inproceedings{Gerth_Luckey_2012, series={Softwaretechnik-Trends}, title={Towards Rich Change Management for Business Process Models}, volume={32}, number={4}, booktitle={Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12)}, publisher={FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)}, author={Gerth, Christian and Luckey, Markus }, year={2012}, pages={32–34}, collection={Softwaretechnik-Trends} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8475
@inproceedings{Huma _Gerth _Engels_Juwig_2012, series={CEUR Workshop Proceedings}, title={A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners}, volume={855}, DOI={http://ceur-ws.org/Vol-855/paper11.pdf}, booktitle={Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering}, publisher={CEUR-WS.org}, author={Huma , Zille and Gerth , Christian and Engels, Gregor and Juwig, Oliver }, year={2012}, pages={90--97}, collection={CEUR Workshop Proceedings} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 8476
@inproceedings{Luckey _Mutz_2012, title={Modeling with Adapt Cases}, booktitle={Repository for Model-Driven Development (ReMoDD)}, author={Luckey , Markus and Mutz, Felix }, editor={University of PaderbornEditor}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8477
@inproceedings{Geisen _Luckey _Engels_2012, title={Ein Ansatz zur dynamischen Qualitätsmessung, -bewertung und Anpassung von Software Engineering Methoden}, booktitle={Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle}, publisher={Shaker Verlag}, author={Geisen , Silke and Luckey , Markus and Engels, Gregor}, year={2012}, pages={111–120} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8478
@inproceedings{Arifulina_2012, series={CEUR Workshop Proceedings}, title={Towards a Framework for the Integration of Modeling Languages}, volume={935}, booktitle={Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))}, publisher={CEUR-WS.org}, author={Arifulina, Svetlana }, year={2012}, pages={23–26}, collection={CEUR Workshop Proceedings} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8479
@inproceedings{Güldali _Sauer_Löhr_2012, title={Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme}, volume={32}, number={2}, booktitle={Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012)}, publisher={Softwaretechnik-Trends}, author={Güldali , Baris and Sauer, Stefan and Löhr, Perdita }, year={2012}, pages={5–6} }
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 8480
@inproceedings{Mussbacher _Alam _Alhaj _Ali _Amálio _Barn _Bræk _Clark _Combemale _Cysneiros _et al._2012, place={New York, NY, USA}, series={CMA’12}, title={Assessing composition in modeling approaches}, DOI={https://dl.acm.org/citation.cfm?id=2459032}, booktitle={Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)}, publisher={ACM}, author={Mussbacher , Gunter and Alam , Omar and Alhaj , Mohammed and Ali , Shaukat and Amálio , Nuno and Barn , Balbir and Bræk , Rolv and Clark , Tony and Combemale , Benoit and Cysneiros , Luiz Marcio and et al.}, year={2012}, collection={CMA’12} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 8483
@inproceedings{Luckey _Thanos _Gerth_Engels_2012, title={Multi-Staged Quality Assurance for Self-Adaptive Systems}, booktitle={Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12}, author={Luckey , Markus and Thanos , Christian and Gerth, Christian and Engels, Gregor}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8484
@inproceedings{Geisen_2012, title={Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt}, volume={Report 01/12}, booktitle={Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium}, publisher={Petra Hofstedt, Claus Lewerentz (BTU Cottbus)}, author={Geisen, Silke }, year={2012}, pages={7–12} }
LibreCat
2012 | Journal Article | LibreCat-ID: 5183
@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State Runtime Monitors Ahead of Time}, volume={34}, DOI={10.1145/2220365.2220366}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren, Laurie}, year={2012}, pages={1–52} }
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 565
@inproceedings{Besova_Walther_Wehrheim_Becker_2012, series={LNCS}, title={Weaving-based configuration and modular transformation of multi-layer systems}, DOI={10.1007/978-3-642-33666-9_49}, booktitle={Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS)}, author={Besova, Galina and Walther, Sven and Wehrheim, Heike and Becker, Steffen}, year={2012}, pages={776–792}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 6720
@inproceedings{Böttcher_Hartel_Heindorf_2012, series={{CRPIT}}, title={Optimized XPath evaluation for Schema-compressed XML data}, volume={124}, booktitle={ADC}, publisher={Australian Computer Society}, author={Böttcher, Stefan and Hartel, Rita and Heindorf, Stefan}, year={2012}, pages={137–144}, collection={{CRPIT}} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6742
@inproceedings{Böttcher_Bokermann_Hartel_2012, title={Generalizing and Improving SQL/XML Query Evaluation}, DOI={10.1109/sitis.2012.72}, booktitle={8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12)}, publisher={IEEE}, author={Böttcher, Stefan and Bokermann, Dennis and Hartel, Rita}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16445
@inbook{Kempkes_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, title={Continuous Local Strategies for Robotic Formation Problems}, DOI={10.1007/978-3-642-30850-5_2}, booktitle={Experimental Algorithms}, author={Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16446
@inproceedings{Kempkes_Kling_Meyer auf der Heide_2012, title={Optimal and competitive runtime bounds for continuous, local gathering of mobile robots}, DOI={10.1145/2312005.2312009}, booktitle={Proceedinbgs of the 24th ACM symposium on Parallelism in algorithms and architectures - SPAA ’12}, author={Kempkes, Barbara and Kling, Peter and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16448
@inbook{Kempkes_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, title={Local, Self-organizing Strategies for Robotic Formation Problems}, DOI={10.1007/978-3-642-28209-6_2}, booktitle={Algorithms for Sensor Systems}, author={Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16929
@inproceedings{Domik_2012, place={Los Angeles}, series={Curated exhibit at Siggraph 2012}, title={Faculty Submitted Student Work at Siggraph 2012}, booktitle={Curated exhibit at Siggraph}, author={Domik, Gitta}, year={2012}, collection={Curated exhibit at Siggraph 2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 10636
@inproceedings{Boschmann_Platzner_2012, title={Reducing classification accuracy degradation of pattern recognition based myoelectric control caused by electrode shift using a high density electrode array}, booktitle={Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC)}, author={Boschmann, Alexander and Platzner, Marco}, year={2012} }
LibreCat