E-LIB Suche - Ergebnisse für: Bravetti, Mario

1

Integrated Timed Architectural Modeling/Execution Language:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,

Bacchiani, Lorenzo ; Bravetti, Mario ; Giallorenzo, Saverio.. - p. 169-198 , 2024

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

2

A Java typestate checker supporting inheritance:

Bacchiani, Lorenzo ; Bravetti, Mario ; Giunti, Marco..
Science of Computer Programming. 221 (2022) - p. 102844 , 2022

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

3

Low-Latency Anomaly Detection on the Edge-Cloud Continuum f..:

Bacchiani, Lorenzo ; De Palma, Giuseppe ; Sciullo, Luca...
IEEE Internet of Things Magazine. 5 (2022) 3 - p. 32-37 , 2022

Link: https://doi.org/10.1109/..

4

Proactive-Reactive Global Scaling, with Analytics:

, In: Service-Oriented Computing; Lecture Notes in Computer Science,

Bacchiani, Lorenzo ; Bravetti, Mario ; Gabbrielli, Maurizio... - p. 237-254 , 2022

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

5

A Session Subtyping Tool:

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

Bacchiani, Lorenzo ; Bravetti, Mario ; Lange, Julien. - p. 90-105 , 2021

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

6

Fair Refinement for Asynchronous Session Types:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Bravetti, Mario ; Lange, Julien ; Zavattaro, Gianluigi - p. 144-163 , 2021

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

7

Microservice Dynamic Architecture-Level Deployment Orchestr..:

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

Bacchiani, Lorenzo ; Bravetti, Mario ; Giallorenzo, Saverio... - p. 257-275 , 2021

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

8

Asynchronous session subtyping as communicating automata re..:

Bravetti, Mario ; Zavattaro, Gianluigi
Software and Systems Modeling. 20 (2021) 2 - p. 311-333 , 2021

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

9

Process calculi as a tool for studying coordination, contra..:

Bravetti, Mario ; Zavattaro, Gianluigi
Journal of Logical and Algebraic Methods in Programming. 112 (2020) - p. 100527 , 2020

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

10

Behavioural Types for Memory and Method Safety in a Core Ob..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Bravetti, Mario ; Francalanza, Adrian ; Golovanov, Iaroslav... - p. 105-124 , 2020

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

11

A Formal Approach to Microservice Architecture Deployment:

, In: Microservices,

Bravetti, Mario ; Giallorenzo, Saverio ; Mauro, Jacopo.. - p. 183-208 , 2019

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

12

Relating Session Types and Behavioural Contracts: The Async..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Bravetti, Mario ; Zavattaro, Gianluigi - p. 29-47 , 2019

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

13

Probabilistic software product lines:

Camacho, Carlos ; Llana, Luis ; Núñez, Alberto.
Journal of Logical and Algebraic Methods in Programming. 107 (2019) - p. 54-78 , 2019

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

14

Optimal and Automated Deployment for Microservices:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Bravetti, Mario ; Giallorenzo, Saverio ; Mauro, Jacopo.. - p. 351-368 , 2019

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

15

On the boundary between decidability and undecidability of ..:

Bravetti, Mario ; Carbone, Marco ; Zavattaro, Gianluigi
Theoretical Computer Science. 722 (2018) - p. 19-51 , 2018

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