PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Lomuscio, Alessio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Runtime Monitoring of Contract Regulated Web Services.

, , , und . Fundam. Inform., 111 (3): 339-355 (2011)

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.

Renan Pereira Alessio University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Verifying GSM-Based Business Artifacts., , und . ICWS, Seite 25-32. IEEE Computer Society, (2012)Towards Verifying Contract Regulated Service Composition., , und . ICWS, Seite 254-261. IEEE Computer Society, (2008)Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems., und . KR, AAAI Press, (2010)Automatic verification of epistemic specifications under convergent equational theories., , und . AAMAS, Seite 1141-1148. IFAAMAS, (2012)Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions., und . KR, Seite 298-308. AAAI Press, (2016)Verifying Fault-tolerance in Parameterised Multi-Agent Systems., und . IJCAI, Seite 288-294. ijcai.org, (2017)Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems., , und . IJCAI, Seite 854-860. AAAI Press, (2015)On the Relation between Interpreted Systems and Kripke Models., und . Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Volume 1441 von Lecture Notes in Computer Science, Seite 46-59. Springer, (1997)Model Checking Multi-Agent Systems against LDLK Specifications., und . IJCAI, Seite 1138-1144. ijcai.org, (2017)Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic., , , und . IJCAI, Seite 91-97. ijcai.org, (2017)