O. Travkin and H. Wehrheim, “Handling TSO in Mechanized Linearizability Proofs,” in Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

T. Isenberg and H. Wehrheim, “Timed Automata Verification via I with Zones,” in 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.
LibreCat: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing LTL Properties in Event-B Refinement,” in Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing LTL properties in Event-B refinement,” CoRR, 2014.
LibreCat: /record/3174

T. Isenberg and H. Wehrheim, “Proof-Carrying Hardware via I,” CoRR, 2014.
LibreCat: /record/3175

R. Keil, H. Selke, and F. Winkelnkemper, “Twenty years of learning with the World Wide Web.” pp. 51–60, 2014.
LibreCat: /record/27166

F. Winkelnkemper and R. Keil, “Zwischen Design und Flexibilit\'22at - Zur Ergonomie des Flat Design,” 2014, vol. 2014, pp. 255–264.
LibreCat: /record/27167

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.
LibreCat: /record/20983

G. Polevoy, S. Trajanovski, and M. M. de Weerdt, “Nash Equilibria in Shared Effort Games,” in Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, 2014, pp. 861–868.
LibreCat: /record/17659

G. Polevoy and M. M. de Weerdt, “Improving Human Interaction in Crowdsensing,” in Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, 2014, pp. 1741–1742.
LibreCat: /record/17660

T. C. King et al., “Request Driven Social Sensing,” in Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, 2014, pp. 1651–1652.
LibreCat: /record/17661

G. Polevoy, R. Smorodinsky, and M. Tennenholtz, “Signaling Competition and Social Welfare,” ACM Trans. Econ. Comput., vol. 2, no. 1, pp. 1:1-1:16, 2014.
LibreCat: /record/17662
DOI: 10.1145/2560766

T. Steinle, J. Vrabec, and A. Walther, “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres,” in Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), 2014, pp. 233–243.
LibreCat: /record/1781
DOI: 10.1007/978-3-319-09063-4_19

T. Graf, L. Schaefers, and M. Platzner, “On Semeai Detection in Monte-Carlo Go,” in Proc. Conf. on Computers and Games (CG), 2014, no. 8427, pp. 14–25.
LibreCat: /record/1782
DOI: 10.1007/978-3-319-09165-5_2

R. Petring, Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit. Universität Paderborn, 2014.
LibreCat: /record/19039

U. Pohlmann, J. Holtmann, M. Meyer, and C. Gerking, “Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems,” 2014.
LibreCat: /record/20905

S. Becker et al., “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems,” 2014.
LibreCat: /record/20907

U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, and S. Thiele, “A Modelica Coordination Pattern Library for Cyber-Physical Systems,” 2014.
LibreCat: /record/20908

S. Becker et al., The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling. 2014.
LibreCat: /record/20909

U. Pohlmann, M. Meyer, A. P. Dann, and C. Brink, “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment,” in Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, 2014, p. 23:23-23:30.
LibreCat: /record/20910