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
@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
2006 | Conference Paper | LibreCat-ID: 7952
@inproceedings{Hauser_Friess_Küster_Vanhatalo_2006, place={Washington, DC, USA}, title={Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows}, DOI={http://dx.doi.org/10.1109/EDOC.2006.21}, booktitle={Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)}, publisher={IEEE Computer Society}, author={Hauser, Rainer and Friess, Michael and Küster, Jochen and Vanhatalo, Jussi}, year={2006}, pages={129–140} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7953
@inproceedings{Engels_Hendrik Hausmann_Lohmann_Sauer_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Teaching UML Is Teaching Software Engineering Is Teaching Abstraction}, volume={3844 / 2006}, booktitle={Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)}, publisher={Springer}, author={Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Sauer, Stefan}, year={2006}, pages={306–319}, collection={LNCS} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 7954
@inproceedings{Engels_Lohmann_Sauer_Heckel_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract}, volume={4178}, DOI={http://dx.doi.org/10.1007/11841883}, booktitle={Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)}, publisher={Springer}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan and Heckel, Reiko}, year={2006}, pages={336–350}, collection={LNCS} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7955
@inproceedings{Förster_Schattkowsky_Engels_Van Der Straeten_2006, place={Washington, DC, USA}, title={A Pattern-driven Development Process for Quality Standard-conforming Business Process Models}, booktitle={IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)}, publisher={IEEE Computer Society}, author={Förster, Alexander and Schattkowsky, Tim and Engels, Gregor and Van Der Straeten, Ragnhild}, year={2006}, pages={135–142} }
LibreCat