Olivier Biberstein

Structured Algebraic Nets with Object-Orientation

Olivier Biberstein, Didier Buchs · 1995 · 29 citations

Computing, Computer Science, Algebra +2

CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems

Olivier Biberstein · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 1997 · 26 citations · Full text

Computing, Computer Science, Computer Systems +16

Supporting Model-to-Model Transformations: The VMT Approach

Shane Sendall, Gilles Perrouin, Nicolas Guelfi et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2003 · 18 citations · Full text

Computing, Computer Science, Software Engineering +16

An Object Oriented Specification Language based on Hierarchical Petri Nets

Olivier Biberstein, Didier Buchs · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 1994 · 13 citations

Computing, Computer Science, Model-based Systems Engineering +16

Comparison of Object-Oriented Formal Methods

Nicolas Guelfi, Olivier Biberstein, Didier Buchs et al. · 1997 · 13 citations

Computing, Computer Science, Formal Methods +11