2 Search Results for "Martin-Guillerez, Damien"

Document
DOI: 10.4230/LIPIcs.TIME.2020.10
Window-Slicing Techniques Extended to Spanning-Event Streams

Authors: Aurélie Suzanne, Guillaume Raschia, José Martinez, and Damien Tassetti

Published in: LIPIcs, Volume 178, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)

Abstract
Streaming systems often use slices to share computation costs among overlapping windows. However they are limited to instantaneous events where only one point represents the event. Here, we extend streams to events that come with a duration, denoted as spanning events. After a short review of the new constraints ensued by event lifespan in a temporal sliding-window context, we propose a new structure for dealing with slices in such an environment, and prove that our technique is both correct and effective to deal with such spanning events.
Cite as

Aurélie Suzanne, Guillaume Raschia, José Martinez, and Damien Tassetti. Window-Slicing Techniques Extended to Spanning-Event Streams. In 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 178, pp. 10:1-10:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{suzanne_et_al:LIPIcs.TIME.2020.10,
  author =	{Suzanne, Aur\'{e}lie and Raschia, Guillaume and Martinez, Jos\'{e} and Tassetti, Damien},
  title =	{{Window-Slicing Techniques Extended to Spanning-Event Streams}},
  booktitle =	{27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
  pages =	{10:1--10:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-167-2},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{178},
  editor =	{Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.10},
  URN =		{urn:nbn:de:0030-drops-129783},
  doi =		{10.4230/LIPIcs.TIME.2020.10},
  annote =	{Keywords: Data Stream, Spanning-events, Temporal Aggregates, Sliding Windows}
}
Document
DOI: 10.4230/OASIcs.SLATE.2012.225
Enhancing Coherency of Specification Documents from Automotive Industry

Authors: Jean-Noël Martin and Damien Martin-Guillerez

Published in: OASIcs, Volume 21, 1st Symposium on Languages, Applications and Technologies (2012)

Abstract
A specification describes how a system should behave. If a specification is incorrect or wrongly implemented, then the resulting system will contain errors that can lead to catastrophic states especially in sensitive systems like the one embedded in cars. This paper presents a method to construct a formal model from a specification written in natural language. This implies that the specification is sufficiently accurate to be incorporated in a model so as to find the inconsistencies in this specification. Sufficiently means that the error rate is down 2%. The error counting method is discussed in the paper. A definition of specification consistency is thus given in this paper. The method used to construct the model is automatic and points out to the user the inconsistencies of the specification. Moreover once the model is constructed, the general test plan reflecting the specification is produced. This test plan will ensure that the system that implements the specification meets the requirements.
Cite as

Jean-Noël Martin and Damien Martin-Guillerez. Enhancing Coherency of Specification Documents from Automotive Industry. In 1st Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 21, pp. 225-237, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{martin_et_al:OASIcs.SLATE.2012.225,
  author =	{Martin, Jean-No\"{e}l and Martin-Guillerez, Damien},
  title =	{{Enhancing Coherency of Specification Documents from Automotive Industry}},
  booktitle =	{1st Symposium on Languages, Applications and Technologies},
  pages =	{225--237},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-40-8},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{21},
  editor =	{Sim\~{o}es, Alberto and Queir\'{o}s, Ricardo and da Cruz, Daniela},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.225},
  URN =		{urn:nbn:de:0030-drops-35251},
  doi =		{10.4230/OASIcs.SLATE.2012.225},
  annote =	{Keywords: coherency, specification, model generation, automatic text processing}
}
  • Refine by Author
  • 1 Martin, Jean-Noël
  • 1 Martin-Guillerez, Damien
  • 1 Martinez, José
  • 1 Raschia, Guillaume
  • 1 Suzanne, Aurélie
  • Show More...

  • Refine by Classification
  • 1 Information systems → Stream management

  • Refine by Keyword
  • 1 Data Stream
  • 1 Sliding Windows
  • 1 Spanning-events
  • 1 Temporal Aggregates
  • 1 automatic text processing
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2012
  • 1 2020

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact