[{"doi":"10.1109/TSE.2019.2948910","main_file_link":[{"url":"http://www.bodden.de/pubs/tse19CrySL.pdf"}],"title":"CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs","date_created":"2020-11-27T10:48:38Z","author":[{"first_name":"Stefan","last_name":"Krüger","full_name":"Krüger, Stefan"},{"last_name":"Späth","full_name":"Späth, Johannes","first_name":"Johannes"},{"first_name":"Karim","full_name":"Ali, Karim","last_name":"Ali"},{"last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256","first_name":"Eric"},{"first_name":"Mira","full_name":"Mezini, Mira","last_name":"Mezini"}],"date_updated":"2022-01-06T06:54:29Z","page":"1-1","citation":{"apa":"Krüger, S., Späth, J., Ali, K., Bodden, E., &#38; Mezini, M. (2019). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. <i>IEEE Transactions on Software Engineering</i>, 1–1. <a href=\"https://doi.org/10.1109/TSE.2019.2948910\">https://doi.org/10.1109/TSE.2019.2948910</a>","short":"S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software Engineering (2019) 1–1.","mla":"Krüger, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” <i>IEEE Transactions on Software Engineering</i>, 2019, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/TSE.2019.2948910\">10.1109/TSE.2019.2948910</a>.","bibtex":"@article{Krüger_Späth_Ali_Bodden_Mezini_2019, title={CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}, DOI={<a href=\"https://doi.org/10.1109/TSE.2019.2948910\">10.1109/TSE.2019.2948910</a>}, journal={IEEE Transactions on Software Engineering}, author={Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2019}, pages={1–1} }","ieee":"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,” <i>IEEE Transactions on Software Engineering</i>, pp. 1–1, 2019, doi: <a href=\"https://doi.org/10.1109/TSE.2019.2948910\">10.1109/TSE.2019.2948910</a>.","chicago":"Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” <i>IEEE Transactions on Software Engineering</i>, 2019, 1–1. <a href=\"https://doi.org/10.1109/TSE.2019.2948910\">https://doi.org/10.1109/TSE.2019.2948910</a>.","ama":"Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. <i>IEEE Transactions on Software Engineering</i>. Published online 2019:1-1. doi:<a href=\"https://doi.org/10.1109/TSE.2019.2948910\">10.1109/TSE.2019.2948910</a>"},"year":"2019","publication_identifier":{"issn":["2326-3881"]},"language":[{"iso":"eng"}],"keyword":["Java","Encryption","Static analysis","Tools","Ciphers","Semantics","cryptography","domain-specific language","static analysis"],"department":[{"_id":"76"}],"user_id":"5786","_id":"20533","status":"public","publication":"IEEE Transactions on Software Engineering","type":"journal_article"},{"author":[{"first_name":"Katrin S.","last_name":"Lohan","full_name":"Lohan, Katrin S."},{"last_name":"Griffiths","full_name":"Griffiths, Sascha","first_name":"Sascha"},{"first_name":"Alessandra","last_name":"Sciutti","full_name":"Sciutti, Alessandra"},{"first_name":"Tim C.","full_name":"Partmann, Tim C.","last_name":"Partmann"},{"first_name":"Katharina","full_name":"Rohlfing, Katharina","id":"50352","last_name":"Rohlfing"}],"date_created":"2020-06-24T13:01:09Z","volume":6,"publisher":"Wiley-Blackwell","date_updated":"2023-02-01T16:08:33Z","doi":"10.1111/tops.12098","title":"Co-development of manner and path concepts in language, action, and eye-gaze behavior","issue":"3","publication_identifier":{"issn":["1756-8757"]},"citation":{"chicago":"Lohan, Katrin S., Sascha Griffiths, Alessandra Sciutti, Tim C. Partmann, and Katharina Rohlfing. “Co-Development of Manner and Path Concepts in Language, Action, and Eye-Gaze Behavior.” <i>Topics in Cognitive Science</i> 6, no. 3 (2014): 492–512. <a href=\"https://doi.org/10.1111/tops.12098\">https://doi.org/10.1111/tops.12098</a>.","ieee":"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,” <i>Topics in Cognitive Science</i>, vol. 6, no. 3, pp. 492–512, 2014, doi: <a href=\"https://doi.org/10.1111/tops.12098\">10.1111/tops.12098</a>.","ama":"Lohan KS, Griffiths S, Sciutti A, Partmann TC, Rohlfing K. Co-development of manner and path concepts in language, action, and eye-gaze behavior. <i>Topics in Cognitive Science</i>. 2014;6(3):492-512. doi:<a href=\"https://doi.org/10.1111/tops.12098\">10.1111/tops.12098</a>","mla":"Lohan, Katrin S., et al. “Co-Development of Manner and Path Concepts in Language, Action, and Eye-Gaze Behavior.” <i>Topics in Cognitive Science</i>, vol. 6, no. 3, Wiley-Blackwell, 2014, pp. 492–512, doi:<a href=\"https://doi.org/10.1111/tops.12098\">10.1111/tops.12098</a>.","bibtex":"@article{Lohan_Griffiths_Sciutti_Partmann_Rohlfing_2014, title={Co-development of manner and path concepts in language, action, and eye-gaze behavior}, volume={6}, DOI={<a href=\"https://doi.org/10.1111/tops.12098\">10.1111/tops.12098</a>}, number={3}, journal={Topics in Cognitive Science}, publisher={Wiley-Blackwell}, author={Lohan, Katrin S. and Griffiths, Sascha and Sciutti, Alessandra and Partmann, Tim C. and Rohlfing, Katharina}, year={2014}, pages={492–512} }","short":"K.S. Lohan, S. Griffiths, A. Sciutti, T.C. Partmann, K. Rohlfing, Topics in Cognitive Science 6 (2014) 492–512.","apa":"Lohan, K. S., Griffiths, S., Sciutti, A., Partmann, T. C., &#38; Rohlfing, K. (2014). Co-development of manner and path concepts in language, action, and eye-gaze behavior. <i>Topics in Cognitive Science</i>, <i>6</i>(3), 492–512. <a href=\"https://doi.org/10.1111/tops.12098\">https://doi.org/10.1111/tops.12098</a>"},"page":"492-512","intvolume":"         6","year":"2014","user_id":"14931","department":[{"_id":"749"}],"_id":"17192","language":[{"iso":"eng"}],"keyword":["Imitation","Tutoring","Adult-child interaction","Human-robot interaction","Semantics","Teachable robots"],"type":"journal_article","publication":"Topics in Cognitive Science","status":"public","abstract":[{"text":"In order for artificial intelligent systems to interact naturally with human users, they need to be able to learn from human instructions when actions should be imitated. Human tutoring will typically consist of action demonstrations accompanied by speech. In the following, the characteristics of human tutoring during action demonstration will be examined. A special focus will be put on the distinction between two kinds of motion events: path-oriented actions and manner-oriented actions. Such a distinction is inspired by the literature pertaining to cognitive linguistics, which indicates that the human conceptual system can distinguish these two distinct types of motion. These two kinds of actions are described in language by more path-oriented or more manner-oriented utterances. In path-oriented utterances, the source, trajectory, or goal is emphasized, whereas in manner-oriented utterances the medium, velocity, or means of motion are highlighted. We examined a video corpus of adult-child interactions comprised of three age groups of children-pre-lexical, early lexical, and lexical-and two different tasks, one emphasizing manner more strongly and one emphasizing path more strongly. We analyzed the language and motion of the caregiver and the gazing behavior of the child to highlight the differences between the tutoring and the acquisition of the manner and path concepts. The results suggest that age is an important factor in the development of these action categories. The analysis of this corpus has also been exploited to develop an intelligent robotic behavior -the tutoring spotter system-able to emulate children's behaviors in a tutoring situation, with the aim of evoking in human subjects a natural and effective behavior in teaching to a robot. The findings related to the development of manner and path concepts have been used to implement new effective feedback strategies in the tutoring spotter system, which should provide improvements in human-robot interaction.","lang":"eng"}]},{"abstract":[{"text":"Faced with increasing demands on energy efficiency, current electronic systems operate according to complex power management schemes including more and more fine-grained voltage frequency scaling and power shutdown scenarios. Consequently, validation of the power design intent should begin as early as possible at electronic system-level (ESL) together with first executable system specifications for integrity tests. However, today's system-level design methodologies usually focus on the abstraction of digital logic and time, so that typical low-power aspects cannot be considered so far. In this paper, we present a high-level modeling approach on top of the SystemC/TLM standard to simulate power distribution and voltage based implications in a \"loosely-timed\" functional execution context. The approach reuses legacy TLM models and prevents the need for detailed lock-step process synchronization in contrast to existing methods. A case study derived from an open source low-power design demonstrates the efficiency of our approach in terms of simulation performance and testability.","lang":"eng"}],"status":"public","type":"conference","keyword":["Time-varying systems","Time-domain analysis","Synchronization","Context modeling","Clocks","Semantics","Standards"],"language":[{"iso":"eng"}],"_id":"36919","user_id":"5786","department":[{"_id":"672"}],"year":"2013","place":"Karlsruhe","citation":{"apa":"Mischkalla, F., &#38; Müller, W. (2013). <i>Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach</i>. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">https://doi.org/10.1109/PATMOS.2013.6662171</a>","mla":"Mischkalla, Fabian, and Wolfgang Müller. <i>Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach</i>. IEEE, 2013, doi:<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>.","bibtex":"@inproceedings{Mischkalla_Müller_2013, place={Karlsruhe}, title={Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach}, DOI={<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }","short":"F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach.” Karlsruhe: IEEE, 2013. <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">https://doi.org/10.1109/PATMOS.2013.6662171</a>.","ieee":"F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,” presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi: <a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>.","ama":"Mischkalla F, Müller W. Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. In: IEEE; 2013. doi:<a href=\"https://doi.org/10.1109/PATMOS.2013.6662171\">10.1109/PATMOS.2013.6662171</a>"},"publication_identifier":{"eisbn":["978-1-4799-1170-7"]},"title":"Efficient Power-Intent Validation Using \"Loosely-Timed\" Simulation Models: A Non-Invasive Approach","conference":{"name":"23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)"},"doi":"10.1109/PATMOS.2013.6662171","publisher":"IEEE","date_updated":"2023-01-16T12:08:17Z","author":[{"first_name":"Fabian","last_name":"Mischkalla","full_name":"Mischkalla, Fabian"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2023-01-16T12:08:03Z"},{"quality_controlled":"1","year":"2010","place":"Seattle, WA","citation":{"apa":"Pottebaum, J., Japs, A. M., Prödel, S., &#38; Koch, R. (2010). Design and modeling of a domain ontology for fire protection. In S. French, B. Tomaszewski, &#38; C. Zobel (Eds.), <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>.","mla":"Pottebaum, Jens, et al. “Design and Modeling of a Domain Ontology for Fire Protection.” <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, edited by Simon French et al., 2010.","short":"J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski, C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, Seattle, WA, 2010.","bibtex":"@inproceedings{Pottebaum_Japs_Prödel_Koch_2010, place={Seattle, WA}, title={Design and modeling of a domain ontology for fire protection}, booktitle={ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management}, author={Pottebaum, Jens and Japs, Anna Maria and Prödel, Stephan and Koch, Rainer}, editor={French, Simon and Tomaszewski, Brian and Zobel, Chris}, year={2010} }","ama":"Pottebaum J, Japs AM, Prödel S, Koch R. Design and modeling of a domain ontology for fire protection. In: French S, Tomaszewski B, Zobel C, eds. <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>. ; 2010.","ieee":"J. Pottebaum, A. M. Japs, S. Prödel, and R. Koch, “Design and modeling of a domain ontology for fire protection,” in <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, 2010.","chicago":"Pottebaum, Jens, Anna Maria Japs, Stephan Prödel, and Rainer Koch. “Design and Modeling of a Domain Ontology for Fire Protection.” In <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, edited by Simon French, Brian Tomaszewski, and Chris Zobel. Seattle, WA, 2010."},"oa":"1","date_updated":"2026-03-31T03:52:00Z","date_created":"2021-09-09T12:27:14Z","author":[{"first_name":"Jens","last_name":"Pottebaum","orcid":"http://orcid.org/0000-0001-8778-2989","id":"405","full_name":"Pottebaum, Jens"},{"full_name":"Japs, Anna Maria","last_name":"Japs","first_name":"Anna Maria"},{"first_name":"Stephan","full_name":"Prödel, Stephan","last_name":"Prödel"},{"first_name":"Rainer","last_name":"Koch","full_name":"Koch, Rainer"}],"title":"Design and modeling of a domain ontology for fire protection","main_file_link":[{"url":"http://idl.iscram.org/files/pottebaum/2010/847_Pottebaum_etal2010.pdf","open_access":"1"}],"publication":"ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management","type":"conference","editor":[{"last_name":"French","full_name":"French, Simon","first_name":"Simon"},{"first_name":"Brian","full_name":"Tomaszewski, Brian","last_name":"Tomaszewski"},{"full_name":"Zobel, Chris","last_name":"Zobel","first_name":"Chris"}],"status":"public","_id":"24065","user_id":"405","keyword":["Command and control process","Command and control systems","Design and modeling","Domain ontologies","Emergency response","Fire extinguishers","Fire protection","Heterogeneous domains","Information analysis","Information sharing","Information systems","Interoperability","Ontology language","Semantic technologies","Semantic Web","Semantics"],"language":[{"iso":"eng"}]}]