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.

Univ. -Prof. Dr. James Foster University of Stuttgart

L. Ahlgrimm

Samuel James Tovey University of Stuttgart

Lambert Theisen University of Stuttgart

Dr. rer. nat. Tim Langen University of Stuttgart

Absorption spectroscopy for laser cooling and high-fidelity detection of barium monofluoride moleculesM. Rockenhäuser, F. Kogel, E. Pultinevicius, and T. Langen. Physical review. A, Atomic, molecular, and optical physics, 108 (6): 062812 (2023)

Other publications of authors with the same name

A Formal Approach to Requirements-Based Programming.M. Hinchey, J. Rash, and C. Rouff. ECBS, page 339-345. IEEE Computer Society, (2005)Next generation system and software architectures: Challenges from future NASA exploration missions.R. Sterritt, C. Rouff, M. Hinchey, J. Rash, and W. Truszkowski. Sci. Comput. Program., 61 (1): 48-57 (2006)You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems.M. Hinchey, J. Rash, W. Truszkowski, R. Sterritt, and C. Rouff. IMCSIT, page 639-647. IEEE, (2008)A requirements-based programming approach to developing a NASA autonomous ground control system.J. Rash, M. Hinchey, C. Rouff, D. Gracanin, and J. Erickson. Artif. Intell. Rev., 25 (4): 285-297 (2006)An Approach to Generating and Verifying Complex Scripts and Procedures.J. Rash, M. Hinchey, and D. Gracanin. CSB Workshops, page 305-313. IEEE Computer Society, (2005)You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems.M. Hinchey, J. Rash, W. Truszkowski, C. Rouff, and R. Sterritt. Transactions of the SDPS, 9 (1): 1-16 (2005)Experience Using Formal Methods for Specifying a Multi-Agent System.C. Rouff, J. Rash, and M. Hinchey. ICECCS, page 72-. IEEE Computer Society, (2000)Formal Approaches to Intelligent Swarms.C. Rouff, W. Truszkowski, J. Rash, and M. Hinchey. SEW, page 51. IEEE Computer Society, (2003)Autonomicity of NASA Missions.C. Rouff, M. Hinchey, J. Rash, W. Truszkowski, and R. Sterritt. ICAC, page 387-388. IEEE Computer Society, (2005)Formal Methods for Autonomic and Swarm-based Systems.C. Rouff, A. Vanderbilt, W. Truszkowski, J. Rash, and M. Hinchey. ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 100-102. Department of Computer Science, University of Cyprus, (2004)