Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Peron, Adriano
145  Ergebnisse:
Personensuche X
?
1

Regression test prioritization leveraging source code simil..:

Altiero, Francesco ; Corazza, Anna ; Di Martino, Sergio..
Journal of Software: Evolution and Process.  , 2024
Link: https://doi.org/10.1002/..
 
?
2

Validation, measurement uncertainty estimation and evaluati..:

Vilela de Oliveira, Claudia ; Peron, Adriano ; Rashid, Anas...
Journal of Taibah University for Science.  18 (2024)  1 - p. , 2024
Link: https://doi.org/10.1080/..
 
?
3

Interval Temporal Logic for Visibly Pushdown Systems:

Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano
ACM Transactions on Computational Logic.  24 (2023)  3 - p. 1-32 , 2023
Link: https://doi.org/10.1145/..
 
?
4

Quantifying Over Trees in Monadic Second-Order Logic:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Benerecetti, Massimo ; Bozzelli, Laura ; Mogavero, Fabio. - p. 1-13 , 2023
Link: https://doi.org/10.1109/..
 
?
5

How to manage massive spatiotemporal dataset from stationar..:

Vitale, Vincenzo Norman ; Martino, Sergio Di ; Peron, Adriano..
Knowledge and Information Systems.  66 (2023)  3 - p. 2063-2088 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Pspace-completeness of the temporal logic of sub-intervals ..:

Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano.
Information and Computation.  294 (2023)  - p. 105083 , 2023
Link: https://doi.org/10.1016/..
 
?
7

Taming Strategy Logic: Non-Recurrent Fragments:

Benerecetti, Massimo ; Mogavero, Fabio ; Peron, Adriano
Information and Computation.  294 (2023)  - p. 105081 , 2023
Link: https://doi.org/10.1016/..
 
?
8

Context-free timed formalisms: Robust automata and linear t..:

Bozzelli, Laura ; Murano, Aniello ; Peron, Adriano
Information and Computation.  283 (2022)  - p. 104673 , 2022
Link: https://doi.org/10.1016/..
 
?
9

Change-Aware Regression Test Prioritization using Genetic A..:

, In: 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA),
Altiero, Francesco ; Colella, Giovanni ; Corazza, Anna... - p. 125-132 , 2022
Link: https://doi.org/10.1109/..
 
?
10

Satisfiability and Model Checking for the Logic of Sub-Inte..:

Bozzelli, Laura ; Molinari, Alberto ; Montanari, Angelo..
Logical Methods in Computer Science.  18, Issue 1 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
11

Complexity issues for timeline-based planning over dense ti..:

Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano
Theoretical Computer Science.  901 (2022)  - p. 87-113 , 2022
Link: https://doi.org/10.1016/..
 
?
12

ReCover: a Curated Dataset for Regression Testing Research:

, In: 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR),
Altiero, Francesco ; Corazza, Anna ; Di Martino, Sergio.. - p. 196-200 , 2022
Link: https://doi.org/10.1145/..
 
?
13

ReCover : a curated dataset for regression testing resea..:

, In: Proceedings of the 19th International Conference on Mining Software Repositories,
Altiero, Francesco ; Corazza, Anna ; Di Martino, Sergio.. - p. 196-200 , 2022
Link: https://dl.acm.org/doi/1..
 
?
14

Asynchronous extensions of HyperLTL:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Bozzelli, Laura ; Peron, Adriano ; Sánchez, César - p. 1-13 , 2021
Link: https://dl.acm.org/doi/1..
 
?
15

Complexity analysis of a unifying algorithm for model check..:

Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano
Information and Computation.  280 (2021)  - p. 104640 , 2021
Link: https://doi.org/10.1016/..
 
1-15