| ARx: Reactive Programming for Synchronous Connectors
|
2020 |
Proenca, José |
| SFJ: An Implementation of Semantic Featherweight Java
|
2020 |
Usov, Artem |
| Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited
|
2020 |
Gast, Nicolas |
| Weighted PCL over Product Valuation Monoids
|
2020 |
Karyoti, Vagia |
| A Choreography-Driven Approach to APIs: The OpenDXL Case Study
|
2020 |
Frittelli, Leonardo |
| GoPi: Compiling Linear and Static Channels in Go
|
2020 |
Giunti, Marco |
| Event-Based Customization of Multi-tenant SaaS Using Microservices
|
2020 |
Nordli, Espen Tennessen |
| Quality of Service Ranking by Quantifying Partial Compliance of Requirements
|
2020 |
Suñé, Agustín Eloy Martinez |
| Resilient Distributed Collection Through Information Speed Thresholds
|
2020 |
Audrito, Giorgio |
| Renegotiation and Recursion in Bitcoin Contracts
|
2020 |
Bartoletti, Massimo |
| Formal Modeling and Analysis of Medical Systems
|
2020 |
Zarneshan, Mahsa |
| Operational Representation of Dependencies in Context-Dependent Event Structures
|
2020 |
Pinna, G. Michele |
| Combining SLIVER with CADP to Analyze Multi-agent Systems
|
2020 |
Stefano, Luca Di |
| CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems
|
2020 |
Autili, Marco |
| Choreographic Development of Message-Passing Applications: A Tutorial
|
2020 |
Coto, Alex |
| Towards Energy-, Time- and Security-Aware Multi-core Coordination
|
2020 |
Roeder, Julius |
| Team Automata Work: On Safe Communication
|
2020 |
Beek, Maurice H. ter |
| Choreography Automata
|
2020 |
Barbanera, Franco |
| Architecture Modelling of Parametric Component-Based Systems
|
2020 |
Pittou, Maria |
| Verification and Analysis Towards a Formally Verified EVM in Production Environment
|
2020 |
Zhang, Xivue |
Tag hinzufügen