Patrick Heckeler

14 papers A 1B 1Misc 1Journal 1Unranked 9

Year	Rank	Type	Title / Venue / Authors
2014	—	`conf`	Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. MBMV Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Stefan Huster, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel, Thomas Greiner
2014	—	`conf`	Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. MBMV Stefan Huster, Merdin Macic, Sebastian Burg, Hanno Eichelberger, Patrick Heckeler, 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	B	`conf`	More Flexible Object Invariants with Less Specification Overhead. SEFM Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
2014	—	`—`	Optimierte Robustheitstests für zustandsbehaftete Softwarekomponenten. Patrick Heckeler
2013	—	`conf`	A Software Testing Framework to Integrate Formal Verification Results. MBMV Stefan Huster, Patrick Heckeler, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
2013	Misc	`conf`	Accelerated robustness testing of state-based components using reverse execution. SAC Patrick Heckeler, Bastian Schlich, Thomas Kropf
2013	—	`conf`	Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. MBMV Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich
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
2008	—	`conf`	Object-Oriented Message-Passing in Heterogeneous Environments. PVM/MPI Patrick Heckeler, Marcus Ritt, Jörg Behrend, Wolfgang Rosenstiel