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.
921 Publications
2007 | Conference Paper | LibreCat-ID: 7968
@inproceedings{Küster_Ryndina_Gall_2007, place={Berlin/Heidelberg}, title={Improving Inconsistency Resolution with Side-effect Evaluation and Costs}, volume={4735}, DOI={https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10}, booktitle={Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)}, publisher={Springer}, author={Küster, Jochen and Ryndina, Ksenia and Gall, Harald}, year={2007}, pages={136–150} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7969
@inproceedings{Ryndina_Küster_Gall_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Generation of Business Process Models for Object Life Cycle Compliance}, volume={4714/2007}, DOI={http://dx.doi.org/10.1007/978-3-540-75183-0}, booktitle={Proceedings of the BPM Demonstration Program (satellite event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)}, publisher={Springer}, author={Ryndina, Ksenia and Küster, Jochen and Gall, Harald}, year={2007}, pages={165–181}, collection={LNCS} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7970
@inproceedings{Arens_Buss_Deck_Dynia_Fischer_Hagedorn_Isaak_Kutylowski_Meyer auf der Heide_Nesterow_et al._2007, place={Buenos Aires, Argentina}, title={Smart Teams: Simulating Large Robotic Swarms in Vast Environments}, booktitle={Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment}, publisher={Heinz Nixdorf Institut, University of Paderborn}, author={Arens, Stephan and Buss, Alexander and Deck, Helena and Dynia, Miroslaw and Fischer, Matthias and Hagedorn, Holger and Isaak, Peter and Kutylowski, Jaroslaw and Meyer auf der Heide, Friedhelm and Nesterow, Viktor and et al.}, year={2007}, pages={215–222} }
LibreCat
| Download (ext.)
2007 | Conference Paper | LibreCat-ID: 7971
@inproceedings{Zimmermann_Gschwind_Küster_Leymann_Schuster_2007, place={Berlin/Heidelberg}, title={Reusable Architectural Decision Models for Enterprise Application Development}, DOI={http://dx.doi.org/10.1007/978-3-540-77619-2_2}, booktitle={Proceedings the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)}, publisher={Springer}, author={Zimmermann, Olaf and Gschwind, Thomas and Küster, Jochen and Leymann, Frank and Schuster, Nelly}, year={2007}, pages={15–32} }
LibreCat
| DOI
2007 | Report | LibreCat-ID: 8216
@book{Gehrke_Güldali_Kindler_2007, title={“Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität}, publisher={University of Paderborn, s-lab}, author={Gehrke, Matthias and Güldali, Baris and Kindler, Ekkart}, year={2007} }
LibreCat
2007 | Journal Article | LibreCat-ID: 7374
@article{Heckel_Cherchago_2007, title={Structural and Behavioural Compatibility of Graphical Service Specifications}, volume={70}, number={1}, journal={Logic and Algebraic Programming}, author={Heckel, Reiko and Cherchago, Alexey}, year={2007}, pages={15–33} }
LibreCat
2007 | Journal Article | LibreCat-ID: 7375
@article{Bals_Christ_Engels_Sauer_2007, title={Software-Qualität - überall! - Excel-lente Software}, volume={10}, journal={Forschungsforum Paderborn}, author={Bals, Jan-Christopher and Christ, Fabian and Engels, Gregor and Sauer, Stefan}, year={2007}, pages={56–60} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 7551
@inbook{Lohmann_Mariani_Heckel_2007, place={Berlin/Heidelberg}, title={A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services}, booktitle={Test and Analysis of Web Services}, publisher={Springer}, author={Lohmann, Marc and Mariani, Leonardo and Heckel, Reiko}, editor={Baresi, E. Di Nitto, L.Editor}, year={2007}, pages={173–204} }
LibreCat
2007 | Dissertation | LibreCat-ID: 7579
@book{Guo_2007, title={Architectural Style-based Modeling and Simulation of Middleware for Mobile Systems}, author={Guo, Ping}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 8413
@inproceedings{Anastasakis_Bordbar_Küster_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Analysis of Model Transformations via Alloy}, volume={5002}, booktitle={Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)}, publisher={Springer}, author={Anastasakis, Kyriakos and Bordbar, Behzad and Küster, Jochen}, year={2007}, pages={47–56}, collection={LNCS} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 8414
@inproceedings{Engels_Güldali_Lohmann_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Model-Driven Unit Testing}, volume={4364}, DOI={http://dx.doi.org/10.1007/978-3-540-69489-2_23}, booktitle={Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)}, publisher={Springer}, author={Engels, Gregor and Güldali, Baris and Lohmann, Marc}, year={2007}, pages={182–192}, collection={LNCS} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8415
@inproceedings{Soltenborn_Engels_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Analysis of UML Activities with Dynamic Meta Modeling Techniques}, volume={4364}, DOI={http://dx.doi.org/10.1007/978-3-540-69489-2_42}, booktitle={Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy)}, publisher={Springer}, author={Soltenborn, Christian and Engels, Gregor}, year={2007}, pages={329–330}, collection={LNCS} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8416
@inproceedings{Ryndina_Küster_Gall_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Consistency of Business Process Models and Object Life Cycles}, volume={4364/2007}, DOI={http://dx.doi.org/10.1007/978-3-540-69489-2}, booktitle={Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy))}, publisher={Springer}, author={Ryndina, Ksenia and Küster, Jochen and Gall, Harald}, year={2007}, pages={80–90}, collection={LNCS} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8417
@inproceedings{Schattkowsky_Förster_2007, place={Los Alamitos, CA, USA}, title={On the Pitfalls of UML Activity Modeling}, DOI={http://dx.doi.org/10.1109/MISE.2007.12}, booktitle={Proceedings of the ICSE workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Förster, Alexander}, year={2007}, pages={8} }
LibreCat
| DOI
2006 | Conference (Editor) | LibreCat-ID: 7780
@book{Pleuß_Van den Bergh_Hußmann_Sauer_Bödcher_2006, series={CEUR Workshop Proceedings}, title={Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2006 conference}, volume={214}, publisher={CEUR-WS.org}, year={2006}, collection={CEUR Workshop Proceedings} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 7947
@inproceedings{Loeser_Schomaker_Schubert_Schattkowsky_2006, place={Washington, DC, USA}, title={Fairness Considerations in Replication and Placement Strategies for large Documents in heterogeneous Content Delivery Networks}, DOI={http://dx.doi.org/10.1109/ICNICONSMCL.2006.96}, booktitle={Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)}, publisher={IEEE Computer Society}, author={Loeser, Christoph and Schomaker, Gunnar and Schubert, Matthias and Schattkowsky, Tim}, year={2006}, pages={105} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7948
@inproceedings{Schattkowsky_Förster_Loeser_2006, place={Washington, DC, USA}, title={Secure Storage for Physically Exposed Web- and Application Servers}, booktitle={Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Förster, Alexander and Loeser, Christoph}, year={2006}, pages={86} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 7949
@inproceedings{Schattkowsky_Hendrik Hausmann_Engels_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Using UML Activities for System-on-Chip Design and Synthesis}, volume={4199/2006}, DOI={dx.doi.org/10.1007/11880240_51}, booktitle={Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)}, publisher={Springer}, author={Schattkowsky, Tim and Hendrik Hausmann, Jan and Engels, Gregor}, year={2006}, pages={737–752}, collection={LNCS} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7950
@inproceedings{Pleuß_Van den Bergh_Sauer_Hußmann_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)}, volume={3844}, DOI={dx.doi.org/10.1007/11663430_19}, booktitle={Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)}, publisher={Springer}, author={Pleuß, Andreas and Van den Bergh, Jan and Sauer, Stefan and Hußmann, Heinrich}, year={2006}, pages={182–190}, collection={LNCS} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7951
@inproceedings{Ehrig_Taentzer_Küster_Winkelmann_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Generating Instance Models from Meta Models}, volume={4037/2006}, DOI={dx.doi.org/10.1007/11768869_13}, booktitle={Proceedings of the conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)}, publisher={Springer}, author={Ehrig, Karsten and Taentzer, Gabriele and Küster, Jochen and Winkelmann, Jessica}, year={2006}, pages={156–170}, collection={LNCS} }
LibreCat
| DOI