1

CHC Model Validation with Proof Guarantees
Cite DOI URL
Secure Distributed Data and Event Processing at Scale: Where Are We Now?
Cite DOI URL
Symbolic Model Checking for TLA+ Made Faster
Cite DOI URL
Towards an Algebraic Specification of Quantum Networks
Cite DOI URL
Live in the Express Lane
Cite URL
Switches for HIRE: Resource Scheduling for Data Center In-network Computing
Cite DOI URL
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions
Cite DOI URL
Accurate Smart Contract Verification Through Direct Modelling
Cite DOI URL
Consistent and Secure Network Updates Made Practical
Cite DOI URL
Letting off STEAM: Distributed Runtime Traffic Scheduling for Service Function Chaining
Cite DOI URL