InforLorV4, Main, Merge, bibRecord, 004F98

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006)

Identifieur interne : 004F98 ( Main/Merge ); précédent : 004F97; suivant : 004F99

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006)

Auteurs : Stephan Merz [France] ; Tobias Nipkow [Allemagne]

Source :

RBID : Hal:inria-00187585

Abstract

This volume contains the proceedings of the Sixth International Workshop on Automated Verification of Critical Systems (AVoCS 2006), which was held on September 18–19, 2006 in Nancy, France. The workshop is devoted to techniques and tools for the verification of critical systems, and applications thereof. It aims to being together researchers from academia and industry who have an interest in formal verification, interpreted in a broad sense. Previous instances of AVoCS were held in Warwick (2005), London (2004), Southampton (2003), Birmingham (2002) and Oxford (2001).

Url:

https://hal.inria.fr/inria-00187585

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 003D32
to stream Hal, to step Curation: 003D32
to stream Hal, to step Checkpoint: 003C98

Links to Exploration step

Hal:inria-00187585

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006)</title>
<author><name sortKey="Merz, Stephan" sort="Merz, Stephan" uniqKey="Merz S" first="Stephan" last="Merz">Stephan Merz</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2357" status="OLD"><idno type="RNSR">200418303G</idno>
<orgName>Proof-oriented development of computer-based systems</orgName>
<orgName type="acronym">MOSEL</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/mosel</ref>
</desc>
<listRelation><relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</author>
<author><name sortKey="Nipkow, Tobias" sort="Nipkow, Tobias" uniqKey="Nipkow T" first="Tobias" last="Nipkow">Tobias Nipkow</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-82335" status="VALID"><orgName>Institut für Informatik</orgName>
<orgName type="acronym">LRR-TUM</orgName>
<desc><address><addrLine>Institut für Informatik Lehreinheit für Rechnertechnik und Rechnerorganisation / Parallelrechnerarchitektur - Technische Universität München (LRR-TUM) TU München Boltzmannstr. 3 D-85748 Garching bei München Germany</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.lrr.in.tum.de</ref>
</desc>
<listRelation><relation active="#struct-301140" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-301140" type="direct"><org type="institution" xml:id="struct-301140" status="VALID"><orgName>Technische Universität München [München]</orgName>
<orgName type="acronym">TUM</orgName>
<desc><address><addrLine>Arcisstraße 21, 80333 München</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.tum.de/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Allemagne</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:inria-00187585</idno>
<idno type="halId">inria-00187585</idno>
<idno type="halUri">https://hal.inria.fr/inria-00187585</idno>
<idno type="url">https://hal.inria.fr/inria-00187585</idno>
<date when="2007">2007</date>
<idno type="wicri:Area/Hal/Corpus">003D32</idno>
<idno type="wicri:Area/Hal/Curation">003D32</idno>
<idno type="wicri:Area/Hal/Checkpoint">003C98</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">003C98</idno>
<idno type="wicri:Area/Main/Merge">004F98</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006)</title>
<author><name sortKey="Merz, Stephan" sort="Merz, Stephan" uniqKey="Merz S" first="Stephan" last="Merz">Stephan Merz</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2357" status="OLD"><idno type="RNSR">200418303G</idno>
<orgName>Proof-oriented development of computer-based systems</orgName>
<orgName type="acronym">MOSEL</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/mosel</ref>
</desc>
<listRelation><relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</author>
<author><name sortKey="Nipkow, Tobias" sort="Nipkow, Tobias" uniqKey="Nipkow T" first="Tobias" last="Nipkow">Tobias Nipkow</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-82335" status="VALID"><orgName>Institut für Informatik</orgName>
<orgName type="acronym">LRR-TUM</orgName>
<desc><address><addrLine>Institut für Informatik Lehreinheit für Rechnertechnik und Rechnerorganisation / Parallelrechnerarchitektur - Technische Universität München (LRR-TUM) TU München Boltzmannstr. 3 D-85748 Garching bei München Germany</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.lrr.in.tum.de</ref>
</desc>
<listRelation><relation active="#struct-301140" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-301140" type="direct"><org type="institution" xml:id="struct-301140" status="VALID"><orgName>Technische Universität München [München]</orgName>
<orgName type="acronym">TUM</orgName>
<desc><address><addrLine>Arcisstraße 21, 80333 München</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.tum.de/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Allemagne</country>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">This volume contains the proceedings of the Sixth International Workshop on Automated Verification of Critical Systems (AVoCS 2006), which was held on September 18–19, 2006 in Nancy, France. The workshop is devoted to techniques and tools for the verification of critical systems, and applications thereof. It aims to being together researchers from academia and industry who have an interest in formal verification, interpreted in a broad sense. Previous instances of AVoCS were held in Warwick (2005), London (2004), Southampton (2003), Birmingham (2002) and Oxford (2001).</div>
</front>
</TEI>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004F98 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 004F98 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    RBID
   |clé=     Hal:inria-00187585
   |texte=   Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006)
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006)

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006)

Source :

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri