{
  "schema_version": "0.6.0",
  "paper_id": "efficient-model-query-visualize-system-states-traces",
  "page_url": "https://naser.github.io/research-publications/papers/efficient-model-query-visualize-system-states-traces/",
  "title": "Efficient Model to Query and Visualize the System States Extracted from Trace Data",
  "title_variants": [],
  "authors": [
    "Alexandre Montplaisir",
    "Naser Ezzati-Jivan",
    "Florian Wininger",
    "Michel R. Dagenais"
  ],
  "author_details": [
    {
      "name": "Alexandre Montplaisir",
      "orcid": null,
      "profile_url": "https://dblp.org/pid/134/9492.html"
    },
    {
      "name": "Naser Ezzati-Jivan",
      "orcid": "https://orcid.org/0000-0003-1435-6297",
      "profile_url": "https://naser.github.io/"
    },
    {
      "name": "Florian Wininger",
      "orcid": null,
      "profile_url": "https://dblp.org/pid/134/9574.html"
    },
    {
      "name": "Michel R. Dagenais",
      "orcid": null,
      "profile_url": "https://dblp.org/pid/60/309.html"
    }
  ],
  "publication": {
    "year": 2013,
    "venue": "Runtime Verification 2013 (RV 2013)",
    "type": "conference paper",
    "publication_date": "2013",
    "online_date": null,
    "print_date": "2013",
    "volume": null,
    "issue": null,
    "pages": "219-234",
    "article_number": null,
    "publisher": "Springer Berlin Heidelberg",
    "issn": [
      "0302-9743",
      "1611-3349"
    ],
    "isbn": [
      "9783642407864",
      "9783642407871"
    ],
    "crossref_type": "book-chapter"
  },
  "publication_type": "conference paper",
  "status": "published_with_public_preview",
  "canonical_source_url": "https://doi.org/10.1007/978-3-642-40787-1_13",
  "source_record_id": "efficient-model-to-query-and-visualize-the-system-states-extracted-from-trace-data-f245cade78",
  "identifiers": {
    "doi": "10.1007/978-3-642-40787-1_13"
  },
  "abstract": "The accessible chapter preview describes a tree-based model of system states and intervals extracted from traces, with online/offline operation and interactive analysis at approximately 1 TB trace scale.",
  "abstract_source": "Springer two-page chapter preview, paraphrased; complete chapter not obtained.",
  "abstract_available": true,
  "scholar_eligibility": {
    "eligible": false,
    "basis": "not-eligible",
    "note": "The page is a discovery record; it does not claim Google Scholar article-host eligibility."
  },
  "description": "The accessible chapter preview describes a tree-based model of system states and intervals extracted from traces, with online/offline operation and interactive analysis at approximately 1 TB trace scale.",
  "evidence_level": "metadata-or-abstract-reviewed",
  "evidence": {
    "source_basis": "abstract-and-metadata-reviewed",
    "coverage": "abstract and bibliographic metadata",
    "summary_origin": "AI-assisted catalog editorial summary",
    "review_status": "catalog-reviewed; paper-author approval pending",
    "verified_on": "2026-08-09",
    "sources": [
      {
        "note": "PolyPublie record: https://publications.polymtl.ca/13394/"
      },
      {
        "note": "DOI: https://doi.org/10.1007/978-3-642-40787-1_13"
      },
      {
        "note": "DBLP record: https://dblp.org/rec/conf/rv/MontplaisirJWD13.html"
      },
      {
        "note": "Official Springer preview read privately; SHA-256 1f03c9225de8d032f7015b076dd48c7805897c006cb226016baa0e9b01eb621d; private evidence report: reports/agent-batch-04.md"
      }
    ]
  },
  "summary": {
    "core_contribution": "The abstract presents a model for querying and visualizing system states extracted from very large traces.",
    "problem": "State intervals extracted from traces need a representation that supports efficient queries and visualization at very large data volumes.",
    "method": "The preview describes a tree-based state-history database that converts trace events into intervals and supports lookup for CPU, process, memory, file, and other resources at arbitrary timestamps. It names LTTng kernel/user-space tracing in the motivation and claims online and offline operation; the query language, storage details, and trace format require the complete chapter.",
    "findings": "The preview reports interactive analysis of traces on the order of 1 TB and motivates avoiding repeated full-trace scans, but provides no reproducible dataset, benchmark table, throughput, latency, or comparison result.",
    "limitations": "Only the official two-page Springer preview was accessible; the complete algorithms, evaluation, limitations, and future-work section remain unavailable.",
    "future_work": "The paper-specific future-work section remains unverified because the complete chapter was not accessible."
  },
  "tags": [
    "trace-abstraction",
    "trace-visualization",
    "trace-analysis",
    "performance-analysis"
  ],
  "keywords": [
    "system states",
    "trace queries",
    "trace visualization",
    "interval data",
    "tree-based storage",
    "online analysis",
    "offline analysis"
  ],
  "versions": [
    {
      "id": "published-version",
      "label": "Published version",
      "relation": "version-of-record",
      "title": "Efficient Model to Query and Visualize the System States Extracted from Trace Data",
      "url": "https://doi.org/10.1007/978-3-642-40787-1_13",
      "pdf_url": null,
      "status": "published",
      "canonical_for_citation": true
    },
    {
      "id": "springer-two-page-chapter-preview",
      "label": "Springer two-page chapter preview",
      "relation": "source-record",
      "title": "Efficient Model to Query and Visualize the System States Extracted from Trace Data",
      "url": "https://page-one.springer.com/pdf/preview/10.1007/978-3-642-40787-1_13",
      "pdf_url": null,
      "status": "public_preview",
      "canonical_for_citation": false
    }
  ],
  "access": {
    "status": "published_with_public_preview",
    "note": "PolyPublie, DOI, DBLP, and the chapter metadata verify the record. The authorized Springer route exposed only a two-page preview, not the complete chapter; detailed implementation and benchmark claims remain unverified.",
    "license": null
  },
  "resources": {
    "code": null,
    "data": null,
    "slides": null,
    "demo": null
  },
  "citation_guidance": {
    "when_to_cite": "Cite this paper when its specific method, evidence, or benchmark is directly relevant.",
    "points": [
      "The paper's method is directly relevant.",
      "The paper's evidence or benchmark is directly relevant."
    ],
    "canonical_version_id": "published-version"
  },
  "provenance": {
    "metadata_verified_on": "2026-08-09",
    "metadata_source": [
      "PolyPublie record: https://publications.polymtl.ca/13394/",
      "DOI: https://doi.org/10.1007/978-3-642-40787-1_13",
      "DBLP record: https://dblp.org/rec/conf/rv/MontplaisirJWD13.html",
      "Official Springer preview read privately; SHA-256 1f03c9225de8d032f7015b076dd48c7805897c006cb226016baa0e9b01eb621d; private evidence report: reports/agent-batch-04.md"
    ],
    "summary_written_by": "AI-assisted",
    "summary_verified_by": "metadata/abstract-grounded catalog review; full-text review and author approval pending",
    "linked_preprint_record": null,
    "author_order_note": null
  },
  "batch": {
    "phase": 2,
    "batch_label": "expanded forty-paper release",
    "status": "included_in_expanded_catalog",
    "selected_at": "2026-08-09"
  }
}