:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Chu, Simon, Koe, Justin, Garlan, David, Kang, Eunsuk
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Formal Languages and Automata Theory Logic in Computer Science Systems and Control
Accesso online:	https://arxiv.org/abs/2401.09678
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0
di: Hendriks, Dennis, et al.
Pubblicazione: (2025)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
di: Adam, Mustafa, et al.
Pubblicazione: (2025)

Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
di: Adam, Mustafa, 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)

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

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

Recomposition: A New Technique for Efficient Compositional Verification
di: Dardik, Ian, et al.
Pubblicazione: (2024)

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)

Proceedings 16th International Workshop on Graph Computation Models
di: Lambers, Leen, et al.
Pubblicazione: (2026)

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

sweap: Reactive Synthesis for Infinite-State Integer Problems
di: Azzopardi, Shaun, et al.
Pubblicazione: (2026)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
di: Ma, Liqian, et al.
Pubblicazione: (2025)

Algorithmic analysis of systems with affine input and polynomial state
di: Clemente, Lorenzo
Pubblicazione: (2025)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
di: Monir, Negar, et al.
Pubblicazione: (2026)

A Simple Trace Semantics for Asynchronous Sequence Diagrams
di: Faitelson, David, et al.
Pubblicazione: (2025)

Automata Learning -- Expect Delays!
di: Dengler, Gabriel, et al.
Pubblicazione: (2025)

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

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

Configuration Monitor Synthesis
di: Köhl, Maximilian A., et al.
Pubblicazione: (2024)

Complete FSM Testing Using Strong Separability
di: Hierons, Robert M., et al.
Pubblicazione: (2025)

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

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)

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

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

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

Twinning automata and regular expressions for string static analysis
di: Negrini, Luca, et al.
Pubblicazione: (2020)

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

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

Full LTL Synthesis over Infinite-state Arenas
di: Azzopardi, Shaun, et al.
Pubblicazione: (2023)

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

Designing FSMs Specifications from Requirements with GPT 4.0
di: Timo, Omer Nguena, et al.
Pubblicazione: (2026)

ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair
di: Chen, Zhiyong, et al.
Pubblicazione: (2026)

VeruSAGE: A Study of Agent-Based Verification for Rust Systems
di: Yang, Chenyuan, et al.
Pubblicazione: (2025)

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
di: Schön, Oliver, et al.
Pubblicazione: (2024)

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
di: Lin, Yuanfei, et al.
Pubblicazione: (2023)