BibTeX records: Eva Fordran

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Eva Fordran

download as .bib file

@inproceedings{DBLP:conf/case/KlotzSSFTS12,
  author       = {Thomas Klotz and
                  Norman Se{\ss}ler and
                  Bernd Straube and
                  Eva Fordran and
                  Karsten Turek and
                  Jens Sch{\"{o}}nherr},
  title        = {On the formal verification of routing in material handling systems},
  booktitle    = {2012 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2012, Seoul, Korea (South), August 20-24, 2012},
  pages        = {8--13},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/CoASE.2012.6386358},
  doi          = {10.1109/COASE.2012.6386358},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/KlotzSSFTS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/etfa/KlotzSSFTS12,
  author       = {Thomas Klotz and
                  Norman Se{\ss}ler and
                  Bernd Straube and
                  Eva Fordran and
                  Karsten Turek and
                  Jens Sch{\"{o}}nherr},
  title        = {Compositional verification of material handling systems},
  booktitle    = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
                  Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
                  September 17-21, 2012},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ETFA.2012.6489595},
  doi          = {10.1109/ETFA.2012.6489595},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/KlotzSSFTS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/KlotzSFSHS12,
  author       = {Thomas Klotz and
                  Bernd Straube and
                  Eva Fordran and
                  Norman Se{\ss}ler and
                  J{\"{u}}rgen Haufe and
                  Frank Schulze},
  editor       = {Jens Brandt and
                  Klaus Schneider},
  title        = {Ein Ansatz zur Verifikation von Materialflusssteuerungen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
                  5-7, 2012},
  series       = {Forschungsergebnisse zur Informatik},
  volume       = {68},
  pages        = {61--71},
  publisher    = {Verlag Dr. Kovac},
  year         = {2012},
  timestamp    = {Tue, 19 May 2020 12:57:43 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/KlotzSFSHS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/etfa/KlotzSFHSTS11,
  author       = {Thomas Klotz and
                  Bernd Straube and
                  Eva Fordran and
                  J{\"{u}}rgen Haufe and
                  Frank Schulze and
                  Karsten Turek and
                  Thorsten Schmidt},
  editor       = {Zoubir Mammeri},
  title        = {An approach to the verification of material handling systems},
  booktitle    = {{IEEE} 16th Conference on Emerging Technologies {\&} Factory Automation,
                  {ETFA} 2011, Toulouse, France, September 5-9, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ETFA.2011.6059043},
  doi          = {10.1109/ETFA.2011.6059043},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/KlotzSFHSTS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/VortlerKFH11,
  author       = {Thilo V{\"{o}}rtler and
                  Thomas Klotz and
                  Eva Fordran and
                  Petra Hofstedt},
  editor       = {Frank Oppenheimer},
  title        = {Formale Verifikation von Contiki-Anwendungen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February
                  21-23, 2011},
  pages        = {39--48},
  publisher    = {OFFIS-Institut f{\"{u}}r Informatik},
  year         = {2011},
  timestamp    = {Wed, 27 Jun 2012 22:40:36 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/VortlerKFH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/etfa/KlotzFSH09,
  author       = {Thomas Klotz and
                  Eva Fordran and
                  Bernd Straube and
                  J{\"{u}}rgen Haufe},
  title        = {Formal Verification of UML-modeled Machine Controls},
  booktitle    = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2009, September 22-25, 2008, Palma
                  de Mallorca, Spain},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ETFA.2009.5347044},
  doi          = {10.1109/ETFA.2009.5347044},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/KlotzFSH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/HaufeDFKS09,
  author       = {J{\"{u}}rgen Haufe and
                  Ulrich Donath and
                  Eva Fordran and
                  Thomas Klotz and
                  Bernd Straube},
  editor       = {Carsten Gremzow and
                  Nico Moser},
  title        = {Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009},
  pages        = {197--206},
  publisher    = {Universit{\"{a}}tsbibliothek Berlin, Germany},
  year         = {2009},
  timestamp    = {Thu, 28 Jun 2012 08:33:25 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/HaufeDFKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/FordranFHSS03,
  author       = {Eva Fordran and
                  Matthias Fruth and
                  Ulrich Hensel and
                  Hu Shaoyu and
                  Madabhushi Srinivasan},
  editor       = {Rolf Drechsler},
  title        = {Model Checking in an Industrial Environment},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25,
                  2003},
  pages        = {239--248},
  publisher    = {Shaker},
  year         = {2003},
  timestamp    = {Thu, 28 Jun 2012 12:33:11 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/FordranFHSS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/euromicro/SchonherrSFS99,
  author       = {Jens Sch{\"{o}}nherr and
                  Ingo Schreiber and
                  Eva Fordran and
                  Bernd Straube},
  title        = {Hazard Checking in Pipelined Processor Designs Using Symbolic Model
                  Checking},
  booktitle    = {25th {EUROMICRO} '99 Conference, Informatics: Theory and Practice
                  for the New Millenium, 8-10 September 1999, Milan, Italy},
  pages        = {1075},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/EURMIC.1999.794450},
  doi          = {10.1109/EURMIC.1999.794450},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/SchonherrSFS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/SchreiberSFSS98,
  author       = {Ingo Schreiber and
                  Jens Sch{\"{o}}nherr and
                  Eva Fordran and
                  Klaus Schneider and
                  Bernd Straube},
  editor       = {Franz{-}Josef Rammig and
                  Wolfgang M{\"{u}}ller},
  title        = {Kontrollfluss-Verifikation von Algorithmen mittels Modellpr{\"{u}}fung},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11,
                  1998},
  pages        = {114--123},
  publisher    = {HNI-Verlagsschriften},
  year         = {1998},
  timestamp    = {Thu, 02 Apr 2015 19:44:47 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/SchreiberSFSS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.