E-LIB Suche - Ergebnisse für: Davide Ancona - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

Checking equivalence of corecursive streams: An inductive p..:

Ancona, Davide ; Barbieri, Pietro ; Zucca, Elena
Theoretical Computer Science. 1009 (2024) - p. 114680 , 2024

Link: https://doi.org/10.1016/..

2

Runtime Verification of Hash Code in Mutable Classes:

, In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs,

Ancona, Davide ; Ferrando, Angelo ; Mascardi, Viviana - p. 25-31 , 2023

Link: https://dl.acm.org/doi/1..

3

RV4JaCa—Towards Runtime Verification of Multi-Agent Systems..:

Engelmann, Debora C. ; Ferrando, Angelo ; Panisson, Alison R....
Robotics. 12 (2023) 2 - p. 49 , 2023

Link: https://doi.org/10.3390/..

4

Exploiting Logic Programming for Runtime Verification: Curr..:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Ancona, Davide ; Ferrando, Angelo ; Mascardi, Viviana - p. 300-317 , 2023

Link: https://doi.org/10.1007/..

5

Proceedings of the 6th International Workshop on Verificati..:

Ancona, Davide ; Audrito, Giorgio , 2023

Link: https://dl.acm.org/doi/1..

6

Checked corecursive streams: Expressivity and completeness:

Ancona, Davide ; Barbieri, Pietro ; Zucca, Elena
Theoretical Computer Science. 974 (2023) - p. 114081 , 2023

Link: https://doi.org/10.1016/..

7

Enhancing Expressivity of Checked Corecursive Streams:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Ancona, Davide ; Barbieri, Pietro ; Zucca, Elena - p. 1-18 , 2022

Link: https://doi.org/10.1007/..

8

Mind the Gap! Runtime Verification of Partially Observable ..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

Ancona, Davide ; Ferrando, Angelo ; Mascardi, Viviana - p. 22-40 , 2022

Link: https://doi.org/10.1007/..

9

RML: Theory and practice of a domain specific language for ..:

Ancona, Davide ; Franceschini, Luca ; Ferrando, Angelo.
Science of Computer Programming. 205 (2021) - p. 102610 , 2021

Link: https://doi.org/10.1016/..

10

Toward a Holistic Approach to Verification and Validation o..:

Ferrando, Angelo ; Dennis, Louise A. ; Cardoso, Rafael C....
ACM Transactions on Software Engineering and Methodology. 30 (2021) 4 - p. 1-43 , 2021

Link: https://doi.org/10.1145/..

11

Proceedings of the 5th ACM International Workshop on Verifi..:

Ahrendt, Wolfgang ; Ancona, Davide ; Francalanza, Adrian , 2021

Link: https://dl.acm.org/doi/1..

12

Toward a Holistic Approach to Verification and Validation o..:

Ferrando, Angelo ; Dennis, Louise A. ; Cardoso, Rafael C....
ACM Transactions on Software Engineering and Methodology (TOSEM). 30 (2021) 4 - p. 1-43 , 2021

Link: https://dl.acm.org/doi/1..

13

ROSMonitoring: A Runtime Verification Framework for ROS:

, In: Towards Autonomous Robotic Systems; Lecture Notes in Computer Science,

Ferrando, Angelo ; Cardoso, Rafael C. ; Fisher, Michael... - p. 387-399 , 2020

Link: https://doi.org/10.1007/..

14

Flow Programming: A Flexible way to bring the Internet of T..:

, In: Adjunct Publication of the 28th ACM Conference on User Modeling, Adaptation and Personalization,

Ancona, Davide ; Benvenuto, Lorenzo ; Delzanno, Giorgio. - p. 155-158 , 2020

Link: https://dl.acm.org/doi/1..

15

A big step from finite to infinite computations:

Ancona, Davide ; Dagnino, Francesco ; Rot, Jurriaan.
Science of Computer Programming. 197 (2020) - p. 102492 , 2020

Link: https://doi.org/10.1016/..

1-15