Copertina

Proceedings 16th International Workshop on Graph Computation Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lambers, Leen, Semeráth, Oszkár
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Formal Languages and Automata Theory Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
di: Endrullis, Jörg, et al.
Pubblicazione: (2025)

Enhanced Data Race Prediction Through Modular Reasoning
di: Ang, Zhendong, et al.
Pubblicazione: (2025)

A SCADE Model Verification Method Based on B-Model Transformation
di: Hou, Xili, et al.
Pubblicazione: (2025)

A Note on Runtime Verification of Concurrent Systems
di: Leucker, Martin
Pubblicazione: (2025)

Runtime Verification via Rational Monitor with Imperfect Information
di: Ferrando, Angelo, et al.
Pubblicazione: (2024)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2025)

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
di: Caltais, Georgiana, et al.
Pubblicazione: (2024)

Formal Evidence Generation for Assurance Cases for Robotic Software Models
di: Yan, Fang, et al.
Pubblicazione: (2026)

Towards A Catalogue of Requirement Patterns for Space Robotic Missions
di: Etumi, Mahdi, et al.
Pubblicazione: (2025)

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
di: Chu, Simon, et al.
Pubblicazione: (2024)

Finding Regular Herbrand Models for CHCs using Answer Set Programming
di: Maire, Gregoire, et al.
Pubblicazione: (2025)

Type-safe Monitoring of Parameterized Streams
di: Baumeister, Jan, et al.
Pubblicazione: (2026)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
di: Mavridou, Anastasia, et al.
Pubblicazione: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2022)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
di: Różowski, Wojciech, et al.
Pubblicazione: (2026)

Parametrizing Reads-From Equivalence for Predictive Monitoring
di: Farzan, Azadeh, et al.
Pubblicazione: (2026)

SuperDP: Differential Privacy Refutation via Supermartingales
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2026)

Weighted GKAT: Completeness and Complexity
di: Van Koevering, Spencer, et al.
Pubblicazione: (2025)

Verifying Asynchronous Hyperproperties in Reactive Systems
di: Beutner, Raven, et al.
Pubblicazione: (2025)

The Decision Problem for Regular First-Order Theories
di: Mathur, Umang, et al.
Pubblicazione: (2024)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
di: Moreau, Vincent, et al.
Pubblicazione: (2023)

Towards a Coq-verified Chain of Esterel Semantics
di: Berry, Gérard, et al.
Pubblicazione: (2019)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
di: Achilleos, Antonis, et al.
Pubblicazione: (2024)

Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation
di: Chen, Boqi, et al.
Pubblicazione: (2024)

Positive First-order Logic on Words and Graphs
di: Kuperberg, Denis
Pubblicazione: (2022)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
di: Winter, Sarah, et al.
Pubblicazione: (2024)

Random Graph Generation in Context-Free Graph Languages
di: Vastarini, Federico, et al.
Pubblicazione: (2024)

Parity Games on Temporal Graphs
di: Austin, Pete, et al.
Pubblicazione: (2023)

Tree-Verifiable Graph Grammars
di: Chimes, Mark, et al.
Pubblicazione: (2024)

Synthesis of Computable Regular Functions of Infinite Words
di: Dave, V., et al.
Pubblicazione: (2019)

Can ChatGPT support software verification?
di: Janßen, Christian, et al.
Pubblicazione: (2023)

Synthesizing Computable Functions from Rational Specifications over Infinite Words
di: Filiot, Emmanuel, et al.
Pubblicazione: (2021)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
di: Iosif, Radu, et al.
Pubblicazione: (2023)

Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity
di: Zhang, Yuanrui, et al.
Pubblicazione: (2023)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
di: Abreu, Francisco, et al.
Pubblicazione: (2025)

Contract Based Program Models for Software Model Checking
di: Amilon, Jesper, et al.
Pubblicazione: (2025)

Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications
di: Moreira, Nelma, et al.
Pubblicazione: (2025)

TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints
di: Kato, Yoshio, et al.
Pubblicazione: (2026)

On the Impact of the Communication Model on Realisability
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2025)

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