( en | de | ru )

 

Disambiguation of "Kramer, Jeff"

Author of the publication

copydeleteadd this publication to your clipboard
Using contexts to extract models from code.

, , and . Softw. Syst. Model., 16 (2): 523-557 (2017)

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.

Jeff Berens

Jeff Bezanson

Dennis Jeffrey

Jeff Jay

Jeff Tian

 

Other publications of authors with the same name

An Approach for Recovering Distributed System Architectures., and . Autom. Softw. Eng., 8 (3-4): 311-354 (2001)Providing High Performance Distributed Computing Through Scalable Computation Servers., and . HPDC, page 70-77. IEEE, (1994)State of the Journal Address.. IEEE Trans. Software Eng., 34 (1): 1-2 (2008)Editorial: New Associate Editor Introduction.. IEEE Trans. Software Eng., 34 (2): 161 (2008)Tractable Dataflow Analysis for Distributed Systems., and . IEEE Trans. Software Eng., 20 (8): 579-593 (1994)Determining the Impact of Software Engineering Research on Practice., , , and . Computer, 41 (3): 39-49 (2008)RE @ runtime : the challenge of change RE'20 Conference Keynote.. RE, page 4-6. IEEE, (2020)Translating FSP into LOTOS and Networks of Automata., , , and . IFM, volume 4591 of Lecture Notes in Computer Science, page 558-578. Springer, (2007)Modelling Darwin in the Pi-Caculus., , and . Dagstuhl Seminar on Distributed Systems, volume 938 of Lecture Notes in Computer Science, page 133-152. Springer, (1994)LTSA-PCA: tool support for compositional reliability analysis., , and . ICSE Companion, page 548-551. ACM, (2014)