# Michel Sintzoff

According to our database

^{1}, Michel Sintzoff## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2010

Model Refinement Using Bisimulation Quotients.

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

A Semiring Approach to Equivalences, Bisimulations and Control.

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems.

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

2004

Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games.

Proceedings of the From Object-Orientation to Formal Methods, 2004

2003

On the design of correct and optimal dynamical systems and games.

Inf. Process. Lett., 2003

1997

Algebraic Composition and Refinement of Proofs.

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction).

Sci. Comput. Program., 1996

1995

Abstract Verification of Structured Dynamical Systems.

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1993

Endomorphic Typing.

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition.

Proceedings of the Analysis of Dynamical and Cognitive Systems, 1993

1991

Invariance and Contraction by Infinite Iterations of Relations.

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

1989

The Scientific Engineering of Software.

Proceedings of the 11th International Conference on Software Engineering, 1989

1984

Bounded-Horizon Success-Complete Restriction of Inference Programs.

Proceedings of the Second International Logic Programming Conference, 1984

1981

Editorial.

Sci. Comput. Program., 1981

Distributed Termination with Interval Assertions.

Proceedings of the Formalization of Programming Concepts, 1981

Proof-oriented and applicative valuations in definitions of algorithms.

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

1980

Suggestions for Composing and Specifying Program Design Decisions.

Proceedings of the International Symposium on Programming, 1980

1979

Formal Derivation of Strongly Correct Concurrent Programs.

Acta Inf., 1979

Principles for Distributing Programs.

Proceedings of the Semantics of Concurrent Computation, 1979

1978

Ensuring Correctness by Arbitrary Postfixed-Points.

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1976

Eliminating Blind Alleys from Backtrack Programs.

ICALP, 1976

1975

Revised Report on the Algorithmic Language ALGOL 68

Acta Inf., 1975

1971

The Composition of Semantics in Algol 68.

Commun. ACM, 1971