Jörg Behrend

13 papers A 2C 1Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2017 — —
Optimized hybrid verification of embedded software.
Jörg Behrend
2015 J jnl
Scalable and Optimized Hybrid Verification of Embedded Software.
J. Electron. Test.
Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2014 — conf
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation.
MBMV
Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann
2014 — conf
Optimized hybrid verification of embedded software.
LATW
Jörg Behrend, Alexander Grünhage, Douglas Schroeder, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2012 — conf
Optimized Static Parameter Assignment for Semiformal Software Verification.
MBMV
Alexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin
2011 J jnl
DWARF-driven Equivalence Checking of UML Statecharts and Software Components.
Softwaretechnik-Trends
Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Roland Weiss
2011 — conf
Scalable and Extendable Hybrid Verification Platform.
MBMV
Jörg Behrend, Patrick Heckeler, Stefan Huster, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2011 A conf
Scalable hybrid verification for embedded software.
DATE
Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2010 — conf
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines.
FM+AM
Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland Weiss
2009 A conf
Semiformal verification of temporal properties in automotive hardware dependent software.
DATE
Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer
2008 — conf
Object-Oriented Message-Passing in Heterogeneous Environments.
PVM/MPI
Patrick Heckeler, Marcus Ritt, Jörg Behrend, Wolfgang Rosenstiel
2007 C conf
Grid Based Fast Falsification For Bounded Property Checking.
FDL
Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2007 — conf
UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen.
MBMV
Stefan Lämmermann, Jörg Behrend, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel