Eugène Dürr

According to our database1, Eugène Dürr authored at least 14 papers between 1992 and 2008.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Long-time preservation of data sets, results of the DareLux project.
Inf. Serv. Use, 2008

Dataset Preservation for the Long Term: Results of the DareLux Project.
Int. J. Digit. Curation, 2008

2002
Programs for Ever.
Proceedings of the New Developments in Digital Libraries, 2002

An Electronic Archive for Academic Communities.
Proceedings of the New Developments in Digital Libraries, 2002

1998
Workshop on Object-Oriented Real-Time Systems.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
Hybrid Object-Oriented Real-Time Software Development with VDM<sup>++</sup>.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Object-Oriented Real-Time Systems: Workshop Report.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Specification and Refinement of Continuous Real-Time Systems.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996
Annealing and Data Decomposition in VDM++.
ACM SIGPLAN Notices, 1996

Real time formal specification using VDM<sup>++</sup>.
Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Real Time Formal Specification using VDM++.
Proceedings of the 10th Brazilian Symposium on Software Engineering, 1996

1994
Rigorous Development of Concurrent O-O Systems.
Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994

1993
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992
VDM++, A Formal Specification Language for OO Designs.
Proceedings of the TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, 1992


  Loading...