Didier Buchs

Didier Buchs

Université de Geneve - Geneva / Switzerland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1102615
Universität Genf
person_outline Didier Buchs's MOST POPULAR ARTICLES
1-) CO-OPN: A concurrent object oriented approachD BuchsLNCS 524, 432-454, 19911361991
2-) Object-oriented nets with algebraic specifications: The CO-OPN/2 formalismO Biberstein, D Buchs, N GuelfiConcurrent Object-Oriented Programming and Petri Nets, 73-130, 20011192001
3-) A formal specification framework for object-oriented distributed systemsD Buchs, N GuelfiIEEE Transactions on Software Engineering 26 (7), 635-652, 2000872000
4-) Perspectives in the use of coloured Petri nets for risk analysis and accident modellingD Vernez, D Buchs, G PierrehumbertSafety science 41 (5), 445-463, 2003782003
5-) A theory of specification-based testing for object-oriented softwareS Barbey, D Buchs, C PéraireDependable Computing—EDCC-2: Second European Dependable Computing …, 1996771996