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.
37434 Publications
2020 | Conference Paper | LibreCat-ID: 20273
Biegler, Max, et al. “Resistance Spot Welding Simulation Can Determine the Critical Stress- and Strain-Conditions Leading to Liquid Metal Embrittlement Formation.” Joining in Car Body Engineering, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20274
Bila, Eleni, et al. “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.” Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, edited by Alexey Gotsman and Ana Sokolova, vol. 12136, Springer, 2020, pp. 39–58, doi:10.1007/978-3-030-50086-3\_3.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20275
Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing Requirements.” Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, edited by Marten van Sinderen et al., ScitePress, 2020, pp. 15–26, doi:10.5220/0009766600150026.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, edited by Tiziana Margaria and Bernhard Steffen, vol. 12476, Springer, 2020, pp. 143–67, doi:10.1007/978-3-030-61362-4\_8.
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
Wehrheim, Heike, and Jordi Cabot, editors. Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Vol. 12076, Springer, 2020, doi:10.1007/978-3-030-45234-6.
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt, Wolfgang, and Heike Wehrheim, editors. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165, Springer, 2020, doi:10.1007/978-3-030-50995-8.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20279
Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning Models.” CoRR, vol. abs/2002.12278, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 28011
Brand-Miller, Jennie, and Anette Buyken. “Mapping Postprandial Responses Sets the Scene for Targeted Dietary Advice.” Nature Medicine, 2020, pp. 828–30, doi:10.1038/s41591-020-0909-1.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28242
Heldt, Melanie, et al. “The Relationship between Differences in Students’ Computer and Information Literacy and Response Times: An Analysis of IEA-ICILS Data.” Large-Scale Assessments in Education, vol. 8, no. 1, 2020, pp. 1–20, doi:10.1186/s40536-020-00090-1.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 2834
Gutt, Dominik, et al. “Goal Achievement, Subsequent User Effort and the Moderating Role of Goal Difficulty.” Journal of Business Research, vol. 106, Elsevier, 2020, pp. 277–87, doi:10.1016/j.jbusres.2018.06.019.
LibreCat
| Files available
| DOI