default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gérard Berry
@incollection{DBLP:books/sp/24/Berry24,
author = {G{\'{e}}rard Berry},
editor = {Bertrand Meyer},
title = {The French School of Programming: {A} Personal View},
booktitle = {The French School of Programming},
pages = {1--13},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-34518-0\_1},
doi = {10.1007/978-3-031-34518-0\_1},
timestamp = {Mon, 24 Jun 2024 09:31:22 +0200},
biburl = {https://dblp.org/rec/books/sp/24/Berry24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BerryS20,
author = {G{\'{e}}rard Berry and
Manuel Serrano},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {HipHop.js: (A)Synchronous reactive web programming},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {533--545},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385984},
doi = {10.1145/3385412.3385984},
timestamp = {Tue, 09 Jun 2020 13:45:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BerryS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12582,
author = {G{\'{e}}rard Berry and
Lionel Rieg},
title = {Towards Coq-verified Esterel Semantics and Compiling},
journal = {CoRR},
volume = {abs/1909.12582},
year = {2019},
url = {http://arxiv.org/abs/1909.12582},
eprinttype = {arXiv},
eprint = {1909.12582},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-12582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/VidalBS18,
author = {Colin Vidal and
G{\'{e}}rard Berry and
Manuel Serrano},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Hiphop.js: a language to orchestrate web applications},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {2193--2195},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167440},
doi = {10.1145/3167132.3167440},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/VidalBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Berry16,
author = {G{\'{e}}rard Berry},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formally Unifying Modeling and Design for Embedded Systems - {A} Personal
View},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {134--149},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_11},
doi = {10.1007/978-3-319-47169-3\_11},
timestamp = {Wed, 16 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Berry16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/BerryS14,
author = {G{\'{e}}rard Berry and
Manuel Serrano},
editor = {Raja Natarajan},
title = {Hop and HipHop: Multitier Web Orchestration},
booktitle = {Distributed Computing and Internet Technology - 10th International
Conference, {ICDCIT} 2014, Bhubaneswar, India, February 6-9, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8337},
pages = {1--13},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04483-5\_1},
doi = {10.1007/978-3-319-04483-5\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/BerryS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerryS13,
author = {G{\'{e}}rard Berry and
Manuel Serrano},
title = {Hop and HipHop : Multitier Web Orchestration},
journal = {CoRR},
volume = {abs/1312.0078},
year = {2013},
url = {http://arxiv.org/abs/1312.0078},
eprinttype = {arXiv},
eprint = {1312.0078},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BerryS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/SerranoB12,
author = {Manuel Serrano and
G{\'{e}}rard Berry},
title = {Multitier programming in Hop},
journal = {Commun. {ACM}},
volume = {55},
number = {8},
pages = {53--59},
year = {2012},
url = {https://doi.org/10.1145/2240236.2240253},
doi = {10.1145/2240236.2240253},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/SerranoB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/MendlerSB12,
author = {Michael Mendler and
Thomas R. Shiple and
G{\'{e}}rard Berry},
title = {Constructive Boolean circuits and the exactness of timed ternary simulation},
journal = {Formal Methods Syst. Des.},
volume = {40},
number = {3},
pages = {283--329},
year = {2012},
url = {https://doi.org/10.1007/s10703-012-0144-6},
doi = {10.1007/S10703-012-0144-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/MendlerSB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/SerranoB12,
author = {Manuel Serrano and
G{\'{e}}rard Berry},
title = {Multitier Programming in Hop},
journal = {{ACM} Queue},
volume = {10},
number = {7},
pages = {10},
year = {2012},
url = {https://doi.org/10.1145/2330087.2330089},
doi = {10.1145/2330087.2330089},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/queue/SerranoB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Berry11,
author = {G{\'{e}}rard Berry},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Challenges and potential solutions for complex embedded systems},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {1--2},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038644},
doi = {10.1145/2038642.2038644},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/Berry11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/GuptaABB08,
author = {Rajesh Gupta and
Arvind and
G{\'{e}}rard Berry and
Forrest Brewer},
title = {Advances in {ESL} Design},
journal = {{IEEE} Des. Test Comput.},
volume = {25},
number = {6},
pages = {520--526},
year = {2008},
url = {https://doi.org/10.1109/MDT.2008.153},
doi = {10.1109/MDT.2008.153},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/GuptaABB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023221,
author = {Dumitru Potop{-}Butucaru and
Stephen A. Edwards and
G{\'{e}}rard Berry},
title = {Compiling Esterel},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-70628-3},
doi = {10.1007/978-0-387-70628-3},
isbn = {978-0-387-70626-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0023221.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Berry07,
author = {G{\'{e}}rard Berry},
editor = {Stefan Leue and
Pedro Merino},
title = {Synchronous Design and Verification of Critical Embedded Systems Using
{SCADE} and Esterel},
booktitle = {Formal Methods for Industrial Critical Systems, 12th International
Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4916},
pages = {2},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79707-4\_2},
doi = {10.1007/978-3-540-79707-4\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Berry07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/Berry07,
author = {G{\'{e}}rard Berry},
title = {Circuit design and verication with Esterel v7 and Esterel Studio},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2007, Irvine, CA, USA, November 7-9, 2007},
pages = {133--136},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/HLDVT.2007.4392800},
doi = {10.1109/HLDVT.2007.4392800},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/Berry07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Berry05,
author = {G{\'{e}}rard Berry},
editor = {Maura Cerioli},
title = {Esterel v7: From Verified Formal Specification to Efficient Industrial
Designs},
booktitle = {Fundamental Approaches to Software Engineering, 8th International
Conference, {FASE} 2005, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April
4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3442},
pages = {1},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31984-9\_1},
doi = {10.1007/978-3-540-31984-9\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/Berry05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ArditiBK04,
author = {Laurent Arditi and
G{\'{e}}rard Berry and
Michael Kishinevsky},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {128--143},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_10},
doi = {10.1007/978-3-540-30494-4\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ArditiBK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/Berry04,
author = {G{\'{e}}rard Berry},
title = {Synchronous Methodology for Designing Hardware, Software and Mixed
Embedded Systems},
booktitle = {17th International Conference on {VLSI} Design {(VLSI} Design 2004),
with the 3rd International Conference on Embedded Systems Design,
5-9 January 2004, Mumbai, India},
pages = {24},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICVD.2004.1260897},
doi = {10.1109/ICVD.2004.1260897},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/Berry04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BerryKS03,
author = {G{\'{e}}rard Berry and
Michael Kishinevsky and
Satnam Singh},
title = {System Level Design and Verification Using a Synchronous Language},
booktitle = {2003 International Conference on Computer-Aided Design, {ICCAD} 2003,
San Jose, CA, USA, November 9-13, 2003},
pages = {433--440},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/ICCAD.2003.1257813},
doi = {10.1109/ICCAD.2003.1257813},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/BerryKS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DillJRBFFRSW02,
author = {David L. Dill and
Nate James and
Shishpal Rawat and
G{\'{e}}rard Berry and
Limor Fix and
Harry Foster and
Rajeev K. Ranjan and
Gunnar St{\aa}lmarck and
Curt Widdoes},
title = {Formal verification methods: getting around the brick wall},
booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
New Orleans, LA, USA, June 10-14, 2002},
pages = {576--577},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513918.514064},
doi = {10.1145/513918.514064},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/DillJRBFFRSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BerryBBD02,
author = {G{\'{e}}rard Berry and
Lionel Blanc and
Amar Bouali and
Jerome Dormoy},
title = {Top-level validation of system-on-chip in Esterel Studio},
booktitle = {Seventh {IEEE} International High-Level Design Validation and Test
Workshop 2002, Cannes, France, October 27-29, 2002},
pages = {36--41},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/HLDVT.2002.1224425},
doi = {10.1109/HLDVT.2002.1224425},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/BerryBBD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BerryS01,
author = {G{\'{e}}rard Berry and
Ellen Sentovich},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Multiclock Esterel},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {110--125},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_10},
doi = {10.1007/3-540-44798-9\_10},
timestamp = {Sun, 02 Jun 2019 21:23:48 +0200},
biburl = {https://dblp.org/rec/conf/charme/BerryS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GuptaRVBCGKS01,
author = {Rajesh K. Gupta and
Shishpal Rawat and
Ingrid Verbauwhede and
G{\'{e}}rard Berry and
Ramesh Chandra and
Daniel Gajski and
Kris Konigsfeld and
Patrick Schaumont},
title = {Panel: The Next {HDL:} If {C++} is the Answer, What was the Question?},
booktitle = {Proceedings of the 38th Design Automation Conference, {DAC} 2001,
Las Vegas, NV, USA, June 18-22, 2001},
pages = {71--72},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378239.378330},
doi = {10.1145/378239.378330},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/GuptaRVBCGKS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Berry01,
author = {G{\'{e}}rard Berry},
editor = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {Synchronous Programming Techniques for Embedded Systems: Present and
Future},
booktitle = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
City, CA, USA, October, 8-10, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2211},
pages = {50},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45449-7\_4},
doi = {10.1007/3-540-45449-7\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/Berry01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2001,
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4},
doi = {10.1007/3-540-44585-4},
isbn = {3-540-42345-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BerryS00,
author = {G{\'{e}}rard Berry and
Ellen Sentovich},
title = {An Implementation of Constructive Synchronous Programs in {POLIS}},
journal = {Formal Methods Syst. Des.},
volume = {17},
number = {2},
pages = {135--161},
year = {2000},
url = {https://doi.org/10.1023/A:1008796718837},
doi = {10.1023/A:1008796718837},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BerryS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BerryBFLNS00,
author = {G{\'{e}}rard Berry and
Amar Bouali and
Xavier Fornari and
Emmanuel Ledinot and
Eric Nassor and
Robert de Simone},
title = {{ESTEREL:} a formal method applied to avionic software development},
journal = {Sci. Comput. Program.},
volume = {36},
number = {1},
pages = {5--25},
year = {2000},
url = {https://doi.org/10.1016/S0167-6423(99)00015-5},
doi = {10.1016/S0167-6423(99)00015-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BerryBFLNS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Berry00,
author = {G{\'{e}}rard Berry},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {The foundations of Esterel},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {425--454},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 08:50:50 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Berry00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Berry99,
author = {G{\'{e}}rard Berry},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract)},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {1},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_1},
doi = {10.1007/3-540-48153-2\_1},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/Berry99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Berry97,
author = {G{\'{e}}rard Berry},
editor = {Orna Grumberg},
title = {Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous
Design},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {303},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_30},
doi = {10.1007/3-540-63166-6\_30},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Berry97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SentovichTB97,
author = {Ellen Sentovich and
Horia Toma and
G{\'{e}}rard Berry},
editor = {Ellen J. Yoffa and
Giovanni De Micheli and
Jan M. Rabaey},
title = {Efficient Latch Optimization Using Exclusive Sets},
booktitle = {Proceedings of the 34st Conference on Design Automation, Anaheim,
California, USA, Anaheim Convention Center, June 9-13, 1997},
pages = {8--11},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/266021.266026},
doi = {10.1145/266021.266026},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SentovichTB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Berry97,
author = {G{\'{e}}rard Berry},
editor = {Ed Brinksma},
title = {Hardware and Software Synthesis, Optimization, and Verification from
Esterel Programs},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third
International Workshop, {TACAS} '97, Enschede, The Netherlands, April
2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1217},
pages = {1--3},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035376},
doi = {10.1007/BFB0035376},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Berry97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Berry96,
author = {G{\'{e}}rard Berry},
editor = {Martin Wirsing and
Maurice Nivat},
title = {Constructive Semantics of Esterel: From Theory to Practice (Abstract)},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {225},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014318},
doi = {10.1007/BFB0014318},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Berry96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ShipleBT96,
author = {Thomas R. Shiple and
G{\'{e}}rard Berry and
Herv{\'{e}} J. Touati},
title = {Constructive Analysis of Cyclic Circuits},
booktitle = {1996 European Design and Test Conference, ED{\&}TC 1996, Paris,
France, March 11-14, 1996},
pages = {328--333},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/EDTC.1996.494321},
doi = {10.1109/EDTC.1996.494321},
timestamp = {Fri, 20 May 2022 15:52:30 +0200},
biburl = {https://dblp.org/rec/conf/date/ShipleBT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SentovichTB96,
author = {Ellen Sentovich and
Horia Toma and
G{\'{e}}rard Berry},
editor = {Rob A. Rutenbar and
Ralph H. J. M. Otten},
title = {Latch optimization in circuits generated from high-level descriptions},
booktitle = {Proceedings of the 1996 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1996, San Jose, CA, USA, November 10-14, 1996},
pages = {428--435},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1996},
url = {https://doi.org/10.1109/ICCAD.1996.569833},
doi = {10.1109/ICCAD.1996.569833},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/SentovichTB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Berry93,
author = {G{\'{e}}rard Berry},
editor = {R. K. Shyamasundar},
title = {Preemption in Concurrent Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
13th Conference, Bombay, India, December 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {761},
pages = {72--93},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57529-4\_44},
doi = {10.1007/3-540-57529-4\_44},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Berry93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BerryRS93,
author = {G{\'{e}}rard Berry and
S. Ramesh and
R. K. Shyamasundar},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Communicating Reactive Processes},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {85--98},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158526},
doi = {10.1145/158511.158526},
timestamp = {Wed, 16 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BerryRS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BerryG92,
author = {G{\'{e}}rard Berry and
Georges Gonthier},
title = {The Esterel Synchronous Programming Language: Design, Semantics, Implementation},
journal = {Sci. Comput. Program.},
volume = {19},
number = {2},
pages = {87--152},
year = {1992},
url = {https://doi.org/10.1016/0167-6423(92)90005-V},
doi = {10.1016/0167-6423(92)90005-V},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BerryG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BerryB92,
author = {G{\'{e}}rard Berry and
G{\'{e}}rard Boudol},
title = {The Chemical Abstract Machine},
journal = {Theor. Comput. Sci.},
volume = {96},
number = {1},
pages = {217--248},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90185-I},
doi = {10.1016/0304-3975(92)90185-I},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BerryB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/Berry92,
author = {G{\'{e}}rard Berry},
editor = {Manfred Broy},
title = {The Semantics of Pure Esterel},
booktitle = {Program Design Calculi, Proceedings of the {NATO} Advanced Study Institute
on Program Design Calculi, Marktoberdorf, Germany, July 28 - August
9, 1992},
series = {{NATO} {ASI} Series},
volume = {118},
pages = {361--409},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-662-02880-3\_12},
doi = {10.1007/978-3-662-02880-3\_12},
timestamp = {Wed, 16 Mar 2022 23:55:57 +0100},
biburl = {https://dblp.org/rec/conf/nato/Berry92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BerryG91,
author = {G{\'{e}}rard Berry and
Georges Gonthier},
title = {Incremental Development of an {HDLC} Entity in Esterel},
journal = {Comput. Networks {ISDN} Syst.},
volume = {22},
number = {1},
pages = {35--49},
year = {1991},
url = {https://doi.org/10.1016/0169-7552(91)90080-V},
doi = {10.1016/0169-7552(91)90080-V},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/BerryG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Berry91,
author = {G{\'{e}}rard Berry},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {Concurrent Abstract Machines (Abstract)},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 2: Advances in Distributed Computing {(ADC)} and Colloquium
on Combining Paradigms for Software Developmemnt {(CCPSD)}},
series = {Lecture Notes in Computer Science},
volume = {494},
pages = {49},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540539816\_57},
doi = {10.1007/3540539816\_57},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Berry91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BerryB90,
author = {G{\'{e}}rard Berry and
G{\'{e}}rard Boudol},
editor = {Frances E. Allen},
title = {The Chemical Abstract Machine},
booktitle = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles
of Programming Languages, San Francisco, California, USA, January
1990},
pages = {81--94},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/96709.96717},
doi = {10.1145/96709.96717},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BerryB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Berry89,
author = {G{\'{e}}rard Berry},
editor = {Gerhard X. Ritter},
title = {Real Time Programming: Special Purpose or General Purpose Languages},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {11--17},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Berry89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BerryS86,
author = {G{\'{e}}rard Berry and
Ravi Sethi},
title = {From Regular Expressions to Deterministic Automata},
journal = {Theor. Comput. Sci.},
volume = {48},
number = {3},
pages = {117--126},
year = {1986},
url = {https://doi.org/10.1016/0304-3975(86)90088-5},
doi = {10.1016/0304-3975(86)90088-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BerryS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BerryC84,
author = {G{\'{e}}rard Berry and
Laurent Cosserat},
editor = {Stephen D. Brookes and
A. W. Roscoe and
Glynn Winskel},
title = {The {ESTEREL} Synchronous Programming Language and its Mathematical
Semantics},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
USA, July 9-11, 1984},
series = {Lecture Notes in Computer Science},
volume = {197},
pages = {389--448},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15670-4\_19},
doi = {10.1007/3-540-15670-4\_19},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/BerryC84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BerryC82,
author = {G{\'{e}}rard Berry and
Pierre{-}Louis Curien},
title = {Sequential Algorithms on Concrete Data Structures},
journal = {Theor. Comput. Sci.},
volume = {20},
pages = {265--321},
year = {1982},
url = {https://doi.org/10.1016/S0304-3975(82)80002-9},
doi = {10.1016/S0304-3975(82)80002-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BerryC82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Berry81,
author = {G{\'{e}}rard Berry},
editor = {Arvind and
Jack B. Dennis},
title = {Programming with concrete data structures and sequential algorithms},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {49--58},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806762},
doi = {10.1145/800223.806762},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Berry81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfpc/Berry81,
author = {G{\'{e}}rard Berry},
editor = {Josep D{\'{\i}}az and
Isidro Ramos},
title = {On the Definition of Lamda-Calculus Models},
booktitle = {Formalization of Programming Concepts, International Colloquium, Peniscola,
Spain, April 19-25, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {107},
pages = {218--230},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10699-5\_99},
doi = {10.1007/3-540-10699-5\_99},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/icfpc/Berry81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BerryL79,
author = {G{\'{e}}rard Berry and
Jean{-}Jacques L{\'{e}}vy},
title = {Minimal and Optimal Computations of Recursive Programs},
journal = {J. {ACM}},
volume = {26},
number = {1},
pages = {148--175},
year = {1979},
url = {https://doi.org/10.1145/322108.322122},
doi = {10.1145/322108.322122},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BerryL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BerryL79,
author = {G{\'{e}}rard Berry and
Jean{-}Jacques L{\'{e}}vy},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {A Survey of Some Syntactic Results in the lambda-Calculus},
booktitle = {Mathematical Foundations of Computer Science 1979, Proceedings, 8th
Symposium, Olomouc, Czechoslovakia, September 3-7, 1979},
series = {Lecture Notes in Computer Science},
volume = {74},
pages = {552--566},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09526-8\_56},
doi = {10.1007/3-540-09526-8\_56},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BerryL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Berry78,
author = {G{\'{e}}rard Berry},
editor = {Giorgio Ausiello and
Corrado B{\"{o}}hm},
title = {Stable Models of Typed lambda-Calculi},
booktitle = {Automata, Languages and Programming, Fifth Colloquium, Udine, Italy,
July 17-21, 1978, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {62},
pages = {72--89},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08860-1\_7},
doi = {10.1007/3-540-08860-1\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Berry78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Berry77,
author = {G{\'{e}}rard Berry},
title = {Calculs Ascendants du Programme d'Ackermann: Analyse du Programme
de J. Arsac},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {11},
number = {2},
pages = {113--126},
year = {1977},
url = {https://doi.org/10.1051/ita/1977110201131},
doi = {10.1051/ITA/1977110201131},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Berry77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BerryL77,
author = {G{\'{e}}rard Berry and
Jean{-}Jacques L{\'{e}}vy},
editor = {Robert M. Graham and
Michael A. Harrison and
Ravi Sethi},
title = {Minimal and Optimal Computations of Recursive Programs},
booktitle = {Conference Record of the Fourth {ACM} Symposium on Principles of Programming
Languages, Los Angeles, California, USA, January 1977},
pages = {215--226},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/512950.512971},
doi = {10.1145/512950.512971},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BerryL77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Berry76,
author = {G{\'{e}}rard Berry},
title = {Bottom-Up Computation of Recursive Programs},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {10},
number = {1},
pages = {47--82},
year = {1976},
url = {https://doi.org/10.1051/ita/197610R100471},
doi = {10.1051/ITA/197610R100471},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Berry76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BerryC76,
author = {G{\'{e}}rard Berry and
Bruno Courcelle},
editor = {S. Michaelson and
Robin Milner},
title = {Program Equivalence and Canonical Forms in Stable Discrete Interpretations},
booktitle = {Third International Colloquium on Automata, Languages and Programming,
University of Edinburgh, UK, July 20-23, 1976},
pages = {168--188},
publisher = {Edinburgh University Press},
year = {1976},
timestamp = {Mon, 08 Jul 2019 10:58:24 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BerryC76.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.
last updated on 2024-06-25 21:51 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:
