[{"type":"conference","department":[{"_id":"77"}],"date_created":"2018-06-13T08:01:04Z","publication":"Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings","citation":{"bibtex":"@inproceedings{Isenberg_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Timed Automata Verification via {IC3} with Zones}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-11737-9_14\">10.1007/978-3-319-11737-9_14</a>}, booktitle={Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings}, author={Isenberg, Tobias and Wehrheim, Heike}, editor={Merz, Stephan and Pang, JunEditors}, year={2014}, pages={203--218}, collection={Lecture Notes in Computer Science} }","chicago":"Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via {IC3} with Zones.” In <i>Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings</i>, edited by Stephan Merz and Jun Pang, 203--218. Lecture Notes in Computer Science, 2014. <a href=\"https://doi.org/10.1007/978-3-319-11737-9_14\">https://doi.org/10.1007/978-3-319-11737-9_14</a>.","short":"T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp. 203--218.","ama":"Isenberg T, Wehrheim H. Timed Automata Verification via {IC3} with Zones. In: Merz S, Pang J, eds. <i>Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings</i>. Lecture Notes in Computer Science. ; 2014:203--218. doi:<a href=\"https://doi.org/10.1007/978-3-319-11737-9_14\">10.1007/978-3-319-11737-9_14</a>","ieee":"T. Isenberg and H. Wehrheim, “Timed Automata Verification via {IC3} with Zones,” in <i>Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings</i>, 2014, pp. 203--218.","apa":"Isenberg, T., &#38; Wehrheim, H. (2014). Timed Automata Verification via {IC3} with Zones. In S. Merz &#38; J. Pang (Eds.), <i>Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings</i> (pp. 203--218). <a href=\"https://doi.org/10.1007/978-3-319-11737-9_14\">https://doi.org/10.1007/978-3-319-11737-9_14</a>","mla":"Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via {IC3} with Zones.” <i>Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings</i>, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218, doi:<a href=\"https://doi.org/10.1007/978-3-319-11737-9_14\">10.1007/978-3-319-11737-9_14</a>."},"user_id":"29719","doi":"10.1007/978-3-319-11737-9_14","editor":[{"full_name":"Merz, Stephan","first_name":"Stephan","last_name":"Merz"},{"first_name":"Jun","last_name":"Pang","full_name":"Pang, Jun"}],"page":"203--218","_id":"3172","series_title":"Lecture Notes in Computer Science","date_updated":"2022-01-06T06:59:02Z","title":"Timed Automata Verification via {IC3} with Zones","status":"public","year":"2014","author":[{"first_name":"Tobias","last_name":"Isenberg","full_name":"Isenberg, Tobias"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}]},{"date_created":"2018-06-13T08:04:33Z","department":[{"_id":"77"}],"type":"conference","citation":{"ieee":"S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} Properties in Event-B Refinement,” in <i>Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings</i>, 2014, pp. 221--237.","mla":"A. Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” <i>Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings</i>, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 221--237, doi:<a href=\"https://doi.org/10.1007/978-3-319-10181-1_14\">10.1007/978-3-319-10181-1_14</a>.","apa":"A. Schneider, S., Treharne, H., Wehrheim, H., &#38; M. Williams, D. (2014). Managing {LTL} Properties in Event-B Refinement. In E. Albert &#38; E. Sekerinski (Eds.), <i>Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings</i> (pp. 221--237). <a href=\"https://doi.org/10.1007/978-3-319-10181-1_14\">https://doi.org/10.1007/978-3-319-10181-1_14</a>","bibtex":"@inproceedings{A. Schneider_Treharne_Wehrheim_M. Williams_2014, series={Lecture Notes in Computer Science}, title={Managing {LTL} Properties in Event-B Refinement}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-10181-1_14\">10.1007/978-3-319-10181-1_14</a>}, booktitle={Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings}, author={A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, editor={Albert, Elvira and Sekerinski, EmilEditors}, year={2014}, pages={221--237}, collection={Lecture Notes in Computer Science} }","ama":"A. Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} Properties in Event-B Refinement. In: Albert E, Sekerinski E, eds. <i>Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings</i>. Lecture Notes in Computer Science. ; 2014:221--237. doi:<a href=\"https://doi.org/10.1007/978-3-319-10181-1_14\">10.1007/978-3-319-10181-1_14</a>","short":"S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.","chicago":"A. Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing {LTL} Properties in Event-B Refinement.” In <i>Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings</i>, edited by Elvira Albert and Emil Sekerinski, 221--237. Lecture Notes in Computer Science, 2014. <a href=\"https://doi.org/10.1007/978-3-319-10181-1_14\">https://doi.org/10.1007/978-3-319-10181-1_14</a>."},"publication":"Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings","_id":"3173","series_title":"Lecture Notes in Computer Science","page":"221--237","editor":[{"full_name":"Albert, Elvira","first_name":"Elvira","last_name":"Albert"},{"last_name":"Sekerinski","first_name":"Emil","full_name":"Sekerinski, Emil"}],"user_id":"29719","doi":"10.1007/978-3-319-10181-1_14","author":[{"first_name":"Steve","last_name":"A. Schneider","full_name":"A. Schneider, Steve"},{"first_name":"Helen","last_name":"Treharne","full_name":"Treharne, Helen"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"},{"full_name":"M. Williams, David","first_name":"David","last_name":"M. Williams"}],"year":"2014","title":"Managing {LTL} Properties in Event-B Refinement","status":"public","date_updated":"2022-01-06T06:59:02Z"},{"author":[{"last_name":"Schneider","first_name":"Steve","full_name":"Schneider, Steve"},{"full_name":"Treharne, Helen","first_name":"Helen","last_name":"Treharne"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"},{"full_name":"M. Williams, David","first_name":"David","last_name":"M. Williams"}],"status":"public","year":"2014","title":"Managing {LTL} properties in Event-B refinement","date_updated":"2022-01-06T06:59:02Z","_id":"3174","user_id":"29719","citation":{"mla":"Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 2014.","ama":"Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} properties in Event-B refinement. <i>CoRR</i>. 2014.","bibtex":"@article{Schneider_Treharne_Wehrheim_M. Williams_2014, title={Managing {LTL} properties in Event-B refinement}, journal={CoRR}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, year={2014} }","apa":"Schneider, S., Treharne, H., Wehrheim, H., &#38; M. Williams, D. (2014). Managing {LTL} properties in Event-B refinement. <i>CoRR</i>.","ieee":"S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} properties in Event-B refinement,” <i>CoRR</i>, 2014.","short":"S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).","chicago":"Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 2014."},"publication":"CoRR","date_created":"2018-06-13T08:05:39Z","department":[{"_id":"77"}],"type":"journal_article"},{"publication":"CoRR","citation":{"short":"T. Isenberg, H. Wehrheim, CoRR (2014).","chicago":"Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” <i>CoRR</i>, 2014.","apa":"Isenberg, T., &#38; Wehrheim, H. (2014). Proof-Carrying Hardware via {IC3}. <i>CoRR</i>.","ieee":"T. Isenberg and H. Wehrheim, “Proof-Carrying Hardware via {IC3},” <i>CoRR</i>, 2014.","ama":"Isenberg T, Wehrheim H. Proof-Carrying Hardware via {IC3}. <i>CoRR</i>. 2014.","bibtex":"@article{Isenberg_Wehrheim_2014, title={Proof-Carrying Hardware via {IC3}}, journal={CoRR}, author={Isenberg, Tobias and Wehrheim, Heike}, year={2014} }","mla":"Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” <i>CoRR</i>, 2014."},"date_created":"2018-06-13T08:07:24Z","type":"journal_article","department":[{"_id":"77"}],"status":"public","year":"2014","title":"Proof-Carrying Hardware via {IC3}","author":[{"full_name":"Isenberg, Tobias","first_name":"Tobias","last_name":"Isenberg"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_updated":"2022-01-06T06:59:02Z","_id":"3175","user_id":"29719"},{"_id":"27166","series_title":"Lecture Notes in Informatics (LNI)","language":[{"iso":"eng"}],"page":"51–60","editor":[{"full_name":"Trahasch, Stephan","first_name":"Stephan","last_name":"Trahasch"},{"full_name":" Pl {\\ \"o} tzner , Rolf ","first_name":"Rolf ","last_name":" Pl {\\ \"o} tzner "},{"last_name":"Schneider","first_name":"Gerhard","full_name":"Schneider, Gerhard"},{"full_name":"Gayer, Claudia ","first_name":"Claudia ","last_name":"Gayer"},{"first_name":"Daniel","last_name":"Sassiat","full_name":"Sassiat, Daniel"},{"last_name":"W {\\ \"o} hrle","first_name":"Nicole","full_name":"W {\\ \"o} hrle, Nicole"}],"user_id":"71124","author":[{"full_name":"Keil, Reinhard","last_name":"Keil","first_name":"Reinhard"},{"id":"497","last_name":"Selke","first_name":"Harald","full_name":"Selke, Harald"},{"first_name":"Felix","last_name":"Winkelnkemper","full_name":"Winkelnkemper, Felix","id":"3117"}],"status":"public","title":"Twenty years of learning with the World Wide Web","year":"2014","publication_status":"published","date_updated":"2022-01-06T06:57:35Z","date_created":"2021-11-05T23:07:46Z","department":[{"_id":"71"}],"type":"conference","citation":{"short":"R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.","chicago":"Keil, Reinhard, Harald Selke, and Felix Winkelnkemper. “Twenty Years of Learning with the World Wide Web.” Edited by Stephan Trahasch, Rolf   Pl {\\ \"o} tzner , Gerhard Schneider, Claudia  Gayer, Daniel Sassiat, and Nicole W {\\ \"o} hrle. Lecture Notes in Informatics (LNI), 2014.","apa":"Keil, R., Selke, H., &#38; Winkelnkemper, F. (2014). <i>Twenty years of learning with the World Wide Web</i> (S. Trahasch, R.  Pl {\\ \"o} tzner , G. Schneider, C. Gayer, D. Sassiat, &#38; N. W {\\ \"o} hrle, Eds.; pp. 51–60).","ieee":"R. Keil, H. Selke, and F. Winkelnkemper, “Twenty years of learning with the World Wide Web.” pp. 51–60, 2014.","ama":"Keil R, Selke H, Winkelnkemper F. Twenty years of learning with the World Wide Web. Trahasch S,  Pl {\\ \"o} tzner  R, Schneider G, Gayer C, Sassiat D, W {\\ \"o} hrle N, eds. Published online 2014:51–60.","bibtex":"@article{Keil_Selke_Winkelnkemper_2014, series={Lecture Notes in Informatics (LNI)}, title={Twenty years of learning with the World Wide Web}, author={Keil, Reinhard and Selke, Harald and Winkelnkemper, Felix}, editor={Trahasch, Stephan and  Pl {\\ \"o} tzner , Rolf  and Schneider, Gerhard and Gayer, Claudia  and Sassiat, Daniel and W {\\ \"o} hrle, Nicole}, year={2014}, pages={51–60}, collection={Lecture Notes in Informatics (LNI)} }","mla":"Keil, Reinhard, et al. <i>Twenty Years of Learning with the World Wide Web</i>. Edited by Stephan Trahasch et al., 2014, pp. 51–60."}},{"date_created":"2021-11-05T23:12:49Z","department":[{"_id":"71"}],"type":"conference","citation":{"short":"F. Winkelnkemper, R. Keil, in: A. Butz, J.  Schlichter (Eds.), Oldenbourg Verlag, 2014, pp. 255–264.","chicago":"Winkelnkemper, Felix, and Reinhard Keil. “Zwischen Design Und Flexibilit{\\\"a}t - Zur Ergonomie Des Flat Design.” edited by Andreas Butz and Johann  Schlichter, 2014:255–64. Oldenbourg Verlag, 2014.","ieee":"F. Winkelnkemper and R. Keil, “Zwischen Design und Flexibilit{\\\"a}t - Zur Ergonomie des Flat Design,” 2014, vol. 2014, pp. 255–264.","apa":"Winkelnkemper, F., &#38; Keil, R. (2014). <i>Zwischen Design und Flexibilit{\\\"a}t - Zur Ergonomie des Flat Design</i> (A. Butz &#38; J.  Schlichter, Eds.; Vol. 2014, pp. 255–264). Oldenbourg Verlag.","bibtex":"@inproceedings{Winkelnkemper_Keil_2014, title={Zwischen Design und Flexibilit{\\\"a}t - Zur Ergonomie des Flat Design}, volume={2014}, publisher={Oldenbourg Verlag}, author={Winkelnkemper, Felix and Keil, Reinhard}, editor={Butz, Andreas and  Schlichter, Johann}, year={2014}, pages={255–264} }","ama":"Winkelnkemper F, Keil R. Zwischen Design und Flexibilit{\\\"a}t - Zur Ergonomie des Flat Design. In: Butz A,  Schlichter J, eds. Vol 2014. Oldenbourg Verlag; 2014:255-264.","mla":"Winkelnkemper, Felix, and Reinhard Keil. <i>Zwischen Design Und Flexibilit{\\\"a}t - Zur Ergonomie Des Flat Design</i>. Edited by Andreas Butz and Johann  Schlichter, vol. 2014, Oldenbourg Verlag, 2014, pp. 255–64."},"publisher":"Oldenbourg Verlag","_id":"27167","language":[{"iso":"eng"}],"page":"255-264","volume":2014,"editor":[{"first_name":"Andreas","last_name":"Butz","full_name":"Butz, Andreas"},{"full_name":" Schlichter, Johann","first_name":"Johann","last_name":" Schlichter"}],"user_id":"71124","author":[{"id":"3117","full_name":"Winkelnkemper, Felix","last_name":"Winkelnkemper","first_name":"Felix"},{"last_name":"Keil","first_name":"Reinhard","full_name":"Keil, Reinhard"}],"status":"public","title":"Zwischen Design und Flexibilit{\\\"a}t - Zur Ergonomie des Flat Design","year":"2014","intvolume":"      2014","publication_status":"published","date_updated":"2022-01-06T06:57:35Z"},{"author":[{"first_name":"Christian","last_name":"Brenner","full_name":"Brenner, Christian"},{"full_name":"Greenyer, Joel","last_name":"Greenyer","first_name":"Joel"},{"id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","first_name":"Jörg","last_name":"Holtmann"},{"last_name":"Liebel","first_name":"Grischa","full_name":"Liebel, Grischa"},{"first_name":"Gerald","last_name":"Stieglbauer","full_name":"Stieglbauer, Gerald"},{"last_name":"Tichy","first_name":"Matthias","full_name":"Tichy, Matthias"}],"status":"public","year":"2014","title":"ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study","date_updated":"2022-01-06T06:54:42Z","_id":"20983","language":[{"iso":"eng"}],"user_id":"5786","citation":{"ama":"Brenner C, Greenyer J, Holtmann J, Liebel G, Stieglbauer G, Tichy M. ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In: <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>. ; 2014.","bibtex":"@inproceedings{Brenner_Greenyer_Holtmann_Liebel_Stieglbauer_Tichy_2014, title={ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study}, booktitle={Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)}, author={Brenner, Christian and Greenyer, Joel and Holtmann, Jörg and Liebel, Grischa and Stieglbauer, Gerald and Tichy, Matthias}, year={2014} }","mla":"Brenner, Christian, et al. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>, 2014.","chicago":"Brenner, Christian, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, and Matthias Tichy. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” In <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>, 2014.","short":"C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy, in: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.","apa":"Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., &#38; Tichy, M. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>.","ieee":"C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy, “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study,” 2014."},"publication":"Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)","abstract":[{"lang":"eng","text":"In many areas, such as automotive, healthcare, or production, we find software-intensive systems with complex real-time requirements. To efficiently ensure the quality of these systems, engineers require automated tools for the validation of the requirements throughout the development. This, however, requires that the requirements are specified in an analyzable way. We propose modeling the specification using Modal Sequence Diagrams (MSDs), which express what a system may, must, or must not do in certain situations. MSDs can be executed via the play-out algorithm to investigate the behavior emerging from the interplay of multiple scenarios; we can also test if traces of the final product satisfy all scenarios. In this paper, we present the first tool supporting the play-out of MSDs with real-time constraints. As a case study, we modeled the requirements on gear shifts in an upcoming standard on vehicle testing and use our tool to validate externally generated gear shift sequences."}],"date_created":"2021-01-13T13:36:09Z","department":[{"_id":"76"},{"_id":"241"}],"type":"conference"},{"user_id":"83983","page":"861-868","publisher":"International Foundation for Autonomous Agents and Multiagent Systems","_id":"17659","language":[{"iso":"eng"}],"series_title":"AAMAS '14","date_updated":"2022-01-06T06:53:16Z","title":"Nash Equilibria in Shared Effort Games","status":"public","year":"2014","publication_identifier":{"isbn":["978-1-4503-2738-1"]},"author":[{"id":"83983","full_name":"Polevoy, Gleb","last_name":"Polevoy","first_name":"Gleb"},{"full_name":"Trajanovski, Stojan","last_name":"Trajanovski","first_name":"Stojan"},{"first_name":"Mathijs M.","last_name":"de Weerdt","full_name":"de Weerdt, Mathijs M."}],"keyword":["competition","equilibrium","market","models","shared effort games","simulation"],"type":"conference","department":[{"_id":"63"},{"_id":"541"}],"date_created":"2020-08-06T15:21:26Z","place":"Richland, SC","extern":"1","publication":"Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems","citation":{"chicago":"Polevoy, Gleb, Stojan Trajanovski, and Mathijs M. de Weerdt. “Nash Equilibria in Shared Effort Games.” In <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>, 861–68. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2014.","short":"G. Polevoy, S. Trajanovski, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 861–868.","apa":"Polevoy, G., Trajanovski, S., &#38; de Weerdt, M. M. (2014). Nash Equilibria in Shared Effort Games. In <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems</i> (pp. 861–868). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.","ieee":"G. Polevoy, S. Trajanovski, and M. M. de Weerdt, “Nash Equilibria in Shared Effort Games,” in <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems</i>, 2014, pp. 861–868.","ama":"Polevoy G, Trajanovski S, de Weerdt MM. Nash Equilibria in Shared Effort Games. In: <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems; 2014:861-868.","bibtex":"@inproceedings{Polevoy_Trajanovski_de Weerdt_2014, place={Richland, SC}, series={AAMAS ’14}, title={Nash Equilibria in Shared Effort Games}, booktitle={Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}, publisher={International Foundation for Autonomous Agents and Multiagent Systems}, author={Polevoy, Gleb and Trajanovski, Stojan and de Weerdt, Mathijs M.}, year={2014}, pages={861–868}, collection={AAMAS ’14} }","mla":"Polevoy, Gleb, et al. “Nash Equilibria in Shared Effort Games.” <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 861–68."}},{"extern":"1","publication":"Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems","citation":{"chicago":"Polevoy, Gleb, and Mathijs M. de Weerdt. “Improving Human Interaction in Crowdsensing.” In <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>, 1741–42. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2014.","short":"G. Polevoy, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1741–1742.","ieee":"G. Polevoy and M. M. de Weerdt, “Improving Human Interaction in Crowdsensing,” in <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems</i>, 2014, pp. 1741–1742.","apa":"Polevoy, G., &#38; de Weerdt, M. M. (2014). Improving Human Interaction in Crowdsensing. In <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems</i> (pp. 1741–1742). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.","bibtex":"@inproceedings{Polevoy_de Weerdt_2014, place={Richland, SC}, series={AAMAS ’14}, title={Improving Human Interaction in Crowdsensing}, booktitle={Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}, publisher={International Foundation for Autonomous Agents and Multiagent Systems}, author={Polevoy, Gleb and de Weerdt, Mathijs M.}, year={2014}, pages={1741–1742}, collection={AAMAS ’14} }","ama":"Polevoy G, de Weerdt MM. Improving Human Interaction in Crowdsensing. In: <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems; 2014:1741-1742.","mla":"Polevoy, Gleb, and Mathijs M. de Weerdt. “Improving Human Interaction in Crowdsensing.” <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 1741–42."},"type":"conference","keyword":["dynamics","emotion modeling","negotiation","network interaction","shared effort game"],"department":[{"_id":"63"},{"_id":"541"}],"place":"Richland, SC","date_created":"2020-08-06T15:21:35Z","date_updated":"2022-01-06T06:53:16Z","status":"public","year":"2014","title":"Improving Human Interaction in Crowdsensing","publication_identifier":{"isbn":["978-1-4503-2738-1"]},"author":[{"id":"83983","first_name":"Gleb","last_name":"Polevoy","full_name":"Polevoy, Gleb"},{"first_name":"Mathijs M.","last_name":"de Weerdt","full_name":"de Weerdt, Mathijs M."}],"user_id":"83983","page":"1741-1742","_id":"17660","publisher":"International Foundation for Autonomous Agents and Multiagent Systems","series_title":"AAMAS '14","language":[{"iso":"eng"}]},{"date_updated":"2022-01-06T06:53:16Z","year":"2014","title":"Request Driven Social Sensing","status":"public","publication_identifier":{"isbn":["978-1-4503-2738-1"]},"author":[{"first_name":"Thomas C.","last_name":"King","full_name":"King, Thomas C."},{"last_name":"Liu","first_name":"Qingzhi","full_name":"Liu, Qingzhi"},{"id":"83983","full_name":"Polevoy, Gleb","first_name":"Gleb","last_name":"Polevoy"},{"first_name":"Mathijs","last_name":"de Weerdt","full_name":"de Weerdt, Mathijs"},{"first_name":"Virginia","last_name":"Dignum","full_name":"Dignum, Virginia"},{"full_name":"van Riemsdijk, M. Birna","last_name":"van Riemsdijk","first_name":"M. Birna"},{"full_name":"Warnier, Martijn","last_name":"Warnier","first_name":"Martijn"}],"user_id":"83983","page":"1651-1652","series_title":"AAMAS '14","_id":"17661","language":[{"iso":"eng"}],"publisher":"International Foundation for Autonomous Agents and Multiagent Systems","extern":"1","publication":"Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems","citation":{"short":"T.C. King, Q. Liu, G. Polevoy, M. de Weerdt, V. Dignum, M.B. van Riemsdijk, M. Warnier, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1651–1652.","chicago":"King, Thomas C., Qingzhi Liu, Gleb Polevoy, Mathijs de Weerdt, Virginia Dignum, M. Birna van Riemsdijk, and Martijn Warnier. “Request Driven Social Sensing.” In <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>, 1651–52. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2014.","ieee":"T. C. King <i>et al.</i>, “Request Driven Social Sensing,” in <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems</i>, 2014, pp. 1651–1652.","apa":"King, T. C., Liu, Q., Polevoy, G., de Weerdt, M., Dignum, V., van Riemsdijk, M. B., &#38; Warnier, M. (2014). Request Driven Social Sensing. In <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems</i> (pp. 1651–1652). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.","bibtex":"@inproceedings{King_Liu_Polevoy_de Weerdt_Dignum_van Riemsdijk_Warnier_2014, place={Richland, SC}, series={AAMAS ’14}, title={Request Driven Social Sensing}, booktitle={Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}, publisher={International Foundation for Autonomous Agents and Multiagent Systems}, author={King, Thomas C. and Liu, Qingzhi and Polevoy, Gleb and de Weerdt, Mathijs and Dignum, Virginia and van Riemsdijk, M. Birna and Warnier, Martijn}, year={2014}, pages={1651–1652}, collection={AAMAS ’14} }","ama":"King TC, Liu Q, Polevoy G, et al. Request Driven Social Sensing. In: <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems; 2014:1651-1652.","mla":"King, Thomas C., et al. “Request Driven Social Sensing.” <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 1651–52."},"keyword":["crowd-sensing","crowdsourcing","data aggregation","game theory","norms","reciprocation","self interested agents","simulation"],"type":"conference","department":[{"_id":"63"},{"_id":"541"}],"date_created":"2020-08-06T15:21:45Z","place":"Richland, SC"},{"year":"2014","title":"Signaling Competition and Social Welfare","author":[{"first_name":"Gleb","last_name":"Polevoy","full_name":"Polevoy, Gleb","id":"83983"},{"last_name":"Smorodinsky","first_name":"Rann","full_name":"Smorodinsky, Rann"},{"full_name":"Tennenholtz, Moshe","first_name":"Moshe","last_name":"Tennenholtz"}],"publication_identifier":{"issn":["2167-8375"]},"date_updated":"2022-01-06T06:53:16Z","intvolume":"         2","language":[{"iso":"eng"}],"doi":"10.1145/2560766","issue":"1","publication":"ACM Trans. Econ. Comput.","extern":"1","date_created":"2020-08-06T15:21:55Z","keyword":["Competition","efficiency","equilibrium","market","social welfare"],"type":"journal_article","department":[{"_id":"63"},{"_id":"541"}],"status":"public","page":"1:1-1:16","publisher":"ACM","_id":"17662","user_id":"83983","volume":2,"citation":{"bibtex":"@article{Polevoy_Smorodinsky_Tennenholtz_2014, title={Signaling Competition and Social Welfare}, volume={2}, DOI={<a href=\"https://doi.org/10.1145/2560766\">10.1145/2560766</a>}, number={1}, journal={ACM Trans. Econ. Comput.}, publisher={ACM}, author={Polevoy, Gleb and Smorodinsky, Rann and Tennenholtz, Moshe}, year={2014}, pages={1:1-1:16} }","ama":"Polevoy G, Smorodinsky R, Tennenholtz M. Signaling Competition and Social Welfare. <i>ACM Trans Econ Comput</i>. 2014;2(1):1:1-1:16. doi:<a href=\"https://doi.org/10.1145/2560766\">10.1145/2560766</a>","mla":"Polevoy, Gleb, et al. “Signaling Competition and Social Welfare.” <i>ACM Trans. Econ. Comput.</i>, vol. 2, no. 1, ACM, 2014, pp. 1:1-1:16, doi:<a href=\"https://doi.org/10.1145/2560766\">10.1145/2560766</a>.","short":"G. Polevoy, R. Smorodinsky, M. Tennenholtz, ACM Trans. Econ. Comput. 2 (2014) 1:1-1:16.","chicago":"Polevoy, Gleb, Rann Smorodinsky, and Moshe Tennenholtz. “Signaling Competition and Social Welfare.” <i>ACM Trans. Econ. Comput.</i> 2, no. 1 (2014): 1:1-1:16. <a href=\"https://doi.org/10.1145/2560766\">https://doi.org/10.1145/2560766</a>.","ieee":"G. Polevoy, R. Smorodinsky, and M. Tennenholtz, “Signaling Competition and Social Welfare,” <i>ACM Trans. Econ. Comput.</i>, vol. 2, no. 1, pp. 1:1-1:16, 2014.","apa":"Polevoy, G., Smorodinsky, R., &#38; Tennenholtz, M. (2014). Signaling Competition and Social Welfare. <i>ACM Trans. Econ. Comput.</i>, <i>2</i>(1), 1:1-1:16. <a href=\"https://doi.org/10.1145/2560766\">https://doi.org/10.1145/2560766</a>"}},{"date_updated":"2022-01-06T06:53:20Z","publication_identifier":{"isbn":["978-3-319-09063-4"]},"author":[{"first_name":"Tobias","last_name":"Steinle","full_name":"Steinle, Tobias"},{"full_name":"Vrabec, Jadran","last_name":"Vrabec","first_name":"Jadran"},{"first_name":"Andrea","last_name":"Walther","full_name":"Walther, Andrea"}],"title":"Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres","status":"public","year":"2014","editor":[{"full_name":"Bock, Hans Georg","first_name":"Hans Georg","last_name":"Bock"},{"first_name":"Xuan Phu","last_name":"Hoang","full_name":"Hoang, Xuan Phu"},{"first_name":"Rolf","last_name":"Rannacher","full_name":"Rannacher, Rolf"},{"first_name":"Johannes P.","last_name":"Schlöder","full_name":"Schlöder, Johannes P."}],"user_id":"24135","doi":"10.1007/978-3-319-09063-4_19","_id":"1781","publisher":"Springer International Publishing","page":"233-243","abstract":[{"lang":"eng","text":"In light of an increasing awareness of environmental challenges, extensive research is underway to develop new light-weight materials. A problem arising with these materials is their increased response to vibration. This can be solved using a new composite material that contains embedded hollow spheres that are partially filled with particles. Progress on the adaptation of molecular dynamics towards a particle-based numerical simulation of this material is reported. This includes the treatment of specific boundary conditions and the adaption of the force computation. First results are presented that showcase the damping properties of such particle-filled spheres in a bouncing experiment."}],"citation":{"chicago":"Steinle, Tobias, Jadran Vrabec, and Andrea Walther. “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres.” In <i>Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)</i>, edited by Hans Georg Bock, Xuan Phu Hoang, Rolf Rannacher, and Johannes P. Schlöder, 233–43. Springer International Publishing, 2014. <a href=\"https://doi.org/10.1007/978-3-319-09063-4_19\">https://doi.org/10.1007/978-3-319-09063-4_19</a>.","short":"T. Steinle, J. Vrabec, A. Walther, in: H.G. Bock, X.P. Hoang, R. Rannacher, J.P. Schlöder (Eds.), Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), Springer International Publishing, 2014, pp. 233–243.","ieee":"T. Steinle, J. Vrabec, and A. Walther, “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres,” in <i>Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)</i>, 2014, pp. 233–243.","apa":"Steinle, T., Vrabec, J., &#38; Walther, A. (2014). Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres. In H. G. Bock, X. P. Hoang, R. Rannacher, &#38; J. P. Schlöder (Eds.), <i>Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)</i> (pp. 233–243). Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-09063-4_19\">https://doi.org/10.1007/978-3-319-09063-4_19</a>","bibtex":"@inproceedings{Steinle_Vrabec_Walther_2014, title={Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-09063-4_19\">10.1007/978-3-319-09063-4_19</a>}, booktitle={Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)}, publisher={Springer International Publishing}, author={Steinle, Tobias and Vrabec, Jadran and Walther, Andrea}, editor={Bock, Hans Georg and Hoang, Xuan Phu and Rannacher, Rolf and Schlöder, Johannes P.Editors}, year={2014}, pages={233–243} }","ama":"Steinle T, Vrabec J, Walther A. Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres. In: Bock HG, Hoang XP, Rannacher R, Schlöder JP, eds. <i>Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)</i>. Springer International Publishing; 2014:233-243. doi:<a href=\"https://doi.org/10.1007/978-3-319-09063-4_19\">10.1007/978-3-319-09063-4_19</a>","mla":"Steinle, Tobias, et al. “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres.” <i>Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)</i>, edited by Hans Georg Bock et al., Springer International Publishing, 2014, pp. 233–43, doi:<a href=\"https://doi.org/10.1007/978-3-319-09063-4_19\">10.1007/978-3-319-09063-4_19</a>."},"publication":"Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)","department":[{"_id":"27"},{"_id":"104"},{"_id":"155"}],"type":"conference","date_created":"2018-03-26T13:47:16Z"},{"date_created":"2018-03-26T13:50:37Z","place":"Switzerland","department":[{"_id":"27"},{"_id":"78"}],"type":"conference","citation":{"bibtex":"@inproceedings{Graf_Schaefers_Platzner_2014, place={Switzerland}, series={Lecture Notes in Computer Science}, title={On Semeai Detection in Monte-Carlo Go}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">10.1007/978-3-319-09165-5_2</a>}, number={8427}, booktitle={Proc. Conf. on Computers and Games (CG)}, publisher={Springer}, author={Graf, Tobias and Schaefers, Lars and Platzner, Marco}, year={2014}, pages={14–25}, collection={Lecture Notes in Computer Science} }","ama":"Graf T, Schaefers L, Platzner M. On Semeai Detection in Monte-Carlo Go. In: <i>Proc. Conf. on Computers and Games (CG)</i>. Lecture Notes in Computer Science. Switzerland: Springer; 2014:14-25. doi:<a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">10.1007/978-3-319-09165-5_2</a>","mla":"Graf, Tobias, et al. “On Semeai Detection in Monte-Carlo Go.” <i>Proc. Conf. on Computers and Games (CG)</i>, no. 8427, Springer, 2014, pp. 14–25, doi:<a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">10.1007/978-3-319-09165-5_2</a>.","short":"T. Graf, L. Schaefers, M. Platzner, in: Proc. Conf. on Computers and Games (CG), Springer, Switzerland, 2014, pp. 14–25.","chicago":"Graf, Tobias, Lars Schaefers, and Marco Platzner. “On Semeai Detection in Monte-Carlo Go.” In <i>Proc. Conf. on Computers and Games (CG)</i>, 14–25. Lecture Notes in Computer Science. Switzerland: Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">https://doi.org/10.1007/978-3-319-09165-5_2</a>.","ieee":"T. Graf, L. Schaefers, and M. Platzner, “On Semeai Detection in Monte-Carlo Go,” in <i>Proc. Conf. on Computers and Games (CG)</i>, 2014, no. 8427, pp. 14–25.","apa":"Graf, T., Schaefers, L., &#38; Platzner, M. (2014). On Semeai Detection in Monte-Carlo Go. In <i>Proc. Conf. on Computers and Games (CG)</i> (pp. 14–25). Switzerland: Springer. <a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">https://doi.org/10.1007/978-3-319-09165-5_2</a>"},"issue":"8427","publication":"Proc. Conf. on Computers and Games (CG)","_id":"1782","publisher":"Springer","series_title":"Lecture Notes in Computer Science","page":"14-25","user_id":"24135","doi":"10.1007/978-3-319-09165-5_2","author":[{"full_name":"Graf, Tobias","last_name":"Graf","first_name":"Tobias"},{"full_name":"Schaefers, Lars","last_name":"Schaefers","first_name":"Lars"},{"full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner","id":"398"}],"status":"public","title":"On Semeai Detection in Monte-Carlo Go","year":"2014","date_updated":"2022-01-06T06:53:20Z"},{"date_created":"2020-09-04T13:20:12Z","place":"Universität Paderborn","department":[{"_id":"63"}],"type":"dissertation","citation":{"mla":"Petring, Ralf. <i>Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit</i>. 2014.","bibtex":"@book{Petring_2014, place={Universität Paderborn}, title={Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit}, author={Petring, Ralf}, year={2014} }","ama":"Petring R. <i>Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit</i>. Universität Paderborn; 2014.","ieee":"R. Petring, <i>Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit</i>. Universität Paderborn, 2014.","apa":"Petring, R. (2014). <i>Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit</i>. Universität Paderborn.","chicago":"Petring, Ralf. <i>Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit</i>. Universität Paderborn, 2014.","short":"R. Petring, Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit, Universität Paderborn, 2014."},"supervisor":[{"id":"15523","last_name":"Meyer auf der Heide","first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm"}],"related_material":{"link":[{"url":"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12816","relation":"confirmation"}]},"language":[{"iso":"eng"}],"_id":"19039","user_id":"15415","author":[{"full_name":"Petring, Ralf","first_name":"Ralf","last_name":"Petring"}],"status":"public","year":"2014","title":"Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit","date_updated":"2022-01-06T06:53:57Z"},{"publisher":"IEEE Xplore","_id":"20905","language":[{"iso":"eng"}],"user_id":"5786","year":"2014","title":"Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems","status":"public","author":[{"full_name":"Pohlmann, Uwe","first_name":"Uwe","last_name":"Pohlmann"},{"id":"3875","orcid":"0000-0001-6141-4571","first_name":"Jörg","last_name":"Holtmann","full_name":"Holtmann, Jörg"},{"full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias","id":"683"},{"last_name":"Gerking","first_name":"Christopher","full_name":"Gerking, Christopher"}],"date_updated":"2022-01-06T06:54:41Z","date_created":"2021-01-12T14:03:55Z","type":"conference","department":[{"_id":"76"},{"_id":"241"}],"publication":"Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)","citation":{"mla":"Pohlmann, Uwe, et al. “Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems.” <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)</i>, IEEE Xplore, 2014.","bibtex":"@inproceedings{Pohlmann_Holtmann_Meyer_Gerking_2014, title={Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems}, booktitle={Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)}, publisher={IEEE Xplore}, author={Pohlmann, Uwe and Holtmann, Jörg and Meyer, Matthias and Gerking, Christopher}, year={2014} }","ama":"Pohlmann U, Holtmann J, Meyer M, Gerking C. Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. In: <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)</i>. IEEE Xplore; 2014.","ieee":"U. Pohlmann, J. Holtmann, M. Meyer, and C. Gerking, “Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems,” 2014.","apa":"Pohlmann, U., Holtmann, J., Meyer, M., &#38; Gerking, C. (2014). Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)</i>.","short":"U. Pohlmann, J. Holtmann, M. Meyer, C. Gerking, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Xplore, 2014.","chicago":"Pohlmann, Uwe, Jörg Holtmann, Matthias Meyer, and Christopher Gerking. “Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems.” In <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)</i>. IEEE Xplore, 2014."}},{"date_created":"2021-01-12T14:06:40Z","department":[{"_id":"76"},{"_id":"241"}],"type":"conference","citation":{"mla":"Becker, Steffen, et al. “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” <i>Proceedings of the 36th International Conference on Software Engineering (Posters)</i>, ACM, New York, NY, USA, 2014.","ama":"Becker S, Dziwok S, Gerking C, et al. The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems. In: <i>Proceedings of the 36th International Conference on Software Engineering (Posters)</i>. ACM, New York, NY, USA; 2014.","bibtex":"@inproceedings{Becker_Dziwok_Gerking_Heinzemann_Schäfer_Meyer_Pohlmann_2014, title={The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems}, booktitle={Proceedings of the 36th International Conference on Software Engineering (Posters)}, publisher={ACM, New York, NY, USA}, author={Becker, Steffen and Dziwok, Stefan and Gerking, Christopher and Heinzemann, Christian and Schäfer, Wilhelm and Meyer, Matthias and Pohlmann, Uwe}, year={2014} }","apa":"Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Schäfer, W., Meyer, M., &#38; Pohlmann, U. (2014). The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems. <i>Proceedings of the 36th International Conference on Software Engineering (Posters)</i>.","ieee":"S. Becker <i>et al.</i>, “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems,” 2014.","short":"S. Becker, S. Dziwok, C. Gerking, C. Heinzemann, W. Schäfer, M. Meyer, U. Pohlmann, in: Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, 2014.","chicago":"Becker, Steffen, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, and Uwe Pohlmann. “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” In <i>Proceedings of the 36th International Conference on Software Engineering (Posters)</i>. ACM, New York, NY, USA, 2014."},"publication":"Proceedings of the 36th International Conference on Software Engineering (Posters)","_id":"20907","language":[{"iso":"eng"}],"publisher":"ACM, New York, NY, USA","user_id":"5786","author":[{"full_name":"Becker, Steffen","first_name":"Steffen","last_name":"Becker"},{"id":"3901","orcid":"http://orcid.org/0000-0002-8679-6673","last_name":"Dziwok","first_name":"Stefan","full_name":"Dziwok, Stefan"},{"first_name":"Christopher","last_name":"Gerking","full_name":"Gerking, Christopher"},{"first_name":"Christian","last_name":"Heinzemann","full_name":"Heinzemann, Christian"},{"last_name":"Schäfer","first_name":"Wilhelm","full_name":"Schäfer, Wilhelm"},{"full_name":"Meyer, Matthias","first_name":"Matthias","last_name":"Meyer","id":"683"},{"full_name":"Pohlmann, Uwe","first_name":"Uwe","last_name":"Pohlmann"}],"status":"public","title":"The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems","year":"2014","date_updated":"2022-01-06T06:54:41Z"},{"user_id":"5786","language":[{"iso":"eng"}],"_id":"20908","main_file_link":[{"url":"http://dl.acm.org/citation.cfm?id=2643106&CFID=389201271&CFTOKEN=71445276"}],"date_updated":"2022-01-06T06:54:41Z","author":[{"first_name":"Uwe","last_name":"Pohlmann","full_name":"Pohlmann, Uwe"},{"full_name":"Dziwok, Stefan","last_name":"Dziwok","first_name":"Stefan","orcid":"http://orcid.org/0000-0002-8679-6673","id":"3901"},{"full_name":"Meyer, Matthias","first_name":"Matthias","last_name":"Meyer","id":"683"},{"first_name":"Matthias","last_name":"Tichy","full_name":"Tichy, Matthias"},{"full_name":"Thiele, Sebastian","last_name":"Thiele","first_name":"Sebastian"}],"year":"2014","status":"public","title":"A Modelica Coordination Pattern Library for Cyber-Physical Systems","department":[{"_id":"76"},{"_id":"241"}],"type":"conference","date_created":"2021-01-12T14:07:40Z","citation":{"bibtex":"@inproceedings{Pohlmann_Dziwok_Meyer_Tichy_Thiele_2014, title={A Modelica Coordination Pattern Library for Cyber-Physical Systems}, booktitle={Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques}, author={Pohlmann, Uwe and Dziwok, Stefan and Meyer, Matthias and Tichy, Matthias and Thiele, Sebastian}, year={2014} }","short":"U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, S. Thiele, in: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.","ama":"Pohlmann U, Dziwok S, Meyer M, Tichy M, Thiele S. A Modelica Coordination Pattern Library for Cyber-Physical Systems. In: <i>Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques</i>. ; 2014.","chicago":"Pohlmann, Uwe, Stefan Dziwok, Matthias Meyer, Matthias Tichy, and Sebastian Thiele. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.” In <i>Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques</i>, 2014.","ieee":"U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, and S. Thiele, “A Modelica Coordination Pattern Library for Cyber-Physical Systems,” 2014.","mla":"Pohlmann, Uwe, et al. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.” <i>Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques</i>, 2014.","apa":"Pohlmann, U., Dziwok, S., Meyer, M., Tichy, M., &#38; Thiele, S. (2014). A Modelica Coordination Pattern Library for Cyber-Physical Systems. <i>Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques</i>."},"publication":"Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques"},{"_id":"20909","language":[{"iso":"eng"}],"user_id":"5786","author":[{"last_name":"Becker","first_name":"Steffen","full_name":"Becker, Steffen"},{"last_name":"Dziwok","first_name":"Stefan","orcid":"http://orcid.org/0000-0002-8679-6673","full_name":"Dziwok, Stefan","id":"3901"},{"first_name":"Christopher","last_name":"Gerking","full_name":"Gerking, Christopher"},{"first_name":"Wilhelm","last_name":"Schäfer","full_name":"Schäfer, Wilhelm"},{"first_name":"Christian","last_name":"Heinzemann","full_name":"Heinzemann, Christian"},{"full_name":"Thiele, Sebastian","last_name":"Thiele","first_name":"Sebastian"},{"id":"683","last_name":"Meyer","first_name":"Matthias","full_name":"Meyer, Matthias"},{"full_name":"Priesterjahn, Claudia","last_name":"Priesterjahn","first_name":"Claudia"},{"full_name":"Pohlmann, Uwe","first_name":"Uwe","last_name":"Pohlmann"},{"last_name":"Tichy","first_name":"Matthias","full_name":"Tichy, Matthias"}],"title":"The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling","year":"2014","status":"public","date_updated":"2022-01-06T06:54:41Z","date_created":"2021-01-12T14:08:53Z","department":[{"_id":"76"},{"_id":"241"}],"type":"report","citation":{"ama":"Becker S, Dziwok S, Gerking C, et al. <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>.; 2014.","bibtex":"@book{Becker_Dziwok_Gerking_Schäfer_Heinzemann_Thiele_Meyer_Priesterjahn_Pohlmann_Tichy_2014, title={The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling}, author={Becker, Steffen and Dziwok, Stefan and Gerking, Christopher and Schäfer, Wilhelm and Heinzemann, Christian and Thiele, Sebastian and Meyer, Matthias and Priesterjahn, Claudia and Pohlmann, Uwe and Tichy, Matthias}, year={2014} }","mla":"Becker, Steffen, et al. <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>. 2014.","short":"S. Becker, S. Dziwok, C. Gerking, W. Schäfer, C. Heinzemann, S. Thiele, M. Meyer, C. Priesterjahn, U. Pohlmann, M. Tichy, The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, 2014.","chicago":"Becker, Steffen, Stefan Dziwok, Christopher Gerking, Wilhelm Schäfer, Christian Heinzemann, Sebastian Thiele, Matthias Meyer, Claudia Priesterjahn, Uwe Pohlmann, and Matthias Tichy. <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>, 2014.","apa":"Becker, S., Dziwok, S., Gerking, C., Schäfer, W., Heinzemann, C., Thiele, S., Meyer, M., Priesterjahn, C., Pohlmann, U., &#38; Tichy, M. (2014). <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>.","ieee":"S. Becker <i>et al.</i>, <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>. 2014."}},{"date_updated":"2022-01-06T06:54:41Z","year":"2014","title":"Viewpoints and Views in Hardware Platform Modeling for Safe Deployment","status":"public","author":[{"last_name":"Pohlmann","first_name":"Uwe","full_name":"Pohlmann, Uwe"},{"full_name":"Meyer, Matthias","first_name":"Matthias","last_name":"Meyer","id":"683"},{"full_name":"Dann, Andreas Peter","last_name":"Dann","first_name":"Andreas Peter"},{"full_name":"Brink, Christopher","last_name":"Brink","first_name":"Christopher"}],"user_id":"5786","page":"23:23-23:30","_id":"20910","publisher":"ACM, New York, NY, USA","language":[{"iso":"eng"}],"publication":"Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling","citation":{"ieee":"U. Pohlmann, M. Meyer, A. P. Dann, and C. Brink, “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment,” in <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>, 2014, p. 23:23-23:30.","mla":"Pohlmann, Uwe, et al. “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment.” <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>, ACM, New York, NY, USA, 2014, p. 23:23-23:30.","apa":"Pohlmann, U., Meyer, M., Dann, A. P., &#38; Brink, C. (2014). Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>, 23:23-23:30.","bibtex":"@inproceedings{Pohlmann_Meyer_Dann_Brink_2014, title={Viewpoints and Views in Hardware Platform Modeling for Safe Deployment}, booktitle={Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling}, publisher={ACM, New York, NY, USA}, author={Pohlmann, Uwe and Meyer, Matthias and Dann, Andreas Peter and Brink, Christopher}, year={2014}, pages={23:23-23:30} }","short":"U. Pohlmann, M. Meyer, A.P. Dann, C. Brink, in: Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, New York, NY, USA, 2014, p. 23:23-23:30.","ama":"Pohlmann U, Meyer M, Dann AP, Brink C. Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. In: <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>. ACM, New York, NY, USA; 2014:23:23-23:30.","chicago":"Pohlmann, Uwe, Matthias Meyer, Andreas Peter Dann, and Christopher Brink. “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment.” In <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>, 23:23-23:30. ACM, New York, NY, USA, 2014."},"type":"conference","department":[{"_id":"76"},{"_id":"241"}],"date_created":"2021-01-12T14:09:51Z"},{"_id":"18001","language":[{"iso":"eng"}],"publisher":"Universität Paderborn","user_id":"477","title":"Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen","status":"public","year":"2014","author":[{"last_name":"Luo","first_name":"Linghui","full_name":"Luo, Linghui"}],"date_updated":"2022-01-06T06:53:25Z","date_created":"2020-08-17T08:16:07Z","type":"bachelorsthesis","department":[{"_id":"79"}],"supervisor":[{"first_name":"Christian","last_name":"Scheideler","full_name":"Scheideler, Christian","id":"20792"}],"citation":{"apa":"Luo, L. (2014). <i>Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen</i>. Universität Paderborn.","ieee":"L. Luo, <i>Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen</i>. Universität Paderborn, 2014.","chicago":"Luo, Linghui. <i>Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen</i>. Universität Paderborn, 2014.","short":"L. Luo, Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen, Universität Paderborn, 2014.","mla":"Luo, Linghui. <i>Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen</i>. Universität Paderborn, 2014.","ama":"Luo L. <i>Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen</i>. Universität Paderborn; 2014.","bibtex":"@book{Luo_2014, title={Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen}, publisher={Universität Paderborn}, author={Luo, Linghui}, year={2014} }"},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area C","_id":"4"},{"_id":"13","name":"SFB 901 - Subproject C1"}]}]