@inproceedings{3172, author = {{Isenberg, Tobias and Wehrheim, Heike}}, booktitle = {{Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings}}, editor = {{Merz, Stephan and Pang, Jun}}, pages = {{203----218}}, title = {{{Timed Automata Verification via {IC3} with Zones}}}, doi = {{10.1007/978-3-319-11737-9_14}}, year = {{2014}}, } @inproceedings{3173, author = {{A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}}, booktitle = {{Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings}}, editor = {{Albert, Elvira and Sekerinski, Emil}}, pages = {{221----237}}, title = {{{Managing {LTL} Properties in Event-B Refinement}}}, doi = {{10.1007/978-3-319-10181-1_14}}, year = {{2014}}, } @article{3174, author = {{Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}}, journal = {{CoRR}}, title = {{{Managing {LTL} properties in Event-B refinement}}}, year = {{2014}}, } @article{3175, author = {{Isenberg, Tobias and Wehrheim, Heike}}, journal = {{CoRR}}, title = {{{Proof-Carrying Hardware via {IC3}}}}, year = {{2014}}, } @inproceedings{27166, 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}}, pages = {{51–60}}, title = {{{Twenty years of learning with the World Wide Web}}}, year = {{2014}}, } @inproceedings{27167, author = {{Winkelnkemper, Felix and Keil, Reinhard}}, editor = {{Butz, Andreas and Schlichter, Johann}}, pages = {{255--264}}, publisher = {{Oldenbourg Verlag}}, title = {{{Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design}}}, volume = {{2014}}, year = {{2014}}, } @inproceedings{20983, abstract = {{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.}}, author = {{Brenner, Christian and Greenyer, Joel and Holtmann, Jörg and Liebel, Grischa and Stieglbauer, Gerald and Tichy, Matthias}}, booktitle = {{Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)}}, title = {{{ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study}}}, year = {{2014}}, } @inproceedings{17659, author = {{Polevoy, Gleb and Trajanovski, Stojan and de Weerdt, Mathijs M.}}, booktitle = {{Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}}, isbn = {{978-1-4503-2738-1}}, keywords = {{competition, equilibrium, market, models, shared effort games, simulation}}, pages = {{861--868}}, publisher = {{International Foundation for Autonomous Agents and Multiagent Systems}}, title = {{{Nash Equilibria in Shared Effort Games}}}, year = {{2014}}, } @inproceedings{17660, author = {{Polevoy, Gleb and de Weerdt, Mathijs M.}}, booktitle = {{Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}}, isbn = {{978-1-4503-2738-1}}, keywords = {{dynamics, emotion modeling, negotiation, network interaction, shared effort game}}, pages = {{1741--1742}}, publisher = {{International Foundation for Autonomous Agents and Multiagent Systems}}, title = {{{Improving Human Interaction in Crowdsensing}}}, year = {{2014}}, } @inproceedings{17661, 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}}, booktitle = {{Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}}, isbn = {{978-1-4503-2738-1}}, keywords = {{crowd-sensing, crowdsourcing, data aggregation, game theory, norms, reciprocation, self interested agents, simulation}}, pages = {{1651--1652}}, publisher = {{International Foundation for Autonomous Agents and Multiagent Systems}}, title = {{{Request Driven Social Sensing}}}, year = {{2014}}, } @article{17662, author = {{Polevoy, Gleb and Smorodinsky, Rann and Tennenholtz, Moshe}}, issn = {{2167-8375}}, journal = {{ACM Trans. Econ. Comput.}}, keywords = {{Competition, efficiency, equilibrium, market, social welfare}}, number = {{1}}, pages = {{1:1--1:16}}, publisher = {{ACM}}, title = {{{Signaling Competition and Social Welfare}}}, doi = {{10.1145/2560766}}, volume = {{2}}, year = {{2014}}, } @inproceedings{1781, abstract = {{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.}}, author = {{Steinle, Tobias and Vrabec, Jadran and Walther, Andrea}}, booktitle = {{Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)}}, editor = {{Bock, Hans Georg and Hoang, Xuan Phu and Rannacher, Rolf and Schlöder, Johannes P.}}, isbn = {{978-3-319-09063-4}}, pages = {{233--243}}, publisher = {{Springer International Publishing}}, title = {{{Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres}}}, doi = {{10.1007/978-3-319-09063-4_19}}, year = {{2014}}, } @inproceedings{1782, author = {{Graf, Tobias and Schaefers, Lars and Platzner, Marco}}, booktitle = {{Proc. Conf. on Computers and Games (CG)}}, number = {{8427}}, pages = {{14--25}}, publisher = {{Springer}}, title = {{{On Semeai Detection in Monte-Carlo Go}}}, doi = {{10.1007/978-3-319-09165-5_2}}, year = {{2014}}, } @phdthesis{19039, author = {{Petring, Ralf}}, title = {{{Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit}}}, year = {{2014}}, } @inproceedings{20905, author = {{Pohlmann, Uwe and Holtmann, Jörg and Meyer, Matthias and Gerking, Christopher}}, booktitle = {{Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)}}, publisher = {{IEEE Xplore}}, title = {{{Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems}}}, year = {{2014}}, } @inproceedings{20907, author = {{Becker, Steffen and Dziwok, Stefan and Gerking, Christopher and Heinzemann, Christian and Schäfer, Wilhelm and Meyer, Matthias and Pohlmann, Uwe}}, booktitle = {{Proceedings of the 36th International Conference on Software Engineering (Posters)}}, publisher = {{ACM, New York, NY, USA}}, title = {{{The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems}}}, year = {{2014}}, } @inproceedings{20908, author = {{Pohlmann, Uwe and Dziwok, Stefan and Meyer, Matthias and Tichy, Matthias and Thiele, Sebastian}}, booktitle = {{Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques}}, title = {{{A Modelica Coordination Pattern Library for Cyber-Physical Systems}}}, year = {{2014}}, } @techreport{20909, 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}}, title = {{{The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling}}}, year = {{2014}}, } @inproceedings{20910, author = {{Pohlmann, Uwe and Meyer, Matthias and Dann, Andreas Peter and Brink, Christopher}}, booktitle = {{Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling}}, pages = {{23:23--23:30}}, publisher = {{ACM, New York, NY, USA}}, title = {{{Viewpoints and Views in Hardware Platform Modeling for Safe Deployment}}}, year = {{2014}}, } @misc{18001, author = {{Luo, Linghui}}, publisher = {{Universität Paderborn}}, title = {{{Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen}}}, year = {{2014}}, }