Autor der Publikation

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)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Adaptive model learning for continual verification of non-functional properties., , , und . ICPE, Seite 87-98. ACM, (2014)Efficient parametric model checking using domain-specific modelling patterns., , und . ICSE (NIER), Seite 61-64. ACM, (2018)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.The Process of Communication in Face to Face Vs. Computerized Conferences. A Controlled Experiment Using Bales Interaction Process Analysis., , und . ACL, ACL, (1980)An incremental verification framework for component-based software systems., , und . CBSE, Seite 33-42. ACM, (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)