Články se zplnomocněním k veřejnému přístupu - Adrian FrancalanzaDalší informace
Nedostupné nikde: 1
Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)
A Francalanza, G Tabone, F Pfenning
International Conference on Coordination Models and Languages, 295-313, 2024
Zplnomocnění: European Commission
Dostupné někde: 58
Introduction to runtime verification
E Bartocci, Y Falcone, A Francalanza, G Reger
Lectures on Runtime Verification: Introductory and Advanced Topics, 1-33, 2018
Zplnomocnění: Austrian Science Fund, European Commission
A survey of challenges for runtime verification from advanced application domains (beyond software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
Formal Methods in System Design 54, 279-335, 2019
Zplnomocnění: European Commission
Runtime verification for decentralised and distributed systems
A Francalanza, JA Pérez, C Sánchez
Lectures on Runtime Verification: Introductory and Advanced Topics, 176-210, 2018
Zplnomocnění: European Commission, Government of Spain
Monitorability for the Hennessy–Milner logic with recursion
A Francalanza, L Aceto, A Ingólfsdóttir
Formal Methods in System Design 51 (1), 87-116, 2017
Zplnomocnění: Icelandic Centre for Research
A foundation for runtime monitoring
A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ...
International Conference on Runtime Verification, 8-29, 2017
Zplnomocnění: Icelandic Centre for Research, Government of Italy
Adventures in monitorability: from branching to linear time and back again
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
Zplnomocnění: Icelandic Centre for Research, UK Engineering and Physical Sciences Research …
A monitoring tool for a branching-time logic
DP Attard, A Francalanza
International Conference on Runtime Verification, 473-481, 2016
Zplnomocnění: Icelandic Centre for Research
Heaps don't lie: countering unsoundness with heap snapshots
N Grech, G Fourtounis, A Francalanza, Y Smaragdakis
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017
Zplnomocnění: European Commission
Consistently-detecting monitors
A Francalanza
28th International Conference on Concurrency Theory (CONCUR 2017), 8: 1-8: 19, 2017
Zplnomocnění: Icelandic Centre for Research
On verifying Hennessy-Milner logic with recursion at runtime
A Francalanza, L Aceto, A Ingólfsdóttir
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
Zplnomocnění: Icelandic Centre for Research
A framework for parameterized monitorability
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir
International Conference on Foundations of Software Science and Computation …, 2018
Zplnomocnění: Icelandic Centre for Research
An operational guide to monitorability
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
International Conference on Software Engineering and Formal Methods, 433-453, 2019
Zplnomocnění: Icelandic Centre for Research, UK Engineering and Physical Sciences Research …
Monitoring for silent actions
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir
37th IARCS Annual Conference on Foundations of Software Technology and …, 2018
Zplnomocnění: Icelandic Centre for Research
A theory of monitors
A Francalanza
Information and Computation 281, 104704, 2021
Zplnomocnění: European Commission
Shooting from the heap: Ultra-scalable static analysis with heap snapshots
N Grech, G Fourtounis, A Francalanza, Y Smaragdakis
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
Zplnomocnění: European Commission
Determinizing monitors for HML with recursion
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, SÖ Kjartansson
Journal of Logical and Algebraic Methods in Programming 111, 100515, 2020
Zplnomocnění: Icelandic Centre for Research, Government of Italy
Trace partitioning and local monitoring for asynchronous components
DP Attard, A Francalanza
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
Zplnomocnění: Icelandic Centre for Research
An operational guide to monitorability with applications to regular properties
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
Software and Systems Modeling 20 (2), 335-361, 2021
Zplnomocnění: Icelandic Centre for Research, UK Engineering and Physical Sciences Research …
Reversible choreographies via monitoring in erlang
A Francalanza, CA Mezzina, E Tuosto
Distributed Applications and Interoperable Systems: 18th IFIP WG 6.1 …, 2018
Zplnomocnění: European Commission
Informace o publikování a financování jsou automaticky vybírány počítačovým programem