Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9750 Publications
2014 | Conference Paper | LibreCat-ID: 3171
Travkin, O., & Wehrheim, H. (2014). Handling {TSO} in Mechanized Linearizability Proofs. In E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings (pp. 132--147). https://doi.org/10.1007/978-3-319-13338-6_11
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg, T., & Wehrheim, H. (2014). Timed Automata Verification via {IC3} with Zones. 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 (pp. 203--218). https://doi.org/10.1007/978-3-319-11737-9_14
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider, S., Treharne, H., Wehrheim, H., & M. Williams, D. (2014). Managing {LTL} Properties in Event-B Refinement. In E. Albert & E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (pp. 221--237). https://doi.org/10.1007/978-3-319-10181-1_14
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
Schneider, S., Treharne, H., Wehrheim, H., & M. Williams, D. (2014). Managing {LTL} properties in Event-B refinement. CoRR.
LibreCat
2014 | Journal Article | LibreCat-ID: 3175
Isenberg, T., & Wehrheim, H. (2014). Proof-Carrying Hardware via {IC3}. CoRR.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27166
Keil, R., Selke, H., & Winkelnkemper, F. (2014). Twenty years of learning with the World Wide Web (S. Trahasch, R. Pl {\ "o} tzner , G. Schneider, C. Gayer, D. Sassiat, & N. W {\ "o} hrle, Eds.; pp. 51–60).
LibreCat
2014 | Conference Paper | LibreCat-ID: 27167
Winkelnkemper, F., & Keil, R. (2014). Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design (A. Butz & J. Schlichter, Eds.; Vol. 2014, pp. 255–264). Oldenbourg Verlag.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20983
Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., & Tichy, M. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014).
LibreCat
2014 | Conference Paper | LibreCat-ID: 17659
Polevoy, G., Trajanovski, S., & de Weerdt, M. M. (2014). Nash Equilibria in Shared Effort Games. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems (pp. 861–868). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.
LibreCat
2014 | Conference Paper | LibreCat-ID: 17660
Polevoy, G., & de Weerdt, M. M. (2014). Improving Human Interaction in Crowdsensing. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems (pp. 1741–1742). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.
LibreCat
2014 | Conference Paper | LibreCat-ID: 17661
King, T. C., Liu, Q., Polevoy, G., de Weerdt, M., Dignum, V., van Riemsdijk, M. B., & Warnier, M. (2014). Request Driven Social Sensing. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems (pp. 1651–1652). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.
LibreCat
2014 | Journal Article | LibreCat-ID: 17662
Polevoy, G., Smorodinsky, R., & Tennenholtz, M. (2014). Signaling Competition and Social Welfare. ACM Trans. Econ. Comput., 2(1), 1:1-1:16. https://doi.org/10.1145/2560766
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1781
Steinle, T., Vrabec, J., & Walther, A. (2014). Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres. In H. G. Bock, X. P. Hoang, R. Rannacher, & J. P. Schlöder (Eds.), Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC) (pp. 233–243). Springer International Publishing. https://doi.org/10.1007/978-3-319-09063-4_19
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1782
Graf, T., Schaefers, L., & Platzner, M. (2014). On Semeai Detection in Monte-Carlo Go. In Proc. Conf. on Computers and Games (CG) (pp. 14–25). Switzerland: Springer. https://doi.org/10.1007/978-3-319-09165-5_2
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 19039
Petring, R. (2014). Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit. Universität Paderborn.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 20905
Pohlmann, U., Holtmann, J., Meyer, M., & Gerking, C. (2014). Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20907
Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Schäfer, W., Meyer, M., & Pohlmann, U. (2014). The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems. Proceedings of the 36th International Conference on Software Engineering (Posters).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20908
Pohlmann, U., Dziwok, S., Meyer, M., Tichy, M., & Thiele, S. (2014). A Modelica Coordination Pattern Library for Cyber-Physical Systems. Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques.
LibreCat
| Download (ext.)
2014 | Report | LibreCat-ID: 20909
Becker, S., Dziwok, S., Gerking, C., Schäfer, W., Heinzemann, C., Thiele, S., Meyer, M., Priesterjahn, C., Pohlmann, U., & Tichy, M. (2014). The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20910
Pohlmann, U., Meyer, M., Dann, A. P., & Brink, C. (2014). Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, 23:23-23:30.
LibreCat