Jens Gerlach

According to our database, Jens Gerlach authored at least 21 papers between 1994 and 2016.

Collaborative distances:

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

2016

Specification and Proof of High-Level Functional Properties of Bit-Level Programs.

Clément Fumex, Claire Dross, Jens Gerlach, Claude Marché

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2013

Sorting in Lattices

Jens Gerlach

CoRR, 2013

Recursive Sorting in Lattices.

Jens Gerlach

CoRR, 2013

Formal specification and automated verification of railway software with Frama-C.

Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Völlinger

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

An Explicit Formula for Sorting and its Application to Sorting in Lattices.

Jens Gerlach

Proceedings of the 22nd International Workshop on Concurrency, 2013

2010

Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie.

Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse

Proceedings of the FORMS/FORMAT 2010, 2010

2003

Using the Bridge Design Pattern for OSGi Service Update.

Hans Werner Pohl, Jens Gerlach

Proceedings of the 8th European Conference on Pattern Languages of Programms (EuroPLoP '2003), 2003

Generic Programming for Scientific Computing in C++, Java, and C#.

Jens Gerlach, Joachim Kneis

Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003

2002

Domain engineering and generic programming for parallel scientific computing.

Jens Gerlach

PhD thesis, 2002

Generic Programming of Parallel Applications with Janus.

Jens Gerlach

Parallel Process. Lett., 2002

2001

Integrating OpenMP into Janus.

Jens Gerlach, Zheng-Yu Jiang, Hans Werner Pohl

Proceedings of the OpenMP Shared Memory Parallel Programming, 2001

A Generic C++ Framework for Parallel Mesh Based Scientific Applications.

Jens Gerlach, Peter Gottschling

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

A Generic C++ Framework for Parallel Mesh-Based Scientific Applications.

Jens Gerlach, Peter Gottschling, Uwe Der

Proceedings of the High-Level Parallel Programming Models and Supportive Environments, 2001

1999

Generic Programming for Parallel Mesh Problems.

Jens Gerlach, Mitsuhisa Sato

Proceedings of the Computing in Object-Oriented Parallel Environments, 1999

1998

Janus: A C++ Template Library for Parallel Dynamic Mesh Applications.

Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa

Proceedings of the Computing in Object-Oriented Parallel Environments, 1998

1997

A Framework for Parallel Adaptive Finite Element Methods and Its Template Based Implementation in CC++.

Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa

Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, 1997

Experiences with the C++ Standard Template Library and MPI for a Parallel Particle Simulation Method.

Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa

Proceedings of the High-Performance Computing and Networking, 1997

1996

Finite element methods in the PROMOTOR programming model.

Jens Gerlach, Gerd Heber, Andreas Schramm

Proceedings of the EUROSIM'96, 1996

1995

Load-balancing and object-orientation: a case study from mesoscale flow modelling.

Lars Büttner, Jens Gerlach

Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), 1995

1994

Parallelization of a Mesoscale Model of Atmospheric Circulation - An Object-Oriented Approach.

Jens Gerlach, Birgit Kähler

Proceedings of the High-Performance Computing and Networking, 1994

An Object-Oriented Program Family for the Parallel Simulation of Mesoscale Weather and Transport Processes.

Jens Gerlach, Birgit Kähler

Proceedings of the Massively Parallel Processing Applications and Develompent, 1994