Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Enhanced Requirements-Based Programming for Embedded Systems Design.

M. Hinchey, T. Margaria, J. Rash, C. Rouff, and B. Steffen. MBEES, volume 2006-1 of Informatik-Bericht, page 43-52. TU Braunschweig, Institut für Software Systems Engineering, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Prof. Dr. Bernhard Hauer University of Stuttgart

Controlling Monoterpene Isomerization by Guiding Challenging Carbocation Rearrangement Reactions in Engineered Squalene-Hopene CyclasesJ. Ludwig, C. Curado-Carballada, S. Hammer, A. Schneider, S. Diether, N. Kress, S. Ruiz-Barragan, S. Osuna, and B. Hauer. Angewandte Chemie. International edition, 63 (12): e202318913 (2024)

Steffen Gerhäusser University of Stuttgart

SimLivA–Modeling ischemia‐reperfusion injury in the liver: A first step towards a clinical decision support toolH. Tautenhahn, T. Ricken, U. Dahmen, L. Mandl, L. Bütow, S. Gerhäusser, L. Lambers, X. Chen, E. Lehmann, O. Dirsch and 1 other author(s). GAMM-Mitteilungen, (January 2024)

Dr. rer. nat. Bernhard Schulz University of Stuttgart

Univ. -Prof. Dr. -Ing. Bernhard Weigand University of Stuttgart

Simulation and analytical modeling of high-speed droplet impact onto a surfaceY. Liu, X. Chu, G. Yang, and B. Weigand. Physics of fluids, 36 (1): 012137 (2024)

Bernhard Schopfer University of Stuttgart

Other publications of authors with the same name

Behavior-based model construction.H. Hungar, and B. Steffen. STTT, 6 (1): 4-14 (2004)Risk-based testing via active continuous quality control.J. Neubauer, S. Windmüller, and B. Steffen. STTT, 16 (5): 569-591 (2014)Generating Data Flow Analysis Algorithms from Modal Specifications.B. Steffen. Sci. Comput. Program., 21 (2): 115-139 (1993)Parallel real time computation of large scale pedestrian evacuations.A. Wagoum, B. Steffen, A. Seyfried, and M. Chraibi. Advances in Engineering Software, (2013)Component-Oriented Behavior Extraction for Autonomic System Design.T. Margaria, M. Bakera, C. Wagner, E. Vassev, M. Hinchey, and B. Steffen. NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 66-75. (2009)The jABC Approach to Rigorous Collaborative Development of SCM Applications.M. Hörmann, T. Margaria, T. Mender, R. Nagel, B. Steffen, and H. Trinh. ISoLA, volume 17 of Communications in Computer and Information Science, page 724-737. Springer, (2008)Towards a tool kit for the automatic generation of interprocedural data flow analyses.J. Knoop, O. Rüthing, and B. Steffen. J. Prog. Lang., 4 (4): 211-246 (1996)Plug-and-Play Higher-Order Process Integration.J. Neubauer, and B. Steffen. IEEE Computer, 46 (11): 56-62 (2013)Modellierung und Simulation am Beispiel von Hochtemparatur-Brennstoffzellen.C. Schelthoff, and B. Steffen. Praxis der Informationsverarbeitung und Kommunikation, 19 (3): 138-141 (1996)An Approach to Intelligent Software Library Management.B. Freitag, B. Steffen, T. Margaria, and U. Zukowski. DASFAA, volume 5 of Advanced Database Research and Development Series, page 71-78. World Scientific, (1995)