Dr. Jörg Behrend
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 RosenstielIn 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 WeissIn 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 RosenstielIn 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 RosenstielIn 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 RosenstielIn 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 ReitemeyerIn 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 RosenstielIn 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 RosenstielIn 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 ViehlIn 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 RosenstielIn 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 RosenstielIn 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 RosenstielIn 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}
}