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.
9730 Publications
2014 | Conference Paper | LibreCat-ID: 3171
Travkin O, Wehrheim H. Handling {TSO} in Mechanized Linearizability Proofs. In: Yahav E, ed. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:132--147. doi:10.1007/978-3-319-13338-6_11
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg T, Wehrheim H. Timed Automata Verification via {IC3} with Zones. In: Merz S, Pang J, eds. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:203--218. doi: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. Managing {LTL} Properties in Event-B Refinement. In: Albert E, Sekerinski E, eds. Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science. ; 2014:221--237. doi: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. Managing {LTL} properties in Event-B refinement. CoRR. 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 3175
Isenberg T, Wehrheim H. Proof-Carrying Hardware via {IC3}. CoRR. 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27166
Keil R, Selke H, Winkelnkemper F. Twenty years of learning with the World Wide Web. Trahasch S, Pl {\ "o} tzner R, Schneider G, Gayer C, Sassiat D, W {\ "o} hrle N, eds. Published online 2014:51–60.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27167
Winkelnkemper F, Keil R. Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design. In: Butz A, Schlichter J, eds. Vol 2014. Oldenbourg Verlag; 2014:255-264.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20983
Brenner C, Greenyer J, Holtmann J, Liebel G, Stieglbauer G, Tichy M. ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 17659
Polevoy G, Trajanovski S, de Weerdt MM. Nash Equilibria in Shared Effort Games. In: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems; 2014:861-868.
LibreCat
2014 | Conference Paper | LibreCat-ID: 17660
Polevoy G, de Weerdt MM. Improving Human Interaction in Crowdsensing. In: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems; 2014:1741-1742.
LibreCat