PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Johnson, Kenneth"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.

, , , , , and . ECEASST, (2009)

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.

Isaac Henderson Johnson Jeyakumar University of Stuttgart

 

Other publications of authors with the same name

Group Decision Support: The Effects of Designated Human Leaders and Statistical Feedback in Computerized Conferences., , and . J. of Management Information Systems, 8 (2): 81-108 (1991)Effects of Four Modes of Group Communication on the Outcomes of Software Requirements Determination., , , and . J. of Management Information Systems, 15 (1): 99-118 (1998)Efficient parametric model checking using domain-specific modelling patterns., , and . ICSE (NIER), page 61-64. ACM, (2018)Adaptive model learning for continual verification of non-functional properties., , , and . ICPE, page 87-98. ACM, (2014)Measuring acceptance of computer-mediated communication systems., and . JASIS, 40 (6): 386-397 (1989)Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning., , , , , and . CloudCom (2), page 144-151. IEEE Computer Society, (2013)978-0-7695-5095-4.Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form., , , , , and . ECEASST, (2009)Efficient Parametric Model Checking Using Domain Knowledge., , and . CoRR, (2018)Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems., , and . Monterey Workshop, volume 7539 of Lecture Notes in Computer Science, page 303-329. Springer, (2012)Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges., , , and . Software Engineering for Self-Adaptive Systems, volume 9640 of Lecture Notes in Computer Science, page 223-248. Springer, (2013)