Eugène Dürr

14 papers C 1Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2008 J jnl
Dataset Preservation for the Long Term: Results of the DareLux Project.
Int. J. Digit. Curation
Eugène Dürr, Kees van der Meer, Wim Luxemburg, Ronald Dekker
2008 J jnl
Long-time preservation of data sets, results of the DareLux project.
Inf. Serv. Use
Eugène Dürr, Kees van der Meer, Wim Luxemburg, Maria Heijne, Ronald Dekker
2002 — conf
An Electronic Archive for Academic Communities.
NDDL
Ronald Dekker, Eugène Dürr, M. Slabbertje, Kees van der Meer
2002 — conf
Programs for Ever.
NDDL
Eugène Dürr, Wim Lourens
1998 — conf
Workshop on Object-Oriented Real-Time Systems.
ECOOP Workshops
Leonor Barroca, Eugène Dürr, François Terrier
1997 C conf
Hybrid Object-Oriented Real-Time Software Development with VDM
ICFEM
Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack
1997 — conf
Object-Oriented Real-Time Systems: Workshop Report.
ECOOP Workshops
Leonor Barroca, Eugène Dürr, François Terrier
1997 — conf
Specification and Refinement of Continuous Real-Time Systems.
ARTS
Stephen J. Goldsack, Kevin Lano, Eugène Dürr
1996 J jnl
Annealing and Data Decomposition in VDM++.
ACM SIGPLAN Notices
Stephen J. Goldsack, Kevin Lano, Eugène Dürr
1996 — conf
Real Time Formal Specification using VDM++.
SBES
Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk
1996 — conf
Real time formal specification using VDM
WORDS
Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack
1994 — conf
Rigorous Development of Concurrent O-O Systems.
TOOLS (13)
Eugène Dürr, Stephen J. Goldsack
1993 — conf
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System.
FME
Eugène Dürr, Liesbeth M. Dusink
1992 — conf
VDM++, A Formal Specification Language for OO Designs.
TOOLS (7)
Eugène Dürr, Jan van Katwijk