dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Bernhard Steffen (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Oliver Niese, Bernhard Steffen: Domain-Specific Optimization in Automata Learning. CAV 2003: 315-327
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide: Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. FASE 2002: 336-340
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen: Model Generation by Moderated Regular Extrapolation. FASE 2002: 80-95
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Oliver Niese, Bernhard Steffen: Demonstration of an Automated Integrated Test Environment for Web-Based Applications. SPIN 2002: 250-253
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide: Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. FASE 2001: 233-248

Selection of 5 from 208 records - Bernhard Steffen has 126 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page