:: Library Catalog

Imagem da capa

Na minha lista:

Detalhes bibliográficos
Main Authors:	Howard, Heidi, Kuppe, Markus A., Ashton, Edward, Chamayou, Amaury, Crooks, Natacha
Formato:	Preprint
Publicado em:	2024
Assuntos:	Distributed, Parallel, and Cluster Computing Formal Languages and Automata Theory Software Engineering
Acesso em linha:	https://arxiv.org/abs/2406.17455
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

On defining and modeling context-awareness
Por: Rodis, Panteleimon
Publicado em: (2026)

Mixed Choice in Asynchronous Multiparty Session Types
Por: Bocchi, Laura, et al.
Publicado em: (2026)

Verifying Randomized Consensus Protocols with Common Coins
Por: Gao, Song, et al.
Publicado em: (2024)

State machines for large scale computer software and systems
Por: Yodaiken, Victor
Publicado em: (2016)

Population Protocols over Ordered Agents
Por: Blondin, Michael, et al.
Publicado em: (2026)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
Por: Lossin, Benno, et al.
Publicado em: (2024)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
Por: Wang, Chao, et al.
Publicado em: (2026)

Logical Synchrony Networks: A formal model for deterministic distribution
Por: Kenwright, Logan, et al.
Publicado em: (2024)

2-Coloring Cycles in One Round
Por: Flin, Maxime, et al.
Publicado em: (2026)

Synchronizability of Communicating Finite State Machines is not Decidable
Por: Finkel, Alain, et al.
Publicado em: (2017)

Complete Multiparty Session Type Projection with Automata
Por: Li, Elaine, et al.
Publicado em: (2023)

Implementability of Global Distributed Protocols modulo Network Architectures
Por: Li, Elaine, et al.
Publicado em: (2026)

Classification of Local Optimization Problems in Directed Cycles
Por: Boudier, Thomas, et al.
Publicado em: (2026)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
Por: Coget, Isabelle, et al.
Publicado em: (2026)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
Por: Guillou, Lucie, et al.
Publicado em: (2023)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
Por: Ghasemirad, Shabnam, et al.
Publicado em: (2024)

Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
Por: Bollig, Benedikt, et al.
Publicado em: (2026)

Deciding Serializability in Network Systems
Por: Amir, Guy, et al.
Publicado em: (2026)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
Por: Hong, Chih-Duo, et al.
Publicado em: (2025)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
Por: Basile, Davide
Publicado em: (2025)

Decidability Issues for Petri Nets -- a survey
Por: Esparza, Javier, et al.
Publicado em: (2024)

Types for Grassroots Logic Programs
Por: Shapiro, Ehud
Publicado em: (2026)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
Por: Fang, Yue, et al.
Publicado em: (2026)

LLM-based policy generation for intent-based management of applications
Por: Dzeparoska, Kristina, et al.
Publicado em: (2024)

Computing Inductive Invariants of Regular Abstraction Frameworks
Por: Czerner, Philipp, et al.
Publicado em: (2024)

Automata Learning -- Expect Delays!
Por: Dengler, Gabriel, et al.
Publicado em: (2025)

A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling
Por: Ndadji, Milliam Maxime Zekeng, et al.
Publicado em: (2020)

Once and for all: how to compose modules -- The composition calculus
Por: Fettke, Peter, et al.
Publicado em: (2024)

Configuration Monitor Synthesis
Por: Köhl, Maximilian A., et al.
Publicado em: (2024)

Complete FSM Testing Using Strong Separability
Por: Hierons, Robert M., et al.
Publicado em: (2025)

A Simple Trace Semantics for Asynchronous Sequence Diagrams
Por: Faitelson, David, et al.
Publicado em: (2025)

Semi-Automatic Extraction of Formal Models from Object Oriented Code
Por: van Spaendonck, P. H. M.
Publicado em: (2024)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
Por: Abreu, Francisco, et al.
Publicado em: (2025)

Contract Based Program Models for Software Model Checking
Por: Amilon, Jesper, et al.
Publicado em: (2025)

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
Por: Zheng, Xinyi, et al.
Publicado em: (2025)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
Por: Zameni, Tannaz, et al.
Publicado em: (2026)

Twinning automata and regular expressions for string static analysis
Por: Negrini, Luca, et al.
Publicado em: (2020)

On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
Por: Eldin, Ali Nour, et al.
Publicado em: (2025)

A Note on Runtime Verification of Concurrent Systems
Por: Leucker, Martin
Publicado em: (2025)

Runtime Verification via Rational Monitor with Imperfect Information
Por: Ferrando, Angelo, et al.
Publicado em: (2024)