Jörg Behrend

According to our database, Jörg Behrend authored at least 13 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Optimized hybrid verification of embedded software.

Jörg Behrend

PhD thesis, 2017

2015

Scalable and Optimized Hybrid Verification of Embedded Software.

Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

J. Electron. Test., 2015

2014

LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation.

Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Optimized hybrid verification of embedded software.

Jörg Behrend, Alexander Grünhage, Douglas Schroeder, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the 15th Latin American Test Workshop, 2014

2012

Optimized Static Parameter Assignment for Semiformal Software Verification.

Alexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

2011

DWARF-driven Equivalence Checking of UML Statecharts and Software Components.

Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Roland Weiss

Softwaretechnik-Trends, 2011

Scalable and Extendable Hybrid Verification Platform.

Jörg Behrend, Patrick Heckeler, Stefan Huster, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Scalable hybrid verification for embedded software.

Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Design, Automation and Test in Europe, 2011

2010

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

Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss

Proceedings of the FM+AM 2010, 2010

2009

Semiformal verification of temporal properties in automotive hardware dependent software.

Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Object-Oriented Message-Passing in Heterogeneous Environments.

Patrick Heckeler, Marcus Ritt, Jörg Behrend, Wolfgang Rosenstiel

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

2007

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

Stefan Lämmermann, Jörg Behrend, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Grid Based Fast Falsification For Bounded Property Checking.

Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Forum on specification and Design Languages, 2007