Warning, /office/kbibtex-testset/bib/in-the-wild/pg.bib is written in an unsupported language. File is not indexed.
0001 @inproceedings{FG03,
0002 author = "Pascal Fontaine and E. Pascal Gribomont",
0003 title = "Decidability of invariant validation
0004 for parameterized systems",
0005 booktitle = "Proc. 9th Int. Conf. on Tools and Algorithms for the
0006 Construction and Analysis of Systems (TACAS'03)",
0007 address = "Warsaw, Poland",
0008 publisher = "Springer-Verlag",
0009 series = "Lecture Notes in Computer Science",
0010 volume = 2619,
0011 pages = "97--112",
0012 month = "April",
0013 year = 2003,
0014 }
0015 @inproceedings{FG02,
0016 author = "Pascal Fontaine and E. Pascal Gribomont",
0017 title = "Using BDDs with Combinations of Theories",
0018 booktitle = "Proc. 9th Int. Conf. on Logic for Programming,
0019 Artificial Intelligence, and Reasoning (LPAR'02)",
0020 address = "Tbilisi, Georgia",
0021 publisher = "Springer-Verlag",
0022 series = "Lecture Notes in Artificial Intelligence",
0023 volume = 2514,
0024 pages = "190--201",
0025 month = "July",
0026 year = 2002,
0027 }
0028
0029 @article{Gri99,
0030 author = "E. Pascal Gribomont",
0031 title = "Simplification of boolean verification conditions",
0032 journal = "Theoretical Computer Science",
0033 volume = 239,
0034 year = 1999,
0035 }
0036
0037 @inproceedings{GS99,
0038 author = "E. Pascal Gribomont and Nachaat Salloum",
0039 title = "Using OBDD's for the validation
0040 of Skolem verification conditions",
0041 booktitle = "Proc. 16th Int. Conf. on Automated Deduction",
0042 address = "Trento, Italy",
0043 publisher = "Springer-Verlag",
0044 series = "Lecture Notes in Artificial Intelligence",
0045 volume = 1632,
0046 pages = "222--226",
0047 month = "July",
0048 year = 1999,
0049 }
0050
0051 @article{GGR98,
0052 author = "Paul Gochet, Pascal Gribomont and D. Rossetto",
0053 title = "Algorithms for Relevant Logic",
0054 journal = "Logique et Analyse",
0055 volume = 152,
0056 pages = "329--346",
0057 year = 1998,
0058 }
0059
0060 @inproceedings{GZ98,
0061 author = "E. Pascal Gribomont and G. Zenner",
0062 title = "Automated verification of Szymanski's algorithm",
0063 booktitle = "Proc. Int. Conf. on Tools and Algorithms for
0064 the Construction and Analysis of Systems TACAS",
0065 address = "Lisbon, Portugal",
0066 publisher = "Springer-Verlag",
0067 series = "Lecture Notes in Computer Science",
0068 volume = 1384,
0069 pages = "424-438",
0070 month = "April",
0071 year = 1998,
0072 }
0073
0074 @INPROCEEDINGS{MRG98,
0075 author = {Luc Moreau, Daniel Ribbens and Pascal Gribomont},
0076 title = {Advanced {P}rogramming {T}echniques {U}sing {S}cheme},
0077 booktitle = {Journ\'ees Francophones des Langages Applicatifs},
0078 year = {1998},
0079 address = {Como, Italy},
0080 series = {Collection Didactique},
0081 pages = {69--90},
0082 publisher = {INRIA},
0083 month = {February},
0084 abstract = {There are not many non-trivial examples that can be used in a
0085 course on advanced programming concepts. In this paper, we describe an
0086 interactive reducer for lambda terms that combines first-class continuations,
0087 macros, delay, and state. We also describe the means by which we induce
0088 students to master advanced topics.},
0089 }
0090
0091 @inproceedings{Gri96b,
0092 author = "E. Pascal Gribomont",
0093 title = "Atomicity refinement and trace reduction theorems",
0094 booktitle = "Proc. 8th Conf. on Computer Aided Verification",
0095 address = "Rutgers University, New Jersey, USA",
0096 publisher = "Springer-Verlag",
0097 series = "Lecture Notes in Computer Science",
0098 volume = 1102,
0099 pages = "311--322",
0100 month = "August",
0101 year = 1996,
0102 }
0103
0104 @inproceedings{Gri96,
0105 author = "E. Pascal Gribomont",
0106 title = "Preprocessing for invariant validation",
0107 booktitle = "Proc. of the 5th Int. Conf. on
0108 Algebraic Methodology and Software Technology",
0109 address = "München, Germany",
0110 publisher = "Springer-Verlag",
0111 series = "Lecture Notes in Computer Science",
0112 volume = 1101,
0113 pages = "256--270",
0114 month = "July",
0115 year = 1996,
0116 }
0117
0118 @inproceedings{GR95,
0119 author = "E. Pascal Gribomont and Didier Rossetto",
0120 title = "CAVEAT : technique and tool for
0121 Computer Aided VErification And Transformation",
0122 booktitle = "Proc. 7th Conf. on Computer Aided Verification",
0123 address = "Liege, Belgium",
0124 publisher = "Springer-Verlag",
0125 series = "Lecture Notes in Computer Science",
0126 volume = 939,
0127 pages = "70--83",
0128 month = "July",
0129 year = 1995,
0130 }
0131
0132 @inproceedings{GH94,
0133 author = "E. Pascal Gribomont and Jacques Hagelstein",
0134 title = "Reactive variables for system specification and design",
0135 booktitle = "Proc. 7th Symp. on Theoretical aspects of
0136 Computer Science",
0137 address = "Caen, France",
0138 publisher = "Springer-Verlag",
0139 series = "Lecture Notes in Computer Science",
0140 volume = 775,
0141 pages = "275--286",
0142 month = "February",
0143 year = 1994,
0144 }
0145
0146 @article{Gri93,
0147 author = "E. Pascal Gribomont",
0148 title = "Concurrency without toil :
0149 a systematic method for parallel program design",
0150 journal = "Science of Computer Programming",
0151 volume = 21,
0152 pages = "1--56",
0153 year = 1993,
0154 }
0155
0156 @inproceedings{GV93,
0157 author = "E. Pascal Gribomont and Vincent Van Dongen",
0158 title = "Generic Systolic Arrays :
0159 A Methodology for Systolic Design",
0160 booktitle = "Proc. 4th Conf. on Theory and Practice of
0161 Software Development",
0162 address = "Orsay, France",
0163 publisher = "Springer-Verlag",
0164 series = "Lecture Notes in Computer Science",
0165 volume = 668,
0166 pages = "746--761",
0167 month = "April",
0168 year = 1993,
0169 }
0170