Timed Runtime Monitoring for Multiparty Conversations

We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial partners. Drawing from recent work on multipa...

書誌詳細
出版年:	Electronic Proceedings in Theoretical Computer Science
主要な著者:	Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
フォーマット:	論文
言語:	英語
出版事項:	Open Publishing Association 2014-08-01
オンライン･アクセス:	http://arxiv.org/pdf/1408.5979v1

類似資料

Multiparty Session Actors
著者:: Rumyana Neykova, 等
出版事項: (2017-03-01)

Parameterised Multiparty Session Types
著者:: Pierre-Malo Denielou, 等
出版事項: (2012-10-01)

Service Equivalence via Multiparty Session Type Isomorphisms
著者:: Assel Altayeva, 等
出版事項: (2019-04-01)

Precise subtyping for synchronous multiparty sessions
著者:: Mariangiola Dezani-Ciancaglini, 等
出版事項: (2016-02-01)

Crash-Stop Failures in Asynchronous Multiparty Session Types
著者:: Adam D. Barwell, 等
出版事項: (2025-04-01)

Dynamic Role Authorization in Multiparty Conversations
著者:: Silvia Ghilezan, 等
出版事項: (2014-08-01)

Software engineering education in the era of conversational AI: current trends and future directions
著者:: Cigdem Sengul, 等
出版事項: (2024-08-01)

Are there just two people in a dyad? Dyadic configurations in multiparty family conversations
著者:: Sabine Pirchio, 等
出版事項: (2000-10-01)

Understanding perspective-taking in multiparty conversations: insights from Mandarin nouns
著者:: Xiaobei Zheng, 等
出版事項: (2025-01-01)

Approach on runtime monitoring based on the embedded trusted platforms
著者:: Zhao-chang SUN, 等
出版事項: (2017-10-01)

Monitoring Keamanan Runtime pada Kubernetes Menggunakan Falco
著者:: Ryan Fadhillah, 等
出版事項: (2025-05-01)

MOTEF: A Testing Framework for Runtime Monitoring Infrastructures
著者:: Antonello Calabro, 等
出版事項: (2024-01-01)

Runtime Monitoring of Software Execution Trace: Method and Tools
著者:: Shiyi Kong, 等
出版事項: (2020-01-01)

Approach on runtime monitoring based on the embedded trusted platforms
著者:: Zhao-chang SUN,Jian-feng MA,Cong SUN,Di LU
出版事項: (2017-10-01)

POLITICAL PLURALISM AND MULTIPARTY
著者:: Erhard NICULESCU
出版事項: (2014-05-01)

Multiparty testing preorders
著者:: Rocco de Nicola, 等
出版事項: (2023-01-01)

Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
著者:: Wolfgang Ahrendt, 等
出版事項: (2019-08-01)

Unified Compile-Time and Runtime Java Annotation Processing
著者:: Peter Pigula, 等
出版事項: (2015-10-01)

Decentralized Stream Runtime Verification for Timed Asynchronous Networks
著者:: Luis Miguel Danielsson, 等
出版事項: (2023-01-01)

Signals of multiparty entanglement and holography
著者:: Vijay Balasubramanian, 等
出版事項: (2025-06-01)

Multiparty quantum contract signing
著者:: Zi-Fan Liu, 等
出版事項: (2023-05-01)

Reversible Multiparty Sessions with Checkpoints
著者:: Mariangiola Dezani-Ciancaglini, 等
出版事項: (2016-08-01)

Binding complexity and multiparty entanglement
著者:: Vijay Balasubramanian, 等
出版事項: (2019-02-01)

Multiparty Delegated Quantum Computing
著者:: Elham Kashefi, 等
出版事項: (2017-07-01)

Question of Timing: Pre-Electoral Coalitions in Multiparty Presidential Regimes
著者:: Lucas Couto, 等
出版事項: (2023-02-01)

Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
著者:: Davide Ancona, 等
出版事項: (2018-02-01)

From Timed Automata to Go: Formally Verified Code Generation and Runtime Monitoring for Cyber-Physical Systems
著者:: Soomin Cho, 等
出版事項: (2025-01-01)

Analysis of the development Android’s runtime
著者:: Kostiantyn Honcharenko, 等
出版事項: (2019-09-01)

Analysis of smart imaging runtime
著者:: Thomas Athey, 等
出版事項: (2025-08-01)

An Efficient Runtime Verification Toolkit for Self-Adaptive Systems Addressing Runtime System Model Changes
著者:: Ryuichi Iida, 等
出版事項: (2026-01-01)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
著者:: Luca Aceto, 等
出版事項: (2023-02-01)

Unified Functional Spectrum Analysis: A Framework for Understanding Nonverbal Multimodal Multifunctional Interactions in Multiparty Conversations
著者:: Momoka Tajima, 等
出版事項: (2026-01-01)

Formation of Multiparty System in Modern Mongolia
著者:: Mandach Sambuudavaa
出版事項: (2018-06-01)

Multiparty, relation with patology of pregnancy and delivery
著者:: L. Andrejevic, 等
出版事項: (2020-02-01)

Multilingual Coreference Resolution in Multiparty Dialogue
著者:: Boyuan Zheng, 等
出版事項: (2023-12-01)

Efficient TFHE Bootstrapping in the Multiparty Setting
著者:: Jeongeun Park, 等
出版事項: (2023-01-01)

Causal Consistency for Reversible Multiparty Protocols
著者:: Claudio Antares Mezzina, 等
出版事項: (2021-10-01)

Multiparty Call Control at the Network Edge
著者:: Ivaylo I. Atanasov, 等
出版事項: (2020-10-01)

An Erlang Implementation of Multiparty Session Actors
著者:: Simon Fowler
出版事項: (2016-08-01)

Multiparty Sessions based on Proof Nets
著者:: Dimitris Mostrous
出版事項: (2014-06-01)