( en | de | ru )

 

Disambiguation of "Gerber, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
A Software Synthesis Tool for Distributed Embedded System Design.

, , , , and . Workshop on Languages, Compilers, and Tools for Embedded Systems, page 87-95. ACM, (1999)

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.

Richard Gerber

Helmut Richard Gerber

Arnold Gerber

Adolf Gerber

Hanns Gerber

 

Other publications of authors with the same name

A process algebraic approach to the specification and analysis of resource-bound real-time systems., , and . Proc. IEEE, 82 (1): 158-171 (1994)Appropriate Interfaces Between Design Tools, Languages, Compilers and Runtimes in Real-Time Systems (Panel)., , , , and . Workshop on Languages, Compilers, & Tools for Real-Time Systems, page 124. ACM, (1995)Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach., , and . ISSTA, page 113-123. ACM, (1998)Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic., , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 400-411. Springer, (1997)Specification and Analysis of Resource-Bound Real-Time Systems., and . REX Workshop, volume 600 of Lecture Notes in Computer Science, page 371-396. Springer, (1991)A Proof System for Communicating Shared Resources., and . RTSS, page 288-299. IEEE Computer Society, (1990)Distributed Genetic Programming In Java, , and . Late Breaking Papers at the 1997 Genetic Programming Conference, page 81--86. Stanford University, CA, USA, Stanford Bookstore, (13--16 July 1997)Slicing Real-Time Programs for Enhanced Schedulability., and . ACM Trans. Program. Lang. Syst., 19 (3): 525-555 (1997)Implementing a Real-Time Process Algebra in HOL., , and . TPHOLs, page 144-154. IEEE Computer Society, (1991)ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities., , and . CONCUR, volume 715 of Lecture Notes in Computer Science, page 417-431. Springer, (1993)