---
_id: '20543'
author:
- first_name: Lisa
  full_name: Nguyen Quang Do, Lisa
  last_name: Nguyen Quang Do
- first_name: Stefan
  full_name: Krüger, Stefan
  last_name: Krüger
- first_name: Patrick
  full_name: Hill, Patrick
  last_name: Hill
- 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
citation:
  ama: Nguyen Quang Do L, Krüger S, Hill P, Ali K, Bodden E. Debugging Static Analysis.
    <i>IEEE Transactions on Software Engineering</i>. Published online 2018:1-1. doi:<a
    href="https://doi.org/10.1109/TSE.2018.2868349">10.1109/TSE.2018.2868349</a>
  apa: Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., &#38; Bodden, E. (2018).
    Debugging Static Analysis. <i>IEEE Transactions on Software Engineering</i>, 1–1.
    <a href="https://doi.org/10.1109/TSE.2018.2868349">https://doi.org/10.1109/TSE.2018.2868349</a>
  bibtex: '@article{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={Debugging
    Static Analysis}, DOI={<a href="https://doi.org/10.1109/TSE.2018.2868349">10.1109/TSE.2018.2868349</a>},
    journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do,
    Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}, year={2018},
    pages={1–1} }'
  chicago: Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric
    Bodden. “Debugging Static Analysis.” <i>IEEE Transactions on Software Engineering</i>,
    2018, 1–1. <a href="https://doi.org/10.1109/TSE.2018.2868349">https://doi.org/10.1109/TSE.2018.2868349</a>.
  ieee: 'L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “Debugging
    Static Analysis,” <i>IEEE Transactions on Software Engineering</i>, pp. 1–1, 2018,
    doi: <a href="https://doi.org/10.1109/TSE.2018.2868349">10.1109/TSE.2018.2868349</a>.'
  mla: Nguyen Quang Do, Lisa, et al. “Debugging Static Analysis.” <i>IEEE Transactions
    on Software Engineering</i>, 2018, pp. 1–1, doi:<a href="https://doi.org/10.1109/TSE.2018.2868349">10.1109/TSE.2018.2868349</a>.
  short: L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions
    on Software Engineering (2018) 1–1.
date_created: 2020-11-30T09:32:12Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1109/TSE.2018.2868349
keyword:
- Debugging
- Static analysis
- Tools
- Computer bugs
- Standards
- Writing
- Encoding
- Testing and Debugging
- Program analysis
- Development tools
- Integrated environments
- Graphical environments
- Usability testing
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/tse18debugging.pdf
page: 1-1
publication: IEEE Transactions on Software Engineering
publication_identifier:
  issn:
  - 2326-3881
status: public
title: Debugging Static Analysis
type: journal_article
user_id: '5786'
year: '2018'
...
---
_id: '39493'
abstract:
- lang: eng
  text: This article presents the animated visual 3D programming language SAM (Solid
    Agents in Motion) for parallel systems specification and animation. A SAM program
    is a set of interacting agents synchronously exchanging messages. The agent's
    behaviour is specified by means of production rules with a condition and a sequence
    of actions each. Actions are linearly ordered and execute when matching a rule.
    In SAM, main syntactic objects like agents, rules, and messages are 3D. These
    objects can have an abstract and a concrete, solid 3D presentation. While the
    abstract representation is for programming and debugging, the concrete representation
    is for animated 3D end-user presentations. After outlining the concepts of SAM
    this article gives two programming examples of 3D micro worlds and an overview
    of the programming environment.
author:
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: W.
  full_name: Rosenbach, W.
  last_name: Rosenbach
citation:
  ama: 'Geiger C, Müller W, Rosenbach W. SAM - An Animated 3D Programming Language.
    In: <i>Proceedings of the IEEE Symposium on Visual Languages</i>. ; 1998. doi:<a
    href="https://doi.org/10.1109/VL.1998.706167">10.1109/VL.1998.706167</a>'
  apa: Geiger, C., Müller, W., &#38; Rosenbach, W. (1998). SAM - An Animated 3D Programming
    Language. <i>Proceedings of the IEEE Symposium on Visual Languages</i>. 1998 IEEE
    Symposium on Visual Languages, Halifax, Canada. <a href="https://doi.org/10.1109/VL.1998.706167">https://doi.org/10.1109/VL.1998.706167</a>
  bibtex: '@inproceedings{Geiger_Müller_Rosenbach_1998, place={Halifax, Canada}, title={SAM
    - An Animated 3D Programming Language}, DOI={<a href="https://doi.org/10.1109/VL.1998.706167">10.1109/VL.1998.706167</a>},
    booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Geiger,
    Christian and Müller, Wolfgang and Rosenbach, W.}, year={1998} }'
  chicago: Geiger, Christian, Wolfgang Müller, and W. Rosenbach. “SAM - An Animated
    3D Programming Language.” In <i>Proceedings of the IEEE Symposium on Visual Languages</i>.
    Halifax, Canada, 1998. <a href="https://doi.org/10.1109/VL.1998.706167">https://doi.org/10.1109/VL.1998.706167</a>.
  ieee: 'C. Geiger, W. Müller, and W. Rosenbach, “SAM - An Animated 3D Programming
    Language,” presented at the 1998 IEEE Symposium on Visual Languages, Halifax,
    Canada, 1998, doi: <a href="https://doi.org/10.1109/VL.1998.706167">10.1109/VL.1998.706167</a>.'
  mla: Geiger, Christian, et al. “SAM - An Animated 3D Programming Language.” <i>Proceedings
    of the IEEE Symposium on Visual Languages</i>, 1998, doi:<a href="https://doi.org/10.1109/VL.1998.706167">10.1109/VL.1998.706167</a>.
  short: 'C. Geiger, W. Müller, W. Rosenbach, in: Proceedings of the IEEE Symposium
    on Visual Languages, Halifax, Canada, 1998.'
conference:
  location: Halifax, Canada
  name: 1998 IEEE Symposium on Visual Languages
date_created: 2023-01-24T11:39:30Z
date_updated: 2023-01-24T11:39:35Z
department:
- _id: '672'
doi: 10.1109/VL.1998.706167
keyword:
- Animation
- Computer languages
- Solids
- Concrete
- Application software
- Virtual reality
- Programming profession
- Switches
- Visualization
- Debugging
language:
- iso: eng
place: Halifax, Canada
publication: Proceedings of the IEEE Symposium on Visual Languages
publication_identifier:
  isbn:
  - 0-8186-8712-6
status: public
title: SAM - An Animated 3D Programming Language
type: conference
user_id: '5786'
year: '1998'
...
---
_id: '39502'
abstract:
- lang: eng
  text: The authors present a new approach to an interactive design and analysis environment
    for visual languages. The main components, i.e., editor animator and interpreter
    are introduced. Their interactions are being investigated emphasizing the interpreter-animator
    interaction and defining an interface supporting different levels of automation.
    The interpreter performs the executions on a logical level and triggers the animator.
    The interactive animation provides a very high degree of liveness since it is
    based on the tight integration of the animator and editor. The proposed architecture
    permits the distributed implementation of a system for real-time animation. Their
    concepts are validated by the implementation of a debugging environment for the
    complete visual programming language Pictorial Janus.
author:
- first_name: M.
  full_name: Dücker, M.
  last_name: Dücker
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: C.
  full_name: Tahedl, C.
  last_name: Tahedl
citation:
  ama: 'Dücker M, Lehrenfeld G, Müller W, Tahedl C. A Generic System for Interactive
    Real--Time Animation. In: <i> Proceedings International Conference and Workshop
    on Engineering of Computer-Based Systems</i>. ; 1997. doi:<a href="https://doi.org/10.1109/ECBS.1997.581876">10.1109/ECBS.1997.581876</a>'
  apa: Dücker, M., Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1997). A Generic
    System for Interactive Real--Time Animation. <i> Proceedings International Conference
    and Workshop on Engineering of Computer-Based Systems</i>. <a href="https://doi.org/10.1109/ECBS.1997.581876">https://doi.org/10.1109/ECBS.1997.581876</a>
  bibtex: '@inproceedings{Dücker_Lehrenfeld_Müller_Tahedl_1997, place={Monterey, CA,
    USA }, title={A Generic System for Interactive Real--Time Animation}, DOI={<a
    href="https://doi.org/10.1109/ECBS.1997.581876">10.1109/ECBS.1997.581876</a>},
    booktitle={ Proceedings International Conference and Workshop on Engineering of
    Computer-Based Systems}, author={Dücker, M. and Lehrenfeld, Georg and Müller,
    Wolfgang and Tahedl, C.}, year={1997} }'
  chicago: Dücker, M., Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Generic
    System for Interactive Real--Time Animation.” In <i> Proceedings International
    Conference and Workshop on Engineering of Computer-Based Systems</i>. Monterey,
    CA, USA , 1997. <a href="https://doi.org/10.1109/ECBS.1997.581876">https://doi.org/10.1109/ECBS.1997.581876</a>.
  ieee: 'M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Generic System for
    Interactive Real--Time Animation,” Monterey, CA, USA , 1997, doi: <a href="https://doi.org/10.1109/ECBS.1997.581876">10.1109/ECBS.1997.581876</a>.'
  mla: Dücker, M., et al. “A Generic System for Interactive Real--Time Animation.”
    <i> Proceedings International Conference and Workshop on Engineering of Computer-Based
    Systems</i>, 1997, doi:<a href="https://doi.org/10.1109/ECBS.1997.581876">10.1109/ECBS.1997.581876</a>.
  short: 'M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in:  Proceedings International
    Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA,
    USA , 1997.'
conference:
  location: 'Monterey, CA, USA '
date_created: 2023-01-24T11:46:23Z
date_updated: 2023-01-24T11:46:28Z
department:
- _id: '672'
doi: 10.1109/ECBS.1997.581876
keyword:
- Real time systems
- Animation
- Debugging
- Automation
- Computer languages
- Timing
- Environmental management
- Programming environments
- Visualization
- Multimedia systems
language:
- iso: eng
place: 'Monterey, CA, USA '
publication: ' Proceedings International Conference and Workshop on Engineering of
  Computer-Based Systems'
publication_identifier:
  isbn:
  - 0-8186-7889-5
status: public
title: A Generic System for Interactive Real--Time Animation
type: conference
user_id: '5786'
year: '1997'
...
---
_id: '39541'
abstract:
- lang: eng
  text: We investigate a translation of SDL diagrams into the complete visual representation
    of Pictorial Janus (PJ) programs in order to analyze the specification by visual
    debugging and animation. We additionally introduce timing concepts to PJ (Timed
    PJ) for a mapping of the SDL timing statements. The concepts transforming SDL
    interaction and process diagrams into Timed PJ are outlined by an example sketching
    the transformation of an Ethernet CSMA/CD protocol specification.
author:
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: C.
  full_name: Tahedl, C.
  last_name: Tahedl
citation:
  ama: 'Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete
    Visual Representation. In: <i>Proceedings of Symposium on Visual Languages</i>.
    ; 1995. doi:<a href="https://doi.org/10.1109/VL.1995.520803">10.1109/VL.1995.520803</a>'
  apa: Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1995). Transforming SDL Diagrams
    Into a Complete Visual Representation. <i>Proceedings of Symposium on Visual Languages</i>.
    <a href="https://doi.org/10.1109/VL.1995.520803">https://doi.org/10.1109/VL.1995.520803</a>
  bibtex: '@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany
    }, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={<a
    href="https://doi.org/10.1109/VL.1995.520803">10.1109/VL.1995.520803</a>}, booktitle={Proceedings
    of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang
    and Tahedl, C.}, year={1995} }'
  chicago: Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams
    Into a Complete Visual Representation.” In <i>Proceedings of Symposium on Visual
    Languages</i>.  Darmstadt, Germany , 1995. <a href="https://doi.org/10.1109/VL.1995.520803">https://doi.org/10.1109/VL.1995.520803</a>.
  ieee: 'G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into
    a Complete Visual Representation,” 1995, doi: <a href="https://doi.org/10.1109/VL.1995.520803">10.1109/VL.1995.520803</a>.'
  mla: Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual
    Representation.” <i>Proceedings of Symposium on Visual Languages</i>, 1995, doi:<a
    href="https://doi.org/10.1109/VL.1995.520803">10.1109/VL.1995.520803</a>.
  short: 'G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual
    Languages,  Darmstadt, Germany , 1995.'
date_created: 2023-01-24T12:07:26Z
date_updated: 2023-01-24T12:07:33Z
department:
- _id: '672'
doi: 10.1109/VL.1995.520803
keyword:
- Animation
- Timing
- Debugging
- Ethernet networks
- Multiaccess communication
- Protocols
- Computer languages
- Prototypes
- Environmental management
- Visualization
language:
- iso: eng
place: ' Darmstadt, Germany '
publication: Proceedings of Symposium on Visual Languages
publication_identifier:
  isbn:
  - 0-8186-7045-2
status: public
title: Transforming SDL Diagrams Into a Complete Visual Representation
type: conference
user_id: '5786'
year: '1995'
...