| 2008 |
|---|
| 20 | EE | Michel Sintzoff:
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems.
MPC 2008: 336-359 |
| 2004 |
|---|
| 19 | EE | Michel Sintzoff:
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games.
Essays in Memory of Ole-Johan Dahl 2004: 272-301 |
| 2003 |
|---|
| 18 | EE | Michel Sintzoff:
On the design of correct and optimal dynamical systems and games.
Inf. Process. Lett. 88(1-2): 59-65 (2003) |
| 1997 |
|---|
| 17 | | Martin Simons,
Michel Sintzoff:
Algebraic Composition and Refinement of Proofs.
AMAST 1997: 494-508 |
| 1996 |
|---|
| 16 | | Michel Sintzoff:
Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction).
Sci. Comput. Program. 26(1-3): 1-2 (1996) |
| 1995 |
|---|
| 15 | | Michel Sintzoff:
Abstract Verification of Structured Dynamical Systems.
Hybrid Systems 1995: 126-137 |
| 1993 |
|---|
| 14 | | Michel Sintzoff,
Frédéric Geurts:
Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition.
Analysis of Dynamical and Cognitive Systems 1993: 227-260 |
| 13 | | Michel Sintzoff:
Endomorphic Typing.
Formal Program Development 1993: 305-323 |
| 1991 |
|---|
| 12 | | Michel Sintzoff:
Invariance and Contraction by Infinite Iterations of Relations.
Research Directions in High-Level Parallel Programming Languages 1991: 349-373 |
| 1989 |
|---|
| 11 | | Michel Sintzoff:
The Scientific Engineering of Software.
ICSE 1989: 258 |
| 1984 |
|---|
| 10 | | Michel Sintzoff:
Bounded-Horizon Success-Complete Restriction of Inference Programs.
ICLP 1984: 139-150 |
| 1981 |
|---|
| 9 | | N. Frances,
Michael Rodeh,
Michel Sintzoff:
Distributed Termination with Interval Assertions.
ICFPC 1981: 280-291 |
| 8 | | Michel Sintzoff:
Editorial.
Sci. Comput. Program. 1(1-2): 1-2 (1981) |
| 1980 |
|---|
| 7 | | Michel Sintzoff:
Suggestions for Composing and Specifying Program Design Decisions.
Symposium on Programming 1980: 311-326 |
| 1979 |
|---|
| 6 | | Michel Sintzoff:
Principles for Distributing Programs.
Semantics of Concurrent Computation 1979: 337-347 |
| 5 | | Axel van Lamsweerde,
Michel Sintzoff:
Formal Derivation of Strongly Correct Concurrent Programs.
Acta Inf. 12: 1-31 (1979) |
| 1978 |
|---|
| 4 | | Michel Sintzoff:
Ensuring Correctness by Arbitrary Postfixed-Points.
MFCS 1978: 484-492 |
| 1976 |
|---|
| 3 | | Michel Sintzoff:
Eliminating Blind Alleys from Backtrack Programs.
ICALP 1976: 531-557 |
| 1975 |
|---|
| 2 | | Adriaan van Wijngaarden,
B. J. Mailloux,
J. 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 Inf. 5: 1-236 (1975) |
| 1971 |
|---|
| 1 | | Paul Branquart,
Johan Lewi,
Michel Sintzoff,
Pierre Wodon:
The Composition of Semantics in Algol 68.
Commun. ACM 14(11): 697-708 (1971) |
