Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "VORTEX@ISSTA"( http://dblp.L3S.de/Venues/VORTEX@ISSTA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/issta

Publication years (Num. hits)
2021 (10) 2023 (5)
Publication types (Num. hits)
inproceedings(13) proceedings(2)
Venues (Conferences, Journals, ...)
VORTEX@ISSTA(15)
Authors
Giorgio Audrito(4) Angelo Ferrando 0001(3) Gianluca Torta(3) Davide Ancona(2) Ferruccio Damiani(2) Rafael C. Cardoso 0001(2) Viviana Mascardi(2) Adrian Francalanza(1) Alessandro Verri(1) Andrea Gatti 0002(1) Axel Curmi(1) César Sánchez 0001(1) Christian Colombo 0001(1) Daniel Haures(1) Elena Seghezzi(1) Filippo Ricca(1) More (+10 of total 28)
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
1Ferruccio Damiani, Gianluca Torta On Stream Runtime Verification and Aggregate Programming. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Giorgio Audrito, Daniel Haures Combining Static and Runtime Verification with AC and Coq. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Davide 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 VORTEX@ISSTA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Riccardo Bianchini Monitoring for Resource-Awareness. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Angelo Ferrando 0001, Andrea Gatti 0002, Viviana Mascardi RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Filippo Ricca, Viviana Mascardi, Alessandro Verri Test'n'Mo: a collaborative platform for human testers and intelligent monitoring agents. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Axel Curmi, Christian Colombo 0001, Mark Vella Runtime verification for trustworthy secure shell deployment. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Joshua Ellul, Gordon J. Pace Optional monitoring for long-lived transactions. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Giorgio Audrito, Gianluca Torta Towards aggregate monitoring of spatio-temporal properties. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Michael Fisher 0001, Angelo Ferrando 0001, Rafael C. Cardoso 0001 Increasing confidence in autonomous systems. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Julien Signoles The e-ACSL perspective on runtime assertion checking. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Giorgio 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 VORTEX@ISSTA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Angelo Ferrando 0001, Rafael C. Cardoso 0001 RVPLAN: a general purpose framework for replanning using runtime verification. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Wolfgang 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 VORTEX@ISSTA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1César Sánchez 0001 Synchronous and asynchronous stream runtime verification. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license