<commit_before>%
% publications of Pascal Poizat
% (limited to Journal Articles, Proceedings, Book Chapters, and Manuscripts)
% THIS LIST IS NOT COMPLETE
%

@String{LNCS = "Lecture Notes in Computer Science"}

@String{ACM = "ACM"}
@String{IEEE = "IEEE"}
@String{IEEECS = "IEEE Comp. Soc."}
@String{SPRINGER = "Springer"}

%
% ----- ARTICLES -----
%

@Article{PP_GPSY16,
    author = {<NAME> and <NAME> and <NAME> and <NAME>},
    year = {2016},
    title = {VerChor: A Framework for the Design and Verification of Choreographies},
    journal = {IEEE Transactions on Services Computing},
    pages = {647--660},
    volume = {9},
    number = {4},
    DOI = {10.1109/TSC.2015.2413401},
    HAL_ID = {hal-01198918},
    PDF = {https://hal.inria.fr/hal-01198918/document},
    PP_KIND = {international},
    PP_RANK = {1},
}

@Article{PP_KPS14,
    author = {<NAME> and <NAME> and <NAME>},
    year = {2014},
    title = {Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures},
    journal = {Revue des Nouvelles Technologies de l'Information (RNTI)},
    pages = {75--89},
    volume = {RNTI-W-2},
    OPTnumber = {},
    OPTDOI = {},
    HAL_ID = {hal-01198920},
    PP_KIND = {national},
    PP_RANK = {1},
}

@Article{PP_MPS12,
    author = {<NAME> and <NAME> and <NAME>},
    year = {2012},
    title = {Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques},
    journal = {IEEE Transactions on Software Engineering},
    pages = {755--777},
    volume = {38},
    number = {4},
    DOI = {10.1109/TSE.2011.62},
    HAL_ID = {hal-00717252},
    PDF = {https://hal.inria.fr/hal-00717252/document},
    PP_KIND = {international},
}

@Article{PP_CPS08,
    author = {<NAME> <NAME> and <NAME>},
    year = {2008},
    title = {Model-based Adaptation of Behavioural Mismatching Components},
    journal = {IEEE Transactions on Software Engineering},
    pages = {546--563},
    volume = 34,
    number = 4,
    DOI = {10.1109/TSE.2008.31},
    HAL_ID = {hal-00340122},
    PP_KIND = {international},
}

@Article{PP_APS07,
    author = {<NAME> and <NAME> and <NAME>},
    year = {2007},
    title = {A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes},
    journal = {IEEE Transactions on Software Engineering},
    pages = {157--170},
    volume = {33},
    number = {3},
    DOI = {10.1109/TSE.2007.21},
    HAL_ID = {hal-00470280},
    PDF = {https://hal.inria.fr/hal-00470280/document},
    PP_KIND = {international},
}

@Article{PP_PR06,
    author = {<NAME> and <NAME>},
    year = {2006},
    title = {A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic},
    journal = {Journal of Universal Computer Science (J.UCS)},
    pages = {1741--1782},
    volume = {12},
    number = {12},
    DOI = {10.3217/jucs-012-12-1741},
    HAL_ID = {hal-00342156},
    PDF = {http://hal.inria.fr/hal-00342156/document},
    PP_KIND = {international},
}

@Article{PP_CMP06b,
    author = {<NAME> and <NAME> and <NAME>},
    year = {2006},
    title = {Software Adaptation},
    journal = {RTSI - L'Objet},
    pages = {9--31},
    volume = {12},
    number = {1},
    note = {Introduction to the special issue by the guest editors},
    HAL_ID = {hal-00342014},
    PDF = {../documents/publications/CMP06b.pdf},
    PP_KIND = {international},
}

@Article{PP_CPR01a,
    author = {<NAME> and <NAME> and <NAME>},
    year = {2001},
    title = {The Korrigan Environment},
    journal = {Journal of Universal Computer Science (J.UCS)},
    pages = {19--36},
    volume = {7},
    number = {1},
    note = {Special Issue on Tools for System Design and Verication},
    DOI = {10.3217/jucs-007-01-0019},
    HAL_ID = {hal-00444026},
    PDF = {http://hal.inria.fr/hal-00444026/document},
    PP_KIND = {international},
}

%
% ----- CONFERENCES -----
%

@InProceedings{PP_PSK16,
    author = {<NAME> and Salaün, Gwen and <NAME>},
    title = {Checking Business Process Evolution},
    booktitle = {13th International Conference on Formal Aspects of Component Software},
    series = LNCS,
    volume = {},
    pages = {},<commit_msg>Add the abbreviation for the FACS conference<commit_after>%
% publications of Pascal Poizat
% (limited to Journal Articles, Proceedings, Book Chapters, and Manuscripts)
% THIS LIST IS NOT COMPLETE
%

@String{LNCS = "Lecture Notes in Computer Science"}

@String{ACM = "ACM"}
@String{IEEE = "IEEE"}
@String{IEEECS = "IEEE Comp. Soc."}
@String{SPRINGER = "Springer"}

%
% ----- ARTICLES -----
%

@Article{PP_GPSY16,
    author = {<NAME> and <NAME> and <NAME> and <NAME>},
    year = {2016},
    title = {VerChor: A Framework for the Design and Verification of Choreographies},
    journal = {IEEE Transactions on Services Computing},
    pages = {647--660},
    volume = {9},
    number = {4},
    DOI = {10.1109/TSC.2015.2413401},
    HAL_ID = {hal-01198918},
    PDF = {https://hal.inria.fr/hal-01198918/document},
    PP_KIND = {international},
    PP_RANK = {1},
}

@Article{PP_KPS14,
    author = {<NAME> and <NAME> and <NAME>},
    year = {2014},
    title = {Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures},
    journal = {Revue des Nouvelles Technologies de l'Information (RNTI)},
    pages = {75--89},
    volume = {RNTI-W-2},
    OPTnumber = {},
    OPTDOI = {},
    HAL_ID = {hal-01198920},
    PP_KIND = {national},
    PP_RANK = {1},
}

@Article{PP_MPS12,
    author = {<NAME> and <NAME> and <NAME>},
    year = {2012},
    title = {Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques},
    journal = {IEEE Transactions on Software Engineering},
    pages = {755--777},
    volume = {38},
    number = {4},
    DOI = {10.1109/TSE.2011.62},
    HAL_ID = {hal-00717252},
    PDF = {https://hal.inria.fr/hal-00717252/document},
    PP_KIND = {international},
}

@Article{PP_CPS08,
    author = {<NAME> and <NAME> and <NAME>},
    year = {2008},
    title = {Model-based Adaptation of Behavioural Mismatching Components},
    journal = {IEEE Transactions on Software Engineering},
    pages = {546--563},
    volume = 34,
    number = 4,
    DOI = {10.1109/TSE.2008.31},
    HAL_ID = {hal-00340122},
    PP_KIND = {international},
}

@Article{PP_APS07,
    author = {<NAME> <NAME> and <NAME>},
    year = {2007},
    title = {A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes},
    journal = {IEEE Transactions on Software Engineering},
    pages = {157--170},
    volume = {33},
    number = {3},
    DOI = {10.1109/TSE.2007.21},
    HAL_ID = {hal-00470280},
    PDF = {https://hal.inria.fr/hal-00470280/document},
    PP_KIND = {international},
}

@Article{PP_PR06,
    author = {<NAME> and <NAME>},
    year = {2006},
    title = {A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic},
    journal = {Journal of Universal Computer Science (J.UCS)},
    pages = {1741--1782},
    volume = {12},
    number = {12},
    DOI = {10.3217/jucs-012-12-1741},
    HAL_ID = {hal-00342156},
    PDF = {http://hal.inria.fr/hal-00342156/document},
    PP_KIND = {international},
}

@Article{PP_CMP06b,
    author = {<NAME> and Murillo, <NAME> and <NAME>},
    year = {2006},
    title = {Software Adaptation},
    journal = {RTSI - L'Objet},
    pages = {9--31},
    volume = {12},
    number = {1},
    note = {Introduction to the special issue by the guest editors},
    HAL_ID = {hal-00342014},
    PDF = {../documents/publications/CMP06b.pdf},
    PP_KIND = {international},
}

@Article{PP_CPR01a,
    author = {<NAME> and <NAME> and <NAME>},
    year = {2001},
    title = {The Korrigan Environment},
    journal = {Journal of Universal Computer Science (J.UCS)},
    pages = {19--36},
    volume = {7},
    number = {1},
    note = {Special Issue on Tools for System Design and Verication},
    DOI = {10.3217/jucs-007-01-0019},
    HAL_ID = {hal-00444026},
    PDF = {http://hal.inria.fr/hal-00444026/document},
    PP_KIND = {international},
}

%
% ----- CONFERENCES -----
%

@InProceedings{PP_PSK16,
    author = {<NAME> <NAME> <NAME>},
    title = {Checking Business Process Evolution},
    booktitle = {13th International Conference on Formal Aspects of Component Software (FACS)},
    series = LNCS,
    volume = {},
    pages = {},
{'fraction_non_alphanumeric': 0.15466983938132065, 'fraction_numerical': 0.07305175490779298, 'mean_word_length': 3.056949806949807, 'pattern_counts': {'":': 0, '<': 56, '<?xml version=': 0, '>': 56, 'https://': 6, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6253247', 'n_tokens_mistral': 3424, 'n_tokens_neox': 2968, 'n_words': 787}