July 7, 2022 Dataset Open Access

Étienne André; Dylan Marinho; Laure Petrucci; Jaco van de Pol

MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nmm##2200000uu#4500</leader>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">eng</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">timed automata</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">parametric timed automata</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">parametric timed model checking</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">convex merging</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">parameter synthesis</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">formal verification</subfield>
  </datafield>
  <controlfield tag="005">20220726014857.0</controlfield>
  <controlfield tag="001">6806915</controlfield>
  <datafield tag="711" ind1=" " ind2=" ">
    <subfield code="d">12-17 September 2022</subfield>
    <subfield code="g">FORMATS 2022</subfield>
    <subfield code="a">20th International Conference on Formal Modeling and Analysis of Timed Systems</subfield>
    <subfield code="c">Warsaw, Poland</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Université de Lorraine, CNRS, Inria, LORIA, Nancy, France</subfield>
    <subfield code="0">(orcid)0000-0002-2548-6196</subfield>
    <subfield code="a">Dylan Marinho</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, Villetaneuse, France</subfield>
    <subfield code="0">(orcid)0000-0003-3154-5268</subfield>
    <subfield code="a">Laure Petrucci</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Aarhus University, Aarhus, Denmark</subfield>
    <subfield code="0">(orcid)0000-0003-4305-0625</subfield>
    <subfield code="a">Jaco van de Pol</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, France</subfield>
    <subfield code="0">(orcid)0000-0002-2548-6196</subfield>
    <subfield code="4">dtm</subfield>
    <subfield code="a">Dylan Marinho</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">53770567</subfield>
    <subfield code="z">md5:8a3a98d39128c111db8aec4b51dc6ed6</subfield>
    <subfield code="u">https://zenodo.org/record/6806915/files/merging-artifact-FORMATS22-results.zip</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">8663151</subfield>
    <subfield code="z">md5:06788564c469ce4342f52bb21e115302</subfield>
    <subfield code="u">https://zenodo.org/record/6806915/files/merging-artifact.zip</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="y">Conference website</subfield>
    <subfield code="u">https://conferences.ncl.ac.uk/formats2022/</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2022-07-07</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">openaire_data</subfield>
    <subfield code="o">oai:zenodo.org:6806915</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">Université de Lorraine, CNRS, Inria, LORIA, Nancy, France</subfield>
    <subfield code="0">(orcid)0000-0001-8473-9555</subfield>
    <subfield code="a">Étienne André</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"</subfield>
  </datafield>
  <datafield tag="536" ind1=" " ind2=" ">
    <subfield code="c">ANR-19-CE25-0015</subfield>
    <subfield code="a">Provable Mitigation of Side Channel through Parametric Verification</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">https://creativecommons.org/licenses/by/4.0/legalcode</subfield>
    <subfield code="a">Creative Commons Attribution 4.0 International</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;This is the experimental data for paper &amp;quot;Efficient Convex Zone Merging in Parametric Timed Automata&amp;quot;&lt;/p&gt;

&lt;p&gt;It comes in the form of two archives:&lt;/p&gt;

&lt;ol&gt;
	&lt;li&gt;&lt;strong&gt;merging-artifact.zip&lt;/strong&gt;: the whole set of benchmarks with the scripts to run&lt;/li&gt;
	&lt;li&gt;&lt;strong&gt;merging-artifact-FORMATS22-results.zip&lt;/strong&gt;: all results executed 5 times&lt;/li&gt;
&lt;/ol&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.6806914</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.6806915</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">dataset</subfield>
  </datafield>
</record>