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

Extracting goal models from natural language requirement sp..:

Das, Souvick ; Deb, Novarun ; Cortesi, Agostino.
Journal of Systems and Software.  211 (2024)  - p. 111981 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Detection of Phantom Reads in Hyperledger Fabric:

Olivieri, Luca ; Negrini, Luca ; Arceri, Vincenzo...
IEEE Access.  12 (2024)  - p. 80687-80697 , 2024
Link: https://doi.org/10.1109/..
 
?
3

A Fragile Watermarking Approach for Earth Observation Data ..:

, In: Studies in Big Data; Space Data Management,
Pérez Gort, Maikel Lázaro ; Cortesi, Agostino - p. 47-67 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Space Data Management 

Studies in Big Data, 141
Cortesi, Agostino - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
5

Efficient OLAP query processing across cuboids in distribut..:

Roy, Santanu ; Raj, Saikat ; Chakraborty, Tamal...
Expert Systems with Applications.  239 (2024)  - p. 122481 , 2024
Link: https://doi.org/10.1016/..
 
?
6

Study of the Watermark Source's Topology Role on Relational..:

Gort, Maikel Lázaro Pérez ; Olliaro, Martina ; Cortesi, Agostino
IEEE Access.  12 (2024)  - p. 25857-25875 , 2024
Link: https://doi.org/10.1109/..
 
?
7

Driving the Technology Value Stream by Analyzing App Review:

Das, Souvick ; Deb, Novarun ; Chaki, Nabendu.
IEEE Transactions on Software Engineering.  49 (2023)  7 - p. 3753-3770 , 2023
Link: https://doi.org/10.1109/..
 
?
8

Zero-shot Learning for Named Entity Recognition in Software..:

, In: 2023 IEEE 31st International Requirements Engineering Conference (RE),
Das, Souvick ; Deb, Novarun ; Cortesi, Agostino. - p. 100-110 , 2023
Link: https://doi.org/10.1109/..
 
?
9

Challenges of Software Verification 

Intelligent Systems Reference Library, 238
Arceri, Vincenzo ; Cortesi, Agostino ; Ferrara, Pietro. - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
10

Lifting String Analysis Domains:

, In: Intelligent Systems Reference Library; Challenges of Software Verification,
Olliaro, Martina ; Arceri, Vincenzo ; Cortesi, Agostino. - p. 109-143 , 2023
Link: https://doi.org/10.1007/..
 
?
11

Analyzing information flow in solidity smart contracts:

, In: Distributed Computing to Blockchain,
Halder, Raju ; Alam, Md. Imran ; Fajge, Akshay M... - p. 105-123 , 2023
Link: https://doi.org/10.1016/..
 
?
12

A lightweight mutual and transitive authentication mechanis..:

Krishnasrija, Rudra ; Mandal, Amit Kr. ; Cortesi, Agostino
Ad Hoc Networks.  138 (2023)  - p. 103003 , 2023
Link: https://doi.org/10.1016/..
 
?
13

Correlating contexts and NFR conflicts from event logs:

Roy, Mandira ; Das, Souvick ; Deb, Novarun...
Software and Systems Modeling.  22 (2023)  6 - p. 1987-2010 , 2023
Link: https://doi.org/10.1007/..
 
?
14

A Two-Hop Neighborhood Based Berserk Detection Algorithm fo..:

, In: Computational Collective Intelligence; Lecture Notes in Computer Science,
Mitra, Deepanjan ; Cortesi, Agostino ; Chaki, Nabendu - p. 379-391 , 2023
Link: https://doi.org/10.1007/..
 
?
15

Contributors:

, In: Distributed Computing to Blockchain,
Alam, Md. Imran ; Angeles, Enrico ; Balakrishnan, Arpita... - p. xiii-xiv , 2023
Link: https://doi.org/10.1016/..
 
1-15