A Aralex Aachen research explorer

Formal Aspects of Computing Sign in to save

Search and filter its papers →

6

Aachen authors

Patent citations

–

h-index (all)

Aachen papers per year

21

24

25

Papers 4

Symbolic execution formally explained
2021 Formal Aspects of Computing article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Marcello Bonsangue

13

citations
Counterexample-guided inductive synthesis for probabilistic systems
2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen

7

citations
Introduction to the Special Collection from FM 2023
2025 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

Marsha Chećhik, Joost-Pieter Katoen

0

citations
Footprint Logic for Object-Oriented Components (extended paper)
2024 Formal Aspects of Computing article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian

0

citations

4 results

Most active Aachen authors

Joost-Pieter Katoen 20,330 citations overall
2 papers
Frank S. de Boer 1,022 citations overall
2 papers
Marcello Bonsangue 2,522 citations overall
1 paper
Christian Hensel 385 citations overall
1 paper
Hans-Dieter A. Hiep 52 citations overall
1 paper
Jinting Bian 41 citations overall
1 paper