Specification and verification of a linear-time temporal logic for graph transformation
We present a first-order linear-time temporal logic for reasoning about the evolution of
directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logic …
directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logic …
Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface Vehicles
International maritime traffic is controlled by collision-avoidance regulations (COLREGs)
with 41 standardized rules describing how a vessel should navigate in the proximity of other …
with 41 standardized rules describing how a vessel should navigate in the proximity of other …
Requirement-Driven Generation of Distributed Ledger Architectures
Cross-organizational, blockchain-based distributed ledger networks in general, and those
based on Hyperledger Fabric in particular, have an architecture which can be adapted to …
based on Hyperledger Fabric in particular, have an architecture which can be adapted to …
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
Existing safety assurance approaches for autonomous vehicles (AVs) perform system-level
safety evaluation by placing the AV-under-test in challenging traffic scenarios captured by …
safety evaluation by placing the AV-under-test in challenging traffic scenarios captured by …
Probabilistic Graph Queries for Design Space Exploration Under Uncertainty
M Földiák - Proceedings of the ACM/IEEE 27th International …, 2024 - dl.acm.org
Critical cyber-physical systems have an increasingly significant role in the world, and
ensuring their safety is a high priority objective. State of the art approaches and engineering …
ensuring their safety is a high priority objective. State of the art approaches and engineering …
Contract-based Validation of Conceptual Design Bugs for Engineering Complex Machine Learning Software
W Meijer - Proceedings of the ACM/IEEE 27th International …, 2024 - dl.acm.org
Context. Modern software systems increasingly commonly contain one or multiple machine
learning (ML) components. Current development practices are generally on a trial-and-error …
learning (ML) components. Current development practices are generally on a trial-and-error …
[PDF][PDF] Schema compliant consistency management via triple graph grammars and integer linear programming
Triple Graph Grammars (TGGs) are a declarative and rulebased approach to bidirectional
model transformation. The key feature of TGGs is the automatic derivation of various …
model transformation. The key feature of TGGs is the automatic derivation of various …
[BOOK][B] Query-Based Runtime Monitoring in Real-Time and Distributed Systems
M Búr - 2021 - search.proquest.com
Modern smart and safe cyber-physical systems (CPSs) have complex interactions with their
uncertain environment that is rarely known in advance, while operating in a trustworthy way …
uncertain environment that is rarely known in advance, while operating in a trustworthy way …
Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models
Various software and systems engineering scenarios rely on the systematic construction of
consistent graph models. However, automatically generating a diverse set of consistent …
consistent graph models. However, automatically generating a diverse set of consistent …
Specification and verification of a linear-time logic for graph transformation
We present a first-order linear-time temporal logic for reasoning about the evolution of
directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logic …
directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logic …