BibTeX records: Oliver Niese

download as .bib file

@inproceedings{DBLP:conf/hldvt/MargariaNRS04,
  author       = {Tiziana Margaria and
                  Oliver Niese and
                  Harald Raffelt and
                  Bernhard Steffen},
  title        = {Efficient test-based model generation for legacy reactive systems},
  booktitle    = {Ninth {IEEE} International High-Level Design Validation and Test Workshop
                  2004, Sonoma Valley, CA, USA, November 10-12, 2004},
  pages        = {95--100},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/HLDVT.2004.1431246},
  doi          = {10.1109/HLDVT.2004.1431246},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/MargariaNRS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Niese2003,
  author       = {Oliver Niese},
  title        = {An integrated approach to testing complex systems},
  school       = {Technical University of Dortmund, Germany},
  year         = {2003},
  url          = {http://eldorado.uni-dortmund.de:8080/0x81d98002\_0x0007b62b},
  urn          = {urn:nbn:de:101:1-201103292278},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Niese2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HungarNS03,
  author       = {Hardi Hungar and
                  Oliver Niese and
                  Bernhard Steffen},
  editor       = {Warren A. Hunt Jr. and
                  Fabio Somenzi},
  title        = {Domain-Specific Optimization in Automata Learning},
  booktitle    = {Computer Aided Verification, 15th International Conference, {CAV}
                  2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2725},
  pages        = {315--327},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45069-6\_31},
  doi          = {10.1007/978-3-540-45069-6\_31},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HungarNS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ets/MargariaNSE02,
  author       = {Tiziana Margaria and
                  Oliver Niese and
                  Bernhard Steffen and
                  Andrei Erochok},
  title        = {System level testing of virtual switch (re-)configuration over {IP}},
  booktitle    = {7th European Test Workshop, {ETW} 2002, Corfu, Greece, May 26-29,
                  2002},
  pages        = {67--72},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ETW.2002.1029641},
  doi          = {10.1109/ETW.2002.1029641},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ets/MargariaNSE02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/HagererHNS02,
  author       = {Andreas Hagerer and
                  Hardi Hungar and
                  Oliver Niese and
                  Bernhard Steffen},
  editor       = {Ralf{-}Detlef Kutsche and
                  Herbert Weber},
  title        = {Model Generation by Moderated Regular Extrapolation},
  booktitle    = {Fundamental Approaches to Software Engineering, 5th International
                  Conference, {FASE} 2002, held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
                  April 8-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2306},
  pages        = {80--95},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45923-5\_6},
  doi          = {10.1007/3-540-45923-5\_6},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/HagererHNS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/HagererHMNSI02,
  author       = {Andreas Hagerer and
                  Hardi Hungar and
                  Tiziana Margaria and
                  Oliver Niese and
                  Bernhard Steffen and
                  Hans{-}Dieter Ide},
  editor       = {Ralf{-}Detlef Kutsche and
                  Herbert Weber},
  title        = {Demonstration of an Operational Procedure for the Model-Based Testing
                  of {CTI} Systems},
  booktitle    = {Fundamental Approaches to Software Engineering, 5th International
                  Conference, {FASE} 2002, held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
                  April 8-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2306},
  pages        = {336--340},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45923-5\_25},
  doi          = {10.1007/3-540-45923-5\_25},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/HagererHMNSI02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/MargariaNS02,
  author       = {Tiziana Margaria and
                  Oliver Niese and
                  Bernhard Steffen},
  editor       = {Dragan Bosnacki and
                  Stefan Leue},
  title        = {Demonstration of an Automated Integrated Test Environment for Web-Based
                  Applications},
  booktitle    = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
                  France, April 11-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2318},
  pages        = {250--253},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46017-9\_23},
  doi          = {10.1007/3-540-46017-9\_23},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/MargariaNS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ets/NieseMHSBGI01,
  author       = {Oliver Niese and
                  Tiziana Margaria and
                  Andreas Hagerer and
                  Bernhard Steffen and
                  Georg Brune and
                  Werner Goerigk and
                  Hans{-}Dieter Ide},
  title        = {Automated regression testing of CTI-systems},
  booktitle    = {6th European Test Workshop, {ETW} 2001, Stockholm, Sweden, May 29
                  - June 1, 2001},
  pages        = {51--57},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ETW.2001.946662},
  doi          = {10.1109/ETW.2001.946662},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ets/NieseMHSBGI01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/NieseSMHBI01,
  author       = {Oliver Niese and
                  Bernhard Steffen and
                  Tiziana Margaria and
                  Andreas Hagerer and
                  Georg Brune and
                  Hans{-}Dieter Ide},
  editor       = {Heinrich Hu{\ss}mann},
  title        = {Library-Based Design and Consistency Checking of System-Level Industrial
                  Test Cases},
  booktitle    = {Fundamental Approaches to Software Engineering, 4th International
                  Conference, {FASE} 2001 Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
                  2-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2029},
  pages        = {233--248},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45314-8\_17},
  doi          = {10.1007/3-540-45314-8\_17},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/NieseSMHBI01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/NieseNHKGEH01,
  author       = {Oliver Niese and
                  Markus Nagelmann and
                  Andreas Hagerer and
                  Klaus Kolodziejczyk{-}Strunck and
                  Werner Goerigk and
                  Andrei Erochok and
                  Bernhard Hammelmann},
  editor       = {Heinrich Hu{\ss}mann},
  title        = {Demonstration of an Automated Integrated Testing Environment for {CTI}
                  Systems},
  booktitle    = {Fundamental Approaches to Software Engineering, 4th International
                  Conference, {FASE} 2001 Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
                  2-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2029},
  pages        = {249--252},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45314-8\_18},
  doi          = {10.1007/3-540-45314-8\_18},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/NieseNHKGEH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.