Hardware and software: verification and testing: 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
8244 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XIX, 366 S.) graph. Darst. |
| ISBN: | 9783319030760 9783319030777 |
| DOI: | 10.1007/978-3-319-03077-7 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041587409 | ||
| 003 | DE-604 | ||
| 005 | 20140213 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140124s2013 xx d||| o|||| 10||| eng d | ||
| 020 | |a 9783319030760 |9 978-3-319-03076-0 | ||
| 020 | |a 9783319030777 |c eISBN |9 978-3-319-03077-7 | ||
| 024 | 7 | |a 10.1007/978-3-319-03077-7 |2 doi | |
| 035 | |a (OCoLC)874395107 | ||
| 035 | |a (DE-599)BVBBV041587409 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-634 |a DE-355 | ||
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 190f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Hardware and software: verification and testing |b 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings |c Valeria Bertacco ... (eds.) |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XIX, 366 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8244 | |
| 650 | 0 | 7 | |a Hardwareverifikation |0 (DE-588)4214982-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Haifa |2 gnd-content | |
| 689 | 0 | 0 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 0 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Bertacco, Valeria |0 (DE-588)139371095 |4 edt | |
| 711 | 2 | |a HVC |n 9 |d 2013 |c Haifa |j Sonstige |0 (DE-588)1044443057 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8244 |w (DE-604)BV014880109 |9 8244 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-03077-7 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027032543&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027032543&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027032543 | |
Datensatz im Suchindex
| _version_ | 1820875551610503168 |
|---|---|
| adam_text |
HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
BACKBONES FOR EQUALITY
PASS: STRING SOLVING WITH PARAMETERIZED ARRAY AND INTERVAL AUTOMATON
INCREASING CONFIDENCE IN LIVENESS MODEL CHECKING RESULTS WITH PROOFS
SPEEDING UP THE SAFETY VERIFICATION OF PROGRAMMABLE LOGIC CONTROLLER
CODE
MODELING FIRMWARE AS SERVICE FUNCTIONS AND ITS APPLICATION TO TEST
GENERATION
SYMBOLIC MODEL-BASED TESTING FOR INDUSTRIAL AUTOMATION SOFTWARE
ONLINE TESTING OF LTL PROPERTIES FOR JAVA CODE
MODBAT: A MODEL-BASED API TESTER FOR EVENT-DRIVEN SYSTEMS
PREDICTIVE TAINT ANALYSIS FOR EXTENDED TESTING OF PARALLEL EXECUTIONS
CONTINUOUS INTEGRATION FOR WEB-BASED SOFTWARE INFRASTRUCTURES: LESSONS
LEARNED ON THE WEBINOS PROJECT
SLAM: SLICE AND MERGE - EFFECTIVE TEST GENERATION FOR LARGE SYSTEMS
IMPROVING POST-SILICON VALIDATION EFFICIENCY BY USING PRE-GENERATED DATA
DEVELOPMENT AND VERIFICATION OF COMPLEX HYBRID SYSTEMS USING
SYNTHESIZABLE MONITORS
ASSERTION CHECKING USING DYNAMIC INFERENCE
FORMAL SPECIFICATION OF AN ERASE BLOCK MANAGEMENT LAYER FOR FLASH MEMORY
ATTENTION-BASED COVERAGE METRICS SYNTHESIZING, CORRECTING AND IMPROVING
CODE, USING MODEL CHECKING-BASED GENETIC PROGRAMMING
DOMAIN TYPES: ABSTRACT-DOMAIN SELECTION BASED ON VARIABLE USAGE
EFFICIENT ANALYSIS OF RELIABILITY ARCHITECTURES VIA PREDICATE
ABSTRACTION
LAZY SYMBOLIC EXECUTION THROUGH ABSTRACTION AND SUB-SPACE SEARCH
SPIN AS A LINEARIZABILITY CHECKER UNDER WEAK MEMORY MODELS
ARITHMETIC BIT-LEVEL VERIFICATION USING NETWORK FLOW MODEL
PERFORMANCE EVALUATION OF PROCESS PARTITIONING USING PROBABILISTIC MODEL
CHECKING
IMPROVING REPRESENTATIVE COMPUTATION IN EXPLISAT.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 9TH INTERNATIONAL
HAIFA VERIFICATION CONFERENCE, HVC 2013, HELD IN HAIFA, ISRAEL IN
NOVEMBER 2013. THE 24 REVISED FULL PAPERS PRESENTED WERE CAREFULLY
REVIEWED AND SELECTED FROM 49 SUBMISSIONS. THE PAPERS ARE ORGANIZED IN
TOPICAL SECTIONS ON SAT AND SMT-BASED VERIFICATION, SOFTWARE TESTING,
SUPPORTING DYNAMIC VERIFICATION, SPECIFICATION AND COVERAGE, ABSTRACTION
AND MODEL PRESENTATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author2 | Bertacco, Valeria |
| author2_role | edt |
| author2_variant | v b vb |
| author_GND | (DE-588)139371095 |
| author_facet | Bertacco, Valeria |
| building | Verbundindex |
| bvnumber | BV041587409 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f DAT 000 DAT 190f DAT 325f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)874395107 (DE-599)BVBBV041587409 |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-03077-7 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041587409</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140213</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140124s2013 xx d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319030760</subfield><subfield code="9">978-3-319-03076-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319030777</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-319-03077-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-03077-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)874395107</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041587409</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 190f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hardware and software: verification and testing</subfield><subfield code="b">9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings</subfield><subfield code="c">Valeria Bertacco ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIX, 366 S.)</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8244</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Haifa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bertacco, Valeria</subfield><subfield code="0">(DE-588)139371095</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">HVC</subfield><subfield code="n">9</subfield><subfield code="d">2013</subfield><subfield code="c">Haifa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1044443057</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8244</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8244</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-03077-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027032543&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027032543&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027032543</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Haifa gnd-content |
| genre_facet | Konferenzschrift 2013 Haifa |
| id | DE-604.BV041587409 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:26Z |
| institution | BVB |
| institution_GND | (DE-588)1044443057 |
| isbn | 9783319030760 9783319030777 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027032543 |
| oclc_num | 874395107 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIX, 366 S.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Hardware and software: verification and testing 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings Valeria Bertacco ... (eds.) Cham [u.a.] Springer 2013 1 Online-Ressource (XIX, 366 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8244 Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Haifa gnd-content Hardwareverifikation (DE-588)4214982-4 s Programmverifikation (DE-588)4135576-3 s DE-604 Softwaretest (DE-588)4132652-0 s Model Checking (DE-588)4434799-6 s Bertacco, Valeria (DE-588)139371095 edt HVC 9 2013 Haifa Sonstige (DE-588)1044443057 oth Lecture notes in computer science 8244 (DE-604)BV014880109 8244 https://doi.org/10.1007/978-3-319-03077-7 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027032543&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027032543&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Hardware and software: verification and testing 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings Lecture notes in computer science Hardwareverifikation (DE-588)4214982-4 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4214982-4 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4135576-3 (DE-588)1071861417 |
| title | Hardware and software: verification and testing 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings |
| title_auth | Hardware and software: verification and testing 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings |
| title_exact_search | Hardware and software: verification and testing 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings |
| title_full | Hardware and software: verification and testing 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings Valeria Bertacco ... (eds.) |
| title_fullStr | Hardware and software: verification and testing 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings Valeria Bertacco ... (eds.) |
| title_full_unstemmed | Hardware and software: verification and testing 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings Valeria Bertacco ... (eds.) |
| title_short | Hardware and software: verification and testing |
| title_sort | hardware and software verification and testing 9th international haifa verification conference hvc 2012 haifa israel november 5 7 2013 proceedings |
| title_sub | 9th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 5 - 7, 2013 ; proceedings |
| topic | Hardwareverifikation (DE-588)4214982-4 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | Hardwareverifikation Model Checking Softwaretest Programmverifikation Konferenzschrift 2013 Haifa |
| url | https://doi.org/10.1007/978-3-319-03077-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027032543&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027032543&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT bertaccovaleria hardwareandsoftwareverificationandtesting9thinternationalhaifaverificationconferencehvc2012haifaisraelnovember572013proceedings AT hvchaifa hardwareandsoftwareverificationandtesting9thinternationalhaifaverificationconferencehvc2012haifaisraelnovember572013proceedings |