PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Briola, Daniela"

Author of the publication

copydeleteadd this publication to your clipboard
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach.

, , , and . Intelligenza Artificiale, 9 (2): 131-148 (2015)

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.

Univ. -Prof. Dr. phil. Daniela Bohde University of Stuttgart

Daniela Schätzel University of Stuttgart

Dr. rer. nat. Daniela Stöhr University of Stuttgart

Daniela Milanese University of Stuttgart

Daniela Dietz University of Stuttgart

 

Other publications of authors with the same name

Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach., , , and . Intelligenza Artificiale, 9 (2): 131-148 (2015)Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents., , , , and . CISIS, volume 53 of Advances in Soft Computing, page 108-115. Springer, (2008)MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols., , , and . WOA, volume 1664 of CEUR Workshop Proceedings, page 35-43. CEUR-WS.org, (2016)Exploiting MAS-Based Simulation to Improve the Indian Railways' Efficiency., , , and . MATES, volume 8076 of Lecture Notes in Computer Science, page 278-291. Springer, (2013)Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data., and . RuleML+RR, volume 10364 of Lecture Notes in Computer Science, page 53-69. Springer, (2017)Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog., , and . CILC, volume 1195 of CEUR Workshop Proceedings, page 319-323. CEUR-WS.org, (2014)Agents and Ontologies for a Smart Management of Heterogeneous Data: The IndianaMas System.. IDC, volume 616 of Studies in Computational Intelligence, page 25-36. Springer, (2015)Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems., , and . WOA, volume 1382 of CEUR Workshop Proceedings, page 65-75. CEUR-WS.org, (2015)Efficient Verification of MASs with Projections., , , , and . EMAS@AAMAS, volume 8758 of Lecture Notes in Computer Science, page 246-270. Springer, (2014)MUSE: MUltilinguality and SEmantics for the Citizens of the World., , , , , and . IDC, volume 446 of Studies in Computational Intelligence, page 97-102. Springer, (2012)