S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,”10.1109/TSE.2019.2948910__IEEE Transactions on Software Engineering, pp. 1–1, 2019, doi:10.1109/TSE.2019.2948910 .
LibreCat: /record/20533
DOI: 10.1109/TSE.2019.2948910

K. S. Lohan, S. Griffiths, A. Sciutti, T. C. Partmann, and K. Rohlfing, “Co-development of manner and path concepts in language, action, and eye-gaze behavior,”10.1111/tops.12098__Topics in Cognitive Science, vol. 6, no. 3, pp. 492–512, 2014, doi:10.1111/tops.12098 .
LibreCat: /record/17192
DOI: 10.1111/tops.12098

F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,”10.1109/PATMOS.2013.6662171__presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi:10.1109/PATMOS.2013.6662171 .
LibreCat: /record/36919
DOI: 10.1109/PATMOS.2013.6662171

J. Pottebaum, A. M. Japs, S. Prödel, and R. Koch, “Design and modeling of a domain ontology for fire protection,” in ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, 2010.
LibreCat: /record/24065