Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2292 Publications
2018 | Conference Paper | LibreCat-ID: 20548
@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} }
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20549
@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} }
LibreCat
| Files available
2018 | Book Chapter | LibreCat-ID: 2055
@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} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 20550
@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} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 20551
@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} }
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20623
@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} }
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20662
@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} }
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20663
@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} }
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20666
@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} }
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20667
@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} }
LibreCat
2018 | Dissertation | LibreCat-ID: 20779
@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} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20780
@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} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20781
@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} }
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 20782
@inbook{Koch_Holtmann_Lindemann_2018, series={Communications in Computer and Information Science}, title={Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information}, volume={880}, DOI={10.1007/978-3-319-94764-8_8}, booktitle={Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development}, publisher={Springer International Publishing}, author={Koch, Thorsten and Holtmann, Jörg and Lindemann, Timo}, editor={Pires, Luís Ferreira and Hammoudi, Slimane and Selic, BranEditors}, year={2018}, pages={173–197}, collection={Communications in Computer and Information Science} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20783
@inproceedings{Koch_2018, title={Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems}, booktitle={International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018)}, author={Koch, Thorsten}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 20784
@inproceedings{Geismann_2018, title={Traceable Threat Modeling for Safety-critical Systems}, DOI={10.1109/ICSA-C.2018.00017}, booktitle={IEEE International Conference on Software Architecture Companion (ICSA-C 2018) }, publisher={IEEE}, author={Geismann, Johannes}, year={2018}, pages={41–42} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20785
@inproceedings{Geismann_Höttger_Krawczyk_Pohlmann_Schmelter_2018, place={Cham}, title={Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems}, volume={1}, DOI={10.1007/978-3-319-94764-8_4}, booktitle={Model-Driven Engineering and Software Development}, publisher={Springer International Publishing}, author={Geismann, Johannes and Höttger, Robert and Krawczyk, Lukas and Pohlmann, Uwe and Schmelter, David}, editor={Pires, Luís Ferreira and Hammoudi, Slimane and Selic, Bran}, year={2018}, pages={72–93} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20786
@inproceedings{Fockel_Holtmann_Koch_Schmelter_2018, title={Formal, Model- and Scenario-based Requirement Patterns}, booktitle={6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)}, author={Fockel, Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David}, year={2018} }
LibreCat
2018 | Journal Article | LibreCat-ID: 20787
@article{Wohlers_Dziwok_Schmelter_Lorenz_2018, title={Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control}, journal={Advances in Manufacturing, Production Management and Process Control - AHFE 2018}, author={Wohlers, Benedict and Dziwok, Stefan and Schmelter, David and Lorenz, Wadim}, year={2018}, pages={398–410} }
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 20788
@article{Pohlmann_Hüwe_2018, title={Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems}, DOI={10.1007/s10515-018-0248-3}, journal={Automated Software Engineering}, author={Pohlmann, Uwe and Hüwe, Marcus}, year={2018} }
LibreCat
| DOI