Safe and Secure: Mutually Supporting Safety and Security Analyses with Model-Based Suggestions.

Bastian Kruck Bastian Kruck Peter Munk Daniel Angermeier Safe and Secure: Mutually Supporting Safety and Security Analyses with Model-Based Suggestions. 172-181 2021 ISSRE Workshops https://doi.org/10.1109/ISSREW53611.2021.00061 conf/issre/2021w db/conf/issre/issre2021w.html#KruckMA21 Johannes Henning David Stangl Fabio Niephaus Bastian Kruck Robert Hirschfeld Hot Code Patching in CPython: Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code. 1:1-1:7 2019 ICOOOLPS@ECOOP https://doi.org/10.1145/3340670.3342424 conf/ecoop/2019icooolps db/conf/ecoop/icooolps2019.html#HenningSNKH19 Bastian Kruck Tobias Pape Tim Felgentreff Robert Hirschfeld Crossing abstraction barriers when debugging in dynamic languages. 1498-1504 2017 SAC https://doi.org/10.1145/3019612.3019734 conf/sac/2017 db/conf/sac/sac2017.html#KruckPFH17 Thijs Roumen Bastian Kruck Tobias Dürschmid Tobias Nack Patrick Baudisch Mobile fabrication: connect to the environment. 13:1 2017 SCF https://doi.org/10.1145/3083157.3096343 conf/scf/2017 db/conf/scf/scf2017.html#RoumenKDNB17 Bastian Kruck Stefan Lehmann Christoph Keßler Jakob Reschke Tim Felgentreff Jens Lincke Robert Hirschfeld Multi-level debugging for interpreter developers. 91-93 2016 MODULARITY (Companion) https://doi.org/10.1145/2892664.2892679 conf/aosd/2016c db/conf/aosd/modularity2016c.html#KruckLKRFLH16 Thijs Roumen Bastian Kruck Tobias Dürschmid Tobias Nack Patrick Baudisch Mobile Fabrication. 3-14 2016 UIST https://doi.org/10.1145/2984511.2984586 conf/uist/2016 db/conf/uist/uist2016.html#RoumenKDNB16

Stefanie Mueller 0001 Bastian Kruck Patrick Baudisch Laser origami: laser-cutting 3D objects. 36-41 2014 21 Interactions 2 https://doi.org/10.1145/2567782 https://www.wikidata.org/entity/Q39033085 db/journals/interactions/interactions21.html#MuellerKB14

Michal Rinott Eran Gal-Or Shachar Geiger Luka Or Stefanie Mueller 0001 Pedro Lopes 0001 Konstantin Kaefer Bastian Kruck Patrick Baudisch Shunichi Kasahara Ryuma Niiyama Valentin Heun Hiroshi Ishii 0001 Yuichiro Katsumoto Satoru Tokuhisa Masa Inakage Demo hour. 8-9 2013 20 Interactions 6 https://doi.org/10.1145/2532360.2532364 db/journals/interactions/interactions20.html#RinottGGOMLKKBKNHIKTI13

Stefanie Mueller 0001 Bastian Kruck Patrick Baudisch LaserOrigami: laser-cutting 3D objects. 2585-2592 2013 CHI https://doi.org/10.1145/2470654.2481358 conf/chi/2013 db/conf/chi/chi2013.html#MuellerKB13 Stefanie Müller 0001 Bastian Kruck Patrick Baudisch LaserOrigami: laser-cutting 3D objects. 2851-2852 2013 CHI Extended Abstracts https://doi.org/10.1145/2468356.2479544 conf/chi/2013a db/conf/chi/chi2013a.html#MullerKB13 Stefanie Müller 0001 Pedro Lopes 0001 Konstantin Kaefer Bastian Kruck Patrick Baudisch constructable: interactive construction of functional mechanical devices. 3107-3110 2013 CHI Extended Abstracts https://doi.org/10.1145/2468356.2479622 conf/chi/2013a db/conf/chi/chi2013a.html#MuellerLKKB13 Stefanie Mueller 0001 Pedro Lopes 0001 Konstantin Kaefer Bastian Kruck Patrick Baudisch constructable: interactive construction of functional mechanical devices. 39:1 2013 SIGGRAPH Talks https://doi.org/10.1145/2504459.2504508 conf/siggraph/2013talks db/conf/siggraph/siggraph2013talks.html#MuellerLKKB13 Daniel Angermeier Patrick Baudisch Tobias Dürschmid Tim Felgentreff Eran Gal-Or Shachar Geiger Johannes Henning Valentin Heun Robert Hirschfeld Masa Inakage Hiroshi Ishii 0001 Konstantin Kaefer Shunichi Kasahara Yuichiro Katsumoto Christoph Keßler Stefan Lehmann Jens Lincke Pedro Lopes 0001 Stefanie Mueller 0001Stefanie Müller 0001 Peter Munk Tobias Nack Fabio Niephaus Ryuma Niiyama Luka Or Tobias Pape Jakob Reschke Michal Rinott Thijs Roumen David Stangl Satoru Tokuhisa