Dr. Jörg Behrend

Content

Publications

Dr. Jörg Behrend

Publications

2012

Optimized Static Parameter Assignment for Semiformal Software Verification

by A. Grünhage, Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel
In 15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2012. [BIB]

@inproceedings{AJDPJTW032012,
  author = {Grünhage, A. and Behrend, Jörg and Lettnin, Djones and Heckeler, Patrick and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Optimized Static Parameter Assignment for Semiformal Software Verification},
  booktitle = {15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},
  year = {2012},
  month = {mar},
  address = {Kaiserslautern, Germany},
  month_numeric = {3}
}

2011

DWARF-driven Equivalence Checking of UML Statecharts and Software Components

by Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, and Roland Weiss
In Gesellchaft für Informatik e.V.: Softwaretechnik-Trends 31(3): 61-63, 2011. [BIB]

@article{PJJTWR82011,
  author = {Heckeler, Patrick and Behrend, Jörg and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang and Weiss, Roland},
  title = {DWARF-driven Equivalence Checking of UML Statecharts and Software Components},
  journal = {Gesellchaft für Informatik e.V.: Softwaretechnik-Trends},
  year = {2011},
  month = {aug},
  volume = { 31},
  number = {3},
  pages = {61-63},
  month_numeric = {8}
}

Scalable Hybrid Verification for Embedded Software

by Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel
In DATE ’11: Proceedings of the conference on Design, Automation and Test in Europe, 2011. [BIB]

@inproceedings{JDPJTW032011,
  author = {Behrend, Jörg and Lettnin, Djones and Heckeler, Patrick and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Scalable Hybrid Verification for Embedded Software},
  booktitle = {DATE ’11: Proceedings of the conference on Design, Automation and Test in Europe},
  year = {2011},
  month = {mar},
  month_numeric = {3}
}

Scalable and Extendable Hybrid Verification Platform

by Jörg Behrend, Patrick Heckeler, S. Huster, Djones Lettnin, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel
In 14. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011. [BIB]

@inproceedings{JPSDJTW022011,
  author = {Behrend, Jörg and Heckeler, Patrick and Huster, S. and Lettnin, Djones and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Scalable and Extendable Hybrid Verification Platform},
  booktitle = {14. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
  year = {2011},
  month = {feb},
  address = {Oldenburg, Germany},
  month_numeric = {2}
}

2010

State-based Coverage Analysis and UML-driven Equivalence Checking for C++ State Machines

by Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Roland Weiss, and Wolfgang Rosenstiel
In FM+AM 2010 P-179: 49-62. Lecture Notes in Informatics, 2010. [BIB]

@inproceedings{PJTJRW092010,
  author = {Heckeler, Patrick and Behrend, Jörg and Kropf, Thomas and Ruf, Jürgen and Weiss, Roland and Rosenstiel, Wolfgang},
  title = {State-based Coverage Analysis and UML-driven Equivalence Checking for C++ State Machines},
  booktitle = {FM+AM 2010},
  publisher = {Lecture Notes in Informatics},
  year = {2010},
  month = {sep},
  volume = {P-179},
  pages = {49-62},
  series = {LNI},
  address = {Pisa},
  month_numeric = {9}
}

2009

Semiformal verification of temporal properties in automotive hardware dependent software

by Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, and Stephan Reitemeyer
In DATE, pages 1214-1217, 2009. [BIB]

@inproceedings{2009,
  author = {Lettnin, Djones and Nalla, Pradeep Kumar and Behrend, Jörg and Ruf, Jürgen and Gerlach, Joachim and Kropf, Thomas and Rosenstiel, Wolfgang and Schönknecht, Volker and Reitemeyer, Stephan},
  title = {Semiformal verification of temporal properties in automotive hardware dependent software},
  booktitle = {DATE},
  year = {2009},
  pages = {1214-1217}
}

2008

Object-Oriented Message-Passing in Heterogeneous Environments

by Patrick Heckeler, M. Ritt, Jörg Behrend, and Wolfgang Rosenstiel
In Proceedings of the 15th European PVM/MPI Users’ Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface 5205: 151-158. Springer, 2008. [BIB]

@inproceedings{PMJW092008,
  author = {Heckeler, Patrick and Ritt, M. and Behrend, Jörg and Rosenstiel, Wolfgang},
  title = {Object-Oriented Message-Passing in Heterogeneous Environments},
  booktitle = {Proceedings of the 15th European PVM/MPI Users’ Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface },
  publisher = {Springer},
  year = {2008},
  month = {sep},
  volume = {5205},
  pages = {151-158},
  series = {Lecture Notes in Computer Science},
  address = {Berlin, Heidelberg},
  month_numeric = {9}
}

2007

Grid-Middlewares für Campus Grids

by Patrick Heckeler, Jörg Behrend, H. Planatscher, and Wolfgang Rosenstiel
In Grid-Technologie für den Entwurf technischer Systeme, 2007. [BIB]

@inproceedings{PJHW102007,
  author = {Heckeler, Patrick and Behrend, Jörg and Planatscher, H. and Rosenstiel, Wolfgang},
  title = {Grid-Middlewares für Campus Grids},
  booktitle = {Grid-Technologie für den Entwurf technischer Systeme},
  year = {2007},
  month = {oct},
  address = {Dresden},
  month_numeric = {10}
}

Entwurf und Verifikation von Hardware/Software - Systemen

by Jörg Behrend, Andreas Braun, Oliver Bringmann, M. Krause, Thomas Kropf, Stefan Lämmermann, P. Nalla, Wolfgang Rosenstiel, Jürgen Ruf, Timo Schönwald, J. Zimmermann, and Alexander Viehl
In Kooperationsmarkt des Ekompass-Workshops, 2007. [BIB]

@inproceedings{JAOMTSPWJTAuJ062007,
  author = {Behrend, Jörg and Braun, Andreas and Bringmann, Oliver and Krause, M. and Kropf, Thomas and Lämmermann, Stefan and Nalla, P. and Rosenstiel, Wolfgang and Ruf, Jürgen and Schönwald, Timo and Zimmermann, J. and Viehl, Alexander},
  title = {Entwurf und Verifikation von Hardware/Software - Systemen},
  booktitle = {Kooperationsmarkt des Ekompass-Workshops},
  year = {2007},
  month = {jun},
  address = {Hannover, Germany},
  month_numeric = {6}
}

UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen

by Stefan Lämmermann, Jörg Behrend, Roland Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel
In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pages 29-38, 2007. [BIB]

@inproceedings{SJRJTW032007,
  author = {Lämmermann, Stefan and Behrend, Jörg and Weiss, Roland and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
  year = {2007},
  month = {mar},
  pages = {29-38},
  address = {Erlangen, Germany},
  month_numeric = {3}
}

Grid Based Fast Falsification For Bounded Property Checking

by Pradeep Kumar Nalla, Jörg Behrend, Prakash M. Peranandam, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel
In Forum on Specification & Design Languages (FDL), 2007. [BIB]

@inproceedings{PKJPMJTW2007,
  author = {Nalla, Pradeep Kumar and Behrend, Jörg and Peranandam, Prakash M. and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Grid Based Fast Falsification For Bounded Property Checking},
  booktitle = {Forum on Specification & Design Languages (FDL)},
  year = {2007}
}

2006

Fast Distributed Property Checking

by Pradeep Kumar Nalla, Prakash M. Peranandam, Jürgen Ruf, S. Laemmermann, Jörg Behrend, Roland Weiss, Thomas Kropf, and Wolfgang Rosenstiel
In Design Automation and Test in Europe (DATE), 2006. [BIB]

@inproceedings{PKPMJSJRTW032006,
  author = {Nalla, Pradeep Kumar and Peranandam, Prakash M. and Ruf, Jürgen and Laemmermann, S. and Behrend, Jörg and Weiss, Roland and Kropf, Thomas and Rosenstiel, Wolfgang},
  title = {Fast Distributed Property Checking},
  booktitle = {Design Automation and Test in Europe (DATE)},
  year = {2006},
  month = {mar},
  address = {University Booth},
  month_numeric = {3}
}