A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “empirical validation” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations
Integrating KoAT’s push-button probabilistic cost analysis into Caesar
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Mats Eblenkamp

0

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations

5 results