Janine Magnier

According to our database, Janine Magnier authored at least 6 papers between 1992 and 2000.

Collaborative distances:

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

2000

A process for improving multi-technology system high level design: modeling, verification and validation of complex optronic systems.

Frédérick Bénaben, Mireille Larnac, Jean-Paul Pignon, Janine Magnier

Proceedings of the IEEE International Conference on Systems, 2000

1999

Simplification of Proof Procedures Based on the Path Condition Concepts.

Mireille Larnac, Janine Magnier, Vincent Chapurlat

Proceedings of the Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29, 1999

1998

User defined multi-criteria added-value for enterprise processes analysis.

Didier Crestani, C. Covès, François Prunet, D. Chalvet, Merlin Gerin Alès, Vincent Chapurlat, Mireille Larnac, Janine Magnier

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

Formal Representation and Proof of the Interpreted Sequential Machine Model.

Mireille Larnac, Vincent Chapurlat, Janine Magnier, Benjamin Chenot

Proceedings of the Computer Aided Systems Theory, 1997

1995

Temporal and Functional Verification of a Symbolic Representation of Complex Systems.

Mireille Larnac, Janine Magnier, Eric Vandermeulen, Gérard Dray, Vincent Chapurlat

Proceedings of the Computer Aided Systems Theory, 1995

1992

Temporal verification of behavioral descriptions in VHDL.

Djamel Boussebha, Norbert Giambiasi, Janine Magnier

Proceedings of the conference on European design automation, 1992