direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2012

Wilmes, B. (2012). Toward a Tool for Search-Based Testing of Simulink/TargetLink Models. SSBSE - 4th Symposium on Search Based Software Engineering: Fast Abstracts. Fondazione Bruno Kessler (FBK Press), 49-54.


Wilmes, B. (2012). Automated Structural Testing of Simulink/TargetLink Models via Search-Based Testing assisted by Prior-Search Static Analysis. Proc. of the 4th International Conference on Advances in System Testing and Validation Lifecycle (VALID). IARIA, 51-56.


Vos, T., Lindlar, F., Wilmes, B., Windisch, A., Baars, A., Kruse, P., Gross, H. and Wegener, J. (2012). Evolutionary functional black-box testing in an industrial setting. Software Quality Journal. Springer US.


Reiser, M.-O., Abele, A., Lonn, H. and Weber, M. (2012). EPM: a prototype tool for variability management in component hierarchies. Proceedings of the 16th International Software Product Line Conference, SPLC'12. ACM Press, 246-249.


Mews, M. and Helke, S. (2012). Towards Static Modular Software Verification. Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik. GI, 147-153.


Mews, M., Svacina, J. and Weissleder, S. (2012). From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain. Proc. of the International Conference on Software Testing, Verification, and Validation. IEEE Computer Society, 519-528.


Mertgen, A. (2012). Decoupling Context: Introducing Quantification in Object Teams. Proceedings of the 2012 workshop on Modularity in Systems Software. ACM, 45-49.


Mertgen, A. (2012). Generic Roles for Increased Reuseability. Software Engineering 2012, Fachtagung des GI-Fachbereichs Softwaretechnik. GI, 131-142.


Mehlhase, A., Nytsch-Geusen, C., Höger, C., Isakovic, K. and Rick, K. (2012). Modelica3D - Platform Independent Simulation Visualization. Proceedigns of the 9th International Modelica Conference. The Modelica Association, 485-494.


Mehlhase, A. and Beckmann, T. (2012). Python-Framework zur Simulation von Strukturdynamik-Modellen. Proc. der ASIM-Konferenz STS/GMMS 2012 Simulation technischer Systeme. ASIM /ARGESIM.


Mehlhase, A., Krüger, I. and Schmitz, G. (2012). Variable Structure Modeling for Vehicle Refrigeration Applications. Proceedigns of the 9th International Modelica Conference. The Modelica Association, 927-934.


Mehlhase, A. (2013). A python package for simulating variable-structure models with Dymola. International Federation of Automatic Control.


Jähnichen, S. (2012). Formen Agilen Programmierens. DGRI Jahrbuch 2011, 119-125.


Duske, K. and Müller, R. (2012). A Survey on Approaches for Timed Services. Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS-2012). CEUR-WS.org, 66-73.


Burmeister, R. and Helke, S. (2012). The Observer Pattern applied to actor systems: A TLA/TLC-based implementation analysis. Proc. International Conference on Theoretical Aspects of Software Engineering (TASE 2012). IEEE Computer Society.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe