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
@inproceedings{Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Handling {TSO} in Mechanized Linearizability Proofs}, DOI={10.1007/978-3-319-13338-6_11}, booktitle={Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Yahav, EranEditor}, year={2014}, pages={132--147}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
@inproceedings{Isenberg_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Timed Automata Verification via {IC3} with Zones}, DOI={10.1007/978-3-319-11737-9_14}, 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} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
@inproceedings{A. Schneider_Treharne_Wehrheim_M. Williams_2014, series={Lecture Notes in Computer Science}, title={Managing {LTL} Properties in Event-B Refinement}, DOI={10.1007/978-3-319-10181-1_14}, 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} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
@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} }
LibreCat
2014 | Journal Article | LibreCat-ID: 3175
@article{Isenberg_Wehrheim_2014, title={Proof-Carrying Hardware via {IC3}}, journal={CoRR}, author={Isenberg, Tobias and Wehrheim, Heike}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 27166
@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)} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 27167
@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} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 20983
@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} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 17659
@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} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 17660
@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} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 17661
@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} }
LibreCat
2014 | Journal Article | LibreCat-ID: 17662
@article{Polevoy_Smorodinsky_Tennenholtz_2014, title={Signaling Competition and Social Welfare}, volume={2}, DOI={10.1145/2560766}, 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} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1781
@inproceedings{Steinle_Vrabec_Walther_2014, title={Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres}, DOI={10.1007/978-3-319-09063-4_19}, 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} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1782
@inproceedings{Graf_Schaefers_Platzner_2014, place={Switzerland}, series={Lecture Notes in Computer Science}, title={On Semeai Detection in Monte-Carlo Go}, DOI={10.1007/978-3-319-09165-5_2}, 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} }
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 19039
@book{Petring_2014, place={Universität Paderborn}, title={Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit}, author={Petring, Ralf}, year={2014} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 20905
@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} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 20907
@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} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 20908
@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} }
LibreCat
| Download (ext.)
2014 | Report | LibreCat-ID: 20909
@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} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 20910
@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} }
LibreCat