Login / Signup
Jonathan Thaler
ORCID
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 4
Top Topics
Agent Based Simulation
Key Properties
Simulation Models
Transactional Memory
Top Venues
Auton. Agents Multi Agent Syst.
IFL
Complex Adapt. Syst. Model.
SummerSim
</>
Publications
</>
Jonathan Thaler
,
Peer-Olaf Siebers
Specification testing of agent-based simulation using property-based testing.
Auton. Agents Multi Agent Syst.
34 (2) (2020)
Jonathan Thaler
,
Peer-Olaf Siebers
Show me your properties: the potential of property-based testing in agent-based simulation.
SummerSim
(2019)
Jonathan Thaler
,
Peer-Olaf Siebers
A tale of lock-free agents: towards Software Transactional Memory in parallel Agent-Based Simulation.
Complex Adapt. Syst. Model.
7 (2019)
Jonathan Thaler
,
Thorsten Altenkirch
,
Peer-Olaf Siebers
Pure Functional Epidemics: An Agent-Based Approach.
IFL
(2018)