|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ferruccio Damiani, Gianluca Torta |
On Stream Runtime Verification and Aggregate Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023, pp. 9-12, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Audrito, Daniel Haures |
Combining Static and Runtime Verification with AC and Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023, pp. 17-20, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Giorgio Audrito (eds.) |
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Bianchini |
Monitoring for Resource-Awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023, pp. 13-16, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Ferrando 0001, Andrea Gatti 0002, Viviana Mascardi |
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023, pp. 1-8, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Ricca, Viviana Mascardi, Alessandro Verri |
Test'n'Mo: a collaborative platform for human testers and intelligent monitoring agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021., pp. 17-21, 2021, ACM, 978-1-4503-8546-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Axel Curmi, Christian Colombo 0001, Mark Vella |
Runtime verification for trustworthy secure shell deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021., pp. 30-34, 2021, ACM, 978-1-4503-8546-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Ellul, Gordon J. Pace |
Optional monitoring for long-lived transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021., pp. 35-39, 2021, ACM, 978-1-4503-8546-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Audrito, Gianluca Torta |
Towards aggregate monitoring of spatio-temporal properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021., pp. 26-29, 2021, ACM, 978-1-4503-8546-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Fisher 0001, Angelo Ferrando 0001, Rafael C. Cardoso 0001 |
Increasing confidence in autonomous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021., pp. 1-4, 2021, ACM, 978-1-4503-8546-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Julien Signoles |
The e-ACSL perspective on runtime assertion checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021., pp. 8-12, 2021, ACM, 978-1-4503-8546-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta |
RM for users' safety and security in the built environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021., pp. 13-16, 2021, ACM, 978-1-4503-8546-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Ferrando 0001, Rafael C. Cardoso 0001 |
RVPLAN: a general purpose framework for replanning using runtime verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021., pp. 22-25, 2021, ACM, 978-1-4503-8546-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Ahrendt, Davide Ancona, Adrian Francalanza (eds.) |
VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![ACM, 978-1-4503-8546-6 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | César Sánchez 0001 |
Synchronous and asynchronous stream runtime verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021., pp. 5-7, 2021, ACM, 978-1-4503-8546-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|