---
_id: '20489'
author:
- first_name: W
full_name: Welling, W
last_name: Welling
- first_name: A
full_name: Benjaminse, A
last_name: Benjaminse
- first_name: R
full_name: Seil, R
last_name: Seil
- first_name: K
full_name: Lemmink, K
last_name: Lemmink
- first_name: A
full_name: Gokeler, A
last_name: Gokeler
citation:
ama: 'Welling W, Benjaminse A, Seil R, Lemmink K, Gokeler A. Altered movement during
single leg hop test after ACL reconstruction: implications to incorporate 2-D
video movement analysis for hop test. Knee Surg Sports Traumatol Arthrosc.
2018;26(10):3012-3019.'
apa: 'Welling, W., Benjaminse, A., Seil, R., Lemmink, K., & Gokeler, A. (2018).
Altered movement during single leg hop test after ACL reconstruction: implications
to incorporate 2-D video movement analysis for hop test. Knee Surg Sports Traumatol
Arthrosc, 26(10), 3012–3019.'
bibtex: '@article{Welling_Benjaminse_Seil_Lemmink_Gokeler_2018, title={Altered movement
during single leg hop test after ACL reconstruction: implications to incorporate
2-D video movement analysis for hop test}, volume={26}, number={10}, journal={Knee
Surg Sports Traumatol Arthrosc}, author={Welling, W and Benjaminse, A and Seil,
R and Lemmink, K and Gokeler, A}, year={2018}, pages={3012–3019} }'
chicago: 'Welling, W, A Benjaminse, R Seil, K Lemmink, and A Gokeler. “Altered Movement
during Single Leg Hop Test after ACL Reconstruction: Implications to Incorporate
2-D Video Movement Analysis for Hop Test.” Knee Surg Sports Traumatol Arthrosc
26, no. 10 (2018): 3012–19.'
ieee: 'W. Welling, A. Benjaminse, R. Seil, K. Lemmink, and A. Gokeler, “Altered
movement during single leg hop test after ACL reconstruction: implications to
incorporate 2-D video movement analysis for hop test,” Knee Surg Sports Traumatol
Arthrosc, vol. 26, no. 10, pp. 3012–3019, 2018.'
mla: 'Welling, W., et al. “Altered Movement during Single Leg Hop Test after ACL
Reconstruction: Implications to Incorporate 2-D Video Movement Analysis for Hop
Test.” Knee Surg Sports Traumatol Arthrosc, vol. 26, no. 10, 2018, pp.
3012–19.'
short: W. Welling, A. Benjaminse, R. Seil, K. Lemmink, A. Gokeler, Knee Surg Sports
Traumatol Arthrosc 26 (2018) 3012–3019.
date_created: 2020-11-23T15:02:58Z
date_updated: 2022-01-06T06:54:27Z
department:
- _id: '17'
- _id: '172'
intvolume: ' 26'
issue: '10'
language:
- iso: eng
page: 3012-3019
publication: Knee Surg Sports Traumatol Arthrosc
status: public
title: 'Altered movement during single leg hop test after ACL reconstruction: implications
to incorporate 2-D video movement analysis for hop test'
type: journal_article
user_id: '62406'
volume: 26
year: '2018'
...
---
_id: '20530'
author:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Lisa
full_name: Nguyen Quang Do, Lisa
last_name: Nguyen Quang Do
citation:
ama: 'Bodden E, Nguyen Quang Do L. Explainable Static Analysis. In: Software
Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik,
{SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany. {LNI}. ; 2018:205-208.'
apa: Bodden, E., & Nguyen Quang Do, L. (2018). Explainable Static Analysis.
Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs
Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 205–208.
bibtex: '@inproceedings{Bodden_Nguyen Quang Do_2018, series={{LNI}}, title={Explainable
Static Analysis}, booktitle={Software Engineering und Software Management 2018,
Fachtagung des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018,
Ulm, Germany.}, author={Bodden, Eric and Nguyen Quang Do, Lisa}, year={2018},
pages={205–208}, collection={{LNI}} }'
chicago: Bodden, Eric, and Lisa Nguyen Quang Do. “Explainable Static Analysis.”
In Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs
Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 205–8. {LNI},
2018.
ieee: E. Bodden and L. Nguyen Quang Do, “Explainable Static Analysis,” in Software
Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik,
{SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 2018, pp. 205–208.
mla: Bodden, Eric, and Lisa Nguyen Quang Do. “Explainable Static Analysis.” Software
Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik,
{SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 2018, pp. 205–08.
short: 'E. Bodden, L. Nguyen Quang Do, in: Software Engineering Und Software Management
2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz
2018, Ulm, Germany., 2018, pp. 205–208.'
date_created: 2020-11-27T10:24:21Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: https://dl.gi.de/20.500.12116/16348
page: 205-208
publication: Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs
Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany.
publication_identifier:
isbn:
- 978-3-88579-673-2
series_title: '{LNI}'
status: public
title: Explainable Static Analysis
type: conference
user_id: '5786'
year: '2018'
...
---
_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.
IEEE Transactions on Software Engineering. Published online 2018:1-1. doi:10.1109/TSE.2018.2868349
apa: Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018).
Debugging Static Analysis. IEEE Transactions on Software Engineering, 1–1.
https://doi.org/10.1109/TSE.2018.2868349
bibtex: '@article{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={Debugging
Static Analysis}, DOI={10.1109/TSE.2018.2868349},
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.” IEEE Transactions on Software Engineering,
2018, 1–1. https://doi.org/10.1109/TSE.2018.2868349.
ieee: 'L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “Debugging
Static Analysis,” IEEE Transactions on Software Engineering, pp. 1–1, 2018,
doi: 10.1109/TSE.2018.2868349.'
mla: Nguyen Quang Do, Lisa, et al. “Debugging Static Analysis.” IEEE Transactions
on Software Engineering, 2018, pp. 1–1, doi:10.1109/TSE.2018.2868349.
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: '20544'
citation:
ama: Tichy M, Bodden E, Kuhrmann M, Wagner S, Steghöfer J-P, eds. Software Engineering
Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik,
SE 2018, 5.-9. März 2018, Ulm, Germany. Vol {P-279}. Gesellschaft für Informatik;
2018.
apa: 'Tichy, M., Bodden, E., Kuhrmann, M., Wagner, S., & Steghöfer, J.-P. (Eds.).
(2018). Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs
Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany: Vol. {P-279}. Gesellschaft
für Informatik.'
bibtex: '@book{Tichy_Bodden_Kuhrmann_Wagner_Steghöfer_2018, series={{LNI}}, title={Software
Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik,
SE 2018, 5.-9. März 2018, Ulm, Germany}, volume={{P-279}}, publisher={Gesellschaft
für Informatik}, year={2018}, collection={{LNI}} }'
chicago: Tichy, Matthias, Eric Bodden, Marco Kuhrmann, Stefan Wagner, and Jan-Philipp
Steghöfer, eds. Software Engineering Und Software Management 2018, Fachtagung
Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany.
Vol. {P-279}. {LNI}. Gesellschaft für Informatik, 2018.
ieee: M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, and J.-P. Steghöfer, Eds., Software
Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik,
SE 2018, 5.-9. März 2018, Ulm, Germany, vol. {P-279}. Gesellschaft für Informatik,
2018.
mla: Tichy, Matthias, et al., editors. Software Engineering Und Software Management
2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018,
Ulm, Germany. Gesellschaft für Informatik, 2018.
short: M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, J.-P. Steghöfer, eds., Software
Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik,
SE 2018, 5.-9. März 2018, Ulm, Germany, Gesellschaft für Informatik, 2018.
date_created: 2020-11-30T09:32:58Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
editor:
- first_name: Matthias
full_name: Tichy, Matthias
last_name: Tichy
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Marco
full_name: Kuhrmann, Marco
last_name: Kuhrmann
- first_name: Stefan
full_name: Wagner, Stefan
last_name: Wagner
- first_name: Jan-Philipp
full_name: Steghöfer, Jan-Philipp
last_name: Steghöfer
language:
- iso: eng
publication_identifier:
isbn:
- 978-3-88579-673-2
publisher: Gesellschaft für Informatik
series_title: '{LNI}'
status: public
title: Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs
Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany
type: conference_editor
user_id: '5786'
volume: '{P-279}'
year: '2018'
...
---
_id: '20545'
citation:
ama: Tip F, Bodden E, eds. Proceedings of the 27th ACM SIGSOFT International
Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands,
July 16-21, 2018. ACM; 2018.
apa: Tip, F., & Bodden, E. (Eds.). (2018). Proceedings of the 27th ACM SIGSOFT
International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam,
The Netherlands, July 16-21, 2018. ACM.
bibtex: '@book{Tip_Bodden_2018, title={Proceedings of the 27th ACM SIGSOFT International
Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands,
July 16-21, 2018}, publisher={ACM}, year={2018} }'
chicago: Tip, Frank, and Eric Bodden, eds. Proceedings of the 27th ACM SIGSOFT
International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam,
The Netherlands, July 16-21, 2018. ACM, 2018.
ieee: F. Tip and E. Bodden, Eds., Proceedings of the 27th ACM SIGSOFT International
Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands,
July 16-21, 2018. ACM, 2018.
mla: Tip, Frank, and Eric Bodden, editors. Proceedings of the 27th ACM SIGSOFT
International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam,
The Netherlands, July 16-21, 2018. ACM, 2018.
short: F. Tip, E. Bodden, eds., Proceedings of the 27th ACM SIGSOFT International
Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands,
July 16-21, 2018, ACM, 2018.
date_created: 2020-11-30T09:35:03Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
editor:
- first_name: Frank
full_name: Tip, Frank
last_name: Tip
- first_name: Eric
full_name: Bodden, Eric
last_name: Bodden
language:
- iso: eng
publisher: ACM
status: public
title: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing
and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018
type: conference_editor
user_id: '5786'
year: '2018'
...
---
_id: '20546'
author:
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
- first_name: David
full_name: Schubert, David
id: '9106'
last_name: Schubert
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Gerking C, Schubert D, Bodden E. Model Checking the Information Flow Security
of Real-Time Systems. In: Payer M, Rashid A, Such JM, eds. Engineering Secure
Software and Systems. Springer International Publishing; 2018:27-43.'
apa: Gerking, C., Schubert, D., & Bodden, E. (2018). Model Checking the Information
Flow Security of Real-Time Systems. In M. Payer, A. Rashid, & J. M. Such (Eds.),
Engineering Secure Software and Systems (pp. 27–43). Springer International
Publishing.
bibtex: '@inproceedings{Gerking_Schubert_Bodden_2018, place={Cham}, title={Model
Checking the Information Flow Security of Real-Time Systems}, booktitle={Engineering
Secure Software and Systems}, publisher={Springer International Publishing}, author={Gerking,
Christopher and Schubert, David and Bodden, Eric}, editor={Payer, Mathias and
Rashid, Awais and Such, Jose M.}, year={2018}, pages={27–43} }'
chicago: 'Gerking, Christopher, David Schubert, and Eric Bodden. “Model Checking
the Information Flow Security of Real-Time Systems.” In Engineering Secure
Software and Systems, edited by Mathias Payer, Awais Rashid, and Jose M. Such,
27–43. Cham: Springer International Publishing, 2018.'
ieee: C. Gerking, D. Schubert, and E. Bodden, “Model Checking the Information Flow
Security of Real-Time Systems,” in Engineering Secure Software and Systems,
2018, pp. 27–43.
mla: Gerking, Christopher, et al. “Model Checking the Information Flow Security
of Real-Time Systems.” Engineering Secure Software and Systems, edited
by Mathias Payer et al., Springer International Publishing, 2018, pp. 27–43.
short: 'C. Gerking, D. Schubert, E. Bodden, in: M. Payer, A. Rashid, J.M. Such (Eds.),
Engineering Secure Software and Systems, Springer International Publishing, Cham,
2018, pp. 27–43.'
date_created: 2020-11-30T09:35:55Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
editor:
- first_name: Mathias
full_name: Payer, Mathias
last_name: Payer
- first_name: Awais
full_name: Rashid, Awais
last_name: Rashid
- first_name: Jose M.
full_name: Such, Jose M.
last_name: Such
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/gsb18model.pdf
page: 27-43
place: Cham
publication: Engineering Secure Software and Systems
publisher: Springer International Publishing
status: public
title: Model Checking the Information Flow Security of Real-Time Systems
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20547'
author:
- first_name: Lisa
full_name: Nguyen Quang Do, Lisa
last_name: Nguyen Quang Do
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Nguyen Quang Do L, Bodden E. Gamifying Static Analysis. In: Proceedings
of the 2018 26th ACM Joint Meeting on European Software Engineering Conference
and Symposium on the Foundations of Software Engineering. ESEC/FSE 2018. ACM;
2018:714-718. doi:10.1145/3236024.3264830'
apa: Nguyen Quang Do, L., & Bodden, E. (2018). Gamifying Static Analysis. Proceedings
of the 2018 26th ACM Joint Meeting on European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, 714–718. https://doi.org/10.1145/3236024.3264830
bibtex: '@inproceedings{Nguyen Quang Do_Bodden_2018, place={New York, NY, USA},
series={ESEC/FSE 2018}, title={Gamifying Static Analysis}, DOI={10.1145/3236024.3264830},
booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software
Engineering Conference and Symposium on the Foundations of Software Engineering},
publisher={ACM}, author={Nguyen Quang Do, Lisa and Bodden, Eric}, year={2018},
pages={714–718}, collection={ESEC/FSE 2018} }'
chicago: 'Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.” In
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering, 714–18.
ESEC/FSE 2018. New York, NY, USA: ACM, 2018. https://doi.org/10.1145/3236024.3264830.'
ieee: 'L. Nguyen Quang Do and E. Bodden, “Gamifying Static Analysis,” in Proceedings
of the 2018 26th ACM Joint Meeting on European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, 2018, pp. 714–718,
doi: 10.1145/3236024.3264830.'
mla: Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.” Proceedings
of the 2018 26th ACM Joint Meeting on European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, ACM, 2018, pp. 714–18,
doi:10.1145/3236024.3264830.
short: 'L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint
Meeting on European Software Engineering Conference and Symposium on the Foundations
of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.'
date_created: 2020-11-30T09:37:35Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1145/3236024.3264830
keyword:
- Gamification
- Integrated Environments
- Program analysis
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/db18gamifying.pdf
page: 714-718
place: New York, NY, USA
publication: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering
publication_identifier:
isbn:
- 978-1-4503-5573-5
publisher: ACM
series_title: ESEC/FSE 2018
status: public
title: Gamifying Static Analysis
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20548'
author:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Bodden E. The Secret Sauce in Efficient and Precise Static Analysis: The Beauty
of Distributive, Summary-based Static Analyses (and How to Master Them). In: ACM
SIGPLAN International Workshop on the State Of the Art in Java Program Analysis
(SOAP 2018). ISSTA ’18. ACM; 2018:85-93. doi:10.1145/3236454.3236500'
apa: 'Bodden, E. (2018). The Secret Sauce in Efficient and Precise Static Analysis:
The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them).
ACM SIGPLAN International Workshop on the State Of the Art in Java Program
Analysis (SOAP 2018), 85–93. https://doi.org/10.1145/3236454.3236500'
bibtex: '@inproceedings{Bodden_2018, place={New York, NY, USA}, series={ISSTA ’18},
title={The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of
Distributive, Summary-based Static Analyses (and How to Master Them)}, DOI={10.1145/3236454.3236500}, booktitle={ACM
SIGPLAN International Workshop on the State Of the Art in Java Program Analysis
(SOAP 2018)}, publisher={ACM}, author={Bodden, Eric}, year={2018}, pages={85–93},
collection={ISSTA ’18} }'
chicago: 'Bodden, Eric. “The Secret Sauce in Efficient and Precise Static Analysis:
The Beauty of Distributive, Summary-Based Static Analyses (and How to Master Them).”
In ACM SIGPLAN International Workshop on the State Of the Art in Java Program
Analysis (SOAP 2018), 85–93. ISSTA ’18. New York, NY, USA: ACM, 2018. https://doi.org/10.1145/3236454.3236500.'
ieee: 'E. Bodden, “The Secret Sauce in Efficient and Precise Static Analysis: The
Beauty of Distributive, Summary-based Static Analyses (and How to Master Them),”
in ACM SIGPLAN International Workshop on the State Of the Art in Java Program
Analysis (SOAP 2018), 2018, pp. 85–93, doi: 10.1145/3236454.3236500.'
mla: 'Bodden, Eric. “The Secret Sauce in Efficient and Precise Static Analysis:
The Beauty of Distributive, Summary-Based Static Analyses (and How to Master Them).”
ACM SIGPLAN International Workshop on the State Of the Art in Java Program
Analysis (SOAP 2018), ACM, 2018, pp. 85–93, doi:10.1145/3236454.3236500.'
short: 'E. Bodden, in: ACM SIGPLAN International Workshop on the State Of the Art
in Java Program Analysis (SOAP 2018), ACM, New York, NY, USA, 2018, pp. 85–93.'
date_created: 2020-11-30T09:51:05Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1145/3236454.3236500
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/bodden18secret.pdf
page: 85-93
place: New York, NY, USA
publication: ACM SIGPLAN International Workshop on the State Of the Art in Java Program
Analysis (SOAP 2018)
publication_identifier:
isbn:
- 978-1-4503-5939-9
publisher: ACM
series_title: ISSTA '18
status: public
title: 'The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive,
Summary-based Static Analyses (and How to Master Them)'
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20549'
author:
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Geismann J, Gerking C, Bodden E. Towards Ensuring Security by Design in Cyber-Physical
Systems Engineering Processes. In: International Conference on Software and
System Processes (ICSSP). ; 2018.'
apa: Geismann, J., Gerking, C., & Bodden, E. (2018). Towards Ensuring Security
by Design in Cyber-Physical Systems Engineering Processes. International Conference
on Software and System Processes (ICSSP).
bibtex: '@inproceedings{Geismann_Gerking_Bodden_2018, title={Towards Ensuring Security
by Design in Cyber-Physical Systems Engineering Processes}, booktitle={International
Conference on Software and System Processes (ICSSP)}, author={Geismann, Johannes
and Gerking, Christopher and Bodden, Eric}, year={2018} }'
chicago: Geismann, Johannes, Christopher Gerking, and Eric Bodden. “Towards Ensuring
Security by Design in Cyber-Physical Systems Engineering Processes.” In International
Conference on Software and System Processes (ICSSP), 2018.
ieee: J. Geismann, C. Gerking, and E. Bodden, “Towards Ensuring Security by Design
in Cyber-Physical Systems Engineering Processes,” 2018.
mla: Geismann, Johannes, et al. “Towards Ensuring Security by Design in Cyber-Physical
Systems Engineering Processes.” International Conference on Software and System
Processes (ICSSP), 2018.
short: 'J. Geismann, C. Gerking, E. Bodden, in: International Conference on Software
and System Processes (ICSSP), 2018.'
date_created: 2020-11-30T09:52:21Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
keyword:
- ITSECWEBSITE
language:
- iso: eng
publication: International Conference on Software and System Processes (ICSSP)
related_material:
link:
- relation: confirmation
url: http://bodden.de/pubs/ggb18towards.pdf
status: public
title: Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '2055'
author:
- first_name: Dieter
full_name: Krimphove, Dieter
id: '282'
last_name: Krimphove
- first_name: Sabastian
full_name: Niehaus, Sabastian
last_name: Niehaus
citation:
ama: 'Krimphove D, Niehaus S. Maschinelle Entscheidungsfindung: Der Einsatz der
Fuzzy-Logik in der Rechtswissenschaft. In: Breidenbach S, Glatz F, eds. Rechtshandbuch
Legal Tech . München: C.H. Beck; 2018:249 – 262.'
apa: 'Krimphove, D., & Niehaus, S. (2018). Maschinelle Entscheidungsfindung:
Der Einsatz der Fuzzy-Logik in der Rechtswissenschaft. In S. Breidenbach &
F. Glatz (Eds.), Rechtshandbuch Legal Tech (pp. 249 – 262). München: C.H.
Beck.'
bibtex: '@inbook{Krimphove_Niehaus_2018, place={München}, title={Maschinelle Entscheidungsfindung:
Der Einsatz der Fuzzy-Logik in der Rechtswissenschaft}, booktitle={Rechtshandbuch
Legal Tech }, publisher={C.H. Beck}, author={Krimphove, Dieter and Niehaus, Sabastian},
editor={Breidenbach, Stephan and Glatz, FlorianEditors}, year={2018}, pages={249
– 262} }'
chicago: 'Krimphove, Dieter, and Sabastian Niehaus. “Maschinelle Entscheidungsfindung:
Der Einsatz Der Fuzzy-Logik in Der Rechtswissenschaft.” In Rechtshandbuch Legal
Tech , edited by Stephan Breidenbach and Florian Glatz, 249 – 262. München:
C.H. Beck, 2018.'
ieee: 'D. Krimphove and S. Niehaus, “Maschinelle Entscheidungsfindung: Der Einsatz
der Fuzzy-Logik in der Rechtswissenschaft,” in Rechtshandbuch Legal Tech ,
S. Breidenbach and F. Glatz, Eds. München: C.H. Beck, 2018, pp. 249 – 262.'
mla: 'Krimphove, Dieter, and Sabastian Niehaus. “Maschinelle Entscheidungsfindung:
Der Einsatz Der Fuzzy-Logik in Der Rechtswissenschaft.” Rechtshandbuch Legal
Tech , edited by Stephan Breidenbach and Florian Glatz, C.H. Beck, 2018, pp.
249 – 262.'
short: 'D. Krimphove, S. Niehaus, in: S. Breidenbach, F. Glatz (Eds.), Rechtshandbuch
Legal Tech , C.H. Beck, München, 2018, pp. 249 – 262.'
date_created: 2018-03-29T13:04:38Z
date_updated: 2022-01-06T06:54:29Z
editor:
- first_name: Stephan
full_name: Breidenbach, Stephan
last_name: Breidenbach
- first_name: Florian
full_name: Glatz, Florian
last_name: Glatz
page: 249 – 262
place: München
publication: 'Rechtshandbuch Legal Tech '
publisher: C.H. Beck
status: public
title: 'Maschinelle Entscheidungsfindung: Der Einsatz der Fuzzy-Logik in der Rechtswissenschaft'
type: book_chapter
user_id: '282'
year: '2018'
...
---
_id: '20550'
author:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Bodden E. Self-adaptive Static Analysis. In: Proceedings of the 40th International
Conference on Software Engineering: New Ideas and Emerging Results. ICSE-NIER
’18. ACM; 2018:45-48. doi:10.1145/3183399.3183401'
apa: 'Bodden, E. (2018). Self-adaptive Static Analysis. Proceedings of the 40th
International Conference on Software Engineering: New Ideas and Emerging Results,
45–48. https://doi.org/10.1145/3183399.3183401'
bibtex: '@inproceedings{Bodden_2018, place={New York, NY, USA}, series={ICSE-NIER
’18}, title={Self-adaptive Static Analysis}, DOI={10.1145/3183399.3183401},
booktitle={Proceedings of the 40th International Conference on Software Engineering:
New Ideas and Emerging Results}, publisher={ACM}, author={Bodden, Eric}, year={2018},
pages={45–48}, collection={ICSE-NIER ’18} }'
chicago: 'Bodden, Eric. “Self-Adaptive Static Analysis.” In Proceedings of the
40th International Conference on Software Engineering: New Ideas and Emerging
Results, 45–48. ICSE-NIER ’18. New York, NY, USA: ACM, 2018. https://doi.org/10.1145/3183399.3183401.'
ieee: 'E. Bodden, “Self-adaptive Static Analysis,” in Proceedings of the 40th
International Conference on Software Engineering: New Ideas and Emerging Results,
2018, pp. 45–48, doi: 10.1145/3183399.3183401.'
mla: 'Bodden, Eric. “Self-Adaptive Static Analysis.” Proceedings of the 40th
International Conference on Software Engineering: New Ideas and Emerging Results,
ACM, 2018, pp. 45–48, doi:10.1145/3183399.3183401.'
short: 'E. Bodden, in: Proceedings of the 40th International Conference on Software
Engineering: New Ideas and Emerging Results, ACM, New York, NY, USA, 2018, pp.
45–48.'
date_created: 2020-11-30T09:54:33Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1145/3183399.3183401
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
page: 45-48
place: New York, NY, USA
publication: 'Proceedings of the 40th International Conference on Software Engineering:
New Ideas and Emerging Results'
publication_identifier:
isbn:
- 978-1-4503-5662-6
publisher: ACM
related_material:
link:
- relation: confirmation
url: http://bodden.de/pubs/bodden18selfadaptive.pdf
series_title: ICSE-NIER '18
status: public
title: Self-adaptive Static Analysis
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20551'
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. VISUFLOW, a Debugging
Environment for Static Analyses. In: International Conference for Software
Engineering (ICSE), Tool Demonstrations Track. ; 2018.'
apa: Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018).
VISUFLOW, a Debugging Environment for Static Analyses. International Conference
for Software Engineering (ICSE), Tool Demonstrations Track.
bibtex: '@inproceedings{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={VISUFLOW,
a Debugging Environment for Static Analyses}, booktitle={International Conference
for Software Engineering (ICSE), Tool Demonstrations Track}, author={Nguyen Quang
Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric},
year={2018} }'
chicago: Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric
Bodden. “VISUFLOW, a Debugging Environment for Static Analyses.” In International
Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2018.
ieee: L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “VISUFLOW,
a Debugging Environment for Static Analyses,” 2018.
mla: Nguyen Quang Do, Lisa, et al. “VISUFLOW, a Debugging Environment for Static
Analyses.” International Conference for Software Engineering (ICSE), Tool Demonstrations
Track, 2018.
short: 'L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, in: International
Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2018.'
date_created: 2020-11-30T09:55:20Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/dkh+18visuflow.pdf
publication: International Conference for Software Engineering (ICSE), Tool Demonstrations
Track
status: public
title: VISUFLOW, a Debugging Environment for Static Analyses
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20623'
author:
- first_name: Verena
full_name: Aßmuth, Verena
id: '53299'
last_name: Aßmuth
- first_name: Dominik
full_name: Teutenberg, Dominik
id: '537'
last_name: Teutenberg
- first_name: Gerson
full_name: Meschut, Gerson
id: '32056'
last_name: Meschut
orcid: 0000-0002-2763-1246
- first_name: Sergey
full_name: Stepanov, Sergey
last_name: Stepanov
- first_name: ' Jörg '
full_name: 'Ihde, Jörg '
last_name: Ihde
- first_name: Bernd
full_name: Mayer, Bernd
last_name: Mayer
citation:
ama: 'Aßmuth V, Teutenberg D, Meschut G, Stepanov S, Ihde Jörg , Mayer B. Offenzeit
plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse (OffPlas).
In: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V., ed. 18.
Kolloquium Gemeinsame Forschung in der Klebtechnik. ; 2018:91-93.'
apa: Aßmuth, V., Teutenberg, D., Meschut, G., Stepanov, S., Ihde, Jörg , &
Mayer, B. (2018). Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische
Prozesse (OffPlas). In DECHEMA Gesellschaft für Chemische Technik und Biotechnologie
e.V. (Ed.), 18. Kolloquium Gemeinsame Forschung in der Klebtechnik (pp.
91–93). Köln.
bibtex: '@inproceedings{Aßmuth_Teutenberg_Meschut_Stepanov_Ihde_Mayer_2018, title={Offenzeit
plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse (OffPlas)},
booktitle={18. Kolloquium Gemeinsame Forschung in der Klebtechnik}, author={Aßmuth,
Verena and Teutenberg, Dominik and Meschut, Gerson and Stepanov, Sergey and Ihde, Jörg and
Mayer, Bernd}, editor={DECHEMA Gesellschaft für Chemische Technik und Biotechnologie
e.V.Editor}, year={2018}, pages={91–93} }'
chicago: Aßmuth, Verena, Dominik Teutenberg, Gerson Meschut, Sergey Stepanov, Jörg Ihde,
and Bernd Mayer. “Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische
Prozesse (OffPlas).” In 18. Kolloquium Gemeinsame Forschung in der Klebtechnik,
edited by DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V.,
91–93, 2018.
ieee: V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, Jörg Ihde, and B. Mayer,
“Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse
(OffPlas),” in 18. Kolloquium Gemeinsame Forschung in der Klebtechnik,
Köln, 2018, pp. 91–93.
mla: Aßmuth, Verena, et al. “Offenzeit plasmaaktivierter Polymeroberflächen für
robuste klebtechnische Prozesse (OffPlas).” 18. Kolloquium Gemeinsame Forschung
in der Klebtechnik, edited by DECHEMA Gesellschaft für Chemische Technik und
Biotechnologie e.V., 2018, pp. 91–93.
short: 'V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, Jörg Ihde, B. Mayer,
in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.),
18. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2018, pp. 91–93.'
conference:
end_date: 2018-02-28
location: Köln
name: 18. Kolloquium Gemeinsame Forschung in der Klebtechnik
start_date: 2018-02-27
corporate_editor:
- DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V.
date_created: 2020-12-02T12:35:29Z
date_updated: 2022-01-06T06:54:31Z
department:
- _id: '157'
language:
- iso: ger
page: 91-93
publication: 18. Kolloquium Gemeinsame Forschung in der Klebtechnik
status: public
title: Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse
(OffPlas)
type: conference
user_id: '53299'
year: '2018'
...
---
_id: '20662'
author:
- first_name: T
full_name: Lehmann, T
last_name: Lehmann
- first_name: Linda
full_name: Paschen, Linda
id: '33708'
last_name: Paschen
orcid: 0000-0001-8186-6487
- first_name: Jochen
full_name: Baumeister, Jochen
id: '46'
last_name: Baumeister
orcid: 0000-0003-2683-5826
citation:
ama: 'Lehmann T, Paschen L, Baumeister J. Comparison of postural stability in the
ACL deficient and reconstructed leg: a Meta analysis. 2018;69(5):173.'
apa: 'Lehmann, T., Paschen, L., & Baumeister, J. (2018). Comparison of postural
stability in the ACL deficient and reconstructed leg: a Meta analysis (Vol.
69, Issue 5, p. 173).'
bibtex: '@article{Lehmann_Paschen_Baumeister_2018, series={Dt Z Sportmed}, title={Comparison
of postural stability in the ACL deficient and reconstructed leg: a Meta analysis},
volume={69}, number={5}, author={Lehmann, T and Paschen, Linda and Baumeister,
Jochen}, year={2018}, pages={173}, collection={Dt Z Sportmed} }'
chicago: 'Lehmann, T, Linda Paschen, and Jochen Baumeister. “Comparison of Postural
Stability in the ACL Deficient and Reconstructed Leg: A Meta Analysis.” Dt Z Sportmed,
2018.'
ieee: 'T. Lehmann, L. Paschen, and J. Baumeister, “Comparison of postural stability
in the ACL deficient and reconstructed leg: a Meta analysis,” vol. 69, no. 5.
p. 173, 2018.'
mla: 'Lehmann, T., et al. Comparison of Postural Stability in the ACL Deficient
and Reconstructed Leg: A Meta Analysis. no. 5, 2018, p. 173.'
short: T. Lehmann, L. Paschen, J. Baumeister, 69 (2018) 173.
date_created: 2020-12-02T13:50:43Z
date_updated: 2022-01-06T06:54:31Z
department:
- _id: '17'
- _id: '172'
intvolume: ' 69'
issue: '5'
language:
- iso: eng
page: '173'
series_title: Dt Z Sportmed
status: public
title: 'Comparison of postural stability in the ACL deficient and reconstructed leg:
a Meta analysis'
type: conference_abstract
user_id: '14931'
volume: 69
year: '2018'
...
---
_id: '20663'
author:
- first_name: YW
full_name: An, YW
last_name: An
- first_name: A
full_name: DiTrani Lobacz, A
last_name: DiTrani Lobacz
- first_name: Jochen
full_name: Baumeister, Jochen
id: '46'
last_name: Baumeister
orcid: 0000-0003-2683-5826
- first_name: CB
full_name: Swanik, CB
last_name: Swanik
citation:
ama: An Y, DiTrani Lobacz A, Baumeister J, Swanik C. Negative emotional stimuli
increase neurocognitive processing in the brain. 2018;53(6S):113.
apa: An, Y., DiTrani Lobacz, A., Baumeister, J., & Swanik, C. (2018). Negative
emotional stimuli increase neurocognitive processing in the brain.
bibtex: '@article{An_DiTrani Lobacz_Baumeister_Swanik_2018, series={J Athl Train},
title={Negative emotional stimuli increase neurocognitive processing in the brain},
volume={53}, number={6S}, author={An, YW and DiTrani Lobacz, A and Baumeister,
Jochen and Swanik, CB}, year={2018}, pages={113}, collection={J Athl Train} }'
chicago: An, YW, A DiTrani Lobacz, Jochen Baumeister, and CB Swanik. “Negative Emotional
Stimuli Increase Neurocognitive Processing in the Brain.” J Athl Train, 2018.
ieee: Y. An, A. DiTrani Lobacz, J. Baumeister, and C. Swanik, “Negative emotional
stimuli increase neurocognitive processing in the brain,” vol. 53, no. 6S. p.
113, 2018.
mla: An, YW, et al. Negative Emotional Stimuli Increase Neurocognitive Processing
in the Brain. Vol. 53, no. 6S, 2018, p. 113.
short: Y. An, A. DiTrani Lobacz, J. Baumeister, C. Swanik, 53 (2018) 113.
date_created: 2020-12-02T13:54:20Z
date_updated: 2022-01-06T06:54:31Z
department:
- _id: '17'
- _id: '172'
intvolume: ' 53'
issue: 6S
language:
- iso: eng
page: '113'
series_title: J Athl Train
status: public
title: Negative emotional stimuli increase neurocognitive processing in the brain
type: conference_abstract
user_id: '62406'
volume: 53
year: '2018'
...
---
_id: '20666'
author:
- first_name: T
full_name: Lehmann, T
last_name: Lehmann
- first_name: D
full_name: Büchel, D
last_name: Büchel
- first_name: J
full_name: Cockcroft, J
last_name: Cockcroft
- first_name: QA
full_name: Louw, QA
last_name: Louw
- first_name: Jochen
full_name: Baumeister, Jochen
id: '46'
last_name: Baumeister
orcid: 0000-0003-2683-5826
citation:
ama: 'Lehmann T, Büchel D, Cockcroft J, Louw Q, Baumeister J. Exploring Functional
Brain Connectivity of Postural Control in Upright Stance. In: Proceedings of
the 3rd International Mobile Brain/Body Imaging Conference. ; 2018.'
apa: Lehmann, T., Büchel, D., Cockcroft, J., Louw, Q., & Baumeister, J. (2018).
Exploring Functional Brain Connectivity of Postural Control in Upright Stance.
In Proceedings of the 3rd International Mobile Brain/Body Imaging Conference.
bibtex: '@inproceedings{Lehmann_Büchel_Cockcroft_Louw_Baumeister_2018, title={Exploring
Functional Brain Connectivity of Postural Control in Upright Stance}, booktitle={Proceedings
of the 3rd International Mobile Brain/Body Imaging Conference}, author={Lehmann,
T and Büchel, D and Cockcroft, J and Louw, QA and Baumeister, Jochen}, year={2018}
}'
chicago: Lehmann, T, D Büchel, J Cockcroft, QA Louw, and Jochen Baumeister. “Exploring
Functional Brain Connectivity of Postural Control in Upright Stance.” In Proceedings
of the 3rd International Mobile Brain/Body Imaging Conference, 2018.
ieee: T. Lehmann, D. Büchel, J. Cockcroft, Q. Louw, and J. Baumeister, “Exploring
Functional Brain Connectivity of Postural Control in Upright Stance,” in Proceedings
of the 3rd International Mobile Brain/Body Imaging Conference, 2018.
mla: Lehmann, T., et al. “Exploring Functional Brain Connectivity of Postural Control
in Upright Stance.” Proceedings of the 3rd International Mobile Brain/Body
Imaging Conference, 2018.
short: 'T. Lehmann, D. Büchel, J. Cockcroft, Q. Louw, J. Baumeister, in: Proceedings
of the 3rd International Mobile Brain/Body Imaging Conference, 2018.'
date_created: 2020-12-02T14:22:27Z
date_updated: 2022-01-06T06:54:31Z
department:
- _id: '17'
- _id: '172'
language:
- iso: eng
publication: Proceedings of the 3rd International Mobile Brain/Body Imaging Conference
status: public
title: Exploring Functional Brain Connectivity of Postural Control in Upright Stance
type: conference_abstract
user_id: '62406'
year: '2018'
...
---
_id: '20667'
author:
- first_name: D
full_name: Büchel, D
last_name: Büchel
- first_name: T
full_name: Lehmann, T
last_name: Lehmann
- first_name: J
full_name: Cockcroft, J
last_name: Cockcroft
- first_name: QA
full_name: Louw, QA
last_name: Louw
- first_name: Jochen
full_name: Baumeister, Jochen
id: '46'
last_name: Baumeister
orcid: 0000-0003-2683-5826
citation:
ama: 'Büchel D, Lehmann T, Cockcroft J, Louw Q, Baumeister J. Effect of a cognitive
dual-task on electrocortical activation during single leg stance. In: Proceedings
of the 3rd International Mobile Brain/Body Imaging Conference. ; 2018.'
apa: Büchel, D., Lehmann, T., Cockcroft, J., Louw, Q., & Baumeister, J. (2018).
Effect of a cognitive dual-task on electrocortical activation during single leg
stance. In Proceedings of the 3rd International Mobile Brain/Body Imaging Conference.
bibtex: '@inproceedings{Büchel_Lehmann_Cockcroft_Louw_Baumeister_2018, title={Effect
of a cognitive dual-task on electrocortical activation during single leg stance},
booktitle={Proceedings of the 3rd International Mobile Brain/Body Imaging Conference},
author={Büchel, D and Lehmann, T and Cockcroft, J and Louw, QA and Baumeister,
Jochen}, year={2018} }'
chicago: Büchel, D, T Lehmann, J Cockcroft, QA Louw, and Jochen Baumeister. “Effect
of a Cognitive Dual-Task on Electrocortical Activation during Single Leg Stance.”
In Proceedings of the 3rd International Mobile Brain/Body Imaging Conference,
2018.
ieee: D. Büchel, T. Lehmann, J. Cockcroft, Q. Louw, and J. Baumeister, “Effect of
a cognitive dual-task on electrocortical activation during single leg stance,”
in Proceedings of the 3rd International Mobile Brain/Body Imaging Conference,
2018.
mla: Büchel, D., et al. “Effect of a Cognitive Dual-Task on Electrocortical Activation
during Single Leg Stance.” Proceedings of the 3rd International Mobile Brain/Body
Imaging Conference, 2018.
short: 'D. Büchel, T. Lehmann, J. Cockcroft, Q. Louw, J. Baumeister, in: Proceedings
of the 3rd International Mobile Brain/Body Imaging Conference, 2018.'
date_created: 2020-12-02T14:25:02Z
date_updated: 2022-01-06T06:54:31Z
department:
- _id: '17'
- _id: '172'
language:
- iso: eng
publication: Proceedings of the 3rd International Mobile Brain/Body Imaging Conference
status: public
title: Effect of a cognitive dual-task on electrocortical activation during single
leg stance
type: conference_abstract
user_id: '62406'
year: '2018'
...
---
_id: '20779'
abstract:
- lang: eng
text: Der hohe Grad an Innovation in mechatronischen Systemen führt zu sogenannten
Cyber-Physical Systems (CPS). Diese haben eine komplexe Funktionalität und Kommunikation.
Wie sicherheitskritisch solche Systeme sind, wird durch sogenannte Sicherheits-Integritätslevel
(SIL) kategorisiert, die durch Normen wie der ISO 26262 definiert werden. Ein
bestimmter SIL beschreibt nicht nur die Höhe des Gefährdungsrisikos, sondern diktiert
auch den erforderlichen Grad an Sorgfalt bei der Entwicklung des Systems. Ein
hoher SIL erfordert die Anwendung von Safety-Maßnahmen mit einem hohen Sorgfaltsgrad
in allen Phasen der Entwicklung und impliziert daher einen hohen Safety-Aufwand.
SIL-Tailoring ist ein Mittel um den Safety-Aufwand zu reduzieren, indem man Subsystemen
geringere SILs zuordnet, falls sie von kritischeren Subsystemen getrennt sind
oder redundante Safety-Anforderungen erfüllen. Um den nötigen Safety-Aufwand zu
planen, sollten Möglichkeiten für SIL-Tailoring so früh wie möglich identifiziert
werden - d.h. bereits in der Anforderungsanalyse. Durch die Komplexität von CPS,
ist es schwierig valide SIL-Tailorings zu finden. Die Validität von SIL-Tailorings
muss durch Analyse von Fehlerpropagierungspfaden geprüft und durch Argumente im
Safety Case begründet werden. Der Beitrag dieser Dissertation ist ein systematischer,
tool-unterstützter SIL-Tailoring-Prozess, der im Safety Requirements Engineering
angewendet wird. Der Prozess nutzt eine modell-basierte, formale Anforderungsspezifikation
und stellt einen Katalog von Anforderungsmustern bereit. Basierend auf diesen
Anforderungen werden Fehlerpropagierungsmodelle generiert und Subsystemen automatisch
SILs zugeordnet. Das minimiert den Sicherheitsanalyseaufwand. Aus den generierten
Ergebnissen wird automatisch ein Safety Case mit Argumenten für die SIL-Tailoring-Validität
abgeleitet.
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
citation:
ama: Fockel M. Safety Requirements Engineering for Early SIL Tailoring. Fakultät
für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2018. doi:10.17619/UNIPB/1-490
apa: Fockel, M. (2018). Safety Requirements Engineering for Early SIL Tailoring.
Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn.
https://doi.org/10.17619/UNIPB/1-490
bibtex: '@book{Fockel_2018, title={Safety Requirements Engineering for Early SIL
Tailoring}, DOI={10.17619/UNIPB/1-490},
publisher={Fakultät für Elektrotechnik, Informatik und Mathematik, Universität
Paderborn}, author={Fockel, Markus}, year={2018} }'
chicago: Fockel, Markus. Safety Requirements Engineering for Early SIL Tailoring.
Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
2018. https://doi.org/10.17619/UNIPB/1-490.
ieee: M. Fockel, Safety Requirements Engineering for Early SIL Tailoring.
Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
2018.
mla: Fockel, Markus. Safety Requirements Engineering for Early SIL Tailoring.
Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
2018, doi:10.17619/UNIPB/1-490.
short: M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät
für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.
date_created: 2020-12-17T11:59:05Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.17619/UNIPB/1-490
language:
- iso: eng
publisher: Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn
status: public
supervisor:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
title: Safety Requirements Engineering for Early SIL Tailoring
type: dissertation
user_id: '5786'
year: '2018'
...
---
_id: '20780'
abstract:
- lang: eng
text: With the growing number of incidents, the topic security gains more and more
attention across all domains. Organizations realize their lack of state-of-the-art
security practices, however, they struggle to improve their software lifecycle
in terms of security. In this talk, we introduce the concept of security by design
that implements security practices within the whole software lifecycle. Based
on our practical experience from industry projects in the regulated industrial
automation and unregulated classical IT domain, we explain how to perform a threat
analysis and how to integrate it into the software lifecycle.
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Sven
full_name: Merschjohann, Sven
id: '11394'
last_name: Merschjohann
- first_name: Masud
full_name: Fazal-Baqaie, Masud
last_name: Fazal-Baqaie
citation:
ama: 'Fockel M, Merschjohann S, Fazal-Baqaie M. Threat Analysis in Practice - Systematically
Deriving Security Requirements. In: 19th International Conference on Product-Focused
Software Process Improvement (PROFES 2018). LNCS 11271. Springer Nature Switzerland
AG; 2018. doi:10.1007/978-3-030-03673-7_25'
apa: Fockel, M., Merschjohann, S., & Fazal-Baqaie, M. (2018). Threat Analysis
in Practice - Systematically Deriving Security Requirements. In 19th International
Conference on Product-Focused Software Process Improvement (PROFES 2018).
Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-030-03673-7_25
bibtex: '@inproceedings{Fockel_Merschjohann_Fazal-Baqaie_2018, series={LNCS 11271},
title={Threat Analysis in Practice - Systematically Deriving Security Requirements},
DOI={10.1007/978-3-030-03673-7_25},
booktitle={19th International Conference on Product-Focused Software Process Improvement
(PROFES 2018)}, publisher={Springer Nature Switzerland AG}, author={Fockel, Markus
and Merschjohann, Sven and Fazal-Baqaie, Masud}, year={2018}, collection={LNCS
11271} }'
chicago: Fockel, Markus, Sven Merschjohann, and Masud Fazal-Baqaie. “Threat Analysis
in Practice - Systematically Deriving Security Requirements.” In 19th International
Conference on Product-Focused Software Process Improvement (PROFES 2018).
LNCS 11271. Springer Nature Switzerland AG, 2018. https://doi.org/10.1007/978-3-030-03673-7_25.
ieee: M. Fockel, S. Merschjohann, and M. Fazal-Baqaie, “Threat Analysis in Practice
- Systematically Deriving Security Requirements,” in 19th International Conference
on Product-Focused Software Process Improvement (PROFES 2018), 2018.
mla: Fockel, Markus, et al. “Threat Analysis in Practice - Systematically Deriving
Security Requirements.” 19th International Conference on Product-Focused Software
Process Improvement (PROFES 2018), Springer Nature Switzerland AG, 2018, doi:10.1007/978-3-030-03673-7_25.
short: 'M. Fockel, S. Merschjohann, M. Fazal-Baqaie, in: 19th International Conference
on Product-Focused Software Process Improvement (PROFES 2018), Springer Nature
Switzerland AG, 2018.'
date_created: 2020-12-17T12:00:45Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-030-03673-7_25
language:
- iso: eng
publication: 19th International Conference on Product-Focused Software Process Improvement
(PROFES 2018)
publisher: Springer Nature Switzerland AG
series_title: LNCS 11271
status: public
title: Threat Analysis in Practice - Systematically Deriving Security Requirements
type: conference
user_id: '8472'
year: '2018'
...
---
_id: '20781'
author:
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
- first_name: David
full_name: Schubert, David
id: '9106'
last_name: Schubert
citation:
ama: 'Gerking C, Schubert D. Towards Preserving Information Flow Security on Architectural
Composition of Cyber-Physical Systems. In: European Conference on Software
Architecture (ECSA 2018). Lecture Notes in Computer Science. Springer; 2018:147-155.
doi:10.1007/978-3-030-00761-4_10'
apa: Gerking, C., & Schubert, D. (2018). Towards Preserving Information Flow
Security on Architectural Composition of Cyber-Physical Systems. European Conference
on Software Architecture (ECSA 2018), 11048, 147–155. https://doi.org/10.1007/978-3-030-00761-4_10
bibtex: '@inproceedings{Gerking_Schubert_2018, series={Lecture Notes in Computer
Science}, title={Towards Preserving Information Flow Security on Architectural
Composition of Cyber-Physical Systems}, DOI={10.1007/978-3-030-00761-4_10},
number={11048}, booktitle={European Conference on Software Architecture (ECSA
2018)}, publisher={Springer}, author={Gerking, Christopher and Schubert, David},
year={2018}, pages={147–155}, collection={Lecture Notes in Computer Science} }'
chicago: Gerking, Christopher, and David Schubert. “Towards Preserving Information
Flow Security on Architectural Composition of Cyber-Physical Systems.” In European
Conference on Software Architecture (ECSA 2018), 147–55. Lecture Notes in
Computer Science. Springer, 2018. https://doi.org/10.1007/978-3-030-00761-4_10.
ieee: 'C. Gerking and D. Schubert, “Towards Preserving Information Flow Security
on Architectural Composition of Cyber-Physical Systems,” in European Conference
on Software Architecture (ECSA 2018), 2018, no. 11048, pp. 147–155, doi: 10.1007/978-3-030-00761-4_10.'
mla: Gerking, Christopher, and David Schubert. “Towards Preserving Information Flow
Security on Architectural Composition of Cyber-Physical Systems.” European
Conference on Software Architecture (ECSA 2018), no. 11048, Springer, 2018,
pp. 147–55, doi:10.1007/978-3-030-00761-4_10.
short: 'C. Gerking, D. Schubert, in: European Conference on Software Architecture
(ECSA 2018), Springer, 2018, pp. 147–155.'
date_created: 2020-12-17T12:02:20Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
doi: 10.1007/978-3-030-00761-4_10
issue: '11048'
language:
- iso: eng
page: 147-155
publication: European Conference on Software Architecture (ECSA 2018)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Towards Preserving Information Flow Security on Architectural Composition of
Cyber-Physical Systems
type: conference
user_id: '5786'
year: '2018'
...