Concepedia

Michiel Ronsse

MR

Statistics

Publications

14

Citations

689

H-Index

12

Active since

1995

Affiliations

Ghent University(Current)

Ghent University Hospital

Johannes Kepler University of Linz

Michiel Ronsse is an author at Ghent University specializing in engineering, computer engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisComputer EngineeringSoftware AnalysisFormal VerificationFormal MethodsSystem SoftwareSoftware TestingParallel Computing

Publications per year

1995–2004

14

Publications

14

RecPlay

Michiel Ronsse, Koen De Bosschere · ACM Transactions on Computer Systems · 1999 · 313 citations · Full text

Engineering, Cyclic Debugging, Computer Architecture +16

DIOTA: Dynamic instrumentation, optimization and transformation of applications

Jonas Maebe, Michiel Ronsse, Koen De Bosschere · Ghent University Academic Bibliography (Ghent University) · 2002 · 65 citations

Record/replay for nondeterministic program executions

Michiel Ronsse, Koen De Bosschere, Mark Christiaens et al. · Communications of the ACM · 2003 · 55 citations

Software Maintenance, Engineering, Verification +23

JaRec: a portable record/replay environment for multi‐threaded Java applications

Andy Georges, Mark Christiaens, Michiel Ronsse et al. · Software Practice and Experience · 2004 · 46 citations

Engineering, Embedded Systems, Hardware Systems +19

Execution replay and debugging

Michiel Ronsse, Koenraad De Bosschere, Jacques Chassin de Kergommeaux · ArXiv.org · 2000 · 37 citations · Full text

Software Maintenance, Engineering, Verification +19

1–5 of 14