Search Results

Verifiable Security Policies for Distributed Systems

• Authors : Wolf, Felix; id_orcid:0 000-0002-8573-2387; Müller, Peter

Subjects: Security policy; Declassification policy; Secure information flow

• Source: CCS '24: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security

Record details

Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems

• Authors : Liu, Si; Meseguer, José; Csaba Ölveczky, Peter

Subjects: distributed systems; actors; formal model transformation

Record details

Grove: a Separation-Logic Library for Verifying Distributed Systems

• Authors : Sharma, Upamanyu; Jung, Ralf; id_orcid:0 000-0001-7669-6348

• Source: SOSP '23: Proceedings of the 29th Symposium on Operating Systems Principles

Record details

Bridging the semantic gap between qualitative and quantitative models of distributed systems

• Authors : Liu, Si; Meseguer, José; Csaba Ölveczky, Peter ...

• Source: Proceedings of the ACM on Programming Languages, 6 (OOPSLA2)

Record details

Failure-aware Runtime Verification of Distributed Systems

• Authors : Basin, David; id_orcid:0 000-0003-2952-939X; Klaedtke, Felix ...

Subjects: Runtime verification; Monitoring algorithm; Real-time logics

• Source: Leibniz International Proceedings in Informatics (LIPIcs), 45 ; 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)

Record details

Model Checking Distributed Protocols in Must

• Authors : Enea, Constantin; Giannakopoulou, Dimitra; Kokologiannakis, Michalis

Subjects: Distributed Systems; Model Checking

• Source: Proceedings of the ACM on Programming Languages, 8 (OOPSLA2)

Record details

Monitoring usage-control policies in distributed systems

• Authors : Basin, David A.; Harvan, Matúš; Klaedtke, Felix

Subjects: Usage-control policy; Metric first-order temporal logic; Trace interleaving

• Source: 18th International Symposium on Temporal Representation and Reasoning (TIME) 2011 : 12-14 September 2011, Lübeck, Germany

Record details

Strega: An HTTP Server for FPGAs

• Authors : Maschi, Fabio; id_orcid:0 000-0003-1576-417X; Alonso, Gustavo

Subjects: Network on Chip (NoC); FPGA; Distributed systems

• Source: ACM Transactions on Reconfigurable Technology and Systems, 17 (1)

Record details

Centralized versus distributed systems to reschedule trains in two dispatching areas

• Authors : Corman, Francesco; id_orcid:0 000-0002-6036-5832; D'Ariano, Andrea

Subjects: Railway rescheduling; Traffic optimization; Schedule coordination

• Source: Public Transport, 2 (3)

Record details

The Difficult Balance Between Modern Hardware and Conventional CPUs

• Authors : Maschi, Fabio; id_orcid:0 000-0003-1576-417X; Alonso, Gustavo ...

Subjects: FPGA; Distributed systems; Hardware accelerators

• Source: DaMoN '23: Proceedings of the 19th International Workshop on Data Management on New Hardware

Record details