| |
Audrito, Giorgio
|
VORTEX '23: "Combining Static and Runtime ..."
Combining Static and Runtime Verification with AC and Coq
Giorgio Audrito and Daniel Haures
(University of Turin, Italy)
@InProceedings{VORTEX23p25,
author = {Giorgio Audrito and Daniel Haures},
title = {Combining Static and Runtime Verification with AC and Coq},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3605159.3605857},
year = {2023},
}
 Publisher's Version
Article: isstaws23vortexmain-id4-p (type: Extended Abstract (4 pages)) doi:10.1145/3605159.3605857
|
| |
Bianchini, Riccardo
|
VORTEX '23: "Monitoring for Resource-Awareness ..."
Monitoring for Resource-Awareness
Riccardo Bianchini
(University of Genoa, Italy)
@InProceedings{VORTEX23p17,
author = {Riccardo Bianchini},
title = {Monitoring for Resource-Awareness},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3605159.3605856},
year = {2023},
}
Publisher's Version
Article: isstaws23vortexmain-id2-p (type: Extended Abstract (4 pages)) doi:10.1145/3605159.3605856
|
| |
Damiani, Ferruccio
|
VORTEX '23: "On Stream Runtime Verification ..."
On Stream Runtime Verification and Aggregate Programming
Ferruccio Damiani and Gianluca Torta
(University of Turin, Italy)
@InProceedings{VORTEX23p9,
author = {Ferruccio Damiani and Gianluca Torta},
title = {On Stream Runtime Verification and Aggregate Programming},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {9-8},
doi = {10.1145/3605159.3605854},
year = {2023},
}
Publisher's Version
Article: isstaws23vortexmain-id3-p (type: Extended Abstract (4 pages)) doi:10.1145/3605159.3605854
|
| |
Ferrando, Angelo
|
VORTEX '23: "RV4Rasa: A Formalism-Agnostic ..."
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa
Angelo Ferrando, Andrea Gatti, and Viviana Mascardi
(University of Genoa, Italy)
@InProceedings{VORTEX23p1,
author = {Angelo Ferrando and Andrea Gatti and Viviana Mascardi},
title = {RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3605159.3605855},
year = {2023},
}
Publisher's Version
Article: isstaws23vortexmain-id1-p (type: Full Paper (8 pages)) doi:10.1145/3605159.3605855
|
| |
Gatti, Andrea
|
VORTEX '23: "RV4Rasa: A Formalism-Agnostic ..."
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa
Angelo Ferrando, Andrea Gatti, and Viviana Mascardi
(University of Genoa, Italy)
@InProceedings{VORTEX23p1,
author = {Angelo Ferrando and Andrea Gatti and Viviana Mascardi},
title = {RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3605159.3605855},
year = {2023},
}
Publisher's Version
Article: isstaws23vortexmain-id1-p (type: Full Paper (8 pages)) doi:10.1145/3605159.3605855
|
| |
Haures, Daniel
|
VORTEX '23: "Combining Static and Runtime ..."
Combining Static and Runtime Verification with AC and Coq
Giorgio Audrito and Daniel Haures
(University of Turin, Italy)
@InProceedings{VORTEX23p25,
author = {Giorgio Audrito and Daniel Haures},
title = {Combining Static and Runtime Verification with AC and Coq},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3605159.3605857},
year = {2023},
}
Publisher's Version
Article: isstaws23vortexmain-id4-p (type: Extended Abstract (4 pages)) doi:10.1145/3605159.3605857
|
| |
Mascardi, Viviana
|
VORTEX '23: "RV4Rasa: A Formalism-Agnostic ..."
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa
Angelo Ferrando, Andrea Gatti, and Viviana Mascardi
(University of Genoa, Italy)
@InProceedings{VORTEX23p1,
author = {Angelo Ferrando and Andrea Gatti and Viviana Mascardi},
title = {RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3605159.3605855},
year = {2023},
}
Publisher's Version
Article: isstaws23vortexmain-id1-p (type: Full Paper (8 pages)) doi:10.1145/3605159.3605855
|
| |
Torta, Gianluca
|
VORTEX '23: "On Stream Runtime Verification ..."
On Stream Runtime Verification and Aggregate Programming
Ferruccio Damiani and Gianluca Torta
(University of Turin, Italy)
@InProceedings{VORTEX23p9,
author = {Ferruccio Damiani and Gianluca Torta},
title = {On Stream Runtime Verification and Aggregate Programming},
booktitle = {Proc.\ VORTEX},
publisher = {ACM},
pages = {9-8},
doi = {10.1145/3605159.3605854},
year = {2023},
}
Publisher's Version
Article: isstaws23vortexmain-id3-p (type: Extended Abstract (4 pages)) doi:10.1145/3605159.3605854
|