Bram De Wachter

According to our database, Bram De Wachter authored at least 4 papers between 2003 and 2005.

Collaborative distances:

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

2005

dSL, a Language and Environment for the Design of Distributed Industrial Controllers

Bram De Wachter

PhD thesis, 2005

The formal design of distributed controllers with _dSL and Spin.

Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter

Formal Aspects Comput., 2005

From Static Code Distribution to More Shrinkage for the Multiterminal Cut.

Bram De Wachter, Alexandre Genon, Thierry Massart

Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005

2003

dSL: An Environment with Automatic Code Distribution for Industrial Control Systems.

Bram De Wachter, Thierry Massart, Cédric Meuter

Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003