According to our database1, Michel Sintzoff
Legend:Book In proceedings Article PhD thesis Other
Model Refinement Using Bisimulation Quotients.
Proceedings of the Algebraic Methodology and Software Technology, 2010
A Semiring Approach to Equivalences, Bisimulations and Control.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems.
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games.
Proceedings of the From Object-Orientation to Formal Methods, 2004
On the design of correct and optimal dynamical systems and games.
Inf. Process. Lett., 2003
Algebraic Composition and Refinement of Proofs.
Proceedings of the Algebraic Methodology and Software Technology, 1997
Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction).
Sci. Comput. Program., 1996
Abstract Verification of Structured Dynamical Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995
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
Invariance and Contraction by Infinite Iterations of Relations.
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991
The Scientific Engineering of Software.
Proceedings of the 11th International Conference on Software Engineering, 1989
Bounded-Horizon Success-Complete Restriction of Inference Programs.
Proceedings of the Second International Logic Programming Conference, 1984
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
Suggestions for Composing and Specifying Program Design Decisions.
Proceedings of the International Symposium on Programming, 1980
Formal Derivation of Strongly Correct Concurrent Programs.
Acta Inf., 1979
Principles for Distributing Programs.
Proceedings of the Semantics of Concurrent Computation, 1979
Ensuring Correctness by Arbitrary Postfixed-Points.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978
Eliminating Blind Alleys from Backtrack Programs.
Revised Report on the Algorithmic Language ALGOL 68
Acta Inf., 1975
The Composition of Semantics in Algol 68.
Commun. ACM, 1971