Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SafeCert@ETAPS"( http://dblp.L3S.de/Venues/SafeCert@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/safecert

Publication years (Num. hits)
2008 (9) 2009 (1)
Publication types (Num. hits)
inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
SafeCert@ETAPS(10)
Authors
Hardi Hungar(2) Michaela Huhn(2) Ákos Horváth 0001(1) Alan Wassyng(1) András Balogh(1) András Pataricza(1) Bernd Fischer 0002(1) Bernhard Schätz(1) Christoph Lüth(1) Constance L. Heitmeyer(1) Daniel Hausmann 0001(1) Dániel Varró(1) Dennis Walter(1) Ewen Denney(1) Fred L. Wurden(1) Holger Täubig(1) More (+10 of total 32)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Michaela Huhn, Hardi Hungar (eds.) Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008 Search on Bibsonomy SafeCert@ETAPS The full citation details ... 2009 DBLP  BibTeX  RDF
1Udo Frese, Daniel Hausmann 0001, Christoph Lüth, Holger Täubig, Dennis Walter The Importance of Being Formal. Search on Bibsonomy SafeCert@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michaela Huhn, Hardi Hungar Preface. Search on Bibsonomy SafeCert@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ibrahim Habli, Tim Kelly A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. Search on Bibsonomy SafeCert@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nurlida Basir, Ewen Denney, Bernd Fischer 0002 Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. Search on Bibsonomy SafeCert@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Manuel Garnacho, Michaël Périn Convincing Proofs for Program Certification. Search on Bibsonomy SafeCert@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Constance L. Heitmeyer On the Role of Formal Methods in Software Certification: An Experience Report. Search on Bibsonomy SafeCert@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1László Gönczy, István Majzik, Ákos Horváth 0001, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza Tool Support for Engineering Certifiable Software. Search on Bibsonomy SafeCert@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden A Software Certification Consortium and its Top 9 Hurdles. Search on Bibsonomy SafeCert@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Braun 0003, Jan Philipps, Bernhard Schätz, Stefan Wagner 0001 Model-Based Safety-Cases for Software-Intensive Systems. Search on Bibsonomy SafeCert@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license