PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Johnson, Kenneth"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Monitoring and Intervention: Concepts and Formal Models.

, , und . CoRR, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Isaac Henderson Johnson Jeyakumar University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

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