Michel Sintzoff

Publication Activity (10 Years)

Years Active: 1971-2010
Publications (10 Years): 0

Publications

Roland Glück, Bernhard Möller, Michel Sintzoff
Model Refinement Using Bisimulation Quotients. AMAST (2010)
Roland Glück, Bernhard Möller, Michel Sintzoff
A Semiring Approach to Equivalences, Bisimulations and Control. RelMiCS (2009)
Michel Sintzoff
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. MPC (2008)
Michel Sintzoff
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games. Essays in Memory of Ole-Johan Dahl (2004)
Michel Sintzoff
On the design of correct and optimal dynamical systems and games. Inf. Process. Lett. 88 (1-2) (2003)
Martin Simons, Michel Sintzoff
Algebraic Composition and Refinement of Proofs. AMAST (1997)
Michel Sintzoff
Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction). Sci. Comput. Program. 26 (1-3) (1996)
Michel Sintzoff
Abstract Verification of Structured Dynamical Systems. Hybrid Systems (1995)
Michel Sintzoff, Frédéric Geurts
Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition. Analysis of Dynamical and Cognitive Systems (1993)
Michel Sintzoff
Endomorphic Typing. Formal Program Development (1993)
Michel Sintzoff
Invariance and Contraction by Infinite Iterations of Relations. Research Directions in High-Level Parallel Programming Languages (1991)
Michel Sintzoff
The Scientific Engineering of Software. ICSE (1989)
Michel Sintzoff
Bounded-Horizon Success-Complete Restriction of Inference Programs. ICLP (1984)
Michel Sintzoff
Editorial. Sci. Comput. Program. 1 (1-2) (1981)
N. Frances, Michael Rodeh, Michel Sintzoff
Distributed Termination with Interval Assertions. ICFPC (1981)
Michel Sintzoff
Proof-oriented and applicative valuations in definitions of algorithms. FPCA (1981)
Michel Sintzoff
Suggestions for Composing and Specifying Program Design Decisions. Symposium on Programming (1980)
Michel Sintzoff
Principles for Distributing Programs. Semantics of Concurrent Computation (1979)
Axel van Lamsweerde, Michel Sintzoff
Formal Derivation of Strongly Correct Concurrent Programs. Acta Informatica 12 (1979)
Michel Sintzoff
Ensuring Correctness by Arbitrary Postfixed-Points. MFCS (1978)
A. van Wijngaarcien, Barry J. Mailloux, John E. L. Peck, C. H. A. Kostcr, Michel Sintzoff, C. H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker
Revised Report on the Algorithmic Language ALGOL 68. ACM SIGPLAN Notices 12 (5) (1977)
Michel Sintzoff
Eliminating Blind Alleys from Backtrack Programs. ICALP (1976)
Adriaan van Wijngaarden, Barry J. Mailloux, John E. L. Peck, Cornelis H. A. Koster, Michel Sintzoff, C. H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker
Revised Report on the Algorithmic Language ALGOL 68 Acta Informatica 5 (1975)
Michel Sintzoff, Axel van Lamsweerde
Constructing correct and efficient concurrent programs. Reliable Software (1975)
John E. L. Peck, J. M. Watt, Michel Sintzoff
Revised ALGOL 68 syntax chart. ACM SIGPLAN Notices 9 (7) (1974)
Michel Sintzoff
Calculating properties of programs by valuations on specific models. Proving Assertions About Programs (1972)
Paul Branquart, Johan Lewi, Michel Sintzoff, Pierre L. Wodon
The Composition of Semantics in Algol 68. Commun. ACM 14 (11) (1971)