default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: E. Pascal Gribomont
@incollection{DBLP:series/hhl/GochetG06,
author = {Paul Gochet and
E. Pascal Gribomont},
editor = {Dov M. Gabbay and
John Woods},
title = {Epistemic logic},
booktitle = {Logic and the Modalities in the Twentieth Century},
series = {Handbook of the History of Logic},
volume = {7},
pages = {99--195},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1874-5857(06)80028-2},
doi = {10.1016/S1874-5857(06)80028-2},
timestamp = {Thu, 09 Jul 2020 09:13:37 +0200},
biburl = {https://dblp.org/rec/series/hhl/GochetG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/GochetGR05,
author = {Paul Gochet and
E. Pascal Gribomont and
Didier Rossetto},
editor = {Daniel Vanderveken},
title = {Algorithms for Relevant Logic},
booktitle = {Logic, Thought and Action},
series = {Logic, Epistemology, and the Unity of Science},
volume = {2},
pages = {479--496},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/1-4020-3167-X\_21},
doi = {10.1007/1-4020-3167-X\_21},
timestamp = {Tue, 16 May 2017 14:24:24 +0200},
biburl = {https://dblp.org/rec/series/leus/GochetGR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FontaineG05,
author = {Pascal Fontaine and
E. Pascal Gribomont},
editor = {Wolfgang Ahrendt and
Peter Baumgartner and
Hans de Nivelle and
Silvio Ranise and
Cesare Tinelli},
title = {Combining Non-stably Infinite, Non-first Order Theories},
booktitle = {Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and
the Second International Workshop on Pragmatics of Decision Procedures,
PDPAR@IJCAR 2004, Cork, Ireland, July 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {125},
number = {3},
pages = {37--51},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.066},
doi = {10.1016/J.ENTCS.2004.06.066},
timestamp = {Tue, 13 Dec 2022 13:53:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FontaineG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FontaineG03,
author = {Pascal Fontaine and
E. Pascal Gribomont},
editor = {Hubert Garavel and
John Hatcliff},
title = {Decidability of Invariant Validation for Paramaterized Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {97--112},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_8},
doi = {10.1007/3-540-36577-X\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FontaineG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FontaineG02,
author = {Pascal Fontaine and
E. Pascal Gribomont},
editor = {Matthias Baaz and
Andrei Voronkov},
title = {Using BDDs with Combinations of Theories},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2514},
pages = {190--201},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36078-6\_13},
doi = {10.1007/3-540-36078-6\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FontaineG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Gribomont00,
author = {E. Pascal Gribomont},
title = {Simplification of boolean verification conditions},
journal = {Theor. Comput. Sci.},
volume = {239},
number = {1},
pages = {165--185},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00217-0},
doi = {10.1016/S0304-3975(99)00217-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Gribomont00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GribomontS99,
author = {E. Pascal Gribomont and
Nachaat Salloum},
editor = {Harald Ganzinger},
title = {System Description: Using OBDD's for the validation of Skolem verification
conditions},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {222--226},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_18},
doi = {10.1007/3-540-48660-7\_18},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/GribomontS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GribomontZ98,
author = {E. Pascal Gribomont and
Guy Zenner},
editor = {Bernhard Steffen},
title = {Automated Verification of Szymanski's Algorithm},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th
International Conference, {TACAS} '98, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'98,
Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1384},
pages = {424--438},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054187},
doi = {10.1007/BFB0054187},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GribomontZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Gribomont96,
author = {E. Pascal Gribomont},
editor = {Martin Wirsing and
Maurice Nivat},
title = {Preprocessing for Invariant Validation},
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 = {256--270},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014321},
doi = {10.1007/BFB0014321},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Gribomont96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Gribomont96,
author = {E. Pascal Gribomont},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {Atomicity Refinement and Trace Reduction Theorems},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {311--322},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_79},
doi = {10.1007/3-540-61474-5\_79},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Gribomont96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GribomontR95,
author = {E. Pascal Gribomont and
Didier Rossetto},
editor = {Pierre Wolper},
title = {{CAVEAT:} Technique and Tool for Computer Aided VErification And Transformation},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {70--83},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_41},
doi = {10.1007/3-540-60045-0\_41},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GribomontR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GribomontH94,
author = {E. Pascal Gribomont and
Jacques Hagelstein},
editor = {Patrice Enjalbert and
Ernst W. Mayr and
Klaus W. Wagner},
title = {Reactive Variables for System Specification and Design},
booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
Science, Caen, France, February 24-26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {775},
pages = {275--286},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57785-8\_148},
doi = {10.1007/3-540-57785-8\_148},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GribomontH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Gribomont93,
author = {E. Pascal Gribomont},
title = {Concurrency Without Toil: {A} Systematics Method for Parallel Program
Design},
journal = {Sci. Comput. Program.},
volume = {21},
number = {1},
pages = {1--56},
year = {1993},
url = {https://doi.org/10.1016/0167-6423(93)90007-C},
doi = {10.1016/0167-6423(93)90007-C},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Gribomont93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/GribomontD93,
author = {E. Pascal Gribomont and
Vincent Van Dongen},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Generic Systolic Arrays: {A} Methodology for Systolic Design},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {746--761},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_102},
doi = {10.1007/3-540-56610-4\_102},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/GribomontD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Gribomont90,
author = {E. Pascal Gribomont},
title = {Stepwise Refinement and Concurrency: The Finite-State Case},
journal = {Sci. Comput. Program.},
volume = {14},
number = {2-3},
pages = {185--228},
year = {1990},
url = {https://doi.org/10.1016/0167-6423(90)90020-E},
doi = {10.1016/0167-6423(90)90020-E},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Gribomont90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Gribomont90,
author = {E. Pascal Gribomont},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {A Programming Logic for Formal Concurent Systems},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {298--313},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039067},
doi = {10.1007/BFB0039067},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Gribomont90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Gribomont90,
author = {E. Pascal Gribomont},
editor = {Neil D. Jones},
title = {Development of Concurrent Systems by Incremental Transformations},
booktitle = {ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark,
May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {432},
pages = {161--176},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52592-0\_62},
doi = {10.1007/3-540-52592-0\_62},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Gribomont90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gribomont89,
author = {E. Pascal Gribomont},
editor = {Jan L. A. van de Snepscheut},
title = {Stepwise Refinement and Concurrency: {A} Small Exercise},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {219--238},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_12},
doi = {10.1007/3-540-51305-1\_12},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gribomont89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Gribomont89,
author = {E. Pascal Gribomont},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {Development of Concurrent Programs: An Example},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
Development {II} and Colloquium on Current Issues in Programming Languages
{(CCIPL)}},
series = {Lecture Notes in Computer Science},
volume = {352},
pages = {210--224},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50940-2\_37},
doi = {10.1007/3-540-50940-2\_37},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Gribomont89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Gribomont88,
author = {E. Pascal Gribomont},
editor = {Max Dauchet and
Maurice Nivat},
title = {Proving Systolic Arrays},
booktitle = {{CAAP} '88, 13th Colloquium on Trees in Algebra and Programming, Nancy,
France, March 21-24, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {299},
pages = {185--199},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026104},
doi = {10.1007/BFB0026104},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/Gribomont88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs/Gribomont88,
author = {E. Pascal Gribomont},
editor = {Charles Rattray},
title = {From Synchronous to Asynchronous Communication},
booktitle = {Specification and Verification of Concurrent Systems {[BCS-FACS} Workshop,
6-8 July 1988, University of Stirling, Scotland, {UK]}},
series = {Workshops in Computing},
pages = {368--383},
publisher = {Springer},
year = {1988},
timestamp = {Wed, 19 Feb 2003 15:42:44 +0100},
biburl = {https://dblp.org/rec/conf/facs/Gribomont88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Gribomont87,
author = {E. Pascal Gribomont},
editor = {J. W. de Bakker and
A. J. Nijman and
Philip C. Treleaven},
title = {Design and Proof of Communicating Sequential Processes},
booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel
Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {259},
pages = {261--276},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17945-3\_15},
doi = {10.1007/3-540-17945-3\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/Gribomont87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Gribomont85,
author = {E. Pascal Gribomont},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {Synthesis of Parallel Programs Invariants},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the
International Joint Conference on Theory and Practice of Software
Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
2: Colloquium on Software Engineering {(CSE)}},
series = {Lecture Notes in Computer Science},
volume = {186},
pages = {325--338},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15199-0\_21},
doi = {10.1007/3-540-15199-0\_21},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Gribomont85.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-04-24 22: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:
