Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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
C. 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 = {Wed, 02 Mar 2022 00:00:00 +0100},
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
C. 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 = {Wed, 02 Mar 2022 00:00:00 +0100},
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
C. 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 = {Wed, 02 Mar 2022 00:00:00 +0100},
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}
}
a service of 
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.
last updated on 2024-04-25 02:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
