default search action
BibTeX records: Michel Sintzoff
@inproceedings{DBLP:conf/amast/GluckMS10, author = {Roland Gl{\"{u}}ck and Bernhard M{\"{o}}ller and Michel Sintzoff}, editor = {Michael Johnson and Dusko Pavlovic}, title = {Model Refinement Using Bisimulation Quotients}, booktitle = {Algebraic Methodology and Software Technology - 13th International Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6486}, pages = {76--91}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17796-5\_5}, doi = {10.1007/978-3-642-17796-5\_5}, timestamp = {Sun, 25 Oct 2020 23:16:25 +0100}, biburl = {https://dblp.org/rec/conf/amast/GluckMS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/GluckMS09, author = {Roland Gl{\"{u}}ck and Bernhard M{\"{o}}ller and Michel Sintzoff}, editor = {Rudolf Berghammer and Ali Jaoua and Bernhard M{\"{o}}ller}, title = {A Semiring Approach to Equivalences, Bisimulations and Control}, booktitle = {Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, {AKA} 2009, Doha, Qatar, November 1-5, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5827}, pages = {134--149}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04639-1\_10}, doi = {10.1007/978-3-642-04639-1\_10}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/GluckMS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/Sintzoff08, author = {Michel Sintzoff}, editor = {Philippe Audebaud and Christine Paulin{-}Mohring}, title = {Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems}, booktitle = {Mathematics of Program Construction, 9th International Conference, {MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5133}, pages = {336--359}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70594-9\_18}, doi = {10.1007/978-3-540-70594-9\_18}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/Sintzoff08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Sintzoff04, author = {Michel Sintzoff}, editor = {Olaf Owe and Stein Krogdahl and Tom Lyche}, title = {Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games}, booktitle = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl}, series = {Lecture Notes in Computer Science}, volume = {2635}, pages = {272--301}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-39993-3\_14}, doi = {10.1007/978-3-540-39993-3\_14}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Sintzoff04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Sintzoff03, author = {Michel Sintzoff}, title = {On the design of correct and optimal dynamical systems and games}, journal = {Inf. Process. Lett.}, volume = {88}, number = {1-2}, pages = {59--65}, year = {2003}, url = {https://doi.org/10.1016/S0020-0190(03)00387-9}, doi = {10.1016/S0020-0190(03)00387-9}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/Sintzoff03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/SimonsS97, author = {Martin Simons and Michel Sintzoff}, editor = {Michael Johnson}, title = {Algebraic Composition and Refinement of Proofs}, booktitle = {Algebraic Methodology and Software Technology, 6th International Conference, {AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1349}, pages = {494--508}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0000492}, doi = {10.1007/BFB0000492}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/SimonsS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Sintzoff96, author = {Michel Sintzoff}, title = {Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction)}, journal = {Sci. Comput. Program.}, volume = {26}, number = {1-3}, pages = {1--2}, year = {1996}, timestamp = {Thu, 27 Nov 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Sintzoff96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/Sintzoff95, author = {Michel Sintzoff}, editor = {Rajeev Alur and Thomas A. Henzinger and Eduardo D. Sontag}, title = {Abstract Verification of Structured Dynamical Systems}, booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the {DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}}, series = {Lecture Notes in Computer Science}, volume = {1066}, pages = {126--137}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0020940}, doi = {10.1007/BFB0020940}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/Sintzoff95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/SintzoffG93, author = {Michel Sintzoff and Fr{\'{e}}d{\'{e}}ric Geurts}, editor = {Stig I. Andersson}, title = {Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition}, booktitle = {Analysis of Dynamical and Cognitive Systems, Advanced Course, Stockholm, Sweden, August 9-14, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {888}, pages = {227--260}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58843-4\_20}, doi = {10.1007/3-540-58843-4\_20}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ac/SintzoffG93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2-1/Sintzoff93, author = {Michel Sintzoff}, editor = {Bernhard M{\"{o}}ller and Helmuth Partsch and Stephen A. Schuman}, title = {Endomorphic Typing}, booktitle = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art Report}, series = {Lecture Notes in Computer Science}, volume = {755}, pages = {305--323}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57499-9\_24}, doi = {10.1007/3-540-57499-9\_24}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/ifip2-1/Sintzoff93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hlppp/Sintzoff91, author = {Michel Sintzoff}, editor = {Jean{-}Pierre Ban{\^{a}}tre and Daniel Le M{\'{e}}tayer}, title = {Invariance and Contraction by Infinite Iterations of Relations}, booktitle = {Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings}, series = {Lecture Notes in Computer Science}, volume = {574}, pages = {349--373}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-55160-3\_55}, doi = {10.1007/3-540-55160-3\_55}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/hlppp/Sintzoff91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Sintzoff01, author = {Michel Sintzoff}, editor = {Larry E. Druffel and Dick Fairley and Dines Bj{\o}rner}, title = {The Scientific Engineering of Software}, booktitle = {Proceedings of the 11th International Conference on Software Engineering, Pittsburg, PA, USA, May 15-18, 1989}, pages = {258}, publisher = {{IEEE} Computer Society / {ACM} Press}, year = {1989}, url = {https://doi.org/10.1145/74587.74623}, doi = {10.1145/74587.74623}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/Sintzoff01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Sintzoff84, author = {Michel Sintzoff}, editor = {Sten{-}{\AA}ke T{\"{a}}rnlund}, title = {Bounded-Horizon Success-Complete Restriction of Inference Programs}, booktitle = {Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984}, pages = {139--150}, publisher = {Uppsala University}, year = {1984}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Sintzoff84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Sintzoff81, author = {Michel Sintzoff}, title = {Editorial}, journal = {Sci. Comput. Program.}, volume = {1}, number = {1-2}, pages = {1--2}, year = {1981}, url = {https://doi.org/10.1016/0167-6423(81)90002-2}, doi = {10.1016/0167-6423(81)90002-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Sintzoff81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpca/Sintzoff81, author = {Michel Sintzoff}, editor = {Arvind and Jack B. Dennis}, title = {Proof-oriented and applicative valuations in definitions of algorithms}, booktitle = {Proceedings of the 1981 conference on Functional programming languages and computer architecture, {FPCA} 1981, Wentworth, New Hampshire, USA, October 1981}, pages = {155--162}, publisher = {{ACM}}, year = {1981}, url = {https://doi.org/10.1145/800223.806774}, doi = {10.1145/800223.806774}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fpca/Sintzoff81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfpc/FrancesRS81, author = {N. Frances and Michael Rodeh and Michel Sintzoff}, editor = {Josep D{\'{\i}}az and Isidro Ramos}, title = {Distributed Termination with Interval Assertions}, booktitle = {Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {107}, pages = {280--291}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-10699-5\_105}, doi = {10.1007/3-540-10699-5\_105}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/icfpc/FrancesRS81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Sintzoff80, author = {Michel Sintzoff}, editor = {Bernard J. Robinet}, title = {Suggestions for Composing and Specifying Program Design Decisions}, booktitle = {International Symposium on Programming, Proceedings of the Fourth 'Colloque International sur la Programmation', Paris, France, 22-24 April 1980}, series = {Lecture Notes in Computer Science}, volume = {83}, pages = {311--326}, publisher = {Springer}, year = {1980}, url = {https://doi.org/10.1007/3-540-09981-6\_22}, doi = {10.1007/3-540-09981-6\_22}, timestamp = {Thu, 24 Feb 2022 13:41:39 +0100}, biburl = {https://dblp.org/rec/conf/programm/Sintzoff80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/LamsweerdeS79, author = {Axel van Lamsweerde and Michel Sintzoff}, title = {Formal Derivation of Strongly Correct Concurrent Programs}, journal = {Acta Informatica}, volume = {12}, pages = {1--31}, year = {1979}, url = {https://doi.org/10.1007/BF00264015}, doi = {10.1007/BF00264015}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/LamsweerdeS79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scc/Sintzoff79, author = {Michel Sintzoff}, editor = {Gilles Kahn}, title = {Principles for Distributing Programs}, booktitle = {Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979}, series = {Lecture Notes in Computer Science}, volume = {70}, pages = {337--347}, publisher = {Springer}, year = {1979}, url = {https://doi.org/10.1007/BFb0022478}, doi = {10.1007/BFB0022478}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/scc/Sintzoff79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Sintzoff78, author = {Michel Sintzoff}, editor = {J{\'{o}}zef Winkowski}, title = {Ensuring Correctness by Arbitrary Postfixed-Points}, booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978}, series = {Lecture Notes in Computer Science}, volume = {64}, pages = {484--492}, publisher = {Springer}, year = {1978}, url = {https://doi.org/10.1007/3-540-08921-7\_96}, doi = {10.1007/3-540-08921-7\_96}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Sintzoff78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/WijngaarcienMPK77, author = {A. van Wijngaarcien and Barry J. Mailloux and John E. L. Peck and C. H. A. Kostcr and Michel Sintzoff and Charles H. Lindsey and Lambert G. L. T. Meertens and R. G. Fisker}, title = {Revised Report on the Algorithmic Language {ALGOL} 68}, journal = {{ACM} {SIGPLAN} Notices}, volume = {12}, number = {5}, pages = {1--70}, year = {1977}, url = {https://doi.org/10.1145/954652.1781176}, doi = {10.1145/954652.1781176}, timestamp = {Sun, 28 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/WijngaarcienMPK77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0067689, author = {Adriaan van Wijngaarden and Barry J. Mailloux and John Edward Lancelot Peck and Cornelis H. A. Koster and Michel Sintzoff and Charles H. Lindsey and Lambert G. L. T. Meertens and R. G. Fisker}, title = {Revised Report on the Algorithmic Language Algol 68}, publisher = {Springer}, year = {1976}, url = {https://doi.org/10.1007/978-3-642-95279-1}, doi = {10.1007/978-3-642-95279-1}, isbn = {978-3-540-07592-9}, timestamp = {Sun, 28 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0067689.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Sintzoff76, author = {Michel Sintzoff}, editor = {S. Michaelson and Robin Milner}, title = {Eliminating Blind Alleys from Backtrack Programs}, booktitle = {Third International Colloquium on Automata, Languages and Programming, University of Edinburgh, UK, July 20-23, 1976}, pages = {531--557}, publisher = {Edinburgh University Press}, year = {1976}, timestamp = {Mon, 08 Jul 2019 10:58:24 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Sintzoff76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/WijngaardenMPKSLMF75, author = {Adriaan van Wijngaarden and Barry J. Mailloux and John E. L. Peck and Cornelis H. A. Koster and Michel Sintzoff and Charles H. Lindsey and Lambert G. L. T. Meertens and R. G. Fisker}, title = {Revised Report on the Algorithmic Language {ALGOL} 68}, journal = {Acta Informatica}, volume = {5}, pages = {1--236}, year = {1975}, url = {https://doi.org/10.1007/BF00265077}, doi = {10.1007/BF00265077}, timestamp = {Sun, 28 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/WijngaardenMPKSLMF75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/relsoft/SintzoffL75, author = {Michel Sintzoff and Axel van Lamsweerde}, editor = {Martin L. Shooman and Raymond T. Yeh}, title = {Constructing correct and efficient concurrent programs}, booktitle = {Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975}, pages = {319--326}, publisher = {{ACM}}, year = {1975}, url = {https://doi.org/10.1145/800027.808454}, doi = {10.1145/800027.808454}, timestamp = {Mon, 21 Feb 2022 14:26:04 +0100}, biburl = {https://dblp.org/rec/conf/relsoft/SintzoffL75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/PeckWS74, author = {John E. L. Peck and J. M. Watt and Michel Sintzoff}, title = {Revised {ALGOL} 68 syntax chart}, journal = {{ACM} {SIGPLAN} Notices}, volume = {9}, number = {7}, pages = {39}, year = {1974}, url = {https://doi.org/10.1145/953224.953229}, doi = {10.1145/953224.953229}, timestamp = {Wed, 02 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigplan/PeckWS74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/Sintzoff72, author = {Michel Sintzoff}, title = {Calculating properties of programs by valuations on specific models}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {203--207}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807086}, doi = {10.1145/800235.807086}, timestamp = {Thu, 24 Feb 2022 14:21:36 +0100}, biburl = {https://dblp.org/rec/conf/praapr/Sintzoff72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/BranquartLSW71, author = {Paul Branquart and Johan Lewi and Michel Sintzoff and Pierre L. Wodon}, title = {The Composition of Semantics in Algol 68}, journal = {Commun. {ACM}}, volume = {14}, number = {11}, pages = {697--708}, year = {1971}, url = {https://doi.org/10.1145/362854.362874}, doi = {10.1145/362854.362874}, timestamp = {Mon, 28 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cacm/BranquartLSW71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.