Robert Büssow

According to our database, Robert Büssow authored at least 8 papers between 1995 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Processing a Trillion Cells per Mouse Click.

Alexander Hall, Olaf Bachmann, Robert Büssow, Silviu Ganceanu, Marc Nunkesser

Proc. VLDB Endow., 2012

2003

Model checking combined Z and statechart specifications.

Robert Büssow

PhD thesis, 2003

1999

A Modular Framework for the Integration of Heterogeneous Notations and Tools.

Robert Büssow, Wolfgang Grieskamp

Proceedings of the Integrated Formal Methods, 1999

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.

Herbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke

Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1998

An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools.

Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann

Proceedings of the Applied Formal Methods, 1998

Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.

Robert Büssow, Robert Geisler, Marcus Klar

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997

Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems.

Robert Büssow, Wolfgang Grieskamp

Proceedings of the Advances in Computing Science, 1997

1995

A Steam-Boiler Control Specification with Statecharts and Z.

Robert Büssow, Matthias Weber

Proceedings of the Formal Methods for Industrial Applications, 1995