Michel Sintzoff

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