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
Küster J, Ryndina K, Gall H. Improving Inconsistency Resolution with Side-effect Evaluation and Costs. In: Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA). Vol 4735. Berlin/Heidelberg: Springer; 2007:136-150. doi:https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7969
Ryndina K, Küster J, Gall H. Generation of Business Process Models for Object Life Cycle Compliance. In: Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia). Vol 4714/2007. LNCS. Berlin/Heidelberg: Springer; 2007:165-181. doi:http://dx.doi.org/10.1007/978-3-540-75183-0
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7970
Arens S, Buss A, Deck H, et al. Smart Teams: Simulating Large Robotic Swarms in Vast Environments. In: Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment. Buenos Aires, Argentina: Heinz Nixdorf Institut, University of Paderborn; 2007:215-222.
LibreCat
| Download (ext.)
2007 | Conference Paper | LibreCat-ID: 7971
Zimmermann O, Gschwind T, Küster J, Leymann F, Schuster N. Reusable Architectural Decision Models for Enterprise Application Development. In: Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA). Berlin/Heidelberg: Springer; 2007:15-32. doi:http://dx.doi.org/10.1007/978-3-540-77619-2_2
LibreCat
| DOI
2007 | Report | LibreCat-ID: 8216
Gehrke M, Güldali B, Kindler E. “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität. University of Paderborn, s-lab; 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 7374
Heckel R, Cherchago A. Structural and Behavioural Compatibility of Graphical Service Specifications. Logic and Algebraic Programming. 2007;70(1):15-33.
LibreCat
2007 | Journal Article | LibreCat-ID: 7375
Bals J-C, Christ F, Engels G, Sauer S. Software-Qualität - überall! - Excel-lente Software. Forschungsforum Paderborn. 2007;10:56-60.
LibreCat
2007 | Book Chapter | LibreCat-ID: 7551
Lohmann M, Mariani L, Heckel R. A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. In: Baresi, E. Di Nitto L, ed. Test and Analysis of Web Services. Berlin/Heidelberg: Springer; 2007:173-204.
LibreCat
2007 | Dissertation | LibreCat-ID: 7579
Guo P. Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems.; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 8413
Anastasakis K, Bordbar B, Küster J. Analysis of Model Transformations via Alloy. In: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA). Vol 5002. LNCS. Berlin/Heidelberg: Springer; 2007:47-56.
LibreCat
2007 | Conference Paper | LibreCat-ID: 8414
Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006). Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:182-192. doi:http://dx.doi.org/10.1007/978-3-540-69489-2_23
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8415
Soltenborn C, Engels G. Analysis of UML Activities with Dynamic Meta Modeling Techniques. In: Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy). Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:329-330. doi:http://dx.doi.org/10.1007/978-3-540-69489-2_42
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8416
Ryndina K, Küster J, Gall H. Consistency of Business Process Models and Object Life Cycles. In: Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy)). Vol 4364/2007. LNCS. Berlin/Heidelberg: Springer; 2007:80-90. doi:http://dx.doi.org/10.1007/978-3-540-69489-2
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8417
Schattkowsky T, Förster A. On the Pitfalls of UML Activity Modeling. In: Proceedings of the ICSE Workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA). Los Alamitos, CA, USA: IEEE Computer Society; 2007:8. doi:http://dx.doi.org/10.1109/MISE.2007.12
LibreCat
| DOI
2006 | Conference (Editor) | LibreCat-ID: 7780
Pleuß A, Van den Bergh J, Hußmann H, Sauer S, Bödcher A, eds. Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2006 Conference. Vol 214. CEUR-WS.org; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 7947
Loeser C, Schomaker G, Schubert M, Schattkowsky T. Fairness Considerations in Replication and Placement Strategies for large Documents in heterogeneous Content Delivery Networks. In: Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius). Washington, DC, USA: IEEE Computer Society; 2006:105. doi:http://dx.doi.org/10.1109/ICNICONSMCL.2006.96
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7948
Schattkowsky T, Förster A, Loeser C. Secure Storage for Physically Exposed Web- and Application Servers. In: Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius). Washington, DC, USA: IEEE Computer Society; 2006:86.
LibreCat
2006 | Conference Paper | LibreCat-ID: 7949
Schattkowsky T, Hendrik Hausmann J, Engels G. Using UML Activities for System-on-Chip Design and Synthesis. In: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy). Vol 4199/2006. LNCS. Berlin/Heidelberg: Springer; 2006:737-752. doi:dx.doi.org/10.1007/11880240_51
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7950
Pleuß A, Van den Bergh J, Sauer S, Hußmann H. Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI). In: Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica). Vol 3844. LNCS. Berlin/Heidelberg: Springer; 2006:182-190. doi:dx.doi.org/10.1007/11663430_19
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7951
Ehrig K, Taentzer G, Küster J, Winkelmann J. Generating Instance Models from Meta Models. In: Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy). Vol 4037/2006. LNCS. Berlin/Heidelberg: Springer; 2006:156-170. doi:dx.doi.org/10.1007/11768869_13
LibreCat
| DOI