Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

AbsInt (Germany) | Researchclopedia

Back to institutions

AbsInt (Germany)

Saarbrückencompany

154

Works

8,692

Citations

33

h-index

Top Research Topics

Real-Time Systems Scheduling Embedded Systems Design Techniques Parallel Computing and Optimization Techniques

Top Researchers

Daniel L. Kastner AbsInt (Germany)

435 works50,489 citationsh-index: 112

Recent Research

coin-or/Clp: Release releases/1.17.11

John Forrest,Stefan Vigerske,et al.

20260 citations

Formal Methods in Verification

Software Testing and Debugging Techniques

Software Reliability and Analysis Research

Distributed systems and fault tolerance

Security and Verification in Computing

Radiation Effects in Electronics

Real-time simulation and control systems

VLSI and Analog Circuit Testing

Safety Systems Engineering in Autonomy

Michael D. Schmidt

229 works10,978 citationsh-index: 51

Reinhard Wilhelm Saarland University

362 works8,393 citationsh-index: 36

Florian Martin Inserm

313 works7,861 citationsh-index: 53

Christian Ferdinand

103 works4,482 citationsh-index: 22

Reinhold Heckmann AbsInt (Germany)

93 works4,087 citationsh-index: 21

coin-or/Cbc: Release releases/2.10.13

John Forrest,Ted K. Ralphs,et al.

20260 citations

coin-or/CoinUtils: Release releases/2.11.13

John Forrest,Stefan Vigerske,et al.

20260 citations

coin-or/Cgl: Release releases/0.60.10

John Forrest,Stefan Vigerske,et al.

20260 citations

Qualifying CompCert for Safety-Critical Avionics Software

Pister, Markus,Kaestner, Daniel,et al.

20260 citations

Optimal Allocation of Synchronous Condensers in Weak Grids with Variable Search Spaces

José Gómez,Fernando De Marco,et al.

20250 citations