Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pascal Poizat
@article{DBLP:journals/sigsoft/ArbabACPT24,
author = {Farhad Arbab and
Marco Autili and
Federico Ciccozzi and
Pascal Poizat and
Massimo Tivoli},
title = {Summary of the 5th International Workshop on Automated andverifiable
Software sYstem DEvelopment (ASYDE)co-located with the 38th {IEEE/ACM}
{ASE} 2023},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {49},
number = {1},
pages = {24--26},
year = {2024},
url = {https://doi.org/10.1145/3635439.3635444},
doi = {10.1145/3635439.3635444},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/ArbabACPT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/HouhouBPQK22,
author = {Sara Houhou and
Souheib Baarir and
Pascal Poizat and
Philippe Qu{\'{e}}innec and
La{\"{\i}}d Kahloul},
title = {A First-Order Logic verification framework for communication-parametric
and time-aware {BPMN} collaborations},
journal = {Inf. Syst.},
volume = {104},
pages = {101765},
year = {2022},
url = {https://doi.org/10.1016/j.is.2021.101765},
doi = {10.1016/J.IS.2021.101765},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/HouhouBPQK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/benevol/JaimeHP22,
author = {Damien Jaime and
Joyce El Haddad and
Pascal Poizat},
editor = {Mairieli Wessel and
Eleni Constantinou},
title = {A preliminary study of rhythm and speed in the maven ecosystem},
booktitle = {Proceedings of the Belgium-Netherlands Software Evolution Workshop,
Mons, Belgium, September 12-13, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3245},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3245/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/benevol/JaimeHP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/HouhouBPQ21,
author = {Sara Houhou and
Souheib Baarir and
Pascal Poizat and
Philippe Qu{\'{e}}innec},
editor = {Raian Ali and
Hermann Kaindl and
Leszek A. Maciaszek},
title = {A Direct Formal Semantics for {BPMN} Time-related Constructs},
booktitle = {Proceedings of the 16th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2021, Online Streaming,
April 26-27, 2021},
pages = {138--149},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010462901380149},
doi = {10.5220/0010462901380149},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/HouhouBPQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Saddem-YagoubiP21,
author = {Rim Saddem{-}Yagoubi and
Pascal Poizat and
Sara Houhou},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Business Processes Meet Spatial Concerns: The sBPMN Verification Framework},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {218--234},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_12},
doi = {10.1007/978-3-030-90870-6\_12},
timestamp = {Thu, 11 Nov 2021 16:19:19 +0100},
biburl = {https://dblp.org/rec/conf/fm/Saddem-YagoubiP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KrishnaPS19,
author = {Ajay Krishna and
Pascal Poizat and
Gwen Sala{\"{u}}n},
title = {Checking business process evolution},
journal = {Sci. Comput. Program.},
volume = {170},
pages = {1--26},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2018.09.007},
doi = {10.1016/J.SCICO.2018.09.007},
timestamp = {Wed, 26 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KrishnaPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HouhouBPQ19,
author = {Sara Houhou and
Souheib Baarir and
Pascal Poizat and
Philippe Qu{\'{e}}innec},
editor = {Thomas T. Hildebrandt and
Boudewijn F. van Dongen and
Maximilian R{\"{o}}glinger and
Jan Mendling},
title = {A First-Order Logic Semantics for Communication-Parametric {BPMN}
Collaborations},
booktitle = {Business Process Management - 17th International Conference, {BPM}
2019, Vienna, Austria, September 1-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11675},
pages = {52--68},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26619-6\_6},
doi = {10.1007/978-3-030-26619-6\_6},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/HouhouBPQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KrishnaPS17,
author = {Ajay Krishna and
Pascal Poizat and
Gwen Sala{\"{u}}n},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {{VBPMN:} Automated Verification of {BPMN} Processes (Tool Paper)},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {323--331},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_21},
doi = {10.1007/978-3-319-66845-1\_21},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/KrishnaPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/GudemannPSY16,
author = {Matthias G{\"{u}}demann and
Pascal Poizat and
Gwen Sala{\"{u}}n and
Lina Ye},
title = {VerChor: {A} Framework for the Design and Verification of Choreographies},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {9},
number = {4},
pages = {647--660},
year = {2016},
url = {https://doi.org/10.1109/TSC.2015.2413401},
doi = {10.1109/TSC.2015.2413401},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsc/GudemannPSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/PoizatSK16,
author = {Pascal Poizat and
Gwen Sala{\"{u}}n and
Ajay Krishna},
editor = {Olga Kouchnarenko and
Ramtin Khosravi},
title = {Checking Business Process Evolution},
booktitle = {Formal Aspects of Component Software - 13th International Conference,
{FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10231},
pages = {36--53},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57666-4\_4},
doi = {10.1007/978-3-319-57666-4\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/PoizatSK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/PlouzeauP15,
author = {No{\"{e}}l Plouzeau and
Pascal Poizat},
title = {Introduction},
journal = {Tech. Sci. Informatiques},
volume = {34},
number = {6},
pages = {635--636},
year = {2015},
url = {http://tsi.revuesonline.com/article.jsp?articleId=35878},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/PlouzeauP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wsf14/ChenPY14,
author = {Min Chen and
Pascal Poizat and
Yuhong Yan},
editor = {Athman Bouguettaya and
Quan Z. Sheng and
Florian Daniel},
title = {Adaptive Composition and QoS Optimization of Conversational Services
Through Graph Planning Encoding},
booktitle = {Web Services Foundations},
pages = {423--449},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-1-4614-7518-7\_17},
doi = {10.1007/978-1-4614-7518-7\_17},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/wsf14/ChenPY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GudemannPSD13,
author = {Matthias G{\"{u}}demann and
Pascal Poizat and
Gwen Sala{\"{u}}n and
Alexandre Dumont},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {VerChor: {A} Framework for Verifying Choreographies},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {226--230},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_16},
doi = {10.1007/978-3-642-37057-1\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/GudemannPSD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/KhefifiPS13,
author = {Rania Kh{\'{e}}fifi and
Pascal Poizat and
Fatiha Sa{\"{\i}}s},
editor = {Samik Basu and
Cesare Pautasso and
Liang Zhang and
Xiang Fu},
title = {Automatic Composition of Form-Based Services in a Context-Aware Personal
Information Space},
booktitle = {Service-Oriented Computing - 11th International Conference, {ICSOC}
2013, Berlin, Germany, December 2-5, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8274},
pages = {575--583},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45005-1\_48},
doi = {10.1007/978-3-642-45005-1\_48},
timestamp = {Tue, 09 May 2023 12:51:34 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/KhefifiPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/NguyenPZ13,
author = {Huu Nghia Nguyen and
Pascal Poizat and
Fatiha Za{\"{\i}}di},
title = {Automatic skeleton generation for data-aware service choreographies},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013},
pages = {320--329},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSRE.2013.6698885},
doi = {10.1109/ISSRE.2013.6698885},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/NguyenPZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MateescuPS12,
author = {Radu Mateescu and
Pascal Poizat and
Gwen Sala{\"{u}}n},
title = {Adaptation of Service Protocols Using Process Algebra and On-the-Fly
Reduction Techniques},
journal = {{IEEE} Trans. Software Eng.},
volume = {38},
number = {4},
pages = {755--777},
year = {2012},
url = {https://doi.org/10.1109/TSE.2011.62},
doi = {10.1109/TSE.2011.62},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/MateescuPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/KhefifiPS12,
author = {Rania Kh{\'{e}}fifi and
Pascal Poizat and
Fatiha Sa{\"{\i}}s},
editor = {Stephen W. Liddle and
Klaus{-}Dieter Schewe and
A Min Tjoa and
Xiaofang Zhou},
title = {Modeling and Querying Context-Aware Personal Information Spaces},
booktitle = {Database and Expert Systems Applications - 23rd International Conference,
{DEXA} 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {7447},
pages = {103--110},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32597-7\_9},
doi = {10.1007/978-3-642-32597-7\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexa/KhefifiPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/KhefifiPS12,
author = {Rania Kh{\'{e}}fifi and
Pascal Poizat and
Fatiha Sa{\"{\i}}s},
editor = {Yves Lechevallier and
Guy Melan{\c{c}}on and
Bruno Pinaud},
title = {Mod{\'{e}}lisation et interrogation d'espaces d'informations
personnelles sensibles au contexte},
booktitle = {Extraction et gestion des connaissances (EGC'2012), Actes, janvier
31 - f{\'{e}}vrier 2012, Bordeaux, France},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{RNTI-E-23}},
pages = {573--574},
publisher = {Hermann-{\'{E}}ditions},
year = {2012},
timestamp = {Thu, 30 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/f-egc/KhefifiPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/NguyenPZ12,
author = {Huu Nghia Nguyen and
Pascal Poizat and
Fatiha Za{\"{\i}}di},
title = {Online Verification of Value-Passing Choreographies through Property-Oriented
Passive Testing},
booktitle = {14th International {IEEE} Symposium on High-Assurance Systems Engineering,
{HASE} 2012, Omaha, NE, USA, October 25-27, 2012},
pages = {106--113},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HASE.2012.15},
doi = {10.1109/HASE.2012.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/NguyenPZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/NguyenPZ12,
author = {Huu Nghia Nguyen and
Pascal Poizat and
Fatiha Za{\"{\i}}di},
editor = {Chengfei Liu and
Heiko Ludwig and
Farouk Toumani and
Qi Yu},
title = {A Symbolic Framework for the Conformance Checking of Value-Passing
Choreographies},
booktitle = {Service-Oriented Computing - 10th International Conference, {ICSOC}
2012, Shanghai, China, November 12-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7636},
pages = {525--532},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34321-6\_36},
doi = {10.1007/978-3-642-34321-6\_36},
timestamp = {Mon, 26 Jun 2023 20:44:14 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/NguyenPZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/NguyenPZ12,
author = {Huu Nghia Nguyen and
Pascal Poizat and
Fatiha Za{\"{\i}}di},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Passive conformance testing of service choreographies},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1528--1535},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232020},
doi = {10.1145/2245276.2232020},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/NguyenPZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PoizatS12,
author = {Pascal Poizat and
Gwen Sala{\"{u}}n},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Checking the realizability of {BPMN} 2.0 choreographies},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1927--1934},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232095},
doi = {10.1145/2245276.2232095},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/PoizatS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Poizat11,
author = {Pascal Poizat},
title = {Formal Model-Based Approaches for the Development of Composite Systems.
(Approches formelles {\`{a}} base de mod{\`{e}}les pour le d{\'{e}}veloppement
de syst{\`{e}}mes composites)},
year = {2011},
url = {https://tel.archives-ouvertes.fr/tel-02963225},
timestamp = {Wed, 16 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/hal/Poizat11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalPV11,
author = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {76},
number = {1},
pages = {1--2},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.06.002},
doi = {10.1016/J.SCICO.2010.06.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CanalPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalPS11,
author = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {631--632},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.06.003},
doi = {10.1016/J.SCICO.2010.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CanalPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BentakoukPZ11,
author = {Lina Bentakouk and
Pascal Poizat and
Fatiha Za{\"{\i}}di},
editor = {Martin Gogolla and
Burkhart Wolff},
title = {Checking the Behavioral Conformance of Web Services with Symbolic
Testing and an {SMT} Solver},
booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
Switzerland, June 30 - July 1, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {33--50},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21768-5\_4},
doi = {10.1007/978-3-642-21768-5\_4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/BentakoukPZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/YanPZ10,
author = {Yuhong Yan and
Pascal Poizat and
Ludeng Zhao},
editor = {Paul P. Maglio and
Mathias Weske and
Jian Yang and
Marcelo Fantinato},
title = {Repair vs. Recomposition for Broken Service Compositions},
booktitle = {Service-Oriented Computing - 8th International Conference, {ICSOC}
2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6470},
pages = {152--166},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17358-5\_11},
doi = {10.1007/978-3-642-17358-5\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/YanPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/YanPZ10,
author = {Yuhong Yan and
Pascal Poizat and
Ludeng Zhao},
title = {Self-Adaptive Service Composition Through Graphplan Repair},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2010, Miami,
Florida, USA, July 5-10, 2010},
pages = {624--627},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICWS.2010.91},
doi = {10.1109/ICWS.2010.91},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/YanPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PoizatY10,
author = {Pascal Poizat and
Yuhong Yan},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Adaptive Composition of Conversational Services through Graph Planning
Encoding},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {35--50},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_11},
doi = {10.1007/978-3-642-16561-0\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/PoizatY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sera/YanPZ10,
author = {Yuhong Yan and
Pascal Poizat and
Ludeng Zhao},
editor = {Roger Y. Lee and
Olga Ormandjieva and
Alain Abran and
Constantinos Constantinides},
title = {Repairing Service Compositions in a Changing World},
booktitle = {Software Engineering Research, Management and Applications 2010 [selected
papers from the 8th {ACIS} International Conference on Software Engineering
Research, Management and Applications, {SERA} 2010, Montreal, Canada,
May 24-26, 2010]},
series = {Studies in Computational Intelligence},
volume = {296},
pages = {17--36},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13273-5\_2},
doi = {10.1007/978-3-642-13273-5\_2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sera/YanPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BentakoukPZ09,
author = {Lina Bentakouk and
Pascal Poizat and
Fatiha Za{\"{\i}}di},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Paul Baker and
Mercedes G. Merayo},
title = {A Formal Framework for Service Orchestration Testing Based on Symbolic
Transition Systems},
booktitle = {Testing of Software and Communication Systems, 21st {IFIP} {WG} 6.1
International Conference, {TESTCOM} 2009 and 9th International Workshop,
{FATES} 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5826},
pages = {16--32},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05031-2\_2},
doi = {10.1007/978-3-642-05031-2\_2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/BentakoukPZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2008,
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/2},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CanalMP08,
author = {Carlos Canal and
Juan Manuel Murillo and
Pascal Poizat},
title = {Software Adaptation},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {13},
pages = {2107--2109},
year = {2008},
url = {http://www.jucs.org/jucs\_14\_13/software\_adaptation\%20},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/CanalMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CanalPS08,
author = {Carlos Canal and
Pascal Poizat and
Gwen Sala{\"{u}}n},
title = {Model-Based Adaptation of Behavioral Mismatching Components},
journal = {{IEEE} Trans. Software Eng.},
volume = {34},
number = {4},
pages = {546--563},
year = {2008},
url = {https://doi.org/10.1109/TSE.2008.31},
doi = {10.1109/TSE.2008.31},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/CanalPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MellitiPM08,
author = {Tarek Melliti and
Pascal Poizat and
Sonia Ben Mokhtar},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {Distributed Behavioural Adaptation for the Automatic Composition of
Semantic Services},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {146--162},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_12},
doi = {10.1007/978-3-540-78743-3\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/MellitiPM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MateescuPS08,
author = {Radu Mateescu and
Pascal Poizat and
Gwen Sala{\"{u}}n},
editor = {Athman Bouguettaya and
Ingolf Kr{\"{u}}ger and
Tiziana Margaria},
title = {Adaptation of Service Protocols Using Process Algebra and On-the-Fly
Reduction Techniques},
booktitle = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
Sydney, Australia, December 1-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5364},
pages = {84--99},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89652-4\_10},
doi = {10.1007/978-3-540-89652-4\_10},
timestamp = {Sun, 02 Jun 2019 21:20:23 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/MateescuPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BeaucheP08,
author = {Sandrine Beauche and
Pascal Poizat},
editor = {Athman Bouguettaya and
Ingolf Kr{\"{u}}ger and
Tiziana Margaria},
title = {Automated Service Composition with Adaptive Planning},
booktitle = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
Sydney, Australia, December 1-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5364},
pages = {530--537},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89652-4\_42},
doi = {10.1007/978-3-540-89652-4\_42},
timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/BeaucheP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CanalPS09,
author = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Preface},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.025},
doi = {10.1016/J.ENTCS.2009.06.025},
timestamp = {Fri, 24 Feb 2023 11:36:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CanalPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2007,
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/194/issue/4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AttiogbePS07,
author = {J. Christian Attiogb{\'{e}} and
Pascal Poizat and
Gwen Sala{\"{u}}n},
title = {A Formal and Tool-Equipped Approach for the Integration of State Diagrams
and Formal Datatypes},
journal = {{IEEE} Trans. Software Eng.},
volume = {33},
number = {3},
pages = {157--170},
year = {2007},
url = {https://doi.org/10.1109/TSE.2007.21},
doi = {10.1109/TSE.2007.21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AttiogbePS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/CanalMP07,
author = {Carlos Canal and
Juan Manuel Murillo and
Pascal Poizat},
editor = {Michael Cebulla},
title = {Practical Approaches for Software Adaptation},
booktitle = {Object-Oriented Technology. {ECOOP} 2007 Workshop Reader, Berlin,
Germany, July 30-31, 2007, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4906},
pages = {154--165},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78195-0\_15},
doi = {10.1007/978-3-540-78195-0\_15},
timestamp = {Sun, 02 Jun 2019 21:21:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/CanalMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/PoizatS07,
author = {Pascal Poizat and
Gwen Sala{\"{u}}n},
editor = {Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Adaptation of Open Component-Based Systems},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus,
June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4468},
pages = {141--156},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72952-5\_9},
doi = {10.1007/978-3-540-72952-5\_9},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/PoizatS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HaddadP07,
author = {Serge Haddad and
Pascal Poizat},
editor = {John Derrick and
J{\"{u}}ri Vain},
title = {Transactional Reduction of Component Compositions},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
June 27-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4574},
pages = {341--357},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73196-2\_22},
doi = {10.1007/978-3-540-73196-2\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/HaddadP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MateescuPS07,
author = {Radu Mateescu and
Pascal Poizat and
Gwen Sala{\"{u}}n},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Behavioral adaptation of component compositions based on process algebra
encodings},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {385--388},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321690},
doi = {10.1145/1321631.1321690},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MateescuPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CanalPV08,
author = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Preface},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {1--3},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.095},
doi = {10.1016/J.ENTCS.2008.03.095},
timestamp = {Tue, 06 Dec 2022 12:35:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CanalPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CuboSCPP08,
author = {Javier Cubo and
Gwen Sala{\"{u}}n and
Carlos Canal and
Ernesto Pimentel and
Pascal Poizat},
editor = {Markus Lumpe and
Eric Madelaine},
title = {A Model-Based Approach to the Verification and Adaptation of {WF/.NET}
Components},
booktitle = {Proceedings of the 4th International Workshop on Formal Aspects of
Component Software, {FACS} 2007, Sophia-Antipolis, France, September
19-21, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {215},
pages = {39--55},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.020},
doi = {10.1016/J.ENTCS.2008.06.020},
timestamp = {Mon, 20 Feb 2023 08:38:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CuboSCPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcat/2006,
editor = {Steffen Becker and
Carlos Canal and
Nikolay Diakov and
Juan Manuel Murillo and
Pascal Poizat and
Massimo Tivoli},
title = {Proceedings of the Third International Workshop on Coordination and
Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes,
France, July 4, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {189},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/189/suppl/C},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcat/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/CanalMP06,
author = {Carlos Canal and
Juan Manuel Murillo and
Pascal Poizat},
title = {Software Adaptation},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {12},
number = {1},
pages = {9--31},
year = {2006},
url = {https://doi.org/10.3166/objet.12.1.9-31},
doi = {10.3166/OBJET.12.1.9-31},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/CanalMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/PoizatR06,
author = {Pascal Poizat and
Jean{-}Claude Royer},
title = {A Formal Architectural Description Language based on Symbolic Transition
Systems and Temporal Logic},
journal = {J. Univers. Comput. Sci.},
volume = {12},
number = {12},
pages = {1741--1782},
year = {2006},
url = {https://doi.org/10.3217/jucs-012-12-1741},
doi = {10.3217/JUCS-012-12-1741},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/PoizatR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/CanalPS06,
author = {Carlos Canal and
Pascal Poizat and
Gwen Sala{\"{u}}n},
editor = {Mourad Chabane Oussalah and
Fl{\'{a}}vio Oquendo and
Dalila Tamzalit and
Tahar Khammaci},
title = {Adaptation de composants logiciels Une approche automatis{\'{e}}e
bas{\'{e}}e sur des expressions r{\'{e}}guli{\`{e}}res de
vecteurs de synchronisation},
booktitle = {1er Conf{\'{e}}rence francophone sur les Architectures Logicielles
{(CAL} 2006), 4-6 September 2006, Nantes, France},
pages = {31--39},
publisher = {Hermes Science},
year = {2006},
timestamp = {Mon, 11 Sep 2006 13:24:33 +0200},
biburl = {https://dblp.org/rec/conf/cal/CanalPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BeckerCDMPT06,
author = {Steffen Becker and
Carlos Canal and
Nikolay Diakov and
Juan Manuel Murillo and
Pascal Poizat and
Massimo Tivoli},
editor = {Mario S{\"{u}}dholt and
Charles Consel},
title = {Coordination and Adaptation Techniques: Bridging the Gap Between Design
and Implementation},
booktitle = {Object-Oriented Technology, {ECOOP} 2006 Workshop Reader, {ECOOP}
2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4379},
pages = {72--86},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71774-4\_9},
doi = {10.1007/978-3-540-71774-4\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/BeckerCDMPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/PoizatRS06,
author = {Pascal Poizat and
Jean{-}Claude Royer and
Gwen Sala{\"{u}}n},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Bounded Analysis and Decomposition for Behavioural Descriptions of
Components},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {33--47},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_5},
doi = {10.1007/11768869\_5},
timestamp = {Thu, 14 Oct 2021 10:14:37 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/PoizatRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/CanalPS06,
author = {Carlos Canal and
Pascal Poizat and
Gwen Sala{\"{u}}n},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Synchronizing Behavioural Mismatch in Software Composition},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {63--77},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_7},
doi = {10.1007/11768869\_7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/CanalPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BeckerCDMPT07,
author = {Steffen Becker and
Carlos Canal and
Nikolay Diakov and
Juan Manuel Murillo and
Pascal Poizat and
Massimo Tivoli},
editor = {Steffen Becker and
Carlos Canal and
Nikolay Diakov and
Juan Manuel Murillo and
Pascal Poizat and
Massimo Tivoli},
title = {Preface},
booktitle = {Proceedings of the Third International Workshop on Coordination and
Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes,
France, July 4, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {189},
pages = {1--3},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.044},
doi = {10.1016/J.ENTCS.2007.05.044},
timestamp = {Tue, 31 Jan 2023 15:57:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BeckerCDMPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PoizatST07,
author = {Pascal Poizat and
Gwen Sala{\"{u}}n and
Massimo Tivoli},
editor = {Vladimir Mencl and
Frank S. de Boer},
title = {An Adaptation-based Approach to Incrementally Build Component Systems},
booktitle = {Proceedings of the Third International Workshop on Formal Aspects
of Component Software, {FACS} 2006, Prague, Czech Republic, September
20-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {182},
pages = {155--170},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.037},
doi = {10.1016/J.ENTCS.2006.09.037},
timestamp = {Tue, 24 Jan 2023 13:47:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PoizatST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/PavelNPR05,
author = {Sebastian Pavel and
Jacques Noy{\'{e}} and
Pascal Poizat and
Jean{-}Claude Royer},
editor = {Thomas Gschwind and
Uwe A{\ss}mann and
Oscar Nierstrasz},
title = {A Java Implementation of a Component Model with Explicit Symbolic
Protocols},
booktitle = {Software Composition - 4th International Workshop, SC@ETAPS 2005,
Edinburgh, UK, April 9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3628},
pages = {115--124},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11550679\_9},
doi = {10.1007/11550679\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soco/PavelNPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/MarechalPR04,
author = {Olivier Mar{\'{e}}chal and
Pascal Poizat and
Jean{-}Claude Royer},
editor = {Robert Meersman and
Zahir Tari},
title = {Checking Asynchronously Communicating Components Using Symbolic Transition
Systems},
booktitle = {On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and
ODBASE, {OTM} Confederated International Conferences, Agia Napa, Cyprus,
October 25-29, 2004, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3291},
pages = {1502--1519},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30469-2\_42},
doi = {10.1007/978-3-540-30469-2\_42},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/coopis/MarechalPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/CanalMP04,
author = {Carlos Canal and
Juan Manuel Murillo and
Pascal Poizat},
editor = {Jacques Malenfant and
Bjarte M. {\O}stvold},
title = {Coordination and Adaptation Techniques for Software Entities},
booktitle = {Object-Oriented Technology: {ECOOP} 2004 Workshop Reader, {ECOOP}
2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {3344},
pages = {133--147},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30554-5\_13},
doi = {10.1007/978-3-540-30554-5\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/CanalMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SalaunP05,
author = {Gwen Sala{\"{u}}n and
Pascal Poizat},
editor = {Gerald L{\"{u}}ttgen and
Natividad Mart{\'{\i}}nez Madrid and
Michael Mendler},
title = {Interacting Extended State Diagrams},
booktitle = {Proceedings of the Second Workshop on Semantic Foundations of Engineering
Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {115},
pages = {49--57},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.028},
doi = {10.1016/J.ENTCS.2004.09.028},
timestamp = {Tue, 13 Dec 2022 11:16:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SalaunP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AttiogbePS03,
author = {J. Christian Attiogb{\'{e}} and
Pascal Poizat and
Gwen Sala{\"{u}}n},
editor = {Mauro Pezz{\`{e}}},
title = {Integration of Formal Datatypes within State Diagrams},
booktitle = {Fundamental Approaches to Software Engineering, 6th International
Conference, {FASE} 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 = {2621},
pages = {341--355},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36578-8\_24},
doi = {10.1007/3-540-36578-8\_24},
timestamp = {Sun, 02 Oct 2022 16:01:12 +0200},
biburl = {https://dblp.org/rec/conf/fase/AttiogbePS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/AttiogbePS03,
author = {J. Christian Attiogb{\'{e}} and
Pascal Poizat and
Gwen Sala{\"{u}}n},
title = {Specification of a Gas Station Using a Formalism Integrating Formal
Datatypes within State Diagrams},
booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
pages = {240},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213436},
doi = {10.1109/IPDPS.2003.1213436},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/AttiogbePS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AiguieBP04,
author = {Marc Aiguier and
Fabrice Barbier and
Pascal Poizat},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {A Logic with Temporal Glue for Mixed Specifications},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {155--174},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.035},
doi = {10.1016/J.ENTCS.2004.04.035},
timestamp = {Tue, 06 Dec 2022 11:29:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AiguieBP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/PoizatR02,
author = {Pascal Poizat and
Jean{-}Claude Royer},
title = {Une proposition de composants formels},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {8},
number = {1-2},
pages = {231--245},
year = {2002},
url = {https://doi.org/10.3166/objet.8.1-2.231-245},
doi = {10.3166/OBJET.8.1-2.231-245},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/PoizatR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ChoppyPR01,
author = {Christine Choppy and
Pascal Poizat and
Jean{-}Claude Royer},
title = {The Korrigan Environment},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {1},
pages = {19--36},
year = {2001},
url = {https://doi.org/10.3217/jucs-007-01-0019},
doi = {10.3217/JUCS-007-01-0019},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ChoppyPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ChoppyPR01,
author = {Christine Choppy and
Pascal Poizat and
Jean{-}Claude Royer},
title = {Formal Specification of Mixed Components with Korrigan},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {169--176},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991474},
doi = {10.1109/APSEC.2001.991474},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ChoppyPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ChoppyPR01,
author = {Christine Choppy and
Pascal Poizat and
Jean{-}Claude Royer},
editor = {Heinrich Hu{\ss}mann},
title = {Specification of Mixed Systems in {KORRIGAN} with the Support of a
UML-Inspired Graphical Notation},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {124--139},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_10},
doi = {10.1007/3-540-45314-8\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/ChoppyPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Poizat00,
author = {Pascal Poizat},
title = {{KORRIGAN} : un formalisme et une m{\'{e}}thode pour la sp{\'{e}}cification
formelle et structur{\'{e}}e de syst{\`{e}}mes mixtes. {(KORRIGAN}
: a formalism and a method for the formal and structured specification
of mixed systems)},
school = {University of Nantes, France},
year = {2000},
url = {https://tel.archives-ouvertes.fr/tel-02963222},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/hal/Poizat00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ChoppyPR00,
author = {Christine Choppy and
Pascal Poizat and
Jean{-}Claude Royer},
editor = {Teodor Rus},
title = {A Global Semantics for Views},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {165--180},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_13},
doi = {10.1007/3-540-45499-3\_13},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/ChoppyPR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PoizatCR99,
author = {Pascal Poizat and
Christine Choppy and
Jean{-}Claude Royer},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {From Informal Requirements to {COOP:} {A} Concurrent Automata Approach},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {939--962},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_1},
doi = {10.1007/3-540-48118-4\_1},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/PoizatCR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HabriasPL99,
author = {Henri Habrias and
Pascal Poizat and
Jean{-}Yves Lafaye},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {A Study of Collaborative Work: Answers to a Test on Formal Specification
in {B}},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1856--1857},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_50},
doi = {10.1007/3-540-48118-4\_50},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/HabriasPL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/PoizatCR98,
author = {Pascal Poizat and
Christine Choppy and
Jean{-}Claude Royer},
editor = {Jos{\'{e}} Luiz Fiadeiro},
title = {Concurrency and Data Types: {A} Specification Method: An Example with
{LOTOS}},
booktitle = {Recent Trends in Algebraic Development Techniques, 13th International
Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1589},
pages = {277--292},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48483-3\_18},
doi = {10.1007/3-540-48483-3\_18},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wadt/PoizatCR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-25 02:32 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:
