Auflistung nach Autor "Becker, Steffen"
Anzeige der Dokumente 1-20 von 86
-
16. Workshop Automotive Software Engineering
Helke, Steffen; Schaefer, Ina; Vogelsang, Andreas
31-32 -
1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19)
Annighöfer, Björn; Schweiger, Andreas; Reich, Marina
33-35 -
2nd Workshop on Innovative Software Engineering Education
Krusche, Stephan; Kuhrmann, Marco; Schneider, Kurt
37-38 -
6th Collaborative Workshop on Evolution and Maintenance of Long-Living Systems
Heinrich, Robert; Jung, Reiner; Konersmann, Marco; Schmieders, Eric
29-30 -
7th Symposium on Software Performance (SSP) Kiel, November 08–09, 2016
Hasselbring, Wilhelm; Becker, Steffen; van Hoorn, André; Kounev, Samuel; Reussner, Ralf
-
8th Symposium on Software Performance (SSP) - Karlsruhe, November 09–10, 2017
Reussner, Ralf; Hasselbring, Wilhelm; Becker, Steffen
3-4 -
9th Symposium on Software Performance (SSP)
Eichelberger, Holger; Schmid, Klaus; Hasselbring, Wilhelm; Becker, Steffen; van Hoorn, André; Kounev, Samuel; Reussner, Ralf
19-21 -
Analysis of the trade-offs in different modeling approaches for performance prediction of software systems
Kounev, Samuel; Brosig, Fabian; Meier, Philipp; Becker, Steffen; Koziolek, Anne; Koziolek, Heiko; Rygielski, Piotr
47-48 -
Architecture and Quality of Cloud Simulators
Mann, Zoltan
177-178 -
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
Noller, Yannic; Kersten, Rody; Pasareanu, Corina
65-66 -
Bericht zur Jahrestagung der Fachgruppe Architekturen
Becker, Steffen
1 -
A Case Study on Model-Driven and Conventional Software Development: The Palladio Editor
Krogmann, Klaus; Becker, Steffen
169-175 -
Checking Consistency and Completeness of Software Systems
Sneed, Harry
129-132 -
Combining Verifiers in Conditional Model Checking via Reducers
Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas; Wehrheim, Heike
151-152 -
Comparison of the FMEA and STPA safety analysis methods-a case study
Sulaman, Sardar Muhammad; Beer, Armin; Felderer, Michael; Höst, Martin
175-176 -
Connected-Car-Services: eine Klassifikation der Plattformen für das vernetzte Automobil
Bosler, Micha; Jud, Christopher; Herzwurm, Georg
109-111 -
Designing an App that promotes Sustainable Mobility - Agile and user-centered development of an app and corresponding business model
Helferich, Andreas; Peine, Katharina
117-118 -
Developing and Evolving a DSL-based Approach for Runtime Monitoring of Systems of Systems
Rabiser, Rick; Thanhofer-Pilisch, Jürgen; Vierhauser, Michael; Grünbacher, Paul; Egyed, Alexander
141-142 -
Doktorandensymposium
Becker, Steffen; Werner, Matthias
2345