On the public citation graph

A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties

https://doi.org/10.1109/models.2017.9

0 signed · 47 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11596141_21openalex-snapshot

Towards Dynamic Monitoring of WS-BPEL Processes

inferredcites →https://doi.org/10.1007/11841883_24openalex-snapshot

Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract

inferredcites →https://doi.org/10.1007/978-3-319-09195-2_4openalex-snapshot

OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL

inferredcites →https://doi.org/10.1007/978-3-319-10431-7_11openalex-snapshot

Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce

inferredcites →https://doi.org/10.1007/978-3-319-11164-3_1openalex-snapshot

First International Competition on Software for Runtime Verification

inferredcites →https://doi.org/10.1007/978-3-319-11164-3_24openalex-snapshot

RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties

inferredcites →https://doi.org/10.1007/978-3-319-11743-0_13openalex-snapshot

Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes

inferredcites →https://doi.org/10.1007/978-3-319-23820-3_27openalex-snapshot

Second International Competition on Runtime Verification

inferredcites →https://doi.org/10.1007/978-3-540-30175-2_19openalex-snapshot

Model-Driven Program Transformation of a Large Avionics Framework

inferredcites →https://doi.org/10.1007/978-3-642-29860-8_27openalex-snapshot

MONPOLY: Monitoring Usage-Control Policies

inferredcites →https://doi.org/10.1007/978-3-642-35632-2_14openalex-snapshot

BabelTrace: A Collection of Transducers for Trace Validation

inferredcites →https://doi.org/10.1007/978-3-642-35632-2_20openalex-snapshot

MapReduce for Parallel Trace Validation of LTL Properties

inferredcites →https://doi.org/10.1007/978-3-642-35861-6_4openalex-snapshot

The Tale of SOLOIST: A Specification Language for Service Compositions Interactions

inferredcites →https://doi.org/10.1007/978-3-642-40787-1_3openalex-snapshot

Monitoring of Temporal First-Order Properties with Aggregations

inferredcites →https://doi.org/10.1007/978-3-642-54804-8_19openalex-snapshot

SMT-Based Checking of SOLOIST over Sparse Traces

inferredcites →https://doi.org/10.1007/978-3-662-46681-0_55openalex-snapshot

MarQ: Monitoring at Runtime with QEA

inferredcites →https://doi.org/10.1007/s10009-014-0309-2openalex-snapshot

Rule-based runtime verification revisited

inferredcites →https://doi.org/10.1007/s10270-010-0180-xopenalex-snapshot

A metamodel for the compact but lossless exchange of execution traces

inferredcites →https://doi.org/10.1007/s10703-005-3399-3openalex-snapshot

Collecting Statistics Over Runtime Executions

inferredcites →https://doi.org/10.1016/j.jlap.2008.08.004openalex-snapshot

A brief account of runtime verification

inferredcites →https://doi.org/10.1109/icse.2005.1553580openalex-snapshot

Real-time specification patterns

inferredcites →https://doi.org/10.1109/icse.2012.6227125openalex-snapshot

Specification patterns from research to industry: A case study in service-based applications

inferredcites →https://doi.org/10.1109/tsc.2009.16openalex-snapshot

Runtime Monitoring of Web Service Conversations

inferredcites →https://doi.org/10.1109/tse.2006.96openalex-snapshot

Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software

inferredcites →https://doi.org/10.1145/1082983.1083138openalex-snapshot

A model-driven approach to enforce crosscutting assertion checking

inferredcites →https://doi.org/10.1145/1083125.1083138openalex-snapshot

A model-driven approach to enforce crosscutting assertion checking

inferredcites →https://doi.org/10.1145/201024.201034openalex-snapshot

Validating real-time systems by history-checking TRIO specifications

inferredcites →https://doi.org/10.1145/2491411.2494596openalex-snapshot

RiTHM: a tool for enabling time-triggered runtime verification for C programs

inferredcites →https://doi.org/10.1145/2884781.2884832openalex-snapshot

Efficient large-scale trace checking using mapreduce

inferredcites →https://doi.org/10.1145/302405.302672openalex-snapshot

Patterns in property specifications for finite-state verification

inferredcites →https://doi.org/10.1145/949344.949360openalex-snapshot

GME

inferredcites →https://doi.org/10.4230/lipics.fsttcs.2008.1740openalex-snapshot

Runtime Monitoring of Metric First-order Temporal Properties

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-88494-9_2openalex-snapshot

Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs

inferred← citeshttps://doi.org/10.1007/978-3-031-57259-3openalex-snapshot

Fundamental Approaches to Software Engineering

inferred← citeshttps://doi.org/10.1007/978-3-031-57259-3_2openalex-snapshot

Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models

inferred← citeshttps://doi.org/10.1007/s10009-021-00609-zopenalex-snapshot

A taxonomy for classifying runtime verification tools

inferred← citeshttps://doi.org/10.1007/s10270-021-00950-6openalex-snapshot

Incremental execution of temporal graph queries over runtime models with history and its applications

inferred← citeshttps://doi.org/10.1109/models.2019.000-2openalex-snapshot

Querying and Annotating Model Histories with Time-Aware Patterns

inferred← citeshttps://doi.org/10.1109/tse.2023.3242588openalex-snapshot

Trace Diagnostics for Signal-Based Temporal Properties

inferred← citeshttps://doi.org/10.1145/3239372.3239396openalex-snapshot

Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications

inferred← citeshttps://doi.org/10.1145/3324884.3416631openalex-snapshot

Trace-checking signal-based temporal properties

inferred← citeshttps://doi.org/10.1145/3348445.3348468openalex-snapshot

Investigation of Modern Tools and Techniques Provided by Modeling Editors

inferred← citeshttps://doi.org/10.1145/3365438.3410961openalex-snapshot

A scalable querying scheme for memory-efficient runtime models with history

inferred← citeshttps://doi.org/10.1145/3387939.3388614openalex-snapshot

Towards highly scalable runtime models with history

inferred← citeshttps://doi.org/10.1145/3744714openalex-snapshot

Foundations for Change-driven Query-based Runtime Monitoring of Temporal Properties

inferred← citeshttps://doi.org/10.29007/w2njopenalex-snapshot

TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties

inferred← citeshttps://doi.org/10.5381/jot.2019.18.2.a15openalex-snapshot

A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations.

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.