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.
907 Publications
2007 | Report | LibreCat-ID: 8216
Gehrke, Matthias, Baris Güldali, and Ekkart Kindler. “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität. University of Paderborn, s-lab, 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 7374
Heckel, Reiko, and Alexey Cherchago. “Structural and Behavioural Compatibility of Graphical Service Specifications.” Logic and Algebraic Programming 70, no. 1 (2007): 15–33.
LibreCat
2007 | Journal Article | LibreCat-ID: 7375
Bals, Jan-Christopher, Fabian Christ, Gregor Engels, and Stefan Sauer. “Software-Qualität - Überall! - Excel-Lente Software.” Forschungsforum Paderborn 10 (2007): 56–60.
LibreCat
2007 | Book Chapter | LibreCat-ID: 7551
Lohmann, Marc, Leonardo Mariani, and Reiko Heckel. “A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.” In Test and Analysis of Web Services, edited by L. Baresi, E. Di Nitto, 173–204. Berlin/Heidelberg: Springer, 2007.
LibreCat
2007 | Dissertation | LibreCat-ID: 7579
Guo, Ping. Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 8413
Anastasakis, Kyriakos, Behzad Bordbar, and Jochen Küster. “Analysis of Model Transformations via Alloy.” In Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA), 5002:47–56. LNCS. Berlin/Heidelberg: Springer, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 8414
Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven Unit Testing.” In Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006), 4364:182–92. LNCS. Berlin/Heidelberg: Springer, 2007. http://dx.doi.org/10.1007/978-3-540-69489-2_23.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8415
Soltenborn, Christian, and Gregor Engels. “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), 4364:329–30. LNCS. Berlin/Heidelberg: Springer, 2007. http://dx.doi.org/10.1007/978-3-540-69489-2_42.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8416
Ryndina, Ksenia, Jochen Küster, and Harald Gall. “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)), 4364/2007:80–90. LNCS. Berlin/Heidelberg: Springer, 2007. http://dx.doi.org/10.1007/978-3-540-69489-2.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8417
Schattkowsky, Tim, and Alexander Förster. “On the Pitfalls of UML Activity Modeling.” In Proceedings of the ICSE Workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA), 8. Los Alamitos, CA, USA: IEEE Computer Society, 2007. http://dx.doi.org/10.1109/MISE.2007.12.
LibreCat
| DOI
2006 | Conference (Editor) | LibreCat-ID: 7780
Pleuß, Andreas, Jan Van den Bergh, Heinrich Hußmann, Stefan Sauer, and Alexander Bödcher, eds. Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2006 Conference. Vol. 214. CEUR Workshop Proceedings. CEUR-WS.org, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 7947
Loeser, Christoph, Gunnar Schomaker, Matthias Schubert, and Tim Schattkowsky. “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), 105. Washington, DC, USA: IEEE Computer Society, 2006. http://dx.doi.org/10.1109/ICNICONSMCL.2006.96.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7948
Schattkowsky, Tim, Alexander Förster, and Christoph Loeser. “Secure Storage for Physically Exposed Web- and Application Servers.” In Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius), 86. Washington, DC, USA: IEEE Computer Society, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 7949
Schattkowsky, Tim, Jan Hendrik Hausmann, and Gregor Engels. “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), 4199/2006:737–52. LNCS. Berlin/Heidelberg: Springer, 2006. https://doi.org/dx.doi.org/10.1007/11880240_51.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7950
Pleuß, Andreas, Jan Van den Bergh, Stefan Sauer, and Heinrich Hußmann. “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), 3844:182–90. LNCS. Berlin/Heidelberg: Springer, 2006. https://doi.org/dx.doi.org/10.1007/11663430_19.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7951
Ehrig, Karsten, Gabriele Taentzer, Jochen Küster, and Jessica Winkelmann. “Generating Instance Models from Meta Models.” In Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy), 4037/2006:156–70. LNCS. Berlin/Heidelberg: Springer, 2006. https://doi.org/dx.doi.org/10.1007/11768869_13.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7952
Hauser, Rainer, Michael Friess, Jochen Küster, and Jussi Vanhatalo. “Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows.” In Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 129–40. Washington, DC, USA: IEEE Computer Society, 2006. http://dx.doi.org/10.1109/EDOC.2006.21.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7953
Engels, Gregor, Jan Hendrik Hausmann, Marc Lohmann, and Stefan Sauer. “Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.” In Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica), 3844 / 2006:306–19. LNCS. Berlin/Heidelberg: Springer, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 7954
Engels, Gregor, Marc Lohmann, Stefan Sauer, and Reiko Heckel. “Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.” In Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil), 4178:336–50. LNCS. Berlin/Heidelberg: Springer, 2006. http://dx.doi.org/10.1007/11841883.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7955
Förster, Alexander, Tim Schattkowsky, Gregor Engels, and Ragnhild Van Der Straeten. “A Pattern-Driven Development Process for Quality Standard-Conforming Business Process Models.” In IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK), 135–42. Washington, DC, USA: IEEE Computer Society, 2006.
LibreCat