Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by J. Posthuma

A Debugging Tool for Distributed Systems

English

Related publications

gdbOF: A Debugging Tool for OpenFOAM®

Advances in Engineering Software
EngineeringSoftware
2012English

Temporal Debugging for Concurrent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

DiVinE – A Tool for Distributed Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Tool for Automatic Parallelization of Affine Programs for Systems With Shared and Distributed Memory

Russian Technological Journal
2019English

Tool Supported Specification and Simulation of Distributed Systems

English

A Framework for Automatic Debugging

English

Dimanager: A Tool for Distributed Software Development Management

2004English

Distributed Simulation for a Modeling and Simulation Tool: Papyrus

2019English

SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy