@booklet{scolin-colin10b,
title = {Une courte (?) introduction {\`a} {\LaTeXe}},
author = {Colin, Samuel and P{\'e}gouri{\'e}-Gonnard, Manuel},
howpublished = {self-publishing},
month = feb,
year = {2010},
note = {traduit de {"}The not so short introduction to {\LaTeXe}{"} par Tobias Oetiker -- ouvrage librement accessible},
pdf = {papers/2010-02-Colin-lshort-fr.pdf.gz},
ps = {papers/2010-02-Colin-lshort-fr.ps.gz}
}
@inproceedings{scolin-colin10a,
author = {Colin, Samuel and Petit, Dorian and Mariano, Georges and Poirriez, Vincent},
title = {{BRILLANT}: an open source platform for {B}},
booktitle = {{W}orkshop on {T}ool {B}uilding in {F}ormal {M}ethods (held in conjunction with ABZ2010)},
year = {2010},
month = feb,
pdf = {papers/2010-02-Colin-WSTBFM.pdf.gz},
ps = {papers/2010-02-Colin-WSTBFM.ps.gz}
}
@techreport{scolin-RR-colin09b,
author = {Colin, Samuel and Lanoix, Arnaud and Kouchnarenko, Olga and Poirriez, Vincent},
title = {Bringing State Sharing into {CSP||B}: a {B}-based Approach},
institution = {self-publishing},
year = {2009},
month = oct,
pdf = {papers/2009-10-Colin-RR-ABZ.pdf.gz},
ps = {papers/2009-10-Colin-RR-ABZ.ps.gz}
}
@inproceedings{scolin-colin09a,
author = {Colin, Samuel and Mariano, Georges},
title = {{B}i{C}oax, a proof tool traceable to the {BB}ook},
booktitle = {From {R}esearch to {T}eaching {F}ormal {M}ethods - {T}he {B} {M}ethod ({TFM} {B}'2009)},
year = {2009},
month = jun,
pdf = {papers/2009-06-Colin-TFMB.pdf.gz},
ps = {papers/2009-06-Colin-TFMB.ps.gz}
}
@techreport{scolin-RR-colin09a,
author = {Colin, Samuel and Mariano, Georges},
title = {{C}oq, l'alpha et l'omega de la preuve pour {B} ?},
institution = {INRETS},
year = {2009},
month = feb,
url = {http://hal.archives-ouvertes.fr/hal-00361302/fr/},
pdf = {papers/2009-02-Colin-RR-BiCoax.pdf.gz},
ps = {papers/2009-02-Colin-RR-BiCoax.ps.gz}
}
@inproceedings{scolin-colin08c,
author = {Colin, Samuel and Lanoix, Arnaud and Kouchnarenko, Olga and Souqui{\`e}res, Jeanine},
title = {Using {CSP||B} Components: Application to a Platoon of Vehicles},
booktitle = {13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems (FMICS 2008)},
pages = {103--118},
year = {2008},
editor = {Cofer, Darren and Fantechi, Alessandro},
volume = {5596},
series = {LNCS},
month = sep,
publisher = {Springer-Verlag},
isbn = {978-3-642-03239-4},
doi = {10.1007/978-3-642-03240-0_11},
pdf = {papers/2008-09-Colin-FMICS.pdf.gz}
}
@inproceedings{scolin-colin08b,
author = {Colin, Samuel and Lanoix, Arnaud and Kouchnarenko, Olga and Souqui{\`e}res, Jeanine},
title = {Towards Validating a Platoon of Cristal Vehicles using {CSP||B}},
booktitle = {12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008)},
pages = {139--144},
year = {2008},
editor = {Meseguer, J. and Rosu, G.},
volume = {5140},
series = {LNCS},
month = jul,
publisher = {Springer-Verlag},
doi = {10.1007/978-3-540-79980-1_11},
pdf = {papers/2008-07-Colin-AMAST.pdf.gz}
}
@techreport{scolin-RR-colin08b,
author = {Colin, Samuel and Lanoix, Arnaud and Kouchnarenko, Olga and Souqui{\`e}res, Jeanine},
institution = {LORIA},
month = mar,
number = {hal-00261630},
title = {Towards Validating a Platoon of Cristal Vehicles using {CSP||B}},
year = {2008},
note = {Submitted to AMAST'08},
url = {http://hal.archives-ouvertes.fr/hal-00261630},
pdf = {papers/2008-03-Colin-RR-PlatoonCSPB.pdf.gz}
}
@techreport{scolin-RR-colin08a,
author = {Colin, Samuel and Lanoix, Arnaud},
institution = {LORIA},
month = jan,
number = {hal-00260573},
title = {An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem},
year = {2008},
url = {http://hal.archives-ouvertes.fr/hal-00260573},
pdf = {papers/2008-01-Colin-RR-PlatoonB.pdf.gz}
}
@techreport{scolin-RR-colin07b,
author = {Colin, Samuel and Lanoix, Arnaud},
institution = {LORIA},
month = dec,
number = {hal-00260568},
title = {An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem},
year = {2007},
url = {http://hal.archives-ouvertes.fr/hal-00260568},
pdf = {papers/2007-12-Colin-RR-PlatoonB.pdf.gz}
}
@article{scolin-lanoix07d,
author = {Lanoix, Arnaud and Colin, Samuel and Souqui{\`e}res, Jeanine},
title = {{D}{\'e}veloppement formel par composants : assemblage et v{\'e}rification {\`a} l'aide de {B}},
journal = {{T}echnique et {S}cience {I}nformatiques (TSI)},
year = {2008},
volume = {27},
number = {8},
pages = {1007--1032},
note = {num{\'e}ro sp{\'e}cial AFADL07},
doi = {10.3166/tsi.27.1007-1032},
pdf = {papers/2008-11-Lanoix-TSI.pdf.gz}
}
@techreport{scolin-RR-lanoix07d,
author = {Lanoix, Arnaud and Colin, Samuel and Souqui{\`e}res, Jeanine},
title = {{D}{\'e}veloppement formel par composants : assemblage et v{\'e}rification {\`a} l'aide de {B}},
institution = {LORIA},
year = {2007},
month = oct,
note = {Soumis {\`a} la revue Technique et Science Informatiques (TSI), num{\'e}ro sp{\'e}cial AFADL07}
}
@techreport{scolin-simonin07a,
title = {{G}eneric {E}xpression in {B} of the {I}nfluence/{R}eaction {M}odel: {S}pecifying and {V}erifying {S}ituated {M}ulti-{A}gent {S}ystems},
author = {Simonin, Olivier and Lanoix, Arnaud and Colin, Samuel and Scheuer, Alexis and Charpillet, Fran{\c{c}}ois},
pages = {18},
type = {INRIA Research Report},
institution = {INRIA},
month = sep,
year = {2007},
number = {6304},
url = {http://hal.inria.fr/inria-00173876/en/},
pdf = {papers/2007-09-Simonin-RR-InfluenceReactionB.pdf.gz}
}
@inproceedings{scolin-lanoix07c,
author = {Lanoix, Arnaud and Colin, Samuel and Souqui{\`e}res, Jeanine},
title = {Sch{\'e}mas de d{\'e}veloppement d'adaptateurs {\`a} l'aide de {B}},
booktitle = {Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels},
pages = {91--108},
year = {2007},
month = jun,
isbn = {978-2-87037-559-4}
}
@techreport{scolin-RR-lanoix07c,
author = {Lanoix, Arnaud and Colin, Samuel and Souqui{\`e}res, Jeanine},
title = {Sch{\'e}mas de d{\'e}veloppement d'adaptateurs {\`a} l'aide de {B}},
institution = {LORIA},
year = {2007},
type = {Research Report},
number = {hal-00131340},
month = feb,
url = {https://hal.archives-ouvertes.fr/hal-00131340},
pdf = {papers/2007-02-Lanoix-RR-AdaptateurSchemasB.pdf.gz}
}
@inproceedings{scolin-colin07a,
author = {Colin, Samuel and Lanoix, Arnaud and Souqui{\`e}res, Jeanine},
title = {Trustworthy interface compliancy: data model adaptation},
booktitle = {Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS},
year = {2007},
month = mar,
publisher = {Elsevier},
series = {ENTCS},
number = {203/7},
pages = {23--35},
doi = {10.1016/j.entcs.2009.03.024}
}
@techreport{scolin-RR-colin07a,
author = {Colin, Samuel and Lanoix, Arnaud and Souqui{\`e}res, Jeanine},
institution = {LORIA},
month = jan,
number = {hal-00123884},
title = {Trustworthy interface compliancy: data model adaptation},
type = {Research Report},
year = {2007},
url = {http://hal.archives-ouvertes.fr/hal-00123884},
pdf = {papers/2007-01-Colin-RR-InterfaceDataAdaptationB.pdf.gz}
}
@techreport{scolin-petit06a,
author = {Petit, Dorian and Colin, Samuel and Mariano, Georges and Poirriez, Vincent and Rocheteau, J{\'e}r{\^o}me and Marcano, Rafa{\"e}l},
title = {An Open Source and {XML}-based platform for Rigourous Software Development},
institution = {BRILLANT},
year = {2006},
month = apr,
url = {http://download.gna.org/brillant/docs/},
ps = {papers/2006-04-Petit-RR-Brillant.ps.gz},
pdf = {papers/2006-04-Petit-RR-Brillant.pdf.gz}
}
@phdthesis{scolin-colin06a,
author = {Colin, Samuel},
title = {Contribution \`a l'int{\'e}gration de temporalit{\'e} au formalisme {B}~: utilisation du calcul des dur{\'e}es en tant que s{\'e}mantique pour {B}},
school = {Universit{\'e} de Valenciennes et du Hainaut-Cambr{\'e}sis},
keywords = {m{\'e}thode formelle, m{\'e}thode B, logique temporelle, calcul des dur{\'e}es, assistant de preuve, Coq},
year = {2006},
type = {Th{\`e}se de Doctorat},
month = oct,
ps = {papers/2006-10-Colin-PhD.ps.gz},
pdf = {papers/2006-10-Colin-PhD.pdf.gz},
pdfslides = {papers/2006-10-Colin-PhD-slides.pdf.gz}
}
@misc{scolin-colin06b,
author = {Colin, Samuel},
title = {Compositionnalit{\'e}s en {B} classique et {\'e}tendu : tour d'horizon},
howpublished = {S{\'e}minaire dans l'{\'e}quipe CPR du CEDRIC au CNAM},
month = jul,
year = {2006},
pdfslides = {papers/2006-07-Colin-CompositionB-slides.pdf.gz}
}
@inproceedings{scolin-colin05a,
author = {Colin, Samuel and Petit, Dorian and Rocheteau, J{\'e}r{\^o}me and Marcano, Rafa{\"e}l and Mariano, Georges and Poirriez, Vincent},
title = {{BRILLANT} : An Open Source and {XML}-based platform for Rigourous Software Development},
booktitle = {SEFM (Software Engineering and Formal Methods)},
year = {2005},
month = sep,
organization = {AGKI (Artificial Intelligence Research Koblenz)},
address = {Koblenz, Germany},
publisher = {IEEE Computer Society Press},
note = {selectivity : {40/120}},
ps = {papers/2005-09-Colin-SEFM.ps.gz},
pdf = {papers/2005-09-Colin-SEFM.pdf.gz},
pdslides = {papers/2005-09-Colin-SEFM-slides.pdf.gz}
}
@inproceedings{scolin-marcano04a,
author = {Marcano, Rafa{\"e}l and Colin, Samuel and Mariano, Georges},
title = {A Formal Framework for {UML} Modelling with Timed Constraints : Application to Railway Control Systems},
booktitle = {SVERTS: Specification and Validation of UML models for Real Time and Embedded Systems},
year = {2004},
address = {Lisbon, Portugal},
month = oct,
note = {(in conjunction with 7th International Conference on the Unified Modeling Language, UML 2004)},
url = {http://www-verimag.imag.fr/EVENTS/2004/SVERTS/programme.html},
ps = {papers/2004-10-Marcano-SVERTS.ps.gz},
pdf = {papers/2004-10-Marcano-SVERTS.pdf.gz}
}
@techreport{scolin-RR-colin04b,
author = {Colin, Samuel and Mariano, Georges and Poirriez, Vincent},
title = {A natural extension of {B} substitutions : postconditions},
institution = {{LAMIH/ROI}},
year = {2004},
url = {http://www.univ-valenciennes.fr/ROI/WP/},
ps = {papers/2004-11-Colin-RR-PostconditionsB.ps.gz},
pdf = {papers/2004-11-Colin-RR-PostconditionsB.pdf.gz}
}
@inproceedings{scolin-colin04a,
author = {Colin, Samuel and Mariano, Georges and Poirriez, Vincent},
title = {{Duration calculus}: {A} real-time semantic for {B}},
booktitle = {First International Colloquium on Theoretical Aspects of Computing},
year = {2004},
month = sep,
organization = {{UNU-IIST}},
address = {Guiyang, China},
note = {selectivity : {36/111}},
ps = {papers/2004-09-Colin-ICTAC.ps.gz},
pdf = {papers/2004-09-Colin-ICTAC.pdf.gz},
pdfslides = {papers/2004-09-Colin-ICTAC-slides.pdf.gz}
}
@inproceedings{scolin-rocheteau04a,
author = {Rocheteau, J{\'e}r{\^o}me and Colin, Samuel and Mariano, Georges and Poirriez, Vincent},
title = {{\'E}valuation de l'extensibilit{\'e} de {P}ho{X} : {B/PhoX} un assistant de preuves pour {B}},
booktitle = {JFLA},
pages = {139--153},
year = {2004},
month = jan,
url = {http://pauillac.inria.fr/jfla/2004/},
ps = {papers/2004-01-Rocheteau-JFLA.ps.gz},
pdf = {papers/2004-01-Rocheteau-JFLA.pdf.gz}
}
@inproceedings{scolin-colin03a,
author = {Colin, Samuel and Poirriez, Vincent and Mariano, Georges},
title = {Thoughts about the implementation of the duration calculus with {Coq}},
booktitle = {4th International Workshop on the Implementation of Logics},
year = {2003},
note = {Technical report ULCS-03-018},
month = sep,
publisher = {University of Liverpool},
url = {http://www.csc.liv.ac.uk/research/techreports/},
ps = {papers/2003-09-Colin-LPAR.ps.gz},
pdf = {papers/2003-09-Colin-LPAR.pdf.gz}
}
@inproceedings{scolin-colin02a,
author = {Colin, Samuel},
title = {{B} et le temps r{\'e}el: {\'E}tude de l'int{\'e}gration du calcul des dur{\'e}es},
booktitle = {Journ{\'e}es du groupe B du GDR ALP},
year = {2002},
month = jun,
url = {http://www-lsr.imag.fr/B/Documents/CNAM-2002-06-13/prog-CNAM-2002.html},
ps = {papers/2002-06-Colin-GDRALPB-slides.ps.gz},
pdf = {papers/2002-06-Colin-GDRALPB-slides.pdf.gz}
}
@phdthesis{scolin-colin01a,
author = {Colin, Samuel},
school = {Universit{\'e} de Paris VII},
title = {{M}{\'e}thode {B} et temps r{\'e}el : {\'e}tude de l'int{\'e}gration du calcul des dur{\'e}es},
year = {2001},
type = {M{\'e}moire de {DEA}},
ps = {papers/2001-06-Colin-MasterThesis.ps.gz},
pdf = {papers/2001-06-Colin-MasterThesis.pdf.gz}
}
@techreport{scolin-colin00a,
author = {Colin, Samuel},
title = {Impl{\'e}mentation d'une librairie {OC}aml pour le calcul des substitutions {B}},
institution = {INRETS/ESTAS},
year = {2000},
address = {20 rue {\'E}lis{\'e}e Reclus, BP 317 -- 59666 Villeneuve d'Ascq},
ps = {papers/2000-06-Colin-Internship.ps.gz},
pdf = {papers/2000-06-Colin-Internship.pdf.gz}
}
This file was generated by bibtex2html 1.95.