E-LIB Suche - Ergebnisse für: Bartolo Burlò, Christian

1

PSTMonitor: Monitor synthesis from probabilistic session ty..:

Bartolo Burlò, Christian ; Francalanza, Adrian ; Scalas, Alceste..
Science of Computer Programming. 222 (2022) - p. 102847 , 2022

Link: https://doi.org/10.1016/..

2

Towards Probabilistic Session-Type Monitoring:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Bartolo Burlò, Christian ; Francalanza, Adrian ; Scalas, Alceste.. - p. 106-120 , 2021

Link: https://doi.org/10.1007/..

3

Towards a Hybrid Verification Methodology for Communication..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Bartolo Burlò, Christian ; Francalanza, Adrian ; Scalas, Alceste - p. 227-235 , 2020

Link: https://doi.org/10.1007/..

4

COTS: Connected OpenAPI Test Synthesis for RESTful Applicat..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Burlò, Christian Bartolo ; Francalanza, Adrian ; Scalas, Alceste. - p. 75-92 , 2024

Link: https://doi.org/10.1007/..

5

On the monitorability of session types, in theory and pract..:

Bartolo Burlò, Christian ; Francalanza, Adrian ; Scalas, Alceste.
Bartolo Burlò, C., Francalanza, A., & Scalas, A. (2021). On the monitorability of session types, in theory and practice (Artifact). Dagstuhl Artifacts Series, 7(2), 20:2-20:30.. , 2021

Link: https://www.um.edu.mt/li..

6

Towards Probabilistic Session-Type Monitoring:

Bartolo Burlò, Christian ; Francalanza, Adrian ; Scalas, Alceste..
https://orbit.dtu.dk/en/publications/aca39b69-a5d8-4027-96de-3e5a929d6eb4. , 2021

Link: https://orbit.dtu.dk/en/..

7

On the Monitorability of Session Types, in Theory and Pract..:

Bartolo Burlò, Christian ; Francalanza, Adrian ; Scalas, Alceste
Bartolo Burlò , C , Francalanza , A & Scalas , A 2021 , ' On the Monitorability of Session Types, in Theory and Practice (Artifact) ' , Dagstuhl Artifacts Series , vol. 7 , no. 2 , pp. 2:1--2:3 . https://doi.org/10.4230/DARTS.7.2.2. , 2021

Link: https://orbit.dtu.dk/en/..

8

Towards a Hybrid Verification Methodology for Communication..:

Bartolo Burlò, Christian ; Francalanza, Adrian ; Scalas, Alceste
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-50086-3_13. , 2020

Link: https://hal.inria.fr/hal..

9

PSTMonitor: Monitor Synthesis from Probabilistic Session Ty..:

Burlò, Christian Bartolo ; Francalanza, Adrian ; Scalas, Alceste..
http://arxiv.org/abs/2212.07329. , 2022

Link: http://arxiv.org/abs/221..

10

On the monitorability of session types, in theory and pract..:

Burlò, Christian Bartolo ; Francalanza, Adrian ; Scalas, Alceste
https://orbit.dtu.dk/en/publications/4eb964c2-f3ad-45a3-b13f-fb8a624d4cc7. , 2021

Link: https://orbit.dtu.dk/en/..

11

Towards Probabilistic Session-Type Monitoring:

Burlò, Christian Bartolo ; Francalanza, Adrian ; Scalas, Alceste..
http://arxiv.org/abs/2107.08729. , 2021

Link: http://arxiv.org/abs/210..

12

Towards a Hybrid Verification Methodology for Communication..:

Christian Bartolo Burlò ; Adrian Francalanza ; Alceste Scalas
https://zenodo.org/record/3964222. , 2020

Link: https://zenodo.org/recor..

13

Contributors:

, In: Wheat and Rice in Disease Prevention and Health,

Ahmed, Anwaar ; Amerah, Ahmed M. ; Andoh, Akira... - p. xv-xviii , 2014

Link: https://doi.org/10.1016/..

14

Prevalence of ADHD in a sample of Italian students: A popul..:

Bianchini, Rio ; Postorino, Valentina ; Grasso, Rita...
Research in Developmental Disabilities. 34 (2013) 9 - p. 2543-2550 , 2013

Link: https://doi.org/10.1016/..