Jens Gerlach

21 papers A 1C 3Misc 1Journal 3Unranked 12
YearRankTypeTitle / Venue / Authors
2016 — conf
Specification and Proof of High-Level Functional Properties of Bit-Level Programs.
NFM
Clément Fumex, Claire Dross, Jens Gerlach, Claude Marché
2013 — conf
An Explicit Formula for Sorting and its Application to Sorting in Lattices.
CS&P
Jens Gerlach
2013 C conf
Formal specification and automated verification of railway software with Frama-C.
INDIN
Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Völlinger
2013 J jnl
Recursive Sorting in Lattices.
CoRR
Jens Gerlach
2013 J jnl
Sorting in Lattices
CoRR
Jens Gerlach
2010 — conf
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie.
FORMS/FORMAT
Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse
2003 — conf
Generic Programming for Scientific Computing in C++, Java, and C#.
APPT
Jens Gerlach, Joachim Kneis
2003 Misc conf
Using the Bridge Design Pattern for OSGi Service Update.
EuroPLoP
Hans Werner Pohl, Jens Gerlach
2002 — —
Domain engineering and generic programming for parallel scientific computing.
Jens Gerlach
2002 J jnl
Generic Programming of Parallel Applications with Janus.
Parallel Process. Lett.
Jens Gerlach
2001 A conf
A Generic C++ Framework for Parallel Mesh Based Scientific Applications.
IPDPS
Jens Gerlach, Peter Gottschling
2001 C conf
A Generic C++ Framework for Parallel Mesh-Based Scientific Applications.
HIPS
Jens Gerlach, Peter Gottschling, Uwe Der
2001 — conf
Integrating OpenMP into Janus.
WOMPAT
Jens Gerlach, Zheng-Yu Jiang, Hans Werner Pohl
1999 — conf
Generic Programming for Parallel Mesh Problems.
ISCOPE
Jens Gerlach, Mitsuhisa Sato
1998 — conf
Janus: A C++ Template Library for Parallel Dynamic Mesh Applications.
ISCOPE
Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa
1997 — conf
A Framework for Parallel Adaptive Finite Element Methods and Its Template Based Implementation in CC++.
ISCOPE
Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa
1997 — conf
Experiences with the C++ Standard Template Library and MPI for a Parallel Particle Simulation Method.
HPCN Europe
Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa
1996 — conf
Finite element methods in the PROMOTOR programming model.
EUROSIM
Jens Gerlach, Gerd Heber, Andreas Schramm
1995 C conf
Load-balancing and object-orientation: a case study from mesoscale flow modelling.
PDP
Lars Büttner, Jens Gerlach
1994 — conf
An Object-Oriented Program Family for the Parallel Simulation of Mesoscale Weather and Transport Processes.
EUROSIM
Jens Gerlach, Birgit Kähler
1994 — conf
Parallelization of a Mesoscale Model of Atmospheric Circulation - An Object-Oriented Approach.
HPCN
Jens Gerlach, Birgit Kähler