Eric Brunel

According to our database, Eric Brunel authored at least 4 papers between 1991 and 2023.

Collaborative distances:

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

2023

Language Agnostic Model Checking for SDL.

Emmanuel Gaudin, Eric Brunel, Mihal Brumbulli

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2013

Property Verification with MSC.

Emmanuel Gaudin, Eric Brunel

Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013

1991

Definition and Manipulation of Forms with FO2.

Christine Collet, Eric Brunel

Proceedings of the Visual Database Systems, II. Proceedings of the IFIP TC2/WG 2.6 Second Working Conference on Visual Database Systems. Budapest, Hungary, 30 September, 1991

A Form System for an Object-Oriented Database System.

Christine Collet, Eric Brunel

Proceedings of the Proceedings of the International Conference on Database and Expert Systems Applications, 1991