---
_id: '20533'
author:
- first_name: Stefan
  full_name: Krüger, Stefan
  last_name: Krüger
- first_name: Johannes
  full_name: Späth, Johannes
  last_name: Späth
- first_name: Karim
  full_name: Ali, Karim
  last_name: Ali
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Mira
  full_name: Mezini, Mira
  last_name: Mezini
citation:
  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>'
  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>'
  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} }'
  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>.'
  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>.'
  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>.'
  short: S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software
    Engineering (2019) 1–1.
date_created: 2020-11-27T10:48:38Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1109/TSE.2019.2948910
keyword:
- Java
- Encryption
- Static analysis
- Tools
- Ciphers
- Semantics
- cryptography
- domain-specific language
- static analysis
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/tse19CrySL.pdf
page: 1-1
publication: IEEE Transactions on Software Engineering
publication_identifier:
  issn:
  - 2326-3881
status: public
title: 'CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
  APIs'
type: journal_article
user_id: '5786'
year: '2019'
...
---
_id: '17192'
abstract:
- lang: eng
  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.'
author:
- first_name: Katrin S.
  full_name: Lohan, Katrin S.
  last_name: Lohan
- first_name: Sascha
  full_name: Griffiths, Sascha
  last_name: Griffiths
- first_name: Alessandra
  full_name: Sciutti, Alessandra
  last_name: Sciutti
- first_name: Tim C.
  full_name: Partmann, Tim C.
  last_name: Partmann
- first_name: Katharina
  full_name: Rohlfing, Katharina
  id: '50352'
  last_name: Rohlfing
citation:
  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>
  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>
  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} }'
  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>.'
  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>.
  short: K.S. Lohan, S. Griffiths, A. Sciutti, T.C. Partmann, K. Rohlfing, Topics
    in Cognitive Science 6 (2014) 492–512.
date_created: 2020-06-24T13:01:09Z
date_updated: 2023-02-01T16:08:33Z
department:
- _id: '749'
doi: 10.1111/tops.12098
intvolume: '         6'
issue: '3'
keyword:
- Imitation
- Tutoring
- Adult-child interaction
- Human-robot interaction
- Semantics
- Teachable robots
language:
- iso: eng
page: 492-512
publication: Topics in Cognitive Science
publication_identifier:
  issn:
  - 1756-8757
publisher: Wiley-Blackwell
status: public
title: Co-development of manner and path concepts in language, action, and eye-gaze
  behavior
type: journal_article
user_id: '14931'
volume: 6
year: '2014'
...
---
_id: '36919'
abstract:
- lang: eng
  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.
author:
- first_name: Fabian
  full_name: Mischkalla, Fabian
  last_name: Mischkalla
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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>'
  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>'
  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}
    }'
  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>.'
  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>.'
  short: 'F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.'
conference:
  name: 23rd International Workshop on Power and Timing Modeling, Optimization and
    Simulation (PATMOS)
date_created: 2023-01-16T12:08:03Z
date_updated: 2023-01-16T12:08:17Z
department:
- _id: '672'
doi: 10.1109/PATMOS.2013.6662171
keyword:
- Time-varying systems
- Time-domain analysis
- Synchronization
- Context modeling
- Clocks
- Semantics
- Standards
language:
- iso: eng
place: Karlsruhe
publication_identifier:
  eisbn:
  - 978-1-4799-1170-7
publisher: IEEE
status: public
title: 'Efficient Power-Intent Validation Using "Loosely-Timed" Simulation Models:
  A Non-Invasive Approach'
type: conference
user_id: '5786'
year: '2013'
...
---
_id: '24065'
author:
- first_name: Jens
  full_name: Pottebaum, Jens
  id: '405'
  last_name: Pottebaum
  orcid: http://orcid.org/0000-0001-8778-2989
- first_name: Anna Maria
  full_name: Japs, Anna Maria
  last_name: Japs
- first_name: Stephan
  full_name: Prödel, Stephan
  last_name: Prödel
- first_name: Rainer
  full_name: Koch, Rainer
  last_name: Koch
citation:
  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.'
  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>.
  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} }'
  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.
  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.
  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.'
date_created: 2021-09-09T12:27:14Z
date_updated: 2026-03-31T03:52:00Z
editor:
- first_name: Simon
  full_name: French, Simon
  last_name: French
- first_name: Brian
  full_name: Tomaszewski, Brian
  last_name: Tomaszewski
- first_name: Chris
  full_name: Zobel, Chris
  last_name: Zobel
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
main_file_link:
- open_access: '1'
  url: http://idl.iscram.org/files/pottebaum/2010/847_Pottebaum_etal2010.pdf
oa: '1'
place: Seattle, WA
publication: ISCRAM 2010 -- 7th International Conference on Information Systems for
  Crisis Response and Management
quality_controlled: '1'
status: public
title: Design and modeling of a domain ontology for fire protection
type: conference
user_id: '405'
year: '2010'
...