Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Farhad Arbab"
download as .bib file
@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/jlap/LionAT22,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {A formal framework for distributed cyber-physical systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {128},
pages = {100795},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100795},
doi = {10.1016/J.JLAMP.2022.100795},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/LionAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/LionAT22a,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {A semantic model for interacting cyber-physical systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {129},
pages = {100807},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100807},
doi = {10.1016/J.JLAMP.2022.100807},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/LionAT22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JongmansA22,
author = {Sung{-}Shik Jongmans and
Farhad Arbab},
title = {Preface - Special Issue on selected and extended papers from {FACS}
2019},
journal = {Sci. Comput. Program.},
volume = {218},
pages = {102807},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102807},
doi = {10.1016/J.SCICO.2022.102807},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/JongmansA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/LionAT22,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Alexandre Madeira and
Manuel A. Martins},
title = {Runtime Composition of Systems of Interacting Cyber-Physical Components},
booktitle = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13710},
pages = {141--162},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-43345-0\_7},
doi = {10.1007/978-3-031-43345-0\_7},
timestamp = {Tue, 24 Oct 2023 15:45:06 +0200},
biburl = {https://dblp.org/rec/conf/adt/LionAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LionAT22,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Rewriting Framework for Interacting Cyber-Physical Agents},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {356--372},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_22},
doi = {10.1007/978-3-031-19759-8\_22},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/LionAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-13008,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {Runtime Composition Of Systems of Interacting Cyber-Physical Components},
journal = {CoRR},
volume = {abs/2205.13008},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.13008},
doi = {10.48550/ARXIV.2205.13008},
eprinttype = {arXiv},
eprint = {2205.13008},
timestamp = {Mon, 30 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-13008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-03997,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Rewriting Framework for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2206.03997},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03997},
doi = {10.48550/ARXIV.2206.03997},
eprinttype = {arXiv},
eprint = {2206.03997},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-01048,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Formal Framework for Distributed Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2207.01048},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.01048},
doi = {10.48550/ARXIV.2207.01048},
eprinttype = {arXiv},
eprint = {2207.01048},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-01048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ChangiziKAM21,
author = {Behnaz Changizi and
Natallia Kokash and
Farhad Arbab and
Leonid Makhnist},
title = {Compositional workflow modeling with priority constraints},
journal = {Sci. Comput. Program.},
volume = {203},
pages = {102578},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2020.102578},
doi = {10.1016/J.SCICO.2020.102578},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/ChangiziKAM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/DokterA21,
author = {Kasper Dokter and
Farhad Arbab},
editor = {Hossein Hojjat and
Mieke Massink},
title = {Protocol Scheduling},
booktitle = {Fundamentals of Software Engineering - 9th International Conference,
{FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12818},
pages = {3--17},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89247-0\_1},
doi = {10.1007/978-3-030-89247-0\_1},
timestamp = {Tue, 19 Oct 2021 18:32:11 +0200},
biburl = {https://dblp.org/rec/conf/fsen/DokterA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-02214,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {A Semantic Model for Interacting Cyber-Physical Systems},
booktitle = {Proceedings 14th Interaction and Concurrency Experience, {ICE} 2021,
Online, 18th June 2021},
series = {{EPTCS}},
volume = {347},
pages = {77--95},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.347.5},
doi = {10.4204/EPTCS.347.5},
timestamp = {Tue, 21 Mar 2023 21:05:33 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-02214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-15661,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Semantic Model for Interacting Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2106.15661},
year = {2021},
url = {https://arxiv.org/abs/2106.15661},
eprinttype = {arXiv},
eprint = {2106.15661},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-15661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2019,
editor = {Farhad Arbab and
Sung{-}Shik Jongmans},
title = {Formal Aspects of Component Software - 16th International Conference,
{FACS} 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12018},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-40914-2},
doi = {10.1007/978-3-030-40914-2},
isbn = {978-3-030-40913-5},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KappeLAT19,
author = {Tobias Kapp{\'{e}} and
Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {Soft component automata: Composition, compilation, logic, and verification},
journal = {Sci. Comput. Program.},
volume = {183},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.08.001},
doi = {10.1016/J.SCICO.2019.08.001},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KappeLAT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ArbabAIT19,
author = {Farhad Arbab and
Marco Autili and
Paola Inverardi and
Massimo Tivoli},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Different Glasses to Look into the Three Cs: Component, Connector,
Coordination},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {191--216},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_12},
doi = {10.1007/978-3-030-21485-2\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ArbabAIT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/ChangiziKA19,
author = {Behnaz Changizi and
Natallia Kokash and
Farhad Arbab},
editor = {Hossein Hojjat and
Mieke Massink},
title = {Service Orchestration with Priority Constraints},
booktitle = {Fundamentals of Software Engineering - 8th International Conference,
{FSEN} 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11761},
pages = {194--209},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31517-7\_14},
doi = {10.1007/978-3-030-31517-7\_14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/ChangiziKA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FengAB19,
author = {Hui Feng and
Farhad Arbab and
Marcello M. Bonsangue},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Reo Model of Software Defined Networks},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {69--85},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_5},
doi = {10.1007/978-3-030-32409-4\_5},
timestamp = {Mon, 28 Oct 2019 17:04:46 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FengAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JongmansA18,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
title = {Centralized coordination vs. partially-distributed coordination with
Reo and constraint automata},
journal = {Sci. Comput. Program.},
volume = {160},
pages = {48--77},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.06.004},
doi = {10.1016/J.SCICO.2017.06.004},
timestamp = {Mon, 14 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/JongmansA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Blom18,
author = {Kees Blom},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Jan Rutten},
title = {Personal Note: Working with Farhad Arbab 1990-2005},
booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
Achievements of Farhad Arbab},
series = {Lecture Notes in Computer Science},
volume = {10865},
pages = {68--69},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90089-6\_5},
doi = {10.1007/978-3-319-90089-6\_5},
timestamp = {Sat, 19 Oct 2019 20:29:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Blom18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/DokterA18,
author = {Kasper Dokter and
Farhad Arbab},
editor = {Giovanna Di Marzo Serugendo and
Michele Loreti},
title = {Rule-Based Form for Stream Constraints},
booktitle = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2018, Held as Part of the 13th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2018, Madrid, Spain, June 18-21, 2018. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10852},
pages = {142--161},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92408-3\_6},
doi = {10.1007/978-3-319-92408-3\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/DokterA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LionCA18,
author = {Benjamin Lion and
Samir Chouali and
Farhad Arbab},
editor = {Regina Hebig and
Thorsten Berger},
title = {Compiling Protocols to Promela and Verifying their {LTL} Properties},
booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {31--39},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2245/modcomp\_paper\_5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/LionCA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Ardeshir-Larijani18,
author = {Ebrahim Ardeshir{-}Larijani and
Farhad Arbab},
editor = {Manuel Mazzara and
Iulian Ober and
Gwen Sala{\"{u}}n},
title = {Reo Coordination Model for Simulation of Quantum Internet Software},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2018
Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11176},
pages = {311--319},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04771-9\_23},
doi = {10.1007/978-3-030-04771-9\_23},
timestamp = {Thu, 14 Oct 2021 10:27:56 +0200},
biburl = {https://dblp.org/rec/conf/staf/Ardeshir-Larijani18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1806-09852,
author = {Kasper Dokter and
Farhad Arbab},
editor = {Simon Bliudze and
Saddek Bensalem},
title = {Treo: Textual Syntax for Reo Connectors},
booktitle = {Proceedings of the 1st International Workshop on Methods and Tools
for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
15th April 2018},
series = {{EPTCS}},
volume = {272},
pages = {121--135},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.272.10},
doi = {10.4204/EPTCS.272.10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-09852.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018arbab,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Jan Rutten},
title = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
Achievements of Farhad Arbab},
series = {Lecture Notes in Computer Science},
volume = {10865},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90089-6},
doi = {10.1007/978-3-319-90089-6},
isbn = {978-3-319-90088-9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2018arbab.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08976,
author = {Farhad Arbab and
Lu{\'{\i}}s Cruz{-}Filipe and
Sung{-}Shik Jongmans and
Fabrizio Montesi},
title = {Connectors meet Choreographies},
journal = {CoRR},
volume = {abs/1804.08976},
year = {2018},
url = {http://arxiv.org/abs/1804.08976},
eprinttype = {arXiv},
eprint = {1804.08976},
timestamp = {Mon, 24 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08976.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DokterJAB17,
author = {Kasper Dokter and
Sung{-}Shik Jongmans and
Farhad Arbab and
Simon Bliudze},
title = {Combine and conquer: Relating {BIP} and Reo},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {134--156},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.09.008},
doi = {10.1016/J.JLAMP.2016.09.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DokterJAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JongmansKA17,
author = {Sung{-}Shik T. Q. Jongmans and
Tobias Kapp{\'{e}} and
Farhad Arbab},
title = {Constraint automata with memory cells and their composition},
journal = {Sci. Comput. Program.},
volume = {146},
pages = {50--86},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.03.006},
doi = {10.1016/J.SCICO.2017.03.006},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/JongmansKA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/KappeAT17,
author = {Tobias Kapp{\'{e}} and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Markus Lumpe},
title = {A Component-Oriented Framework for Autonomous Agents},
booktitle = {Formal Aspects of Component Software - 14th International Conference,
{FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10487},
pages = {20--38},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68034-7\_2},
doi = {10.1007/978-3-319-68034-7\_2},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/KappeAT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttcs/DokterA17,
author = {Kasper Dokter and
Farhad Arbab},
editor = {Mohammad Reza Mousavi and
Jir{\'{\i}} Sgall},
title = {Exposing Latent Mutual Exclusion by Work Automata},
booktitle = {Topics in Theoretical Computer Science - Second {IFIP} {WG} 1.8 International
Conference, {TTCS} 2017, Tehran, Iran, September 12-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10608},
pages = {59--73},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68953-1\_6},
doi = {10.1007/978-3-319-68953-1\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ttcs/DokterA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/DoestLFTSJA17,
author = {Hugo W. L. ter Doest and
Diederik van Leeuwen and
Peter Fennema and
Leon van der Torre and
Andries W. Stam and
Joost Jacob and
Farhad Arbab},
editor = {Marc M. Lankhorst},
title = {Tool Support},
booktitle = {Enterprise Architecture at Work - Modelling, Communication and Analysis,
Fourth Editiontion},
pages = {277--299},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-53933-0\_11},
doi = {10.1007/978-3-662-53933-0\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/DoestLFTSJA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/LankhorstTPABB17,
author = {Marc M. Lankhorst and
Leon van der Torre and
Henderik A. Proper and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Marc M. Lankhorst},
title = {Foundations},
booktitle = {Enterprise Architecture at Work - Modelling, Communication and Analysis,
Fourth Editiontion},
pages = {41--58},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-53933-0\_3},
doi = {10.1007/978-3-662-53933-0\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/LankhorstTPABB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/LankhorstTPAHS17,
author = {Marc M. Lankhorst and
Leon van der Torre and
Henderik A. Proper and
Farhad Arbab and
S. J. B. A. Hoppenbrouwers and
Maarten W. A. Steen},
editor = {Marc M. Lankhorst},
title = {Viewpoints and Visualisation},
booktitle = {Enterprise Architecture at Work - Modelling, Communication and Analysis,
Fourth Editiontion},
pages = {171--214},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-53933-0\_8},
doi = {10.1007/978-3-662-53933-0\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/LankhorstTPAHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-00072,
author = {Tobias Kapp{\'{e}} and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Component-oriented Framework for Autonomous Agents},
journal = {CoRR},
volume = {abs/1708.00072},
year = {2017},
url = {http://arxiv.org/abs/1708.00072},
eprinttype = {arXiv},
eprint = {1708.00072},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-00072.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/Arbab17,
author = {Farhad Arbab},
title = {Diagnosis of Deviations in Distributed Systems of Autonomous Agents},
journal = {{ERCIM} News},
volume = {2017},
number = {109},
year = {2017},
url = {https://ercim-news.ercim.eu/en109/special/diagnosis-of-deviations-in-distributed-systems-of-autonomous-agents},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/Arbab17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JongmansA16,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
title = {Data optimizations for constraint automata},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {3},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(3:11)2016},
doi = {10.2168/LMCS-12(3:11)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JongmansA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KhakpourAR16,
author = {Narges Khakpour and
Farhad Arbab and
{\'{E}}ric Rutten},
title = {Synthesizing structural and behavioral control for reconfigurations
in component-based systems},
journal = {Formal Aspects Comput.},
volume = {28},
number = {1},
pages = {21--43},
year = {2016},
url = {https://doi.org/10.1007/s00165-015-0346-y},
doi = {10.1007/S00165-015-0346-Y},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/KhakpourAR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JongmansA16,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
title = {Global consensus through local synchronization: {A} formal basis for
partially-distributed coordination},
journal = {Sci. Comput. Program.},
volume = {115-116},
pages = {199--224},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2015.09.001},
doi = {10.1016/J.SCICO.2015.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JongmansA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Arbab16,
author = {Farhad Arbab},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Proper Protocol},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {65--87},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_7},
doi = {10.1007/978-3-319-30734-3\_7},
timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Arbab16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HelvensteijnA16,
author = {Michiel Helvensteijn and
Farhad Arbab},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Toward a Formal Foundation for Time Travel in Stories and Games},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {261--276},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_18},
doi = {10.1007/978-3-319-30734-3\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HelvensteijnA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/DokterJA16,
author = {Kasper Dokter and
Sung{-}Shik Jongmans and
Farhad Arbab},
editor = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
title = {Scheduling Games for Concurrent Systems},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2016, Held as Part of the 11th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9686},
pages = {84--100},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39519-7\_6},
doi = {10.1007/978-3-319-39519-7\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/DokterJA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagm/ArbabzadahMMS16,
author = {Farhad Arbabzadah and
Gr{\'{e}}goire Montavon and
Klaus{-}Robert M{\"{u}}ller and
Wojciech Samek},
editor = {Bodo Rosenhahn and
Bjoern Andres},
title = {Identifying Individual Facial Expressions by Deconstructing a Neural
Network},
booktitle = {Pattern Recognition - 38th German Conference, {GCPR} 2016, Hannover,
Germany, September 12-15, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9796},
pages = {344--354},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45886-1\_28},
doi = {10.1007/978-3-319-45886-1\_28},
timestamp = {Mon, 26 Jun 2023 20:48:30 +0200},
biburl = {https://dblp.org/rec/conf/dagm/ArbabzadahMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/TalcottNAK16,
author = {Carolyn L. Talcott and
Vivek Nigam and
Farhad Arbab and
Tobias Kapp{\'{e}}},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical
Systems},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {1--35},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_1},
doi = {10.1007/978-3-319-34096-8\_1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/TalcottNAK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JongmansA16,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {PrDK: Protocol Programming with Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {547--552},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_33},
doi = {10.1007/978-3-662-49674-9\_33},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JongmansA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KappeAT16,
author = {Tobias Kapp{\'{e}} and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Mehdi Kargahi and
Ashutosh Trivedi},
title = {A Compositional Framework for Preference-Aware Agents},
booktitle = {Proceedings of the The First Workshop on Verification and Validation
of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjav{\'{\i}}k,
Iceland, June 4-5, 2016},
series = {{EPTCS}},
volume = {232},
pages = {21--35},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.232.6},
doi = {10.4204/EPTCS.232.6},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KappeAT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArbabzadahMMS16,
author = {Farhad Arbabzadah and
Gr{\'{e}}goire Montavon and
Klaus{-}Robert M{\"{u}}ller and
Wojciech Samek},
title = {Identifying individual facial expressions by deconstructing a neural
network},
journal = {CoRR},
volume = {abs/1606.07285},
year = {2016},
url = {http://arxiv.org/abs/1606.07285},
eprinttype = {arXiv},
eprint = {1606.07285},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArbabzadahMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HojjatSA15,
author = {Hossein Hojjat and
Marjan Sirjani and
Farhad Arbab},
title = {Fundamentals of Software Engineering (selected papers of {FSEN} 2013)},
journal = {Sci. Comput. Program.},
volume = {112},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.10.002},
doi = {10.1016/J.SCICO.2015.10.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HojjatSA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/JongmansSA15,
author = {Sung{-}Shik T. Q. Jongmans and
Francesco Santini and
Farhad Arbab},
title = {Partially distributed coordination with Reo and constraint automata},
journal = {Serv. Oriented Comput. Appl.},
volume = {9},
number = {3-4},
pages = {311--339},
year = {2015},
url = {https://doi.org/10.1007/s11761-015-0177-y},
doi = {10.1007/S11761-015-0177-Y},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soca/JongmansSA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TalcottAY15,
author = {Carolyn L. Talcott and
Farhad Arbab and
Maneesh Yadav},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed
Cyber-Physical Agent Systems},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {273--290},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_18},
doi = {10.1007/978-3-319-15545-6\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/TalcottAY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/JongmansA15,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
editor = {Tom Holvoet and
Mirko Viroli},
title = {Take Command of Your Constraints!},
booktitle = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2015, Held as Part of the 10th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2015, Grenoble, France, June 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9037},
pages = {117--132},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19282-6\_8},
doi = {10.1007/978-3-319-19282-6\_8},
timestamp = {Fri, 27 Mar 2020 08:47:36 +0100},
biburl = {https://dblp.org/rec/conf/coordination/JongmansA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/JongmansKA15,
author = {Sung{-}Shik T. Q. Jongmans and
Tobias Kapp{\'{e}} and
Farhad Arbab},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {Composing Constraint Automata, State-by-State},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {217--236},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_12},
doi = {10.1007/978-3-319-28934-2\_12},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/JongmansKA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/JongmansA15,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Can High Throughput Atone for High Latency in Compiler-Generated Protocol
Code?},
booktitle = {Fundamentals of Software Engineering - 6th International Conference,
{FSEN} 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9392},
pages = {238--258},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24644-4\_17},
doi = {10.1007/978-3-319-24644-4\_17},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/JongmansA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ArbabJ15,
author = {Farhad Arbab and
Sung{-}Shik T. Q. Jongmans},
editor = {Marco Bernardo and
Einar Broch Johnsen},
title = {Coordinating Multicore Computing},
booktitle = {Formal Methods for Multicore Programming - 15th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {9104},
pages = {57--96},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18941-3\_2},
doi = {10.1007/978-3-319-18941-3\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/ArbabJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DokterJAB15,
author = {Kasper Dokter and
Sung{-}Shik Jongmans and
Farhad Arbab and
Simon Bliudze},
editor = {Sophia Knight and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Hugo Torres Vieira},
title = {Relating {BIP} and Reo},
booktitle = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
Grenoble, France, 4-5th June 2015},
series = {{EPTCS}},
volume = {189},
pages = {3--20},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.189.3},
doi = {10.4204/EPTCS.189.3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DokterJAB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ArbabO14,
author = {Farhad Arbab and
Peter Csaba {\"{O}}lveczky},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {83},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.11.002},
doi = {10.1016/J.SCICO.2013.11.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ArbabO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MoonSKA14,
author = {Young{-}Joo Moon and
Alexandra Silva and
Christian Krause and
Farhad Arbab},
title = {A compositional model to reason about end-to-end QoS in Stochastic
Reo connectors},
journal = {Sci. Comput. Program.},
volume = {80},
pages = {3--24},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2011.11.007},
doi = {10.1016/J.SCICO.2011.11.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MoonSKA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/JongmansSSAA14,
author = {Sung{-}Shik T. Q. Jongmans and
Francesco Santini and
Mahdi Sargolzaei and
Farhad Arbab and
Hamideh Afsarmanesh},
title = {Orchestrating web services using Reo: from circuits and behaviors
to automatically generated code},
journal = {Serv. Oriented Comput. Appl.},
volume = {8},
number = {4},
pages = {277--297},
year = {2014},
url = {https://doi.org/10.1007/s11761-013-0147-1},
doi = {10.1007/S11761-013-0147-1},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soca/JongmansSSAA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/JongmansHA14,
author = {Sung{-}Shik T. Q. Jongmans and
Sean Halle and
Farhad Arbab},
editor = {Eva K{\"{u}}hn and
Rosario Pugliese},
title = {Automata-Based Optimization of Interaction Protocols for Scalable
Multicore Platforms},
booktitle = {Coordination Models and Languages - 16th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2014, Held as Part of the 9th International
Federated Conferences on Distributed Computing Techniques, DisCoTec
2014, Berlin, Germany, June 3-5, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8459},
pages = {65--82},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43376-8\_5},
doi = {10.1007/978-3-662-43376-8\_5},
timestamp = {Tue, 15 Nov 2022 15:22:35 +0100},
biburl = {https://dblp.org/rec/conf/coordination/JongmansHA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/JongmansSA14,
author = {Sung{-}Shik T. Q. Jongmans and
Francesco Santini and
Farhad Arbab},
title = {Partially-Distributed Coordination with Reo},
booktitle = {22nd Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2014, Torino, Italy, February
12-14, 2014},
pages = {697--706},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PDP.2014.19},
doi = {10.1109/PDP.2014.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/JongmansSA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KhakpourAR14,
author = {Narges Khakpour and
Farhad Arbab and
{\'{E}}ric Rutten},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Supervisory Controller Synthesis for Safe Software Adaptation},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {39--45},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00035},
doi = {10.3182/20140514-3-FR-4046.00035},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/KhakpourAR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JongmansA14,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {Toward Sequentializing Overparallelized Protocol Code},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {38--44},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.5},
doi = {10.4204/EPTCS.166.5},
timestamp = {Fri, 27 Mar 2020 08:38:57 +0100},
biburl = {https://dblp.org/rec/journals/corr/JongmansA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/ArbabJB14,
author = {Farhad Arbab and
Sung{-}Shik Jongmans and
Frank S. de Boer},
title = {High-Level Protocol Engineering without Performance Penalty for Multi-Core},
journal = {{ERCIM} News},
volume = {2014},
number = {99},
year = {2014},
url = {http://ercim-news.ercim.eu/en99/special/high-level-protocol-engineering-without-performance-penalty-for-multi-core},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/ArbabJB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ArbabS13,
author = {Farhad Arbab and
Marjan Sirjani},
title = {Fundamentals of Software Engineering (selected papers of {FSEN} 2011)},
journal = {Sci. Comput. Program.},
volume = {78},
number = {12},
pages = {2433--2434},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2013.08.011},
doi = {10.1016/J.SCICO.2013.08.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ArbabS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/KokashA13,
author = {Natallia Kokash and
Farhad Arbab},
title = {Formal Design and Verification of Long-Running Transactions with Extensible
Coordination Tools},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {6},
number = {2},
pages = {186--200},
year = {2013},
url = {https://doi.org/10.1109/TSC.2011.46},
doi = {10.1109/TSC.2011.46},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsc/KokashA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/JongmansA13,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
editor = {Carlos Canal and
Massimo Villari},
title = {Global Consensus through Local Synchronization},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {393},
pages = {174--188},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45364-9\_15},
doi = {10.1007/978-3-642-45364-9\_15},
timestamp = {Sat, 16 Sep 2017 12:08:59 +0200},
biburl = {https://dblp.org/rec/conf/esocc/JongmansA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SargolzaeiSAA13,
author = {Mahdi Sargolzaei and
Francesco Santini and
Farhad Arbab and
Hamideh Afsarmanesh},
editor = {Robert M. Hierons and
Mercedes G. Merayo and
Mario Bravetti},
title = {A Tool for Behaviour-Based Discovery of Approximately Matching Web
Services},
booktitle = {Software Engineering and Formal Methods - 11th International Conference,
{SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {152--166},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7\_11},
doi = {10.1007/978-3-642-40561-7\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/SargolzaeiSAA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2013,
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5},
doi = {10.1007/978-3-642-40213-5},
isbn = {978-3-642-40212-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/JongmansA12,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
title = {Overview of Thirty Semantic Formalisms for Reo},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {1},
pages = {201--251},
year = {2012},
url = {https://doi.org/10.7561/SACS.2012.1.201},
doi = {10.7561/SACS.2012.1.201},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/JongmansA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ArbabS12,
author = {Farhad Arbab and
Marjan Sirjani},
title = {Fundamentals of software engineering (selected papers of {FSEN} '09)},
journal = {Sci. Comput. Program.},
volume = {77},
number = {7-8},
pages = {887--888},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.05.001},
doi = {10.1016/J.SCICO.2011.05.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ArbabS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MengAAABR12,
author = {Sun Meng and
Farhad Arbab and
Bernhard K. Aichernig and
Lacramioara Astefanoaei and
Frank S. de Boer and
Jan J. M. M. Rutten},
title = {Connectors as designs: Modeling, refinement and test case generation},
journal = {Sci. Comput. Program.},
volume = {77},
number = {7-8},
pages = {799--822},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.04.002},
doi = {10.1016/J.SCICO.2011.04.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MengAAABR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PourvatanSHA12,
author = {Bahman Pourvatan and
Marjan Sirjani and
Hossein Hojjat and
Farhad Arbab},
title = {Symbolic execution of Reo circuits using constraint automata},
journal = {Sci. Comput. Program.},
volume = {77},
number = {7-8},
pages = {848--869},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.04.001},
doi = {10.1016/J.SCICO.2011.04.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PourvatanSHA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/JongmansSSAA12,
author = {Sung{-}Shik T. Q. Jongmans and
Francesco Santini and
Mahdi Sargolzaei and
Farhad Arbab and
Hamideh Afsarmanesh},
editor = {Flavio De Paoli and
Ernesto Pimentel and
Gianluigi Zavattaro},
title = {Automatic Code Generation for the Orchestration of Web Services with
Reo},
booktitle = {Service-Oriented and Cloud Computing - First European Conference,
{ESOCC} 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7592},
pages = {1--16},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33427-6\_1},
doi = {10.1007/978-3-642-33427-6\_1},
timestamp = {Wed, 12 May 2021 10:56:07 +0200},
biburl = {https://dblp.org/rec/conf/esocc/JongmansSSAA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ProencaCVA12,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke and
Erik P. de Vink and
Farhad Arbab},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Dreams: a framework for distributed synchronous coordination},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1510--1515},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232017},
doi = {10.1145/2245276.2232017},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/ProencaCVA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/ArbabSBP12,
author = {Farhad Arbab and
Francesco Santini and
Stefano Bistarelli and
Daniele Pirolandi},
editor = {Roberto De Virgilio and
James Geller and
Paolo Cappellari and
Mark Roantree},
title = {Towards a similarity-based web service discovery through soft constraint
satisfaction problems},
booktitle = {Proceedings of the 2nd International Workshop on Semantic Search over
the Web, Istanbul, Turkey, August 27, 2012},
pages = {2},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2494068.2494070},
doi = {10.1145/2494068.2494070},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vldb/ArbabSBP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/ArbabS12,
author = {Farhad Arbab and
Francesco Santini},
editor = {Maurice H. ter Beek and
Niels Lohmann},
title = {Preference and Similarity-Based Behavioral Discovery of Services},
booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7843},
pages = {118--133},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38230-7\_8},
doi = {10.1007/978-3-642-38230-7\_8},
timestamp = {Sat, 30 Sep 2023 09:59:28 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/ArbabS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1302-6333,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
editor = {Simon J. Gay and
Paul Kelly},
title = {Modularizing and Specifying Protocols among Threads},
booktitle = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
31 March 2012},
series = {{EPTCS}},
volume = {109},
pages = {34--45},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.109.6},
doi = {10.4204/EPTCS.109.6},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6333.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KokashJA13,
author = {Natallia Kokash and
Mohammad Mahdi Jaghoori and
Farhad Arbab},
editor = {Barbora Buhnova and
Lucia Kapov{\'{a}} Happe and
Jan Kofron},
title = {From Timed Reo Networks to Networks of Timed Automata},
booktitle = {Proceedings the 9th International Workshop on Formal Engineering approaches
to Software Components and Architectures, {FESCA} 2012, Tallinn, Estonia,
March 31, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {295},
pages = {11--29},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2013.04.004},
doi = {10.1016/J.ENTCS.2013.04.004},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KokashJA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2011,
editor = {Farhad Arbab and
Peter Csaba {\"{O}}lveczky},
title = {Formal Aspects of Component Software - 8th International Symposium,
{FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7253},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35743-5},
doi = {10.1007/978-3-642-35743-5},
isbn = {978-3-642-35742-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2011,
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29320-7},
doi = {10.1007/978-3-642-29320-7},
isbn = {978-3-642-29319-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/ArbabJ12,
author = {Farhad Arbab and
Sung{-}Shik Jongmans},
title = {Software Engineering for Multi-core Platforms},
journal = {{ERCIM} News},
volume = {2012},
number = {91},
year = {2012},
url = {http://ercim-news.ercim.eu/en91/ri/software-engineering-for-multi-core-platforms},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/ArbabJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClarkePLA11,
author = {Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a and
Alexander Lazovik and
Farhad Arbab},
title = {Channel-based coordination via constraint satisfaction},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {681--710},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.05.004},
doi = {10.1016/J.SCICO.2010.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ClarkePLA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KrauseMLA11,
author = {Christian Krause and
Ziyan Maraikar and
Alexander Lazovik and
Farhad Arbab},
title = {Modeling dynamic reconfigurations in Reo using high-level replacement
systems},
journal = {Sci. Comput. Program.},
volume = {76},
number = {1},
pages = {23--36},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.10.006},
doi = {10.1016/J.SCICO.2009.10.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KrauseMLA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MengAB11,
author = {Sun Meng and
Farhad Arbab and
Christel Baier},
title = {Synthesis of Reo circuits from scenario-based interaction specifications},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {651--680},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.03.002},
doi = {10.1016/J.SCICO.2010.03.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MengAB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Arbab11,
author = {Farhad Arbab},
editor = {Gul Agha and
Olivier Danvy and
Jos{\'{e}} Meseguer},
title = {Puff, The Magic Protocol},
booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7000},
pages = {169--206},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24933-4\_9},
doi = {10.1007/978-3-642-24933-4\_9},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Arbab11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/JongmansKA11,
author = {Sung{-}Shik T. Q. Jongmans and
Christian Krause and
Farhad Arbab},
editor = {Wolfgang De Meuter and
Gruia{-}Catalin Roman},
title = {Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic
Models},
booktitle = {Coordination Models and Languages - 13th International Conference,
{COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6721},
pages = {31--48},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21464-6\_3},
doi = {10.1007/978-3-642-21464-6\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/JongmansKA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0232,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke and
Erik P. de Vink and
Farhad Arbab},
editor = {Mohammad Reza Mousavi and
Ant{\'{o}}nio Ravara},
title = {Decoupled execution of synchronous coordination models via behavioural
automata},
booktitle = {Proceedings 10th International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
10th September, 2011},
series = {{EPTCS}},
volume = {58},
pages = {65--79},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.58.5},
doi = {10.4204/EPTCS.58.5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0468,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
editor = {Alexandra Silva and
Simon Bliudze and
Roberto Bruni and
Marco Carbone},
title = {Correlating Formal Semantic Models of Reo Connectors: Connector Coloring
and Constraint Automata},
booktitle = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {59},
pages = {84--103},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.59.8},
doi = {10.4204/EPTCS.59.8},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-1862,
author = {Natallia Kokash and
Farhad Arbab and
Behnaz Changizi and
Leonid Makhnist},
editor = {Luca Aceto and
Mohammad Reza Mousavi},
title = {Input-output Conformance Testing for Channel-based Service Connectors},
booktitle = {Proceedings First International Workshop on Process Algebra and Coordination,
{PACO} 2011, Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {60},
pages = {19--35},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.60.2},
doi = {10.4204/EPTCS.60.2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-1862.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csdm/Arbab10,
author = {Farhad Arbab},
editor = {Marc Aiguier and
Francis Bretaudeau and
Daniel Krob},
title = {Elements of Interaction},
booktitle = {Complex Systems Design {\&} Management - Proceedings of the First
International Conference on Complex System Design {\&} Management,
{CSDM} 2010, Paris, France, October 27-29, 2010},
pages = {1--28},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15654-0\_1},
doi = {10.1007/978-3-642-15654-0\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csdm/Arbab10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/Arbab10,
author = {Farhad Arbab},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Will the Real Service Oriented Computing Please Stand Up?},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {277--285},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_16},
doi = {10.1007/978-3-642-27269-1\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/Arbab10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/PourvatanSAB10,
author = {Bahman Pourvatan and
Marjan Sirjani and
Farhad Arbab and
Marcello M. Bonsangue},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Decomposition of Constraint Automata},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {237--258},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_14},
doi = {10.1007/978-3-642-27269-1\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/PourvatanSAB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icca/WindtBAA10,
author = {Katja Windt and
Till Becker and
Dimitar Asenov and
Farhad Arbabzadah},
title = {A generic implementation approach of autonomous control methods in
production logistics},
booktitle = {8th {IEEE} International Conference on Control and Automation, {ICCA}
2010, Xiamen, China, June 9-11, 2010},
pages = {629--633},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICCA.2010.5524133},
doi = {10.1109/ICCA.2010.5524133},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icca/WindtBAA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KokashCA10,
author = {Natallia Kokash and
Behnaz Changizi and
Farhad Arbab},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {A Semantic Model for Service Composition with Coordination Time Delays},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {106--121},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_9},
doi = {10.1007/978-3-642-16901-4\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/KokashCA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/ArbabDPS10,
author = {Farhad Arbab and
Claudia Diamantini and
Domenico Potena and
Emanuele Storti},
editor = {Sonia Bergamaschi and
Stefano Lodi and
Riccardo Martoglia and
Claudio Sartori},
title = {Towards Coordination Patterns for Complex Experimentations in Data
Mining},
booktitle = {Proceedings of the Eighteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2010, Rimini, Italy, June 20-23, 2010},
pages = {106--117},
publisher = {Esculapio Editore},
year = {2010},
timestamp = {Sat, 05 Nov 2016 11:53:38 +0100},
biburl = {https://dblp.org/rec/conf/sebd/ArbabDPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/MengA10,
author = {Sun Meng and
Farhad Arbab},
title = {A Model for Web Service Coordination in Long-Running Transactions},
booktitle = {The Fifth {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2010, June 4-5, 2010, Nanjing, China},
pages = {121--128},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SOSE.2010.51},
doi = {10.1109/SOSE.2010.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/MengA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5094,
author = {Young{-}Joo Moon and
Alexandra Silva and
Christian Krause and
Farhad Arbab},
editor = {Mohammad Reza Mousavi and
Gwen Sala{\"{u}}n},
title = {A Compositional Semantics for Stochastic Reo Connectors},
booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
4th September 2010},
series = {{EPTCS}},
volume = {30},
pages = {93--107},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.30.7},
doi = {10.4204/EPTCS.30.7},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2009,
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11623-0},
doi = {10.1007/978-3-642-11623-0},
isbn = {978-3-642-11622-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MengA09,
author = {Sun Meng and
Farhad Arbab},
title = {QoS-Driven Service Selection and Composition Using Quantitative Constraint
Automata},
journal = {Fundam. Informaticae},
volume = {95},
number = {1},
pages = {103--128},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-144},
doi = {10.3233/FI-2009-144},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MengA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ArbabCMMMV09,
author = {Farhad Arbab and
Tom Chothia and
Rob van der Mei and
Sun Meng and
Young{-}Joo Moon and
Chr{\'{e}}tien Verhoef},
editor = {John Field and
Vasco Thudichum Vasconcelos},
title = {From Coordination to Stochastic Models of QoS},
booktitle = {Coordination Models and Languages, 11th International Conference,
{COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5521},
pages = {268--287},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02053-7\_14},
doi = {10.1007/978-3-642-02053-7\_14},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ArbabCMMMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KokashA09,
author = {Natallia Kokash and
Farhad Arbab},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {Applying Reo to service coordination in long-running business transactions},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {1381--1382},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529590},
doi = {10.1145/1529282.1529590},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/KokashA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ArbabMMKQ09,
author = {Farhad Arbab and
Sun Meng and
Young{-}Joo Moon and
Marta Z. Kwiatkowska and
Hongyang Qu},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Reo2MC: a tool chain for performance analysis of coordination models},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {287--288},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595745},
doi = {10.1145/1595696.1595745},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ArbabMMKQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/AichernigAAB0R09,
author = {Bernhard K. Aichernig and
Farhad Arbab and
Lacramioara Astefanoaei and
Frank S. de Boer and
Sun Meng and
Jan J. M. M. Rutten},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {Fault-Based Test Case Generation for Component Connectors},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {147--154},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.14},
doi = {10.1109/TASE.2009.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/AichernigAAB0R09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MengA09,
author = {Sun Meng and
Farhad Arbab},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Connectors as Designs},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {119--135},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.028},
doi = {10.1016/J.ENTCS.2009.10.028},
timestamp = {Tue, 06 Dec 2022 12:48:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MengA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PourvatanSHA09,
author = {Bahman Pourvatan and
Marjan Sirjani and
Hossein Hojjat and
Farhad Arbab},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Automated Analysis of Reo Circuits using Symbolic Execution},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {137--158},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.029},
doi = {10.1016/J.ENTCS.2009.10.029},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PourvatanSHA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/KoehlerCPA08,
author = {Christian Koehler and
David Costa and
Jos{\'{e}} Proen{\c{c}}a and
Farhad Arbab},
title = {Reconfiguration of Reo Connectors Triggered by Dataflow},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {10},
year = {2008},
url = {https://doi.org/10.14279/tuj.eceasst.10.138},
doi = {10.14279/TUJ.ECEASST.10.138},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/KoehlerCPA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MengA08,
author = {Sun Meng and
Farhad Arbab},
editor = {Jonathan Billington and
Zhenhua Duan and
Maciej Koutny},
title = {QoS-driven service selection and composition},
booktitle = {8th International Conference on Application of Concurrency to System
Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
pages = {160--169},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ACSD.2008.4574608},
doi = {10.1109/ACSD.2008.4574608},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/acsd/MengA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/ArbabM08,
author = {Farhad Arbab and
Sun Meng},
editor = {Michel R. V. Chaudron and
Clemens A. Szyperski and
Ralf H. Reussner},
title = {Synthesis of Connectors from Scenario-Based Interaction Specifications},
booktitle = {Component-Based Software Engineering, 11th International Symposium,
{CBSE} 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5282},
pages = {114--129},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87891-9\_8},
doi = {10.1007/978-3-540-87891-9\_8},
timestamp = {Sat, 30 Sep 2023 09:35:59 +0200},
biburl = {https://dblp.org/rec/conf/cbse/ArbabM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/AptAM08,
author = {Krzysztof R. Apt and
Farhad Arbab and
Huiye Ma},
editor = {Masoud Mohammadian},
title = {A Distributed Platform for Mechanism Design},
booktitle = {2008 International Conferences on Computational Intelligence for Modelling,
Control and Automation {(CIMCA} 2008), Intelligent Agents, Web Technologies
and Internet Commerce {(IAWTIC} 2008), Innovation in Software Engineering
{(ISE} 2008), 10-12 December 2008, Vienna, Austria},
pages = {767--772},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CIMCA.2008.9},
doi = {10.1109/CIMCA.2008.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cimca/AptAM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/KokashA08,
author = {Natallia Kokash and
Farhad Arbab},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Formal Behavioral Modeling and Compliance Analysis for Service-Oriented
Systems},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {21--41},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_2},
doi = {10.1007/978-3-642-04167-9\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/KokashA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MaraikarLA08,
author = {Ziyan Maraikar and
Alexander Lazovik and
Farhad Arbab},
editor = {Athman Bouguettaya and
Ingolf Kr{\"{u}}ger and
Tiziana Margaria},
title = {Building Mashups for the Enterprise with {SABRE}},
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 = {70--83},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89652-4\_9},
doi = {10.1007/978-3-540-89652-4\_9},
timestamp = {Sun, 02 Jun 2019 21:20:23 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/MaraikarLA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ArbabKM08,
author = {Farhad Arbab and
Natallia Kokash and
Sun Meng},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Using Reo for Compliance-Aware Business Process Modeling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {108--123},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_9},
doi = {10.1007/978-3-540-88479-8\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/ArbabKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/ArbabABDMT08,
author = {Farhad Arbab and
Lacramioara Astefanoaei and
Frank S. de Boer and
Mehdi Dastani and
John{-}Jules Ch. Meyer and
Nick A. M. Tinnemeier},
editor = {The Duy Bui and
Tuong Vinh Ho and
Quang{-}Thuy Ha},
title = {Reo Connectors as Coordination Artifacts in 2APL Systems},
booktitle = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International
Conference on Multi-Agents, {PRIMA} 2008, Hanoi, Vietnam, December
15-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5357},
pages = {42--53},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89674-6\_8},
doi = {10.1007/978-3-540-89674-6\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/ArbabABDMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/ArbabBCLM08,
author = {Farhad Arbab and
Roberto Bruni and
Dave Clarke and
Ivan Lanese and
Ugo Montanari},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Tiles for Reo},
booktitle = {Recent Trends in Algebraic Development Techniques, 19th International
Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5486},
pages = {37--55},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03429-9\_4},
doi = {10.1007/978-3-642-03429-9\_4},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/wadt/ArbabBCLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/KoehlerAV08,
author = {Christian Koehler and
Farhad Arbab and
Erik P. de Vink},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Reconfiguring Distributed Reo Connectors},
booktitle = {Recent Trends in Algebraic Development Techniques, 19th International
Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5486},
pages = {221--235},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03429-9\_15},
doi = {10.1007/978-3-642-03429-9\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/KoehlerAV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArbabSB09,
author = {Farhad Arbab and
Sun Meng and
Christel Baier},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Synthesis of Reo Circuits from Scenario-based Specifications},
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 = {21--41},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.027},
doi = {10.1016/J.ENTCS.2009.06.027},
timestamp = {Fri, 24 Feb 2023 11:36:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArbabSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClarkePLA09,
author = {Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a and
Alexander Lazovik and
Farhad Arbab},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Deconstructing Reo},
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 = {43--58},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.028},
doi = {10.1016/J.ENTCS.2009.06.028},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ClarkePLA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/etaps/2007finco,
editor = {Dina Q. Goldin and
Farhad Arbab},
title = {Proceedings of the Workshop on the Foundations of Interactive Computation,
FInCo@ETAPS 2007, Braga, Portugal, March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {3},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/203/issue/3},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/2007finco.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-3199,
author = {Krzysztof R. Apt and
Farhad Arbab and
Huiye Ma},
title = {A Distributed Platform for Mechanism Design},
journal = {CoRR},
volume = {abs/0810.3199},
year = {2008},
url = {http://arxiv.org/abs/0810.3199},
eprinttype = {arXiv},
eprint = {0810.3199},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0810-3199.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/emisaij/ArbabBBLPT07,
author = {Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue and
Marc M. Lankhorst and
Erik Proper and
Leendert W. N. van der Torre},
title = {Integrating Architectural Models - Symbolic, Semantic and Subjective
Models in Enterprise Architecture},
journal = {Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.},
volume = {2},
number = {1},
pages = {40--57},
year = {2007},
url = {https://doi.org/10.18417/emisa.2.1.4},
doi = {10.18417/EMISA.2.1.4},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/emisaij/ArbabBBLPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ArbabS07,
author = {Farhad Arbab and
Marjan Sirjani},
title = {Applications of Formal Methods to System Design and Verification},
journal = {J. Univers. Comput. Sci.},
volume = {13},
number = {13},
pages = {1970--1971},
year = {2007},
url = {http://www.jucs.org/jucs\_13\_13/applications\_of\_formal\_methods},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/ArbabS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClarkeCA07,
author = {Dave Clarke and
David Costa and
Farhad Arbab},
title = {Connector colouring {I:} Synchronisation and context dependency},
journal = {Sci. Comput. Program.},
volume = {66},
number = {3},
pages = {205--225},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2007.01.009},
doi = {10.1016/J.SCICO.2007.01.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ClarkeCA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ArbabBBR07,
author = {Farhad Arbab and
Christel Baier and
Frank S. de Boer and
Jan J. M. M. Rutten},
title = {Models and temporal logical specifications for timed component connectors},
journal = {Softw. Syst. Model.},
volume = {6},
number = {1},
pages = {59--82},
year = {2007},
url = {https://doi.org/10.1007/s10270-006-0009-9},
doi = {10.1007/S10270-006-0009-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/ArbabBBR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/IzadiMA07,
author = {Mohammad Izadi and
Ali Movaghar and
Farhad Arbab},
title = {Model Checking of Component Connectors},
booktitle = {31st Annual International Computer Software and Applications Conference,
{COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 1},
pages = {673--675},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/COMPSAC.2007.153},
doi = {10.1109/COMPSAC.2007.153},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/IzadiMA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ArbabCMM07,
author = {Farhad Arbab and
Tom Chothia and
Sun Meng and
Young{-}Joo Moon},
editor = {Amy L. Murphy and
Jan Vitek},
title = {Component Connectors with QoS Guarantees},
booktitle = {Coordination Models and Languages, 9th International Conference, {COORDINATION}
2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4467},
pages = {286--304},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72794-1\_16},
doi = {10.1007/978-3-540-72794-1\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ArbabCMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/MengA07,
author = {Sun Meng and
Farhad Arbab},
editor = {Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {On Resource-Sensitive Timed Component Connectors},
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 = {301--316},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72952-5\_19},
doi = {10.1007/978-3-540-72952-5\_19},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/MengA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/KoehlerLA07,
author = {Christian Koehler and
Alexander Lazovik and
Farhad Arbab},
editor = {Bernd J. Kr{\"{a}}mer and
Kwei{-}Jay Lin and
Priya Narasimhan},
title = {ReoService: Coordination Modeling Tool},
booktitle = {Service-Oriented Computing - {ICSOC} 2007, Fifth International Conference,
Vienna, Austria, September 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4749},
pages = {625--626},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74974-5\_60},
doi = {10.1007/978-3-540-74974-5\_60},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/KoehlerLA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LazovikA07,
author = {Alexander Lazovik and
Farhad Arbab},
editor = {Bernd J. Kr{\"{a}}mer and
Kwei{-}Jay Lin and
Priya Narasimhan},
title = {Using Reo for Service Coordination},
booktitle = {Service-Oriented Computing - {ICSOC} 2007, Fifth International Conference,
Vienna, Austria, September 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4749},
pages = {398--403},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74974-5\_34},
doi = {10.1007/978-3-540-74974-5\_34},
timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/LazovikA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MengA07,
author = {Sun Meng and
Farhad Arbab},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Web services choreography and orchestration in Reo and constraint
automata},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {346--353},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244085},
doi = {10.1145/1244002.1244085},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/MengA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ArbabB07,
author = {Farhad Arbab and
Christel Baier},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Syanco 2007: international workshop on synthesis and analysis of component
connectors},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {607--608},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287723},
doi = {10.1145/1287624.1287723},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ArbabB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/Arbab07,
author = {Farhad Arbab},
editor = {Markus Lumpe and
Wim Vanderperren},
title = {Composition by Anonymous Third Parties},
booktitle = {Software Composition - 6th International Symposium, SC@ETAPS 2007,
Braga, Portugal, March 24-25, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4829},
pages = {1},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77351-1\_1},
doi = {10.1007/978-3-540-77351-1\_1},
timestamp = {Thu, 25 Jun 2020 18:19:16 +0200},
biburl = {https://dblp.org/rec/conf/soco/Arbab07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoldinA08,
author = {Dina Q. Goldin and
Farhad Arbab},
editor = {Dina Q. Goldin and
Farhad Arbab},
title = {Preface},
booktitle = {Proceedings of the Workshop on the Foundations of Interactive Computation,
FInCo@ETAPS 2007, Braga, Portugal, March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {3},
pages = {1--3},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.082},
doi = {10.1016/J.ENTCS.2008.04.082},
timestamp = {Mon, 13 Feb 2023 11:56:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoldinA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KoehlerLA08,
author = {Christian Koehler and
Alexander Lazovik and
Farhad Arbab},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Connector Rewriting with High-Level Replacement Systems},
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 = {77--92},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.100},
doi = {10.1016/J.ENTCS.2008.03.100},
timestamp = {Tue, 06 Dec 2022 12:35:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KoehlerLA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2007,
editor = {Farhad Arbab and
Marjan Sirjani},
title = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9},
doi = {10.1007/978-3-540-75698-9},
isbn = {978-3-540-75697-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2007syanco,
editor = {Farhad Arbab and
Christel Baier},
title = {Proceedings of the International Workshop on Synthesis and Analysis
of Component Connectors: in conjunction with the 6th {ESEC/FSE} joint
meeting, {SYANCO} 2007, Dubrovnik, Croatia, September 3-4, 2007},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294917},
doi = {10.1145/1294917},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2007syanco.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-2618,
author = {Krzysztof R. Apt and
Farhad Arbab and
Huiye Ma},
title = {A System for Distributed Mechanisms: Design, Implementation and Applications},
journal = {CoRR},
volume = {abs/0711.2618},
year = {2007},
url = {http://arxiv.org/abs/0711.2618},
eprinttype = {arXiv},
eprint = {0711.2618},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0711-2618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/Arbab06,
author = {Farhad Arbab},
title = {A Behavioral Model for Composition of Software Components},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {12},
number = {1},
pages = {33--76},
year = {2006},
url = {https://doi.org/10.3166/objet.12.1.33-76},
doi = {10.3166/OBJET.12.1.33-76},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/Arbab06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ScholtenABB06,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {A Component Coordination Model Based on Mobile Channels},
journal = {Fundam. Informaticae},
volume = {73},
number = {4},
pages = {561--582},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ScholtenABB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/JonkersLDABW06,
author = {Henk Jonkers and
Marc M. Lankhorst and
Hugo W. L. ter Doest and
Farhad Arbab and
Hans Bosma and
Roel J. Wieringa},
title = {Enterprise architecture: Management tool and blueprint for the organisation},
journal = {Inf. Syst. Frontiers},
volume = {8},
number = {2},
pages = {63--66},
year = {2006},
url = {https://doi.org/10.1007/s10796-006-7970-2},
doi = {10.1007/S10796-006-7970-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isf/JonkersLDABW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaierSAR06,
author = {Christel Baier and
Marjan Sirjani and
Farhad Arbab and
Jan J. M. M. Rutten},
title = {Modeling component connectors in Reo by constraint automata},
journal = {Sci. Comput. Program.},
volume = {61},
number = {2},
pages = {75--113},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.10.008},
doi = {10.1016/J.SCICO.2005.10.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BaierSAR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/TorreLDCA06,
author = {Leendert W. N. van der Torre and
Marc M. Lankhorst and
Hugo W. L. ter Doest and
Jan T. P. Campschroer and
Farhad Arbab},
editor = {Eric Dubois and
Klaus Pohl},
title = {Landscape Maps for Enterprise Architectures},
booktitle = {Advanced Information Systems Engineering, 18th International Conference,
CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4001},
pages = {351--366},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767138\_24},
doi = {10.1007/11767138\_24},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/TorreLDCA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SirjaniJBA06,
author = {Marjan Sirjani and
Mohammad Mahdi Jaghoori and
Christel Baier and
Farhad Arbab},
editor = {Paolo Ciancarini and
Herbert Wiklicky},
title = {Compositional Semantics of an Actor-Based Language Using Constraint
Automata},
booktitle = {Coordination Models and Languages, 8th International Conference, {COORDINATION}
2006, Bologna, Italy, June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4038},
pages = {281--297},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767954\_18},
doi = {10.1007/11767954\_18},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/SirjaniJBA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/HeydarnooriMA06,
author = {Abbas Heydarnoori and
Farhad Mavaddat and
Farhad Arbab},
title = {Deploying Loosely Coupled, Component-based Applications into Distributed
Environments},
booktitle = {13th Annual {IEEE} International Conference and Workshop on Engineering
of Computer Based Systems {(ECBS} 2006), 27-30 March 2006, Potsdam,
Germany},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ECBS.2006.34},
doi = {10.1109/ECBS.2006.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/HeydarnooriMA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2005,
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/159/suppl/C},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ArbabK05,
author = {Farhad Arbab and
Joost N. Kok},
title = {Compositional Construction and Reasoning Techniques for Software},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {10},
pages = {1577--1579},
year = {2005},
url = {http://www.jucs.org/jucs\_11\_10/compositional\_construction\_and\_reasoning},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/ArbabK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Arbab05,
author = {Farhad Arbab},
title = {Abstract Behavior Types: a foundation model for components and their
composition},
journal = {Sci. Comput. Program.},
volume = {55},
number = {1-3},
pages = {3--52},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.05.010},
doi = {10.1016/J.SCICO.2004.05.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Arbab05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/DastaniAB05,
author = {Mehdi Dastani and
Farhad Arbab and
Frank S. de Boer},
editor = {Frank Dignum and
Virginia Dignum and
Sven Koenig and
Sarit Kraus and
Munindar P. Singh and
Michael J. Wooldridge},
title = {Coordination and composition in multi-agent systems},
booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
pages = {439--446},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1082473.1082540},
doi = {10.1145/1082473.1082540},
timestamp = {Fri, 26 Apr 2019 14:26:42 +0200},
biburl = {https://dblp.org/rec/conf/atal/DastaniAB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ArbabBBRS05,
author = {Farhad Arbab and
Christel Baier and
Frank S. de Boer and
Jan J. M. M. Rutten and
Marjan Sirjani},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Synthesis of Reo Circuits for Implementation of Component-Connector
Automata Specifications},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {236--251},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_16},
doi = {10.1007/11417019\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ArbabBBRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Guillen-ScholtenABB05,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {MoCha-pi, an exogenous coordination calculus based on mobile channels},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {436--442},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066778},
doi = {10.1145/1066677.1066778},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/Guillen-ScholtenABB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Arbab06,
author = {Farhad Arbab},
editor = {Zhiming Liu and
Lu{\'{\i}}s Soares Barbosa},
title = {Coordination for Component Composition},
booktitle = {Proceedings of the International Workshop on Formal Aspects of Component
Software, {FACS} 2005, Macao, October 24-25, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {160},
pages = {15--40},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.013},
doi = {10.1016/J.ENTCS.2006.05.013},
timestamp = {Thu, 15 Dec 2022 16:29:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Arbab06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArbabS06,
author = {Farhad Arbab and
Marjan Sirjani},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Preface},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.058},
doi = {10.1016/J.ENTCS.2005.12.058},
timestamp = {Thu, 15 Dec 2022 16:21:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArbabS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClarkeCA06,
author = {Dave Clarke and
David Costa and
Farhad Arbab},
editor = {Carlos Canal and
Mirko Viroli},
title = {Connector Colouring {I:} Synchronisation and Context Dependency},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {101--119},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.035},
doi = {10.1016/J.ENTCS.2005.12.035},
timestamp = {Tue, 06 Dec 2022 11:48:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ClarkeCA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Guillen-ScholtenABB06,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Carlos Canal and
Mirko Viroli},
title = {Modeling the Exogenous Coordination of Mobile Channel-based Systems
with Petri Nets},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {121--138},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.036},
doi = {10.1016/J.ENTCS.2005.12.036},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Guillen-ScholtenABB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeydarnooriMA06,
author = {Abbas Heydarnoori and
Farhad Mavaddat and
Farhad Arbab},
editor = {Zhiming Liu and
Lu{\'{\i}}s Soares Barbosa},
title = {Towards an Automated Deployment Planner for Composition of Web Services
as Software Components},
booktitle = {Proceedings of the International Workshop on Formal Aspects of Component
Software, {FACS} 2005, Macao, October 24-25, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {160},
pages = {239--253},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.026},
doi = {10.1016/J.ENTCS.2006.05.026},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeydarnooriMA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MousaviSA06,
author = {Mohammad Reza Mousavi and
Marjan Sirjani and
Farhad Arbab},
editor = {Carlos Canal and
Mirko Viroli},
title = {Formal Semantics and Analysis of Component Connectors in Reo},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {83--99},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.034},
doi = {10.1016/J.ENTCS.2005.12.034},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MousaviSA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WegnerAGMLR05,
author = {Peter Wegner and
Farhad Arbab and
Dina Q. Goldin and
Peter McBurney and
Michael Luck and
David Robertson},
editor = {Dina Q. Goldin and
Mirko Viroli},
title = {The Role of Agent Interaction in Models of Computing: Panelist Reviews},
booktitle = {Proceedings of the Workshop on the Foundations of Interactive Computation,
FInCo@ETAPS 2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {5},
pages = {181--198},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.022},
doi = {10.1016/J.ENTCS.2005.05.022},
timestamp = {Tue, 13 Dec 2022 10:25:23 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WegnerAGMLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Arbab04,
author = {Farhad Arbab},
title = {Reo: a channel-based coordination model for component composition},
journal = {Math. Struct. Comput. Sci.},
volume = {14},
number = {3},
pages = {329--366},
year = {2004},
url = {https://doi.org/10.1017/S0960129504004153},
doi = {10.1017/S0960129504004153},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Arbab04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LemniotesPA04,
author = {Theophilos A. Limniotes and
George A. Papadopoulos and
Farhad Arbab},
title = {Coordinating Web Services Using Channel Based Communication},
booktitle = {28th International Computer Software and Applications Conference {(COMPSAC}
2004), Design and Assessment of Trustworthy Software-Based Systems,
27-30 September 2004, Hong Kong, China, Proceedings},
pages = {486--491},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CMPSAC.2004.1342883},
doi = {10.1109/CMPSAC.2004.1342883},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/LemniotesPA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ZoeteweijA04,
author = {Peter Zoeteweij and
Farhad Arbab},
editor = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Greg Meredith},
title = {A Component-Based Parallel Constraint Solver},
booktitle = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
2004, Pisa, Italy, February 24-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2949},
pages = {307--322},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24634-3\_23},
doi = {10.1007/978-3-540-24634-3\_23},
timestamp = {Fri, 23 Jun 2023 22:30:54 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ZoeteweijA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fidji/ScholtenA04,
author = {Juan Guillen Scholten and
Farhad Arbab},
editor = {Nicolas Guelfi and
Gianna Reggio and
Alexander B. Romanovsky},
title = {Coordinated Anonymous Peer-to-Peer Connections with MoCha},
booktitle = {Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop,
{FIDJI} 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3409},
pages = {68--77},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31869-9\_7},
doi = {10.1007/978-3-540-31869-9\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fidji/ScholtenA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ArbabK04,
author = {Farhad Arbab and
Joost N. Kok},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Interaction and Coordination of Tools for Structured Data},
booktitle = {Leveraging Applications of Formal Methods, First International Symposium,
ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4313},
pages = {1--8},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11925040\_1},
doi = {10.1007/11925040\_1},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/ArbabK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ClarkeCA04,
author = {Dave Clarke and
David Costa and
Farhad Arbab},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Modelling Coordination in Biological Systems},
booktitle = {Leveraging Applications of Formal Methods, First International Symposium,
ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4313},
pages = {9--25},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11925040\_2},
doi = {10.1007/11925040\_2},
timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ClarkeCA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ClarkeCA04a,
author = {Dave Clarke and
David Costa and
Farhad Arbab},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Modelling Coordination in Biological Systems},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {58--66},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ClarkeCA04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MehtaMSA04,
author = {Nikunj R. Mehta and
Nenad Medvidovic and
Marjan Sirjani and
Farhad Arbab},
title = {Modeling Behavior in Compositions of Software Architectural Primitives},
booktitle = {19th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2004), 20-25 September 2004, Linz, Austria},
pages = {371--374},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10051},
doi = {10.1109/ASE.2004.10051},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MehtaMSA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LimniotesPA04,
author = {Theophilos A. Limniotes and
George A. Papadopoulos and
Farhad Arbab},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Web Services: separation of concerns: computation coordination communication},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {492--497},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968002},
doi = {10.1145/967900.968002},
timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
biburl = {https://dblp.org/rec/conf/sac/LimniotesPA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/EveraarsAK04,
author = {C. T. H. Everaars and
Farhad Arbab and
Barry Koren},
title = {Modernizing Existing Software: {A} Case Study},
booktitle = {Proceedings of the {ACM/IEEE} {SC2004} Conference on High Performance
Networking and Computing, 6-12 November 2004, Pittsburgh, PA, USA,
CD-Rom},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/SC.2004.34},
doi = {10.1109/SC.2004.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/EveraarsAK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ArbabBBR04,
author = {Farhad Arbab and
Christel Baier and
Frank S. de Boer and
Jan J. M. M. Rutten},
title = {Models and Temporal Logics for Timed Component Connectors},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {198--207},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.27},
doi = {10.1109/SEFM.2004.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/ArbabBBR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsmai/DiakovA04,
author = {Nikolay K. Diakov and
Farhad Arbab},
editor = {Savitri Bevinakoppa and
Jiankun Hu},
title = {Compositional Construction of Web Services Using Reo},
booktitle = {Web Services: Modeling, Architecture and Infrastructure - Proceedings
of the 2nd International Workshop on Web Services: Modeling, Architecture
and Infrastructure, {WSMAI} 2004, In conjunction with {ICEIS} 2004,
Porto, Portugal, April 2004},
pages = {49--58},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 02 Jul 2004 15:54:57 +0200},
biburl = {https://dblp.org/rec/conf/wsmai/DiakovA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BanachAPG03,
author = {Richard Banach and
Farhad Arbab and
George A. Papadopoulos and
John R. W. Glauert},
title = {A Multiply Hierarchical Automaton Semantics for the {IWIM} Coordination
Model},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {1},
pages = {2--33},
year = {2003},
url = {https://doi.org/10.3217/jucs-009-01-0002},
doi = {10.3217/JUCS-009-01-0002},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BanachAPG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/ArbabD03,
author = {Farhad Arbab and
Khalil Drira},
title = {Introduction},
journal = {J. Supercomput.},
volume = {24},
number = {2},
pages = {119--120},
year = {2003},
url = {https://doi.org/10.1023/A:1021714207483},
doi = {10.1023/A:1021714207483},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/ArbabD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/JonkersBABBBDGSHIJLLPSTZ03,
author = {Henk Jonkers and
Ren{\'{e}} van Buuren and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue and
Hans Bosma and
Hugo W. L. ter Doest and
Luuk Groenewegen and
Juan Guillen Scholten and
Stijn Hoppenbrouwers and
Maria{-}Eugenia Iacob and
Wil Janssen and
Marc M. Lankhorst and
Diederik van Leeuwen and
Erik Proper and
Andries Stam and
Leendert W. N. van der Torre and
Gert Veldhuijzen van Zanten},
title = {Towards a Language for Coherent Enterprise Architecture Descriptions},
booktitle = {7th International Enterprise Distributed Object Computing Conference
{(EDOC} 2003), 16-19 September 2003, Brisbane, Australia, Proceedings},
pages = {28--39},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/EDOC.2003.1233835},
doi = {10.1109/EDOC.2003.1233835},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/JonkersBABBBDGSHIJLLPSTZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArbabBRS04,
author = {Farhad Arbab and
Christel Baier and
Jan J. M. M. Rutten and
Marjan Sirjani},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Modeling Component Connectors in Reo by Constraint Automata: (Extended
Abstract)},
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 = {25--46},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.028},
doi = {10.1016/J.ENTCS.2004.04.028},
timestamp = {Tue, 06 Dec 2022 11:29:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArbabBRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ArbabBSB02,
author = {Farhad Arbab and
Frank S. de Boer and
Juan Guillen Scholten and
Marcello M. Bonsangue},
title = {MoCha: {A} Middleware Based on Mobile Channels},
booktitle = {26th International Computer Software and Applications Conference {(COMPSAC}
2002), Prolonging Software Life: Development and Redevelopment, 26-29
August 2002, Oxford, England, Proceedings},
pages = {667--673},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CMPSAC.2002.1045079},
doi = {10.1109/CMPSAC.2002.1045079},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ArbabBSB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ArbabM02,
author = {Farhad Arbab and
Farhad Mavaddat},
editor = {Farhad Arbab and
Carolyn L. Talcott},
title = {Coordination through Channel Composition},
booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
2002, YORK, UK, April 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2315},
pages = {22--39},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46000-4\_6},
doi = {10.1007/3-540-46000-4\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ArbabM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Arbab02,
author = {Farhad Arbab},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Abstract Behavior Types: {A} Foundation Model for Components and Their
Composition},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {33--70},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_2},
doi = {10.1007/978-3-540-39656-7\_2},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Arbab02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/ArbabR02,
author = {Farhad Arbab and
Jan J. M. M. Rutten},
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {A Coinductive Calculus of Component Connectors},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {34--55},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40020-2\_2},
doi = {10.1007/978-3-540-40020-2\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/ArbabR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BanachAPG02,
author = {Richard Banach and
Farhad Arbab and
George A. Papadopoulos and
John R. W. Glauert},
editor = {Antonio Brogi and
Ernesto Pimentel},
title = {{IWIM} Semantics via Fibred Automata},
booktitle = {Formal Methods and Component Interaction 2002, {ICALP} 2002 Satellite
Workshop, M{\'{a}}laga, Spain, July 12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {4},
pages = {1--15},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80446-8},
doi = {10.1016/S1571-0661(04)80446-8},
timestamp = {Tue, 06 Dec 2022 10:35:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BanachAPG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Guillen-ScholtenABB03,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {A Channel-based Coordination Model for Components},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {419--438},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80381-0},
doi = {10.1016/S1571-0661(05)80381-0},
timestamp = {Tue, 06 Dec 2022 11:05:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Guillen-ScholtenABB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ScholtenABB02,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Antonio Brogi and
Ernesto Pimentel},
title = {Mobile Channels, Implementation Within and Outside Components},
booktitle = {Formal Methods and Component Interaction 2002, {ICALP} 2002 Satellite
Workshop, M{\'{a}}laga, Spain, July 12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {4},
pages = {56--66},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80449-3},
doi = {10.1016/S1571-0661(04)80449-3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ScholtenABB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2002,
editor = {Farhad Arbab and
Carolyn L. Talcott},
title = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
2002, YORK, UK, April 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2315},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46000-4},
doi = {10.1007/3-540-46000-4},
isbn = {3-540-43410-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/PapadopoulosA01,
author = {George A. Papadopoulos and
Farhad Arbab},
title = {Configuration and dynamic reconfiguration of components using the
coordination paradigm},
journal = {Future Gener. Comput. Syst.},
volume = {17},
number = {8},
pages = {1023--1038},
year = {2001},
url = {https://doi.org/10.1016/S0167-739X(01)00043-7},
doi = {10.1016/S0167-739X(01)00043-7},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/PapadopoulosA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/EveraarsAK01,
author = {C. T. H. Everaars and
Farhad Arbab and
Barry Koren},
title = {Using Coordination to Restructure Sequential Source Code into a Concurrent
Program},
booktitle = {2001 International Conference on Software Maintenance, {ICSM} 2001,
Florence, Italy, November 6-10, 2001},
pages = {342},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSM.2001.972747},
doi = {10.1109/ICSM.2001.972747},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/EveraarsAK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/Arbab01,
author = {Farhad Arbab},
editor = {Oscar D{\'{\i}}az and
Arantza Illarramendi and
Mario Piattini},
title = {Panta Rei (Everything Flows): {A} Calculus of Channels},
booktitle = {{VI} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2001), 1-23 de Noviembre de 2001, Almagro (Ciudad Real)},
pages = {5},
year = {2001},
timestamp = {Tue, 20 Aug 2024 07:54:43 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/Arbab01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Arbab01,
author = {Farhad Arbab},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Coordination of Mobile Components},
booktitle = {International Workshop on Concurrency and Coordination, ConCoord 2001,
associated to the 13th Lipari School, Lipari Island, Italy, July 6-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {54},
pages = {1--16},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00231-2},
doi = {10.1016/S1571-0661(04)00231-2},
timestamp = {Wed, 30 Nov 2022 11:59:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Arbab01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/omicini01/MonfroyA01,
author = {{\'{E}}ric Monfroy and
Farhad Arbab},
editor = {Andrea Omicini and
Franco Zambonelli and
Matthias Klusch and
Robert Tolksdorf},
title = {Constraints Solving as the Coordination of Inference Engines},
booktitle = {Coordination of Internet Agents: Models, Technologies, and Applications},
pages = {399--419},
publisher = {Springer},
year = {2001},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/omicini01/MonfroyA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/EveraarsAK00,
author = {C. T. H. Everaars and
Farhad Arbab and
Barry Koren},
title = {Dynamic Process Composition and Communication Patterns in Irregularly
Structured Applications},
journal = {Concurr. Pract. Exp.},
volume = {12},
number = {2-3},
pages = {157--174},
year = {2000},
url = {https://doi.org/10.1002/(SICI)1096-9128(200002/03)12:2/3\<157::AID-CPE467\>3.0.CO;2-E},
doi = {10.1002/(SICI)1096-9128(200002/03)12:2/3\<157::AID-CPE467\>3.0.CO;2-E},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/EveraarsAK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/BouvryAS00,
author = {Pascal Bouvry and
Farhad Arbab and
Franciszek Seredynski},
title = {Distributed Evolutionary Optimization, in Manifold: Rosenbrock's Function
Case Study},
journal = {Inf. Sci.},
volume = {122},
number = {2-4},
pages = {141--159},
year = {2000},
url = {https://doi.org/10.1016/S0020-0255(99)00116-4},
doi = {10.1016/S0020-0255(99)00116-4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/BouvryAS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonsangueABRSZ00,
author = {Marcello M. Bonsangue and
Farhad Arbab and
J. W. de Bakker and
Jan J. M. M. Rutten and
A. Secutella and
Gianluigi Zavattaro},
title = {A transition system semantics for the control-driven coordination
language {MANIFOLD}},
journal = {Theor. Comput. Sci.},
volume = {240},
number = {1},
pages = {3--47},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00226-1},
doi = {10.1016/S0304-3975(99)00226-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BonsangueABRSZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ArbabBB00,
author = {Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Ant{\'{o}}nio Porto and
Gruia{-}Catalin Roman},
title = {A Logical Interface Description Language for Components},
booktitle = {Coordination Languages and Models, 4th International Conference, {COORDINATION}
2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1906},
pages = {249--266},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45263-X\_16},
doi = {10.1007/3-540-45263-X\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ArbabBB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ArbabM00,
author = {Farhad Arbab and
{\'{E}}ric Monfroy},
editor = {Ant{\'{o}}nio Porto and
Gruia{-}Catalin Roman},
title = {Distributed Splitting of Constraint Satisfaction Problems},
booktitle = {Coordination Languages and Models, 4th International Conference, {COORDINATION}
2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1906},
pages = {115--132},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45263-X\_8},
doi = {10.1007/3-540-45263-X\_8},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/ArbabM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/PapadopuolosA00,
author = {George A. Papadopoulos and
Farhad Arbab},
editor = {Marian Bubak and
Hamideh Afsarmanesh and
Roy Williams and
Louis O. Hertzberger},
title = {Dynamic Reconfiguration in Coordination Languages},
booktitle = {High-Performance Computing and Networking, 8th International Conference,
{HPCN} Europe 2000, Amsterdam, The Netherlands, May 8-10, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1823},
pages = {197--206},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45492-6\_20},
doi = {10.1007/3-540-45492-6\_20},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcn/PapadopuolosA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ArbabBB00,
author = {Farhad Arbab and
Marcello M. Bonsangue and
Frank S. de Boer},
editor = {Barrett R. Bryant and
Janice H. Carroll and
Ernesto Damiani and
Hisham Haddad and
Dave Oppenheim},
title = {A Coordination Lanuage for Mobile Components},
booktitle = {Applied Computing 2000, Proceedings of the 2000 {ACM} Symposium on
Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March
19-21, 2000. Volume 1},
pages = {166--173},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335603.335734},
doi = {10.1145/335603.335734},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/ArbabBB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/EveraarsKA99,
author = {C. T. H. Everaars and
Barry Koren and
Farhad Arbab},
editor = {Jos{\'{e}} D. P. Rolim and
Frank Mueller and
Albert Y. Zomaya and
Fikret Er{\c{c}}al and
Stephan Olariu and
Binoy Ravindran and
Jan Gustafsson and
Hiroaki Takada and
Ronald A. Olsson and
Laxmikant V. Kal{\'{e}} and
Peter H. Beckman and
Matthew Haines and
Hossam A. ElGindy and
Denis Caromel and
Serge Chaumette and
Geoffrey C. Fox and
Yi Pan and
Keqin Li and
Tao Yang and
G. Ghiola and
Gianni Conte and
Luigi V. Mancini and
Dominique M{\'{e}}ry and
Beverly A. Sanders and
Devesh Bhatt and
Viktor K. Prasanna},
title = {Dynamic Process Composition and Communication Patterns in Irregularly
Structured Applications},
booktitle = {Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held
in Conjunction with the 13th International Parallel Processing Symposium
and 10th Symposium on Parallel and Distributed Processing, San Juan,
Puerto Rico, USA, April 12-16, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1586},
pages = {1046--1054},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/BFb0097990},
doi = {10.1007/BFB0097990},
timestamp = {Mon, 22 Mar 2021 14:03:05 +0100},
biburl = {https://dblp.org/rec/conf/ipps/EveraarsKA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/Arbab99,
author = {Farhad Arbab},
editor = {Hamid R. Arabnia},
title = {Coordination Programming for Parallel and Distributed Applications},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1999, June 28 - July
1, 1999, Las Vegas, Nevada, {USA}},
pages = {1--10},
publisher = {{CSREA} Press},
year = {1999},
timestamp = {Tue, 30 Jul 2024 10:34:32 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/Arbab99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/PapadopoulosA98,
author = {George A. Papadopoulos and
Farhad Arbab},
title = {Coordination Models and Languages},
journal = {Adv. Comput.},
volume = {46},
pages = {329--400},
year = {1998},
url = {https://doi.org/10.1016/S0065-2458(08)60208-9},
doi = {10.1016/S0065-2458(08)60208-9},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/PapadopoulosA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/ArbabCH98,
author = {Farhad Arbab and
Paolo Ciancarini and
Chris Hankin},
title = {Coordination Languages for Parallel Programming},
journal = {Parallel Comput.},
volume = {24},
number = {7},
pages = {989--1004},
year = {1998},
url = {https://doi.org/10.1016/S0167-8191(98)00039-8},
doi = {10.1016/S0167-8191(98)00039-8},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/ArbabCH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/ArbabBBE98,
author = {Farhad Arbab and
C. L. Blom and
F. J. Burger and
C. T. H. Everaars},
title = {Reusable Coordinator Modules for Massively Concurrent Applications},
journal = {Softw. Pract. Exp.},
volume = {28},
number = {7},
pages = {703--735},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1097-024X(199807)28:7\<703::AID-SPE173\>3.0.CO;2-J},
doi = {10.1002/(SICI)1097-024X(199807)28:7\<703::AID-SPE173\>3.0.CO;2-J},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/ArbabBBE98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/Arbab98,
author = {Farhad Arbab},
editor = {Roland R. Wagner},
title = {Coordination and its Relevance},
booktitle = {Ninth International Workshop on Database and Expert Systems Applications,
Vienna, Austria, August 24-28, 1998, Proceedings},
pages = {529--535},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/DEXA.1998.707452},
doi = {10.1109/DEXA.1998.707452},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/Arbab98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/PapadopoulosA98,
author = {George A. Papadopoulos and
Farhad Arbab},
editor = {Roland R. Wagner},
title = {Modeling Electronic Commerce Activities Using Control-Driven Coordination},
booktitle = {Ninth International Workshop on Database and Expert Systems Applications,
Vienna, Austria, August 24-28, 1998, Proceedings},
pages = {583--588},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/DEXA.1998.707461},
doi = {10.1109/DEXA.1998.707461},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dexaw/PapadopoulosA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ArbabM98,
author = {Farhad Arbab and
{\'{E}}ric Monfroy},
editor = {K. M. George and
Gary B. Lamont},
title = {Using coordination for cooperative constraint solving},
booktitle = {Proceedings of the 1998 {ACM} symposium on Applied Computing, SAC'98,
Atlanta, GA, USA, February 27 - March 1, 1998},
pages = {139--148},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/330560.330661},
doi = {10.1145/330560.330661},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ArbabM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PapadopoulosA98,
author = {George A. Papadopoulos and
Farhad Arbab},
editor = {K. M. George and
Gary B. Lamont},
title = {Modelling activities in information systems using the coordination
language {MANIFOLD}},
booktitle = {Proceedings of the 1998 {ACM} symposium on Applied Computing, SAC'98,
Atlanta, GA, USA, February 27 - March 1, 1998},
pages = {185--193},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/330560.330667},
doi = {10.1145/330560.330667},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/PapadopoulosA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhsc/PapadopoulosA97,
author = {George A. Papadopoulos and
Farhad Arbab},
title = {Coordination of Distributed and Parallel Activities in the {IWIM}
Model},
journal = {Int. J. High Speed Comput.},
volume = {9},
number = {2},
pages = {127--160},
year = {1997},
url = {https://doi.org/10.1142/S0129053397000106},
doi = {10.1142/S0129053397000106},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhsc/PapadopoulosA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PapadopoulosA97,
author = {George A. Papadopoulos and
Farhad Arbab},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Control-Based Coordination of Human and Other Activities in Cooperative
Information Systems},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {422--425},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_97},
doi = {10.1007/3-540-63383-9\_97},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/PapadopoulosA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euro-pds/SeredynskiBA97,
author = {Franciszek Seredynski and
Pascal Bouvry and
Farhad Arbab},
editor = {Emilio Luque and
Ali R. Hurson and
Hesham El{-}Rewini},
title = {Parallel Evolutionary Computation: Multi Agents Genetic Algorithms},
booktitle = {Proceedings of the {IASTED} International Conference on Parallel and
Distributed Systems, Euro-PDS'97, June 9-11, 1997, Barcelona, Spain},
pages = {293--298},
publisher = {{IASTED/ACTA} Press},
year = {1997},
timestamp = {Fri, 30 Apr 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/euro-pds/SeredynskiBA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Arbab97,
author = {Farhad Arbab},
title = {The Influence of Coordination on Program Structure},
booktitle = {30th Annual Hawaii International Conference on System Sciences (HICSS-30),
7-10 January 1997, Maui, Hawaii, {USA}},
pages = {300--309},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/HICSS.1997.667277},
doi = {10.1109/HICSS.1997.667277},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/Arbab97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/PapadopoulosA97,
author = {George A. Papadopoulos and
Farhad Arbab},
editor = {Victor E. Malyshkin},
title = {Control-Driven Coordination Programming in Shared Dataspace},
booktitle = {Parallel Computing Technologies, 4th International Conference, PaCT-97,
Yaroslavl, Russia, September 8-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1277},
pages = {247--261},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63371-5\_26},
doi = {10.1007/3-540-63371-5\_26},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/pact/PapadopoulosA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/SeredynskiBA97,
author = {Franciszek Seredynski and
Pascal Bouvry and
Farhad Arbab},
editor = {Victor E. Malyshkin},
title = {Parallel and Distributed Evolutionary Computation with {MANIFOLD}},
booktitle = {Parallel Computing Technologies, 4th International Conference, PaCT-97,
Yaroslavl, Russia, September 8-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1277},
pages = {94--108},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63371-5\_11},
doi = {10.1007/3-540-63371-5\_11},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pact/SeredynskiBA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/PapadopoulosA96,
author = {George A. Papadopoulos and
Farhad Arbab},
title = {Coordination of Systems with Real-Time Properties in Manifold},
booktitle = {{COMPSAC} '96 - 20th Computer Software and Applications Conference,
August 19-23, 1996, Seoul, Korea},
pages = {50--55},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/CMPSAC.1996.542425},
doi = {10.1109/CMPSAC.1996.542425},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/PapadopoulosA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Arbab96,
author = {Farhad Arbab},
editor = {Paolo Ciancarini and
Chris Hankin},
title = {The {IWIM} Model for Coordination of Concurrent Activities},
booktitle = {Coordination Languages and Models, First International Conference,
{COORDINATION} '96, Cesena, Italy, April 15-17, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1061},
pages = {34--56},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61052-9\_38},
doi = {10.1007/3-540-61052-9\_38},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Arbab96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BouvryA96,
author = {Pascal Bouvry and
Farhad Arbab},
editor = {Paolo Ciancarini and
Chris Hankin},
title = {{VISIFOLD:} {A} Visual Environment for a Coordination Language},
booktitle = {Coordination Languages and Models, First International Conference,
{COORDINATION} '96, Cesena, Italy, April 15-17, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1061},
pages = {403--406},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61052-9\_59},
doi = {10.1007/3-540-61052-9\_59},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BouvryA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/ArbabBBE96,
author = {Farhad Arbab and
C. L. Blom and
F. J. Burger and
C. T. H. Everaars},
editor = {Luc Boug{\'{e}} and
Pierre Fraigniaud and
Anne Mignotte and
Yves Robert},
title = {Reusable Coordinator Modules for Massively Concurrent Applications},
booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1123},
pages = {664--677},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61626-8\_88},
doi = {10.1007/3-540-61626-8\_88},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/ArbabBBE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/EveraarsAB96,
author = {C. T. H. Everaars and
Farhad Arbab and
F. J. Burger},
title = {Restructuring sequential Fortran code into a parallel/distributed
application},
booktitle = {1996 International Conference on Software Maintenance {(ICSM} '96),
4-8 November 1996, Monterey, CA, USA, Proceedings},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICSM.1996.564984},
doi = {10.1109/ICSM.1996.564984},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/EveraarsAB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irregular/EveraarsA96,
author = {C. T. H. Everaars and
Farhad Arbab},
editor = {Afonso Ferreira and
Jos{\'{e}} D. P. Rolim and
Yousef Saad and
Tao Yang},
title = {Coordination of Distributed/Parallel Multi-grid Domain Decomposition},
booktitle = {Parallel Algorithms for Irregularly Structured Problems, Third International
Workshop, {IRREGULAR} '96, Santa Barbara, California, USA, August
19-21, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1117},
pages = {131--144},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0030103},
doi = {10.1007/BFB0030103},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/irregular/EveraarsA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/ArbabH94,
author = {Farhad Arbab and
Ivan Herman},
title = {Manifold},
journal = {Future Gener. Comput. Syst.},
volume = {10},
number = {2-3},
pages = {273--277},
year = {1994},
url = {https://doi.org/10.1016/0167-739X(94)90028-0},
doi = {10.1016/0167-739X(94)90028-0},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/ArbabH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgf/ArbabHR93,
author = {Farhad Arbab and
Ivan Herman and
Graham J. Reynolds},
title = {An Object Model for Multimedia Programming},
journal = {Comput. Graph. Forum},
volume = {12},
number = {3},
pages = {101--113},
year = {1993},
url = {https://doi.org/10.1111/1467-8659.1230101},
doi = {10.1111/1467-8659.1230101},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cgf/ArbabHR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ArbabHS93,
author = {Farhad Arbab and
Ivan Herman and
P{\aa}l Spilling},
title = {An overview of manifold and its implementation},
journal = {Concurr. Pract. Exp.},
volume = {5},
number = {1},
pages = {23--70},
year = {1993},
url = {https://doi.org/10.1002/cpe.4330050103},
doi = {10.1002/CPE.4330050103},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/ArbabHS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tog/HansenA92,
author = {Allan Hansen and
Farhad Arbab},
title = {An Algorithm for Generating {NC} Tool Paths for Arbitrarily Shaped
Pockets with Islands},
journal = {{ACM} Trans. Graph.},
volume = {11},
number = {2},
pages = {152--182},
year = {1992},
url = {https://doi.org/10.1145/130826.130832},
doi = {10.1145/130826.130832},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tog/HansenA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conpar/ArbabHS92,
author = {Farhad Arbab and
Ivan Herman and
P{\aa}l Spilling},
editor = {Luc Boug{\'{e}} and
Michel Cosnard and
Yves Robert and
Denis Trystram},
title = {Manifold: Concepts and Implementation},
booktitle = {Parallel Processing: {CONPAR} 92 - {VAPP} V, Second Joint International
Conference on Vector and Parallel Processing, Lyon, France, September
1-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {634},
pages = {793--794},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55895-0\_492},
doi = {10.1007/3-540-55895-0\_492},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/conpar/ArbabHS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icci/ArbabHS92,
author = {Farhad Arbab and
Ivan Herman and
P{\aa}l Spilling},
editor = {Waldemar W. Koczkodaj and
Peter E. Lauer and
Anestis A. Toptsis},
title = {Interaction Management of a Window Manager in Manifold},
booktitle = {Computing and Information - ICCI'92, Fourth International Conference
on Computing and Information, Toronto, Ontario, Canada, May 28-30,
1992, Proceedings},
pages = {197--202},
publisher = {{IEEE} Computer Society},
year = {1992},
timestamp = {Fri, 30 Nov 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icci/ArbabHS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgf/SoedeAHH91,
author = {Dirk Soede and
Farhad Arbab and
Ivan Herman and
Paul J. W. ten Hagen},
title = {The {GKS} Input Model in {MANIFOLD}},
journal = {Comput. Graph. Forum},
volume = {10},
number = {3},
pages = {209--224},
year = {1991},
url = {https://doi.org/10.1111/1467-8659.1030209},
doi = {10.1111/1467-8659.1030209},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cgf/SoedeAHH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cg/TomiyamaA90,
author = {Tetsuo Tomiyama and
Farhad Arbab},
title = {Guest editors' introduction : Features and geometric reasoning},
journal = {Comput. Graph.},
volume = {14},
number = {2},
pages = {147--148},
year = {1990},
url = {https://doi.org/10.1016/0097-8493(90)90028-V},
doi = {10.1016/0097-8493(90)90028-V},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cg/TomiyamaA90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cga/Arbab90,
author = {Farhad Arbab},
title = {Set models and Boolean operations for solids and assemblies},
journal = {{IEEE} Computer Graphics and Applications},
volume = {10},
number = {6},
pages = {76--86},
year = {1990},
url = {https://doi.org/10.1109/38.62698},
doi = {10.1109/38.62698},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cga/Arbab90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/HansenA88,
author = {Allan Hansen and
Farhad Arbab},
title = {Fixed-axis tool positioning with built-in global interference checking
for {NC} path generation},
journal = {{IEEE} J. Robotics Autom.},
volume = {4},
number = {6},
pages = {610--621},
year = {1988},
url = {https://doi.org/10.1109/56.9299},
doi = {10.1109/56.9299},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trob/HansenA88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ArbabLM82,
author = {Farhad Arbab and
Larry Lichten and
Michel A. Melkanoff},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Toward CAM-oriented {CAD}},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {239--245},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809213},
doi = {10.1145/800263.809213},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/ArbabLM82.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.
retrieved on 2024-09-09 05:47 CEST from data curated 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:
