[{"citation":{"short":"M. Mlynarski, T. Nelkner, W. Reinhardt, in: Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn, 2007, pp. 99–102.","chicago":"Mlynarski, Michael, Tobias Nelkner, and Wolfgang Reinhardt. “Vom Informations- Zum Wissensmanagement: Der Knowledge Bus Als Flexibler Lösungsansatz.” In <i>Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn</i>, 99–102, 2007.","apa":"Mlynarski, M., Nelkner, T., &#38; Reinhardt, W. (2007). Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz. In <i>Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn</i> (pp. 99–102).","ieee":"M. Mlynarski, T. Nelkner, and W. Reinhardt, “Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz,” in <i>Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn</i>, 2007, pp. 99–102.","ama":"Mlynarski M, Nelkner T, Reinhardt W. Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz. In: <i>Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn</i>. ; 2007:99-102.","bibtex":"@inproceedings{Mlynarski_Nelkner_Reinhardt_2007, title={Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz}, booktitle={Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn}, author={Mlynarski, Michael and Nelkner, Tobias and Reinhardt, Wolfgang}, year={2007}, pages={99–102} }","mla":"Mlynarski, Michael, et al. “Vom Informations- Zum Wissensmanagement: Der Knowledge Bus Als Flexibler Lösungsansatz.” <i>Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn</i>, 2007, pp. 99–102."},"publication":"Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn","department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T11:56:35Z","date_updated":"2022-01-06T07:03:48Z","author":[{"full_name":"Mlynarski, Michael","last_name":"Mlynarski","first_name":"Michael"},{"full_name":"Nelkner, Tobias","first_name":"Tobias","last_name":"Nelkner"},{"first_name":"Wolfgang","last_name":"Reinhardt","full_name":"Reinhardt, Wolfgang"}],"year":"2007","status":"public","title":"Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz","user_id":"52534","language":[{"iso":"eng"}],"_id":"7967","page":"99-102"},{"department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T11:56:36Z","place":"Berlin/Heidelberg","citation":{"ieee":"J. Küster, K. Ryndina, and H. Gall, “Improving Inconsistency Resolution with Side-effect Evaluation and Costs,” in <i>Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)</i>, 2007, vol. 4735, pp. 136–150.","apa":"Küster, J., Ryndina, K., &#38; Gall, H. (2007). Improving Inconsistency Resolution with Side-effect Evaluation and Costs. In <i>Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)</i> (Vol. 4735, pp. 136–150). Berlin/Heidelberg: Springer. <a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>","chicago":"Küster, Jochen, Ksenia Ryndina, and Harald Gall. “Improving Inconsistency Resolution with Side-Effect Evaluation and Costs.” In <i>Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)</i>, 4735:136–50. Berlin/Heidelberg: Springer, 2007. <a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>.","short":"J. Küster, K. Ryndina, H. Gall, in: Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 136–150.","mla":"Küster, Jochen, et al. “Improving Inconsistency Resolution with Side-Effect Evaluation and Costs.” <i>Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)</i>, vol. 4735, Springer, 2007, pp. 136–50, doi:<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>.","bibtex":"@inproceedings{Küster_Ryndina_Gall_2007, place={Berlin/Heidelberg}, title={Improving Inconsistency Resolution with Side-effect Evaluation and Costs}, volume={4735}, DOI={<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>}, 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} }","ama":"Küster J, Ryndina K, Gall H. Improving Inconsistency Resolution with Side-effect Evaluation and Costs. In: <i>Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)</i>. Vol 4735. Berlin/Heidelberg: Springer; 2007:136-150. doi:<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>"},"publication":"Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)","volume":4735,"user_id":"52534","doi":"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10","_id":"7968","language":[{"iso":"eng"}],"publisher":"Springer","page":"136-150","intvolume":"      4735","date_updated":"2022-01-06T07:03:48Z","author":[{"full_name":"Küster, Jochen","first_name":"Jochen","last_name":"Küster"},{"full_name":"Ryndina, Ksenia","last_name":"Ryndina","first_name":"Ksenia"},{"full_name":"Gall, Harald","last_name":"Gall","first_name":"Harald"}],"title":"Improving Inconsistency Resolution with Side-effect Evaluation and Costs","status":"public","year":"2007"},{"date_updated":"2022-01-06T07:03:48Z","author":[{"first_name":"Ksenia","last_name":"Ryndina","full_name":"Ryndina, Ksenia"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"full_name":"Gall, Harald","first_name":"Harald","last_name":"Gall"}],"title":"Generation of Business Process Models for Object Life Cycle Compliance","year":"2007","status":"public","volume":"4714/2007","user_id":"52534","doi":"http://dx.doi.org/10.1007/978-3-540-75183-0","language":[{"iso":"eng"}],"_id":"7969","publisher":"Springer","series_title":"LNCS","page":"165-181","citation":{"mla":"Ryndina, Ksenia, et al. “Generation of Business Process Models for Object Life Cycle Compliance.” <i>Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)</i>, vol. 4714/2007, Springer, 2007, pp. 165–81, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-75183-0\">http://dx.doi.org/10.1007/978-3-540-75183-0</a>.","ama":"Ryndina K, Küster J, Gall H. Generation of Business Process Models for Object Life Cycle Compliance. In: <i>Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)</i>. Vol 4714/2007. LNCS. Berlin/Heidelberg: Springer; 2007:165-181. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-75183-0\">http://dx.doi.org/10.1007/978-3-540-75183-0</a>","bibtex":"@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={<a href=\"http://dx.doi.org/10.1007/978-3-540-75183-0\">http://dx.doi.org/10.1007/978-3-540-75183-0</a>}, 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} }","apa":"Ryndina, K., Küster, J., &#38; Gall, H. (2007). Generation of Business Process Models for Object Life Cycle Compliance. In <i>Proceedings of the BPM Demonstration Program (satellite event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)</i> (Vol. 4714/2007, pp. 165–181). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-75183-0\">http://dx.doi.org/10.1007/978-3-540-75183-0</a>","ieee":"K. Ryndina, J. Küster, and H. Gall, “Generation of Business Process Models for Object Life Cycle Compliance,” in <i>Proceedings of the BPM Demonstration Program (satellite event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)</i>, 2007, vol. 4714/2007, pp. 165–181.","short":"K. Ryndina, J. Küster, H. Gall, in: Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia), Springer, Berlin/Heidelberg, 2007, pp. 165–181.","chicago":"Ryndina, Ksenia, Jochen Küster, and Harald Gall. “Generation of Business Process Models for Object Life Cycle Compliance.” In <i>Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)</i>, 4714/2007:165–81. LNCS. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-75183-0\">http://dx.doi.org/10.1007/978-3-540-75183-0</a>."},"publication":"Proceedings of the BPM Demonstration Program (satellite event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T11:56:38Z","place":"Berlin/Heidelberg"},{"date_updated":"2022-01-06T07:03:48Z","author":[{"full_name":"Arens, Stephan","first_name":"Stephan","last_name":"Arens"},{"full_name":"Buss, Alexander","last_name":"Buss","first_name":"Alexander"},{"first_name":"Helena","last_name":"Deck","full_name":"Deck, Helena"},{"last_name":"Dynia","first_name":"Miroslaw","full_name":"Dynia, Miroslaw"},{"first_name":"Matthias","last_name":"Fischer","full_name":"Fischer, Matthias","id":"146"},{"last_name":"Hagedorn","first_name":"Holger","full_name":"Hagedorn, Holger"},{"first_name":"Peter","last_name":"Isaak","full_name":"Isaak, Peter"},{"last_name":"Kutylowski","first_name":"Jaroslaw","full_name":"Kutylowski, Jaroslaw"},{"last_name":"Meyer auf der Heide","first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm","id":"15523"},{"first_name":"Viktor","last_name":"Nesterow","full_name":"Nesterow, Viktor"},{"full_name":"Ogiermann, Adrian","last_name":"Ogiermann","first_name":"Adrian"},{"full_name":"Stobbe, Boris","first_name":"Boris","last_name":"Stobbe"},{"full_name":"Storm, Thomas","first_name":"Thomas","last_name":"Storm"},{"id":"3900","full_name":"Wachsmuth, Henning","first_name":"Henning","last_name":"Wachsmuth"}],"status":"public","title":"Smart Teams: Simulating Large Robotic Swarms in Vast Environments","year":"2007","user_id":"15415","language":[{"iso":"eng"}],"_id":"7970","publisher":"Heinz Nixdorf Institut, University of Paderborn","main_file_link":[{"url":"https://webis.de/downloads/publications/papers/arens_2007.pdf"}],"page":"215-222","abstract":[{"lang":"eng","text":"We consider the problem of exploring an unknown environment using a swarm of autonomous robots with collective behavior emerging from their local rules. Each robot has only a very restricted view on the environment which makes cooperation difficult. We introduce a software system which is capable of simulating a large number of such robots (e.g. 1000) on highly complex terrains with millions of obstacles. Its main purpose is to easily integrate and evaluate any kind of algorithm for controlling the robot behavior. The simulation may be observed in real-time via a visualization that displays both the individual and the collective progress of the robots. We present the system design, its main features and underlying concepts."}],"citation":{"bibtex":"@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} }","ama":"Arens S, Buss A, Deck H, et al. Smart Teams: Simulating Large Robotic Swarms in Vast Environments. In: <i>Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment</i>. Buenos Aires, Argentina: Heinz Nixdorf Institut, University of Paderborn; 2007:215-222.","mla":"Arens, Stephan, et al. “Smart Teams: Simulating Large Robotic Swarms in Vast Environments.” <i>Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment</i>, Heinz Nixdorf Institut, University of Paderborn, 2007, pp. 215–22.","chicago":"Arens, Stephan, Alexander Buss, Helena Deck, Miroslaw Dynia, Matthias Fischer, Holger Hagedorn, Peter Isaak, et al. “Smart Teams: Simulating Large Robotic Swarms in Vast Environments.” In <i>Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment</i>, 215–22. Buenos Aires, Argentina: Heinz Nixdorf Institut, University of Paderborn, 2007.","short":"S. Arens, A. Buss, H. Deck, M. Dynia, M. Fischer, H. Hagedorn, P. Isaak, J. Kutylowski, F. Meyer auf der Heide, V. Nesterow, A. Ogiermann, B. Stobbe, T. Storm, H. Wachsmuth, in: Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, Heinz Nixdorf Institut, University of Paderborn, Buenos Aires, Argentina, 2007, pp. 215–222.","ieee":"S. Arens <i>et al.</i>, “Smart Teams: Simulating Large Robotic Swarms in Vast Environments,” in <i>Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment</i>, 2007, pp. 215–222.","apa":"Arens, S., Buss, A., Deck, H., Dynia, M., Fischer, M., Hagedorn, H., … Wachsmuth, H. (2007). Smart Teams: Simulating Large Robotic Swarms in Vast Environments. In <i>Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment</i> (pp. 215–222). Buenos Aires, Argentina: Heinz Nixdorf Institut, University of Paderborn."},"publication":"Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment","department":[{"_id":"66"},{"_id":"600"},{"_id":"63"}],"type":"conference","date_created":"2019-02-21T11:56:39Z","place":"Buenos Aires, Argentina"},{"title":"Reusable Architectural Decision Models for Enterprise Application Development","year":"2007","status":"public","author":[{"first_name":"Olaf","last_name":"Zimmermann","full_name":"Zimmermann, Olaf"},{"full_name":"Gschwind, Thomas","last_name":"Gschwind","first_name":"Thomas"},{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"},{"last_name":"Leymann","first_name":"Frank","full_name":"Leymann, Frank"},{"first_name":"Nelly","last_name":"Schuster","full_name":"Schuster, Nelly"}],"date_updated":"2022-01-06T07:03:48Z","page":"15-32","_id":"7971","publisher":"Springer","language":[{"iso":"eng"}],"doi":"http://dx.doi.org/10.1007/978-3-540-77619-2_2","user_id":"52534","publication":"Proceedings the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)","citation":{"short":"O. Zimmermann, T. Gschwind, J. Küster, F. Leymann, N. Schuster, in: Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA), Springer, Berlin/Heidelberg, 2007, pp. 15–32.","chicago":"Zimmermann, Olaf, Thomas Gschwind, Jochen Küster, Frank Leymann, and Nelly Schuster. “Reusable Architectural Decision Models for Enterprise Application Development.” In <i>Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)</i>, 15–32. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-77619-2_2\">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>.","apa":"Zimmermann, O., Gschwind, T., Küster, J., Leymann, F., &#38; Schuster, N. (2007). Reusable Architectural Decision Models for Enterprise Application Development. In <i>Proceedings the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)</i> (pp. 15–32). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-77619-2_2\">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>","ieee":"O. Zimmermann, T. Gschwind, J. Küster, F. Leymann, and N. Schuster, “Reusable Architectural Decision Models for Enterprise Application Development,” in <i>Proceedings the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)</i>, 2007, pp. 15–32.","ama":"Zimmermann O, Gschwind T, Küster J, Leymann F, Schuster N. Reusable Architectural Decision Models for Enterprise Application Development. In: <i>Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)</i>. Berlin/Heidelberg: Springer; 2007:15-32. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-77619-2_2\">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>","bibtex":"@inproceedings{Zimmermann_Gschwind_Küster_Leymann_Schuster_2007, place={Berlin/Heidelberg}, title={Reusable Architectural Decision Models for Enterprise Application Development}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-77619-2_2\">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>}, 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} }","mla":"Zimmermann, Olaf, et al. “Reusable Architectural Decision Models for Enterprise Application Development.” <i>Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)</i>, Springer, 2007, pp. 15–32, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-77619-2_2\">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>."},"place":"Berlin/Heidelberg","date_created":"2019-02-21T11:56:40Z","type":"conference","department":[{"_id":"66"}]},{"title":"\"Modelchecking\" - Eine Methode zur Verbesserung der Softwarequalität","year":"2007","status":"public","author":[{"full_name":"Gehrke, Matthias","first_name":"Matthias","last_name":"Gehrke"},{"last_name":"Güldali","first_name":"Baris","full_name":"Güldali, Baris"},{"full_name":"Kindler, Ekkart","last_name":"Kindler","first_name":"Ekkart"}],"date_updated":"2022-01-06T07:03:52Z","publisher":"University of Paderborn, s-lab","_id":"8216","language":[{"iso":"eng"}],"user_id":"52534","citation":{"bibtex":"@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} }","ama":"Gehrke M, Güldali B, Kindler E. <i>“Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität</i>. University of Paderborn, s-lab; 2007.","mla":"Gehrke, Matthias, et al. <i>“Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität</i>. University of Paderborn, s-lab, 2007.","chicago":"Gehrke, Matthias, Baris Güldali, and Ekkart Kindler. <i>“Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität</i>. University of Paderborn, s-lab, 2007.","short":"M. Gehrke, B. Güldali, E. Kindler, “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität, University of Paderborn, s-lab, 2007.","ieee":"M. Gehrke, B. Güldali, and E. Kindler, <i>“Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität</i>. University of Paderborn, s-lab, 2007.","apa":"Gehrke, M., Güldali, B., &#38; Kindler, E. (2007). <i>“Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität</i>. University of Paderborn, s-lab."},"report_number":"2","date_created":"2019-03-03T16:13:15Z","type":"report","department":[{"_id":"66"}]},{"year":"2007","status":"public","title":"Investigation of multicast-based mobility support in all-IP cellular networks","author":[{"full_name":"Festag, Andreas","first_name":"Andreas","last_name":"Festag"},{"id":"126","full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl"},{"full_name":"Wolisz, Adam","last_name":"Wolisz","first_name":"Adam"}],"date_updated":"2022-01-06T07:03:53Z","page":"319--339","_id":"830","doi":"10.1002/wcm.328","user_id":"15572","publication":"Wireless Communications and Mobile Computing","issue":"3","citation":{"ieee":"A. Festag, H. Karl, and A. Wolisz, “Investigation of multicast-based mobility support in all-IP cellular networks,” <i>Wireless Communications and Mobile Computing</i>, no. 3, pp. 319--339, 2007.","apa":"Festag, A., Karl, H., &#38; Wolisz, A. (2007). Investigation of multicast-based mobility support in all-IP cellular networks. <i>Wireless Communications and Mobile Computing</i>, (3), 319--339. <a href=\"https://doi.org/10.1002/wcm.328\">https://doi.org/10.1002/wcm.328</a>","short":"A. Festag, H. Karl, A. Wolisz, Wireless Communications and Mobile Computing (2007) 319--339.","chicago":"Festag, Andreas, Holger Karl, and Adam Wolisz. “Investigation of Multicast-Based Mobility Support in All-IP Cellular Networks.” <i>Wireless Communications and Mobile Computing</i>, no. 3 (2007): 319--339. <a href=\"https://doi.org/10.1002/wcm.328\">https://doi.org/10.1002/wcm.328</a>.","mla":"Festag, Andreas, et al. “Investigation of Multicast-Based Mobility Support in All-IP Cellular Networks.” <i>Wireless Communications and Mobile Computing</i>, no. 3, 2007, pp. 319--339, doi:<a href=\"https://doi.org/10.1002/wcm.328\">10.1002/wcm.328</a>.","bibtex":"@article{Festag_Karl_Wolisz_2007, title={Investigation of multicast-based mobility support in all-IP cellular networks}, DOI={<a href=\"https://doi.org/10.1002/wcm.328\">10.1002/wcm.328</a>}, number={3}, journal={Wireless Communications and Mobile Computing}, author={Festag, Andreas and Karl, Holger and Wolisz, Adam}, year={2007}, pages={319--339} }","ama":"Festag A, Karl H, Wolisz A. Investigation of multicast-based mobility support in all-IP cellular networks. <i>Wireless Communications and Mobile Computing</i>. 2007;(3):319--339. doi:<a href=\"https://doi.org/10.1002/wcm.328\">10.1002/wcm.328</a>"},"date_created":"2017-11-27T10:22:27Z","type":"journal_article","department":[{"_id":"75"}]},{"user_id":"15572","doi":"10.1007/978-3-540-85379-4_49","_id":"831","page":"426--429","date_updated":"2022-01-06T07:03:53Z","author":[{"first_name":"Peter","last_name":"van der Stok","full_name":"van der Stok, Peter"},{"id":"126","full_name":"Karl, Holger","last_name":"Karl","first_name":"Holger"},{"full_name":"De Ambroggi, Fabio","last_name":"De Ambroggi","first_name":"Fabio"},{"full_name":"Decotignie, JeanDominique","last_name":"Decotignie","first_name":"JeanDominique"},{"first_name":"Frank","last_name":"Siegemund","full_name":"Siegemund, Frank"},{"full_name":"Lokhorst, Kees","first_name":"Kees","last_name":"Lokhorst"},{"full_name":"Hellenschmidt, Michael","first_name":"Michael","last_name":"Hellenschmidt"}],"status":"public","title":"WASP - Wirelessly Accessible Sensor Populations: A Project Overview","year":"2007","department":[{"_id":"75"}],"type":"conference","date_created":"2017-11-27T10:22:27Z","citation":{"ieee":"P. van der Stok <i>et al.</i>, “WASP - Wirelessly Accessible Sensor Populations: A Project Overview,” in <i>Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers</i>, 2007, pp. 426--429.","apa":"van der Stok, P., Karl, H., De Ambroggi, F., Decotignie, J., Siegemund, F., Lokhorst, K., &#38; Hellenschmidt, M. (2007). WASP - Wirelessly Accessible Sensor Populations: A Project Overview. In <i>Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers</i> (pp. 426--429). <a href=\"https://doi.org/10.1007/978-3-540-85379-4_49\">https://doi.org/10.1007/978-3-540-85379-4_49</a>","chicago":"Stok, Peter van der, Holger Karl, Fabio De Ambroggi, JeanDominique Decotignie, Frank Siegemund, Kees Lokhorst, and Michael Hellenschmidt. “WASP - Wirelessly Accessible Sensor Populations: A Project Overview.” In <i>Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers</i>, 426--429, 2007. <a href=\"https://doi.org/10.1007/978-3-540-85379-4_49\">https://doi.org/10.1007/978-3-540-85379-4_49</a>.","short":"P. van der Stok, H. Karl, F. De Ambroggi, J. Decotignie, F. Siegemund, K. Lokhorst, M. Hellenschmidt, in: Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers, 2007, pp. 426--429.","mla":"van der Stok, Peter, et al. “WASP - Wirelessly Accessible Sensor Populations: A Project Overview.” <i>Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers</i>, 2007, pp. 426--429, doi:<a href=\"https://doi.org/10.1007/978-3-540-85379-4_49\">10.1007/978-3-540-85379-4_49</a>.","bibtex":"@inproceedings{van der Stok_Karl_De Ambroggi_Decotignie_Siegemund_Lokhorst_Hellenschmidt_2007, title={WASP - Wirelessly Accessible Sensor Populations: A Project Overview}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-85379-4_49\">10.1007/978-3-540-85379-4_49</a>}, booktitle={Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers}, author={van der Stok, Peter and Karl, Holger and De Ambroggi, Fabio and Decotignie, JeanDominique and Siegemund, Frank and Lokhorst, Kees and Hellenschmidt, Michael}, year={2007}, pages={426--429} }","ama":"van der Stok P, Karl H, De Ambroggi F, et al. WASP - Wirelessly Accessible Sensor Populations: A Project Overview. In: <i>Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers</i>. ; 2007:426--429. doi:<a href=\"https://doi.org/10.1007/978-3-540-85379-4_49\">10.1007/978-3-540-85379-4_49</a>"},"publication":"Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers"},{"date_updated":"2022-01-06T07:03:53Z","author":[{"full_name":"H. Woldegebreal, Dereje","first_name":"Dereje","last_name":"H. Woldegebreal"},{"full_name":"Valentin, Stefan","last_name":"Valentin","first_name":"Stefan"},{"full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl","id":"126"}],"year":"2007","title":"Outage probability analysis of cooperative transmission protocols without and with network coding: inter-user channels based comparison","status":"public","doi":"10.1145/1298126.1298136","user_id":"15572","_id":"832","page":"36--44","citation":{"short":"D. H. Woldegebreal, S. Valentin, H. Karl, in: Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007, 2007, pp. 36--44.","chicago":"H. Woldegebreal, Dereje, Stefan Valentin, and Holger Karl. “Outage Probability Analysis of Cooperative Transmission Protocols without and with Network Coding: Inter-User Channels Based Comparison.” In <i>Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007</i>, 36--44, 2007. <a href=\"https://doi.org/10.1145/1298126.1298136\">https://doi.org/10.1145/1298126.1298136</a>.","ieee":"D. H. Woldegebreal, S. Valentin, and H. Karl, “Outage probability analysis of cooperative transmission protocols without and with network coding: inter-user channels based comparison,” in <i>Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007</i>, 2007, pp. 36--44.","apa":"H. Woldegebreal, D., Valentin, S., &#38; Karl, H. (2007). Outage probability analysis of cooperative transmission protocols without and with network coding: inter-user channels based comparison. In <i>Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007</i> (pp. 36--44). <a href=\"https://doi.org/10.1145/1298126.1298136\">https://doi.org/10.1145/1298126.1298136</a>","bibtex":"@inproceedings{H. Woldegebreal_Valentin_Karl_2007, title={Outage probability analysis of cooperative transmission protocols without and with network coding: inter-user channels based comparison}, DOI={<a href=\"https://doi.org/10.1145/1298126.1298136\">10.1145/1298126.1298136</a>}, booktitle={Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007}, author={H. Woldegebreal, Dereje and Valentin, Stefan and Karl, Holger}, year={2007}, pages={36--44} }","ama":"H. Woldegebreal D, Valentin S, Karl H. Outage probability analysis of cooperative transmission protocols without and with network coding: inter-user channels based comparison. In: <i>Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007</i>. ; 2007:36--44. doi:<a href=\"https://doi.org/10.1145/1298126.1298136\">10.1145/1298126.1298136</a>","mla":"H. Woldegebreal, Dereje, et al. “Outage Probability Analysis of Cooperative Transmission Protocols without and with Network Coding: Inter-User Channels Based Comparison.” <i>Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007</i>, 2007, pp. 36--44, doi:<a href=\"https://doi.org/10.1145/1298126.1298136\">10.1145/1298126.1298136</a>."},"publication":"Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007","department":[{"_id":"75"}],"type":"conference","date_created":"2017-11-27T10:22:27Z"},{"date_updated":"2022-01-06T07:03:53Z","author":[{"full_name":"Valentin, Stefan","first_name":"Stefan","last_name":"Valentin"},{"full_name":"von Malm, Holger","first_name":"Holger","last_name":"von Malm"},{"id":"126","first_name":"Holger","last_name":"Karl","full_name":"Karl, Holger"}],"status":"public","year":"2007","title":"Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks","doi":"10.1109/PIMRC.2007.4394223","user_id":"15572","_id":"833","page":"1--6","citation":{"mla":"Valentin, Stefan, et al. “Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks.” <i>Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece</i>, 2007, pp. 1--6, doi:<a href=\"https://doi.org/10.1109/PIMRC.2007.4394223\">10.1109/PIMRC.2007.4394223</a>.","ama":"Valentin S, von Malm H, Karl H. Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks. In: <i>Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece</i>. ; 2007:1--6. doi:<a href=\"https://doi.org/10.1109/PIMRC.2007.4394223\">10.1109/PIMRC.2007.4394223</a>","bibtex":"@inproceedings{Valentin_von Malm_Karl_2007, title={Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks}, DOI={<a href=\"https://doi.org/10.1109/PIMRC.2007.4394223\">10.1109/PIMRC.2007.4394223</a>}, booktitle={Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece}, author={Valentin, Stefan and von Malm, Holger and Karl, Holger}, year={2007}, pages={1--6} }","apa":"Valentin, S., von Malm, H., &#38; Karl, H. (2007). Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks. In <i>Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece</i> (pp. 1--6). <a href=\"https://doi.org/10.1109/PIMRC.2007.4394223\">https://doi.org/10.1109/PIMRC.2007.4394223</a>","ieee":"S. Valentin, H. von Malm, and H. Karl, “Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks,” in <i>Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece</i>, 2007, pp. 1--6.","chicago":"Valentin, Stefan, Holger von Malm, and Holger Karl. “Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks.” In <i>Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece</i>, 1--6, 2007. <a href=\"https://doi.org/10.1109/PIMRC.2007.4394223\">https://doi.org/10.1109/PIMRC.2007.4394223</a>.","short":"S. Valentin, H. von Malm, H. Karl, in: Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece, 2007, pp. 1--6."},"publication":"Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece","department":[{"_id":"75"}],"type":"conference","date_created":"2017-11-27T10:22:27Z"},{"date_created":"2017-11-27T10:22:27Z","type":"conference","department":[{"_id":"75"}],"publication":"3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007","citation":{"bibtex":"@inproceedings{S. Lichte_Valentin_Eitzen_Stege_Unger_Karl_2007, title={Integrating multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined radio testbed}, DOI={<a href=\"https://doi.org/10.1109/TRIDENTCOM.2007.4444671\">10.1109/TRIDENTCOM.2007.4444671</a>}, booktitle={3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007}, author={S. Lichte, Hermann and Valentin, Stefan and Eitzen, Falk and Stege, Matthias and Unger, Carsten and Karl, Holger}, year={2007}, pages={1--9} }","short":"H. S. Lichte, S. Valentin, F. Eitzen, M. Stege, C. Unger, H. Karl, in: 3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007, 2007, pp. 1--9.","ama":"S. Lichte H, Valentin S, Eitzen F, Stege M, Unger C, Karl H. Integrating multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined radio testbed. In: <i>3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i>. ; 2007:1--9. doi:<a href=\"https://doi.org/10.1109/TRIDENTCOM.2007.4444671\">10.1109/TRIDENTCOM.2007.4444671</a>","chicago":"S. Lichte, Hermann, Stefan Valentin, Falk Eitzen, Matthias Stege, Carsten Unger, and Holger Karl. “Integrating Multiuser Dynamic OFDMA into IEEE 802.11a and Prototyping It on a Real-Time Software-Defined Radio Testbed.” In <i>3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i>, 1--9, 2007. <a href=\"https://doi.org/10.1109/TRIDENTCOM.2007.4444671\">https://doi.org/10.1109/TRIDENTCOM.2007.4444671</a>.","ieee":"H. S. Lichte, S. Valentin, F. Eitzen, M. Stege, C. Unger, and H. Karl, “Integrating multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined radio testbed,” in <i>3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i>, 2007, pp. 1--9.","apa":"S. Lichte, H., Valentin, S., Eitzen, F., Stege, M., Unger, C., &#38; Karl, H. (2007). Integrating multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined radio testbed. In <i>3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i> (pp. 1--9). <a href=\"https://doi.org/10.1109/TRIDENTCOM.2007.4444671\">https://doi.org/10.1109/TRIDENTCOM.2007.4444671</a>","mla":"S. Lichte, Hermann, et al. “Integrating Multiuser Dynamic OFDMA into IEEE 802.11a and Prototyping It on a Real-Time Software-Defined Radio Testbed.” <i>3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i>, 2007, pp. 1--9, doi:<a href=\"https://doi.org/10.1109/TRIDENTCOM.2007.4444671\">10.1109/TRIDENTCOM.2007.4444671</a>."},"page":"1--9","_id":"834","doi":"10.1109/TRIDENTCOM.2007.4444671","user_id":"15572","status":"public","title":"Integrating multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined radio testbed","year":"2007","author":[{"full_name":"S. Lichte, Hermann","first_name":"Hermann","last_name":"S. Lichte"},{"full_name":"Valentin, Stefan","first_name":"Stefan","last_name":"Valentin"},{"full_name":"Eitzen, Falk","last_name":"Eitzen","first_name":"Falk"},{"full_name":"Stege, Matthias","last_name":"Stege","first_name":"Matthias"},{"full_name":"Unger, Carsten","last_name":"Unger","first_name":"Carsten"},{"id":"126","first_name":"Holger","last_name":"Karl","full_name":"Karl, Holger"}],"date_updated":"2022-01-06T07:03:53Z"},{"type":"journal_article","department":[{"_id":"66"}],"date_created":"2019-01-31T15:27:49Z","publication":"Logic and Algebraic Programming","issue":"1","citation":{"ieee":"R. Heckel and A. Cherchago, “Structural and Behavioural Compatibility of Graphical Service Specifications,” <i>Logic and Algebraic Programming</i>, vol. 70, no. 1, pp. 15–33, 2007.","apa":"Heckel, R., &#38; Cherchago, A. (2007). Structural and Behavioural Compatibility of Graphical Service Specifications. <i>Logic and Algebraic Programming</i>, <i>70</i>(1), 15–33.","chicago":"Heckel, Reiko, and Alexey Cherchago. “Structural and Behavioural Compatibility of Graphical Service Specifications.” <i>Logic and Algebraic Programming</i> 70, no. 1 (2007): 15–33.","short":"R. Heckel, A. Cherchago, Logic and Algebraic Programming 70 (2007) 15–33.","mla":"Heckel, Reiko, and Alexey Cherchago. “Structural and Behavioural Compatibility of Graphical Service Specifications.” <i>Logic and Algebraic Programming</i>, vol. 70, no. 1, 2007, pp. 15–33.","bibtex":"@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} }","ama":"Heckel R, Cherchago A. Structural and Behavioural Compatibility of Graphical Service Specifications. <i>Logic and Algebraic Programming</i>. 2007;70(1):15-33."},"user_id":"52534","volume":70,"page":"15-33","_id":"7374","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:35Z","intvolume":"        70","title":"Structural and Behavioural Compatibility of Graphical Service Specifications","year":"2007","status":"public","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Cherchago, Alexey","first_name":"Alexey","last_name":"Cherchago"}]},{"citation":{"apa":"Bals, J.-C., Christ, F., Engels, G., &#38; Sauer, S. (2007). Software-Qualität - überall! - Excel-lente Software. <i>Forschungsforum Paderborn</i>, <i>10</i>, 56–60.","ieee":"J.-C. Bals, F. Christ, G. Engels, and S. Sauer, “Software-Qualität - überall! - Excel-lente Software,” <i>Forschungsforum Paderborn</i>, vol. 10, pp. 56–60, 2007.","short":"J.-C. Bals, F. Christ, G. Engels, S. Sauer, Forschungsforum Paderborn 10 (2007) 56–60.","chicago":"Bals, Jan-Christopher, Fabian Christ, Gregor Engels, and Stefan Sauer. “Software-Qualität - Überall! - Excel-Lente Software.” <i>Forschungsforum Paderborn</i> 10 (2007): 56–60.","mla":"Bals, Jan-Christopher, et al. “Software-Qualität - Überall! - Excel-Lente Software.” <i>Forschungsforum Paderborn</i>, vol. 10, 2007, pp. 56–60.","ama":"Bals J-C, Christ F, Engels G, Sauer S. Software-Qualität - überall! - Excel-lente Software. <i>Forschungsforum Paderborn</i>. 2007;10:56-60.","bibtex":"@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} }"},"publication":"Forschungsforum Paderborn","department":[{"_id":"66"}],"type":"journal_article","date_created":"2019-01-31T15:28:21Z","intvolume":"        10","date_updated":"2022-01-06T07:03:35Z","author":[{"first_name":"Jan-Christopher","last_name":"Bals","full_name":"Bals, Jan-Christopher"},{"first_name":"Fabian","last_name":"Christ","full_name":"Christ, Fabian"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"id":"447","first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan"}],"title":"Software-Qualität - überall! - Excel-lente Software","status":"public","year":"2007","volume":10,"user_id":"52534","_id":"7375","language":[{"iso":"eng"}],"page":"56-60"},{"abstract":[{"text":"Service-oriented computing is distinguished by its use of dynamic discovery and binding for the integration of services at runtime. This poses a challenge for testing, in particular, of the interaction between services. We propose a model-driven solution to address this challenge. Service descriptions are promoted from largely syntactical to behavioural specifications of services in terms of contracts (pre-conditions and effects of operations), expressed in a visual UML-like notion. Through mappings to semantic web languages and the Java Modeling Language (JML) contracts support the automatic discovery of services as well as the derivation of test cases and their execution and monitoring. We discuss an extended life cycle model for services based on the model-driven approach and illustrate its application using a model of a hotel reservation service.","lang":"eng"}],"citation":{"chicago":"Lohmann, Marc, Leonardo Mariani, and Reiko Heckel. “A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.” In <i>Test and Analysis of Web Services</i>, edited by L. Baresi, E. Di Nitto, 173–204. Berlin/Heidelberg: Springer, 2007.","short":"M. Lohmann, L. Mariani, R. Heckel, in: L. Baresi, E. Di Nitto (Ed.), Test and Analysis of Web Services, Springer, Berlin/Heidelberg, 2007, pp. 173–204.","apa":"Lohmann, M., Mariani, L., &#38; Heckel, R. (2007). A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. In L. Baresi, E. Di Nitto (Ed.), <i>Test and Analysis of Web Services</i> (pp. 173–204). Berlin/Heidelberg: Springer.","ieee":"M. Lohmann, L. Mariani, and R. Heckel, “A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services,” in <i>Test and Analysis of Web Services</i>, L. Baresi, E. Di Nitto, Ed. Berlin/Heidelberg: Springer, 2007, pp. 173–204.","ama":"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. <i>Test and Analysis of Web Services</i>. Berlin/Heidelberg: Springer; 2007:173-204.","bibtex":"@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} }","mla":"Lohmann, Marc, et al. “A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.” <i>Test and Analysis of Web Services</i>, edited by L. Baresi, E. Di Nitto, Springer, 2007, pp. 173–204."},"publication":"Test and Analysis of Web Services","department":[{"_id":"66"}],"type":"book_chapter","date_created":"2019-02-05T13:04:26Z","place":"Berlin/Heidelberg","date_updated":"2022-01-06T07:03:39Z","author":[{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"},{"full_name":"Mariani, Leonardo","last_name":"Mariani","first_name":"Leonardo"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"}],"year":"2007","title":"A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services","status":"public","editor":[{"full_name":"Baresi, E. Di Nitto, L.","last_name":"Baresi, E. Di Nitto","first_name":"L."}],"user_id":"52534","language":[{"iso":"eng"}],"_id":"7551","publisher":"Springer","page":"173-204"},{"language":[{"iso":"eng"}],"_id":"7579","user_id":"52534","year":"2007","status":"public","title":"Architectural Style-based Modeling and Simulation of Middleware for Mobile Systems","author":[{"last_name":"Guo","first_name":"Ping","full_name":"Guo, Ping"}],"date_updated":"2022-01-06T07:03:40Z","date_created":"2019-02-06T14:23:47Z","type":"dissertation","department":[{"_id":"66"}],"citation":{"bibtex":"@book{Guo_2007, title={Architectural Style-based Modeling and Simulation of Middleware for Mobile Systems}, author={Guo, Ping}, year={2007} }","ama":"Guo P. <i>Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems</i>.; 2007.","mla":"Guo, Ping. <i>Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems</i>. 2007.","short":"P. Guo, Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems, 2007.","chicago":"Guo, Ping. <i>Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems</i>, 2007.","ieee":"P. Guo, <i>Architectural Style-based Modeling and Simulation of Middleware for Mobile Systems</i>. 2007.","apa":"Guo, P. (2007). <i>Architectural Style-based Modeling and Simulation of Middleware for Mobile Systems</i>."},"abstract":[{"lang":"eng","text":"Today, mobility is one of the most important market and technology trend within information and communication technology. As the demand for rapid deployment of dependable mobile applications increases, middleware for mobile systems is emerging as one of the most active areas of system research in mobility. The middleware is a set of distributed software services that exists between distributed operating systems and mobile applications. The key to the middleware is to provide support across the mobile application domains, help application developers overcome the complexity and problems brought by mobility, and enhance dependability and usability of developed mobile applications. The criticality and pervasiveness of middleware for mobile systems is continually growing. However, the design and development of the middleware are difficult tasks, and it is not easy to ensure the quality of a developed middleware. This is mainly caused by the increasing complexity of the middleware. In addition, the great diversity of this area makes it very difficult for the designers to reuse the already established design knowledge or successful experience when building new systems. All these make the design process quite inefficient and unpredictable, and therefore risking the project. “One man’s magic is another man’s engineering”. Engineering design is much more routine than innovative. Founding on this fundamental notion in software engineering, we develop an architectural style-based approach to deal with the problems in the thesis. We build architectural styles for a class of related middleware. The style represents a common form of design, which originates from the results that practitioners have achieved in one area. The style is formulated to repeat successes and avoid failures from previous projects. When building a new middleware, the designers and developers do not need to explore all possible alternatives for its supported architecture. Instead, they can use the architectural style that is effective for the middleware. They can define the design as instances of the style, or they can use the style as a reference model for further improvement and development. By structuring the design space for a family of related middleware, the style can drastically simplify the process of building a middleware, reduce costs of implementation through reusable infrastructure, and improve system integrity through style-specific analysis and checks. We develop the approach based on UML-like meta modeling and graph transformation techniques to support sound methodological principles, powerful modeling, formal analysis and refinement. The approach consists of several main parts: the modeling language that supports specification of the style and mobility, the refinement formalization that ensures that an abstract style is correctly refined to a concrete one, as well as the consistency check framework that validates behavioral consistency between two styles on different abstract layers. With the Fujaba simulation tool support, we also develop a style-based engineering process that helps us to efficiently develop correct and consistent styles. Besides, it allows a seamless integration of our approach into the well-known object oriented design. By providing a concrete example of how to construct the style for a class of related middleware, and how to use the style to help the design and development of a new middleware, we show that the architectural style-based approach is useful and practical."}]},{"status":"public","title":"Effect of User Mobility in Coded Cooperative Systems with Joint Partner and Cooperation Level Selection","year":"2007","author":[{"first_name":"Stefan","last_name":"Valentin","full_name":"Valentin, Stefan"},{"id":"126","full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl"}],"date_updated":"2022-01-06T07:03:53Z","page":"896--901","_id":"835","user_id":"15572","doi":"10.1109/WCNC.2007.170","publication":"IEEE Wireless Communications and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March, 2007","citation":{"bibtex":"@inproceedings{Valentin_Karl_2007, title={Effect of User Mobility in Coded Cooperative Systems with Joint Partner and Cooperation Level Selection}, DOI={<a href=\"https://doi.org/10.1109/WCNC.2007.170\">10.1109/WCNC.2007.170</a>}, booktitle={IEEE Wireless Communications and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March, 2007}, author={Valentin, Stefan and Karl, Holger}, year={2007}, pages={896--901} }","short":"S. Valentin, H. Karl, in: IEEE Wireless Communications and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March, 2007, 2007, pp. 896--901.","ama":"Valentin S, Karl H. Effect of User Mobility in Coded Cooperative Systems with Joint Partner and Cooperation Level Selection. In: <i>IEEE Wireless Communications and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March, 2007</i>. ; 2007:896--901. doi:<a href=\"https://doi.org/10.1109/WCNC.2007.170\">10.1109/WCNC.2007.170</a>","chicago":"Valentin, Stefan, and Holger Karl. “Effect of User Mobility in Coded Cooperative Systems with Joint Partner and Cooperation Level Selection.” In <i>IEEE Wireless Communications and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March, 2007</i>, 896--901, 2007. <a href=\"https://doi.org/10.1109/WCNC.2007.170\">https://doi.org/10.1109/WCNC.2007.170</a>.","ieee":"S. Valentin and H. Karl, “Effect of User Mobility in Coded Cooperative Systems with Joint Partner and Cooperation Level Selection,” in <i>IEEE Wireless Communications and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March, 2007</i>, 2007, pp. 896--901.","mla":"Valentin, Stefan, and Holger Karl. “Effect of User Mobility in Coded Cooperative Systems with Joint Partner and Cooperation Level Selection.” <i>IEEE Wireless Communications and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March, 2007</i>, 2007, pp. 896--901, doi:<a href=\"https://doi.org/10.1109/WCNC.2007.170\">10.1109/WCNC.2007.170</a>.","apa":"Valentin, S., &#38; Karl, H. (2007). Effect of User Mobility in Coded Cooperative Systems with Joint Partner and Cooperation Level Selection. In <i>IEEE Wireless Communications and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March, 2007</i> (pp. 896--901). <a href=\"https://doi.org/10.1109/WCNC.2007.170\">https://doi.org/10.1109/WCNC.2007.170</a>"},"date_created":"2017-11-27T10:22:27Z","type":"conference","department":[{"_id":"75"}]},{"type":"conference","department":[{"_id":"75"}],"date_created":"2017-11-27T10:22:27Z","publication":"Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings","citation":{"bibtex":"@inproceedings{Marie Feeney_Cetin_Hollos_Kubisch_Mengesha_Karl_2007, title={Multi-rate Relaying for Performance Improvement in IEEE 802.11 WLANs}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-72697-5_17\">10.1007/978-3-540-72697-5_17</a>}, booktitle={Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings}, author={Marie Feeney, Laura and Cetin, Bilge and Hollos, Daniel and Kubisch, Martin and Mengesha, Seble and Karl, Holger}, year={2007}, pages={201--212} }","ama":"Marie Feeney L, Cetin B, Hollos D, Kubisch M, Mengesha S, Karl H. Multi-rate Relaying for Performance Improvement in IEEE 802.11 WLANs. In: <i>Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings</i>. ; 2007:201--212. doi:<a href=\"https://doi.org/10.1007/978-3-540-72697-5_17\">10.1007/978-3-540-72697-5_17</a>","mla":"Marie Feeney, Laura, et al. “Multi-Rate Relaying for Performance Improvement in IEEE 802.11 WLANs.” <i>Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings</i>, 2007, pp. 201--212, doi:<a href=\"https://doi.org/10.1007/978-3-540-72697-5_17\">10.1007/978-3-540-72697-5_17</a>.","chicago":"Marie Feeney, Laura, Bilge Cetin, Daniel Hollos, Martin Kubisch, Seble Mengesha, and Holger Karl. “Multi-Rate Relaying for Performance Improvement in IEEE 802.11 WLANs.” In <i>Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings</i>, 201--212, 2007. <a href=\"https://doi.org/10.1007/978-3-540-72697-5_17\">https://doi.org/10.1007/978-3-540-72697-5_17</a>.","short":"L. Marie Feeney, B. Cetin, D. Hollos, M. Kubisch, S. Mengesha, H. Karl, in: Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings, 2007, pp. 201--212.","ieee":"L. Marie Feeney, B. Cetin, D. Hollos, M. Kubisch, S. Mengesha, and H. Karl, “Multi-rate Relaying for Performance Improvement in IEEE 802.11 WLANs,” in <i>Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings</i>, 2007, pp. 201--212.","apa":"Marie Feeney, L., Cetin, B., Hollos, D., Kubisch, M., Mengesha, S., &#38; Karl, H. (2007). Multi-rate Relaying for Performance Improvement in IEEE 802.11 WLANs. In <i>Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings</i> (pp. 201--212). <a href=\"https://doi.org/10.1007/978-3-540-72697-5_17\">https://doi.org/10.1007/978-3-540-72697-5_17</a>"},"user_id":"15572","doi":"10.1007/978-3-540-72697-5_17","page":"201--212","_id":"836","date_updated":"2022-01-06T07:03:53Z","status":"public","title":"Multi-rate Relaying for Performance Improvement in IEEE 802.11 WLANs","year":"2007","author":[{"full_name":"Marie Feeney, Laura","first_name":"Laura","last_name":"Marie Feeney"},{"full_name":"Cetin, Bilge","last_name":"Cetin","first_name":"Bilge"},{"full_name":"Hollos, Daniel","first_name":"Daniel","last_name":"Hollos"},{"last_name":"Kubisch","first_name":"Martin","full_name":"Kubisch, Martin"},{"full_name":"Mengesha, Seble","last_name":"Mengesha","first_name":"Seble"},{"id":"126","full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl"}]},{"page":"47-56","_id":"8413","publisher":"Springer","series_title":"LNCS","language":[{"iso":"eng"}],"user_id":"52534","volume":5002,"status":"public","title":"Analysis of Model Transformations via Alloy","year":"2007","author":[{"first_name":"Kyriakos","last_name":"Anastasakis","full_name":"Anastasakis, Kyriakos"},{"last_name":"Bordbar","first_name":"Behzad","full_name":"Bordbar, Behzad"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"}],"date_updated":"2022-01-06T07:03:54Z","intvolume":"      5002","place":"Berlin/Heidelberg","date_created":"2019-03-06T11:44:56Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)","citation":{"short":"K. Anastasakis, B. Bordbar, J. Küster, in: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 47–56.","chicago":"Anastasakis, Kyriakos, Behzad Bordbar, and Jochen Küster. “Analysis of Model Transformations via Alloy.” In <i>Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i>, 5002:47–56. LNCS. Berlin/Heidelberg: Springer, 2007.","apa":"Anastasakis, K., Bordbar, B., &#38; Küster, J. (2007). Analysis of Model Transformations via Alloy. In <i>Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i> (Vol. 5002, pp. 47–56). Berlin/Heidelberg: Springer.","ieee":"K. Anastasakis, B. Bordbar, and J. Küster, “Analysis of Model Transformations via Alloy,” in <i>Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i>, 2007, vol. 5002, pp. 47–56.","ama":"Anastasakis K, Bordbar B, Küster J. Analysis of Model Transformations via Alloy. In: <i>Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i>. Vol 5002. LNCS. Berlin/Heidelberg: Springer; 2007:47-56.","bibtex":"@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} }","mla":"Anastasakis, Kyriakos, et al. “Analysis of Model Transformations via Alloy.” <i>Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i>, vol. 5002, Springer, 2007, pp. 47–56."}},{"series_title":"LNCS","language":[{"iso":"eng"}],"doi":"http://dx.doi.org/10.1007/978-3-540-69489-2_23","title":"Towards Model-Driven Unit Testing","year":"2007","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Güldali, Baris","first_name":"Baris","last_name":"Güldali"},{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"}],"date_updated":"2022-01-06T07:03:54Z","intvolume":"      4364","date_created":"2019-03-06T11:44:57Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)","abstract":[{"lang":"eng","text":"The Model-Driven Architecture (MDA) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. On the model level the behavior of an operation is specified with a pair of UML composite structure diagrams (visual contract), a visual notation for pre- and post-conditions. The specified behavior is implemented by a programmer manually. An automatic translation from our visual contracts to JML assertions allows for monitoring the hand-coded programs during their execution. In this paper we present an approach to extend our model-driven monitoring approach to allow for model-driven unit testing. In this approach we utilize the generated JML assertions as test oracles. Further, we present an idea how to generate sufficient test cases from our visual contracts with the help of model-checking techniques."}],"page":"182-192","publisher":"Springer","_id":"8414","user_id":"52534","volume":4364,"status":"public","place":"Berlin/Heidelberg","citation":{"bibtex":"@inproceedings{Engels_Güldali_Lohmann_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Model-Driven Unit Testing}, volume={4364}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>}, 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} }","ama":"Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>. Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:182-192. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>","mla":"Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>, vol. 4364, Springer, 2007, pp. 182–92, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>.","short":"G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006), Springer, Berlin/Heidelberg, 2007, pp. 182–192.","chicago":"Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven Unit Testing.” In <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>, 4364:182–92. LNCS. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>.","ieee":"G. Engels, B. Güldali, and M. Lohmann, “Towards Model-Driven Unit Testing,” in <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>, 2007, vol. 4364, pp. 182–192.","apa":"Engels, G., Güldali, B., &#38; Lohmann, M. (2007). Towards Model-Driven Unit Testing. In <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i> (Vol. 4364, pp. 182–192). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>"}},{"year":"2007","status":"public","title":"Analysis of UML Activities with Dynamic Meta Modeling Techniques","author":[{"id":"1737","first_name":"Christian","last_name":"Soltenborn","orcid":"0000-0002-0342-8227","full_name":"Soltenborn, Christian"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"date_updated":"2022-01-06T07:03:54Z","intvolume":"      4364","page":"329-330","_id":"8415","language":[{"iso":"eng"}],"series_title":"LNCS","publisher":"Springer","user_id":"14955","doi":"http://dx.doi.org/10.1007/978-3-540-69489-2_42","volume":4364,"publication":"Symposium \"A Formal Semantics for UML\" (satellite event of the MoDELS conference 2006), Genova (Italy)","citation":{"ieee":"C. Soltenborn and G. Engels, “Analysis of UML Activities with Dynamic Meta Modeling Techniques,” in <i>Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy)</i>, 2007, vol. 4364, pp. 329–330.","mla":"Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities with Dynamic Meta Modeling Techniques.” <i>Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy)</i>, vol. 4364, Springer, 2007, pp. 329–30, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>.","apa":"Soltenborn, C., &#38; Engels, G. (2007). Analysis of UML Activities with Dynamic Meta Modeling Techniques. In <i>Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy)</i> (Vol. 4364, pp. 329–330). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>","bibtex":"@inproceedings{Soltenborn_Engels_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Analysis of UML Activities with Dynamic Meta Modeling Techniques}, volume={4364}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>}, 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} }","chicago":"Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities with Dynamic Meta Modeling Techniques.” In <i>Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy)</i>, 4364:329–30. LNCS. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>.","short":"C. Soltenborn, G. Engels, in: Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2007, pp. 329–330.","ama":"Soltenborn C, Engels G. Analysis of UML Activities with Dynamic Meta Modeling Techniques. In: <i>Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy)</i>. Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:329-330. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>"},"date_created":"2019-03-06T11:44:58Z","place":"Berlin/Heidelberg","type":"conference","department":[{"_id":"66"}]}]