@article{3167,
  author       = {{Schneider, Steve and Treharne, Helen and Wehrheim, Heike}},
  journal      = {{Formal Asp. Comput.}},
  number       = {{2}},
  pages        = {{251----280}},
  title        = {{{The behavioural semantics of Event-B refinement}}},
  doi          = {{10.1007/s00165-012-0265-0}},
  year         = {{2014}},
}

@article{3168,
  author       = {{Tofan, Bogdan and Travkin, Oleg and Schellhorn, Gerhard and Wehrheim, Heike}},
  journal      = {{Sci. Comput. Program.}},
  pages        = {{297----314}},
  title        = {{{Two approaches for proving linearizability of multiset}}},
  doi          = {{10.1016/j.scico.2014.04.001}},
  year         = {{2014}},
}

@article{3169,
  author       = {{Schellhorn, Gerhard and Derrick, John and Wehrheim, Heike}},
  journal      = {{{ACM} Trans. Comput. Log.}},
  number       = {{4}},
  pages        = {{31:1----31:37}},
  title        = {{{A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures}}},
  doi          = {{10.1145/2629496}},
  year         = {{2014}},
}

@inproceedings{3170,
  author       = {{Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike}},
  booktitle    = {{{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}},
  editor       = {{B. Jones, Cliff and Pihlajasaari, Pekka and Sun, Jun}},
  pages        = {{200----214}},
  title        = {{{Quiescent Consistency: Defining and Verifying Relaxed Linearizability}}},
  doi          = {{10.1007/978-3-319-06410-9_15}},
  year         = {{2014}},
}

@inproceedings{3171,
  author       = {{Travkin, Oleg and Wehrheim, Heike}},
  booktitle    = {{Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}},
  editor       = {{Yahav, Eran}},
  pages        = {{132----147}},
  title        = {{{Handling {TSO} in Mechanized Linearizability Proofs}}},
  doi          = {{10.1007/978-3-319-13338-6_11}},
  year         = {{2014}},
}

@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{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}},
}