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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/adt/LionAT22,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {Runtime Composition of Systems of Interacting Cyber-Physical Components},
booktitle = {{WADT}},
series = {Lecture Notes in Computer Science},
volume = {13710},
pages = {141--162},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/isola/LionAT22,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Rewriting Framework for Interacting Cyber-Physical Agents},
booktitle = {ISoLA {(3)}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {356--372},
publisher = {Springer},
year = {2022}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/fsen/DokterA21,
author = {Kasper Dokter and
Farhad Arbab},
title = {Protocol Scheduling},
booktitle = {{FSEN}},
series = {Lecture Notes in Computer Science},
volume = {12818},
pages = {3--17},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:journals/corr/abs-2110-02214,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Semantic Model for Interacting Cyber-Physical Systems},
booktitle = {{ICE}},
series = {{EPTCS}},
volume = {347},
pages = {77--95},
year = {2021}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/birthday/ArbabAIT19,
author = {Farhad Arbab and
Marco Autili and
Paola Inverardi and
Massimo Tivoli},
title = {Different Glasses to Look into the Three Cs: Component, Connector,
Coordination},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {191--216},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/fsen/ChangiziKA19,
author = {Behnaz Changizi and
Natallia Kokash and
Farhad Arbab},
title = {Service Orchestration with Priority Constraints},
booktitle = {{FSEN}},
series = {Lecture Notes in Computer Science},
volume = {11761},
pages = {194--209},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/icfem/FengAB19,
author = {Hui Feng and
Farhad Arbab and
Marcello M. Bonsangue},
title = {A Reo Model of Software Defined Networks},
booktitle = {{ICFEM}},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {69--85},
publisher = {Springer},
year = {2019}
}
@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}
}
@inproceedings{DBLP:conf/birthday/Blom18,
author = {Kees Blom},
title = {Personal Note: Working with Farhad Arbab 1990-2005},
booktitle = {It's All About Coordination},
series = {Lecture Notes in Computer Science},
volume = {10865},
pages = {68--69},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/coordination/DokterA18,
author = {Kasper Dokter and
Farhad Arbab},
title = {Rule-Based Form for Stream Constraints},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {10852},
pages = {142--161},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/models/LionCA18,
author = {Benjamin Lion and
Samir Chouali and
Farhad Arbab},
title = {Compiling Protocols to Promela and Verifying their {LTL} Properties},
booktitle = {MoDELS (Workshops)},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {31--39},
publisher = {CEUR-WS.org},
year = {2018}
}
@inproceedings{DBLP:conf/staf/Ardeshir-Larijani18,
author = {Ebrahim Ardeshir{-}Larijani and
Farhad Arbab},
title = {Reo Coordination Model for Simulation of Quantum Internet Software},
booktitle = {{STAF} Workshops},
series = {Lecture Notes in Computer Science},
volume = {11176},
pages = {311--319},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:journals/corr/abs-1806-09852,
author = {Kasper Dokter and
Farhad Arbab},
title = {Treo: Textual Syntax for Reo Connectors},
booktitle = {MeTRiD@ETAPS},
series = {{EPTCS}},
volume = {272},
pages = {121--135},
year = {2018}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/facs2/KappeAT17,
author = {Tobias Kapp{\'{e}} and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Component-Oriented Framework for Autonomous Agents},
booktitle = {{FACS}},
series = {Lecture Notes in Computer Science},
volume = {10487},
pages = {20--38},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/ttcs/DokterA17,
author = {Kasper Dokter and
Farhad Arbab},
title = {Exposing Latent Mutual Exclusion by Work Automata},
booktitle = {{TTCS}},
series = {Lecture Notes in Computer Science},
volume = {10608},
pages = {59--73},
publisher = {Springer},
year = {2017}
}
@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},
title = {Tool Support},
booktitle = {Enterprise Architecture at Work, 4th ed},
pages = {277--299},
publisher = {Springer},
year = {2017}
}
@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},
title = {Foundations},
booktitle = {Enterprise Architecture at Work, 4th ed},
pages = {41--58},
publisher = {Springer},
year = {2017}
}
@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},
title = {Viewpoints and Visualisation},
booktitle = {Enterprise Architecture at Work, 4th ed},
pages = {171--214},
publisher = {Springer},
year = {2017}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/birthday/Arbab16,
author = {Farhad Arbab},
title = {Proper Protocol},
booktitle = {Theory and Practice of Formal Methods},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {65--87},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/birthday/HelvensteijnA16,
author = {Michiel Helvensteijn and
Farhad Arbab},
title = {Toward a Formal Foundation for Time Travel in Stories and Games},
booktitle = {Theory and Practice of Formal Methods},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {261--276},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/coordination/DokterJA16,
author = {Kasper Dokter and
Sung{-}Shik Jongmans and
Farhad Arbab},
title = {Scheduling Games for Concurrent Systems},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {9686},
pages = {84--100},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/dagm/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},
booktitle = {{GCPR}},
series = {Lecture Notes in Computer Science},
volume = {9796},
pages = {344--354},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/sfm/TalcottNAK16,
author = {Carolyn L. Talcott and
Vivek Nigam and
Farhad Arbab and
Tobias Kapp{\'{e}}},
title = {Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical
Systems},
booktitle = {{SFM}},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {1--35},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tacas/JongmansA16,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
title = {PrDK: Protocol Programming with Automata},
booktitle = {{TACAS}},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {547--552},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:journals/corr/KappeAT16,
author = {Tobias Kapp{\'{e}} and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Compositional Framework for Preference-Aware Agents},
booktitle = {V2CPS@IFM},
series = {{EPTCS}},
volume = {232},
pages = {21--35},
year = {2016}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/birthday/TalcottAY15,
author = {Carolyn L. Talcott and
Farhad Arbab and
Maneesh Yadav},
title = {Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed
Cyber-Physical Agent Systems},
booktitle = {Software, Services, and Systems},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {273--290},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/coordination/JongmansA15,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
title = {Take Command of Your Constraints!},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {9037},
pages = {117--132},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/facs2/JongmansKA15,
author = {Sung{-}Shik T. Q. Jongmans and
Tobias Kapp{\'{e}} and
Farhad Arbab},
title = {Composing Constraint Automata, State-by-State},
booktitle = {{FACS}},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {217--236},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/fsen/JongmansA15,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
title = {Can High Throughput Atone for High Latency in Compiler-Generated Protocol
Code?},
booktitle = {{FSEN}},
series = {Lecture Notes in Computer Science},
volume = {9392},
pages = {238--258},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/sfm/ArbabJ15,
author = {Farhad Arbab and
Sung{-}Shik T. Q. Jongmans},
title = {Coordinating Multicore Computing},
booktitle = {{SFM}},
series = {Lecture Notes in Computer Science},
volume = {9104},
pages = {57--96},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:journals/corr/DokterJAB15,
author = {Kasper Dokter and
Sung{-}Shik Jongmans and
Farhad Arbab and
Simon Bliudze},
title = {Relating {BIP} and Reo},
booktitle = {{ICE}},
series = {{EPTCS}},
volume = {189},
pages = {3--20},
year = {2015}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/coordination/JongmansHA14,
author = {Sung{-}Shik T. Q. Jongmans and
Sean Halle and
Farhad Arbab},
title = {Automata-Based Optimization of Interaction Protocols for Scalable
Multicore Platforms},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {8459},
pages = {65--82},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/pdp/JongmansSA14,
author = {Sung{-}Shik T. Q. Jongmans and
Francesco Santini and
Farhad Arbab},
title = {Partially-Distributed Coordination with Reo},
booktitle = {{PDP}},
pages = {697--706},
publisher = {{IEEE} Computer Society},
year = {2014}
}
@inproceedings{DBLP:conf/wodes/KhakpourAR14,
author = {Narges Khakpour and
Farhad Arbab and
{\'{E}}ric Rutten},
title = {Supervisory Controller Synthesis for Safe Software Adaptation},
booktitle = {{WODES}},
pages = {39--45},
publisher = {International Federation of Automatic Control},
year = {2014}
}
@inproceedings{DBLP:journals/corr/JongmansA14,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
title = {Toward Sequentializing Overparallelized Protocol Code},
booktitle = {{ICE}},
series = {{EPTCS}},
volume = {166},
pages = {38--44},
year = {2014}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/esocc/JongmansA13,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
title = {Global Consensus through Local Synchronization},
booktitle = {{ESOCC} Workshops},
series = {Communications in Computer and Information Science},
volume = {393},
pages = {174--188},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/sefm/SargolzaeiSAA13,
author = {Mahdi Sargolzaei and
Francesco Santini and
Farhad Arbab and
Hamideh Afsarmanesh},
title = {A Tool for Behaviour-Based Discovery of Approximately Matching Web
Services},
booktitle = {{SEFM}},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {152--166},
publisher = {Springer},
year = {2013}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/esocc/JongmansSSAA12,
author = {Sung{-}Shik T. Q. Jongmans and
Francesco Santini and
Mahdi Sargolzaei and
Farhad Arbab and
Hamideh Afsarmanesh},
title = {Automatic Code Generation for the Orchestration of Web Services with
Reo},
booktitle = {{ESOCC}},
series = {Lecture Notes in Computer Science},
volume = {7592},
pages = {1--16},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/sac/ProencaCVA12,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke and
Erik P. de Vink and
Farhad Arbab},
title = {Dreams: a framework for distributed synchronous coordination},
booktitle = {{SAC}},
pages = {1510--1515},
publisher = {{ACM}},
year = {2012}
}
@inproceedings{DBLP:conf/vldb/ArbabSBP12,
author = {Farhad Arbab and
Francesco Santini and
Stefano Bistarelli and
Daniele Pirolandi},
title = {Towards a similarity-based web service discovery through soft constraint
satisfaction problems},
booktitle = {SSW@VLDB},
pages = {2},
publisher = {{ACM}},
year = {2012}
}
@inproceedings{DBLP:conf/wsfm/ArbabS12,
author = {Farhad Arbab and
Francesco Santini},
title = {Preference and Similarity-Based Behavioral Discovery of Services},
booktitle = {{WS-FM}},
series = {Lecture Notes in Computer Science},
volume = {7843},
pages = {118--133},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:journals/corr/abs-1302-6333,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
title = {Modularizing and Specifying Protocols among Threads},
booktitle = {{PLACES}},
series = {{EPTCS}},
volume = {109},
pages = {34--45},
year = {2012}
}
@inproceedings{DBLP:journals/entcs/KokashJA13,
author = {Natallia Kokash and
Mohammad Mahdi Jaghoori and
Farhad Arbab},
title = {From Timed Reo Networks to Networks of Timed Automata},
booktitle = {{FESCA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {295},
pages = {11--29},
publisher = {Elsevier},
year = {2012}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/birthday/Arbab11,
author = {Farhad Arbab},
title = {Puff, The Magic Protocol},
booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems},
series = {Lecture Notes in Computer Science},
volume = {7000},
pages = {169--206},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/coordination/JongmansKA11,
author = {Sung{-}Shik T. Q. Jongmans and
Christian Krause and
Farhad Arbab},
title = {Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic
Models},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {6721},
pages = {31--48},
publisher = {Springer},
year = {2011}
}
@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},
title = {Decoupled execution of synchronous coordination models via behavioural
automata},
booktitle = {{FOCLASA}},
series = {{EPTCS}},
volume = {58},
pages = {65--79},
year = {2011}
}
@inproceedings{DBLP:journals/corr/abs-1108-0468,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
title = {Correlating Formal Semantic Models of Reo Connectors: Connector Coloring
and Constraint Automata},
booktitle = {{ICE}},
series = {{EPTCS}},
volume = {59},
pages = {84--103},
year = {2011}
}
@inproceedings{DBLP:journals/corr/abs-1108-1862,
author = {Natallia Kokash and
Farhad Arbab and
Behnaz Changizi and
Leonid Makhnist},
title = {Input-output Conformance Testing for Channel-based Service Connectors},
booktitle = {{PACO}},
series = {{EPTCS}},
volume = {60},
pages = {19--35},
year = {2011}
}
@inproceedings{DBLP:conf/csdm/Arbab10,
author = {Farhad Arbab},
title = {Elements of Interaction},
booktitle = {{CSDM}},
pages = {1--28},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/facs2/Arbab10,
author = {Farhad Arbab},
title = {Will the Real Service Oriented Computing Please Stand Up?},
booktitle = {{FACS}},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {277--285},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/facs2/PourvatanSAB10,
author = {Bahman Pourvatan and
Marjan Sirjani and
Farhad Arbab and
Marcello M. Bonsangue},
title = {Decomposition of Constraint Automata},
booktitle = {{FACS}},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {237--258},
publisher = {Springer},
year = {2010}
}
@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 = {{ICCA}},
pages = {629--633},
publisher = {{IEEE}},
year = {2010}
}
@inproceedings{DBLP:conf/icfem/KokashCA10,
author = {Natallia Kokash and
Behnaz Changizi and
Farhad Arbab},
title = {A Semantic Model for Service Composition with Coordination Time Delays},
booktitle = {{ICFEM}},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {106--121},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/sebd/ArbabDPS10,
author = {Farhad Arbab and
Claudia Diamantini and
Domenico Potena and
Emanuele Storti},
title = {Towards Coordination Patterns for Complex Experimentations in Data
Mining},
booktitle = {{SEBD}},
pages = {106--117},
publisher = {Esculapio Editore},
year = {2010}
}
@inproceedings{DBLP:conf/sose/MengA10,
author = {Sun Meng and
Farhad Arbab},
title = {A Model for Web Service Coordination in Long-Running Transactions},
booktitle = {{SOSE}},
pages = {121--128},
publisher = {{IEEE} Computer Society},
year = {2010}
}
@inproceedings{DBLP:journals/corr/abs-1007-5094,
author = {Young{-}Joo Moon and
Alexandra Silva and
Christian Krause and
Farhad Arbab},
title = {A Compositional Semantics for Stochastic Reo Connectors},
booktitle = {{FOCLASA}},
series = {{EPTCS}},
volume = {30},
pages = {93--107},
year = {2010}
}
@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}
}
@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}
}
@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},
title = {From Coordination to Stochastic Models of QoS},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {5521},
pages = {268--287},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/sac/KokashA09,
author = {Natallia Kokash and
Farhad Arbab},
title = {Applying Reo to service coordination in long-running business transactions},
booktitle = {{SAC}},
pages = {1381--1382},
publisher = {{ACM}},
year = {2009}
}
@inproceedings{DBLP:conf/sigsoft/ArbabMMKQ09,
author = {Farhad Arbab and
Sun Meng and
Young{-}Joo Moon and
Marta Z. Kwiatkowska and
Hongyang Qu},
title = {Reo2MC: a tool chain for performance analysis of coordination models},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {287--288},
publisher = {{ACM}},
year = {2009}
}
@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},
title = {Fault-Based Test Case Generation for Component Connectors},
booktitle = {{TASE}},
pages = {147--154},
publisher = {{IEEE} Computer Society},
year = {2009}
}
@inproceedings{DBLP:journals/entcs/MengA09,
author = {Sun Meng and
Farhad Arbab},
title = {Connectors as Designs},
booktitle = {{FOCLASA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {119--135},
publisher = {Elsevier},
year = {2009}
}
@inproceedings{DBLP:journals/entcs/PourvatanSHA09,
author = {Bahman Pourvatan and
Marjan Sirjani and
Hossein Hojjat and
Farhad Arbab},
title = {Automated Analysis of Reo Circuits using Symbolic Execution},
booktitle = {{FOCLASA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {137--158},
publisher = {Elsevier},
year = {2009}
}
@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}
}
@inproceedings{DBLP:conf/acsd/MengA08,
author = {Sun Meng and
Farhad Arbab},
title = {QoS-driven service selection and composition},
booktitle = {{ACSD}},
pages = {160--169},
publisher = {{IEEE}},
year = {2008}
}
@inproceedings{DBLP:conf/cbse/ArbabM08,
author = {Farhad Arbab and
Sun Meng},
title = {Synthesis of Connectors from Scenario-Based Interaction Specifications},
booktitle = {{CBSE}},
series = {Lecture Notes in Computer Science},
volume = {5282},
pages = {114--129},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/cimca/AptAM08,
author = {Krzysztof R. Apt and
Farhad Arbab and
Huiye Ma},
title = {A Distributed Platform for Mechanism Design},
booktitle = {{CIMCA/IAWTIC/ISE}},
pages = {767--772},
publisher = {{IEEE} Computer Society},
year = {2008}
}
@inproceedings{DBLP:conf/fmco/KokashA08,
author = {Natallia Kokash and
Farhad Arbab},
title = {Formal Behavioral Modeling and Compliance Analysis for Service-Oriented
Systems},
booktitle = {{FMCO}},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {21--41},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/icsoc/MaraikarLA08,
author = {Ziyan Maraikar and
Alexander Lazovik and
Farhad Arbab},
title = {Building Mashups for the Enterprise with {SABRE}},
booktitle = {{ICSOC}},
series = {Lecture Notes in Computer Science},
volume = {5364},
pages = {70--83},
year = {2008}
}
@inproceedings{DBLP:conf/isola/ArbabKM08,
author = {Farhad Arbab and
Natallia Kokash and
Sun Meng},
title = {Towards Using Reo for Compliance-Aware Business Process Modeling},
booktitle = {ISoLA},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {108--123},
publisher = {Springer},
year = {2008}
}
@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},
title = {Reo Connectors as Coordination Artifacts in 2APL Systems},
booktitle = {{PRIMA}},
series = {Lecture Notes in Computer Science},
volume = {5357},
pages = {42--53},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/wadt/ArbabBCLM08,
author = {Farhad Arbab and
Roberto Bruni and
Dave Clarke and
Ivan Lanese and
Ugo Montanari},
title = {Tiles for Reo},
booktitle = {{WADT}},
series = {Lecture Notes in Computer Science},
volume = {5486},
pages = {37--55},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/wadt/KoehlerAV08,
author = {Christian Koehler and
Farhad Arbab and
Erik P. de Vink},
title = {Reconfiguring Distributed Reo Connectors},
booktitle = {{WADT}},
series = {Lecture Notes in Computer Science},
volume = {5486},
pages = {221--235},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:journals/entcs/ArbabSB09,
author = {Farhad Arbab and
Sun Meng and
Christel Baier},
title = {Synthesis of Reo Circuits from Scenario-based Specifications},
booktitle = {FOCLASA@ICALP},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {21--41},
publisher = {Elsevier},
year = {2008}
}
@inproceedings{DBLP:journals/entcs/ClarkePLA09,
author = {Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a and
Alexander Lazovik and
Farhad Arbab},
title = {Deconstructing Reo},
booktitle = {FOCLASA@ICALP},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {43--58},
publisher = {Elsevier},
year = {2008}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/compsac/IzadiMA07,
author = {Mohammad Izadi and
Ali Movaghar and
Farhad Arbab},
title = {Model Checking of Component Connectors},
booktitle = {{COMPSAC} {(1)}},
pages = {673--675},
publisher = {{IEEE} Computer Society},
year = {2007}
}
@inproceedings{DBLP:conf/coordination/ArbabCMM07,
author = {Farhad Arbab and
Tom Chothia and
Sun Meng and
Young{-}Joo Moon},
title = {Component Connectors with QoS Guarantees},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {4467},
pages = {286--304},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/fmoods/MengA07,
author = {Sun Meng and
Farhad Arbab},
title = {On Resource-Sensitive Timed Component Connectors},
booktitle = {{FMOODS}},
series = {Lecture Notes in Computer Science},
volume = {4468},
pages = {301--316},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/icsoc/KoehlerLA07,
author = {Christian Koehler and
Alexander Lazovik and
Farhad Arbab},
title = {ReoService: Coordination Modeling Tool},
booktitle = {{ICSOC}},
series = {Lecture Notes in Computer Science},
volume = {4749},
pages = {625--626},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/icsoc/LazovikA07,
author = {Alexander Lazovik and
Farhad Arbab},
title = {Using Reo for Service Coordination},
booktitle = {{ICSOC}},
series = {Lecture Notes in Computer Science},
volume = {4749},
pages = {398--403},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/sac/MengA07,
author = {Sun Meng and
Farhad Arbab},
title = {Web services choreography and orchestration in Reo and constraint
automata},
booktitle = {{SAC}},
pages = {346--353},
publisher = {{ACM}},
year = {2007}
}
@inproceedings{DBLP:conf/sigsoft/ArbabB07,
author = {Farhad Arbab and
Christel Baier},
title = {Syanco 2007: international workshop on synthesis and analysis of component
connectors},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {607--608},
publisher = {{ACM}},
year = {2007}
}
@inproceedings{DBLP:conf/soco/Arbab07,
author = {Farhad Arbab},
title = {Composition by Anonymous Third Parties},
booktitle = {SC@ETAPS},
series = {Lecture Notes in Computer Science},
volume = {4829},
pages = {1},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:journals/entcs/GoldinA08,
author = {Dina Q. Goldin and
Farhad Arbab},
title = {Preface},
booktitle = {FInCo@ETAPS},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {3},
pages = {1--3},
publisher = {Elsevier},
year = {2007}
}
@inproceedings{DBLP:journals/entcs/KoehlerLA08,
author = {Christian Koehler and
Alexander Lazovik and
Farhad Arbab},
title = {Connector Rewriting with High-Level Replacement Systems},
booktitle = {{FOCLASA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {77--92},
publisher = {Elsevier},
year = {2007}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
title = {Landscape Maps for Enterprise Architectures},
booktitle = {CAiSE},
series = {Lecture Notes in Computer Science},
volume = {4001},
pages = {351--366},
publisher = {Springer},
year = {2006}
}
@inproceedings{DBLP:conf/coordination/SirjaniJBA06,
author = {Marjan Sirjani and
Mohammad Mahdi Jaghoori and
Christel Baier and
Farhad Arbab},
title = {Compositional Semantics of an Actor-Based Language Using Constraint
Automata},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {4038},
pages = {281--297},
publisher = {Springer},
year = {2006}
}
@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 = {{ECBS}},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {2006}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/atal/DastaniAB05,
author = {Mehdi Dastani and
Farhad Arbab and
Frank S. de Boer},
title = {Coordination and composition in multi-agent systems},
booktitle = {{AAMAS}},
pages = {439--446},
publisher = {{ACM}},
year = {2005}
}
@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},
title = {Synthesis of Reo Circuits for Implementation of Component-Connector
Automata Specifications},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {236--251},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/sac/Guillen-ScholtenABB05,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {MoCha-pi, an exogenous coordination calculus based on mobile channels},
booktitle = {{SAC}},
pages = {436--442},
publisher = {{ACM}},
year = {2005}
}
@inproceedings{DBLP:journals/entcs/Arbab06,
author = {Farhad Arbab},
title = {Coordination for Component Composition},
booktitle = {{FACS}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {160},
pages = {15--40},
publisher = {Elsevier},
year = {2005}
}
@inproceedings{DBLP:journals/entcs/ArbabS06,
author = {Farhad Arbab and
Marjan Sirjani},
title = {Preface},
booktitle = {{FSEN}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {1--2},
publisher = {Elsevier},
year = {2005}
}
@inproceedings{DBLP:journals/entcs/ClarkeCA06,
author = {Dave Clarke and
David Costa and
Farhad Arbab},
title = {Connector Colouring {I:} Synchronisation and Context Dependency},
booktitle = {{FOCLASA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {101--119},
publisher = {Elsevier},
year = {2005}
}
@inproceedings{DBLP:journals/entcs/Guillen-ScholtenABB06,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Modeling the Exogenous Coordination of Mobile Channel-based Systems
with Petri Nets},
booktitle = {{FOCLASA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {121--138},
publisher = {Elsevier},
year = {2005}
}
@inproceedings{DBLP:journals/entcs/HeydarnooriMA06,
author = {Abbas Heydarnoori and
Farhad Mavaddat and
Farhad Arbab},
title = {Towards an Automated Deployment Planner for Composition of Web Services
as Software Components},
booktitle = {{FACS}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {160},
pages = {239--253},
publisher = {Elsevier},
year = {2005}
}
@inproceedings{DBLP:journals/entcs/MousaviSA06,
author = {Mohammad Reza Mousavi and
Marjan Sirjani and
Farhad Arbab},
title = {Formal Semantics and Analysis of Component Connectors in Reo},
booktitle = {{FOCLASA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {83--99},
publisher = {Elsevier},
year = {2005}
}
@inproceedings{DBLP:journals/entcs/WegnerAGMLR05,
author = {Peter Wegner and
Farhad Arbab and
Dina Q. Goldin and
Peter McBurney and
Michael Luck and
David Robertson},
title = {The Role of Agent Interaction in Models of Computing: Panelist Reviews},
booktitle = {FInCo@ETAPS},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {5},
pages = {181--198},
publisher = {Elsevier},
year = {2005}
}
@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}
}
@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 = {{COMPSAC}},
pages = {486--491},
publisher = {{IEEE} Computer Society},
year = {2004}
}
@inproceedings{DBLP:conf/coordination/ZoeteweijA04,
author = {Peter Zoeteweij and
Farhad Arbab},
title = {A Component-Based Parallel Constraint Solver},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {2949},
pages = {307--322},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/fidji/ScholtenA04,
author = {Juan Guillen Scholten and
Farhad Arbab},
title = {Coordinated Anonymous Peer-to-Peer Connections with MoCha},
booktitle = {{FIDJI}},
series = {Lecture Notes in Computer Science},
volume = {3409},
pages = {68--77},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/isola/ArbabK04,
author = {Farhad Arbab and
Joost N. Kok},
title = {Interaction and Coordination of Tools for Structured Data},
booktitle = {ISoLA},
series = {Lecture Notes in Computer Science},
volume = {4313},
pages = {1--8},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/isola/ClarkeCA04,
author = {Dave Clarke and
David Costa and
Farhad Arbab},
title = {Modelling Coordination in Biological Systems},
booktitle = {ISoLA},
series = {Lecture Notes in Computer Science},
volume = {4313},
pages = {9--25},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/isola/ClarkeCA04a,
author = {Dave Clarke and
David Costa and
Farhad Arbab},
title = {Modelling Coordination in Biological Systems},
booktitle = {ISoLA (Preliminary proceedings)},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {58--66},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004}
}
@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 = {{ASE}},
pages = {371--374},
publisher = {{IEEE} Computer Society},
year = {2004}
}
@inproceedings{DBLP:conf/sac/LimniotesPA04,
author = {Theophilos A. Limniotes and
George A. Papadopoulos and
Farhad Arbab},
title = {Web Services: separation of concerns: computation coordination communication},
booktitle = {{SAC}},
pages = {492--497},
publisher = {{ACM}},
year = {2004}
}
@inproceedings{DBLP:conf/sc/EveraarsAK04,
author = {C. T. H. Everaars and
Farhad Arbab and
Barry Koren},
title = {Modernizing Existing Software: {A} Case Study},
booktitle = {{SC}},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2004}
}
@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 = {{SEFM}},
pages = {198--207},
publisher = {{IEEE} Computer Society},
year = {2004}
}
@inproceedings{DBLP:conf/wsmai/DiakovA04,
author = {Nikolay K. Diakov and
Farhad Arbab},
title = {Compositional Construction of Web Services Using Reo},
booktitle = {{WSMAI}},
pages = {49--58},
publisher = {{INSTICC} Press},
year = {2004}
}
@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}
}
@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}
}
@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 = {{EDOC}},
pages = {28--39},
publisher = {{IEEE} Computer Society},
year = {2003}
}
@inproceedings{DBLP:journals/entcs/ArbabBRS04,
author = {Farhad Arbab and
Christel Baier and
Jan J. M. M. Rutten and
Marjan Sirjani},
title = {Modeling Component Connectors in Reo by Constraint Automata: (Extended
Abstract)},
booktitle = {{FOCLASA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {25--46},
publisher = {Elsevier},
year = {2003}
}
@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 = {{COMPSAC}},
pages = {667--673},
publisher = {{IEEE} Computer Society},
year = {2002}
}
@inproceedings{DBLP:conf/coordination/ArbabM02,
author = {Farhad Arbab and
Farhad Mavaddat},
title = {Coordination through Channel Composition},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {2315},
pages = {22--39},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:conf/fmco/Arbab02,
author = {Farhad Arbab},
title = {Abstract Behavior Types: {A} Foundation Model for Components and Their
Composition},
booktitle = {{FMCO}},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {33--70},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:conf/wadt/ArbabR02,
author = {Farhad Arbab and
Jan J. M. M. Rutten},
title = {A Coinductive Calculus of Component Connectors},
booktitle = {{WADT}},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {34--55},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:journals/entcs/BanachAPG02,
author = {Richard Banach and
Farhad Arbab and
George A. Papadopoulos and
John R. W. Glauert},
title = {{IWIM} Semantics via Fibred Automata},
booktitle = {Formal Methods and Component Interaction @ {ICALP}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {4},
pages = {1--15},
publisher = {Elsevier},
year = {2002}
}
@inproceedings{DBLP:journals/entcs/Guillen-ScholtenABB03,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {A Channel-based Coordination Model for Components},
booktitle = {{FOCLASA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {419--438},
publisher = {Elsevier},
year = {2002}
}
@inproceedings{DBLP:journals/entcs/ScholtenABB02,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Mobile Channels, Implementation Within and Outside Components},
booktitle = {Formal Methods and Component Interaction @ {ICALP}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {4},
pages = {56--66},
publisher = {Elsevier},
year = {2002}
}
@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}
}
@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}
}
@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 = {{ICSM}},
pages = {342},
publisher = {{IEEE} Computer Society},
year = {2001}
}
@inproceedings{DBLP:conf/jisbd/Arbab01,
author = {Farhad Arbab},
title = {Panta Rei (Everything Flows): {A} Calculus of Channels},
booktitle = {{JISBD}},
pages = {5},
year = {2001}
}
@inproceedings{DBLP:journals/entcs/Arbab01,
author = {Farhad Arbab},
title = {Coordination of Mobile Components},
booktitle = {ConCoord},
series = {Electronic Notes in Theoretical Computer Science},
volume = {54},
pages = {1--16},
publisher = {Elsevier},
year = {2001}
}
@incollection{DBLP:books/sp/omicini01/MonfroyA01,
author = {{\'{E}}ric Monfroy and
Farhad Arbab},
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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/coordination/ArbabBB00,
author = {Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {A Logical Interface Description Language for Components},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {1906},
pages = {249--266},
publisher = {Springer},
year = {2000}
}
@inproceedings{DBLP:conf/coordination/ArbabM00,
author = {Farhad Arbab and
{\'{E}}ric Monfroy},
title = {Distributed Splitting of Constraint Satisfaction Problems},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {1906},
pages = {115--132},
publisher = {Springer},
year = {2000}
}
@inproceedings{DBLP:conf/hpcn/PapadopuolosA00,
author = {George A. Papadopoulos and
Farhad Arbab},
title = {Dynamic Reconfiguration in Coordination Languages},
booktitle = {{HPCN} Europe},
series = {Lecture Notes in Computer Science},
volume = {1823},
pages = {197--206},
publisher = {Springer},
year = {2000}
}
@inproceedings{DBLP:conf/sac/ArbabBB00,
author = {Farhad Arbab and
Marcello M. Bonsangue and
Frank S. de Boer},
title = {A Coordination Lanuage for Mobile Components},
booktitle = {{SAC} {(1)}},
pages = {166--173},
publisher = {{ACM}},
year = {2000}
}
@inproceedings{DBLP:conf/ipps/EveraarsKA99,
author = {C. T. H. Everaars and
Barry Koren and
Farhad Arbab},
title = {Dynamic Process Composition and Communication Patterns in Irregularly
Structured Applications},
booktitle = {{IPPS/SPDP} Workshops},
series = {Lecture Notes in Computer Science},
volume = {1586},
pages = {1046--1054},
publisher = {Springer},
year = {1999}
}
@inproceedings{DBLP:conf/pdpta/Arbab99,
author = {Farhad Arbab},
title = {Coordination Programming for Parallel and Distributed Applications},
booktitle = {{PDPTA}},
pages = {1--10},
publisher = {{CSREA} Press},
year = {1999}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/dexaw/Arbab98,
author = {Farhad Arbab},
title = {Coordination and its Relevance},
booktitle = {{DEXA} Workshop},
pages = {529--535},
publisher = {{IEEE} Computer Society},
year = {1998}
}
@inproceedings{DBLP:conf/dexaw/PapadopoulosA98,
author = {George A. Papadopoulos and
Farhad Arbab},
title = {Modeling Electronic Commerce Activities Using Control-Driven Coordination},
booktitle = {{DEXA} Workshop},
pages = {583--588},
publisher = {{IEEE} Computer Society},
year = {1998}
}
@inproceedings{DBLP:conf/sac/ArbabM98,
author = {Farhad Arbab and
{\'{E}}ric Monfroy},
title = {Using coordination for cooperative constraint solving},
booktitle = {{SAC}},
pages = {139--148},
publisher = {{ACM}},
year = {1998}
}
@inproceedings{DBLP:conf/sac/PapadopoulosA98,
author = {George A. Papadopoulos and
Farhad Arbab},
title = {Modelling activities in information systems using the coordination
language {MANIFOLD}},
booktitle = {{SAC}},
pages = {185--193},
publisher = {{ACM}},
year = {1998}
}
@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}
}
@inproceedings{DBLP:conf/coordination/PapadopoulosA97,
author = {George A. Papadopoulos and
Farhad Arbab},
title = {Control-Based Coordination of Human and Other Activities in Cooperative
Information Systems},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {422--425},
publisher = {Springer},
year = {1997}
}
@inproceedings{DBLP:conf/euro-pds/SeredynskiBA97,
author = {Franciszek Seredynski and
Pascal Bouvry and
Farhad Arbab},
title = {Parallel Evolutionary Computation: Multi Agents Genetic Algorithms},
booktitle = {Euro-PDS},
pages = {293--298},
publisher = {{IASTED/ACTA} Press},
year = {1997}
}
@inproceedings{DBLP:conf/hicss/Arbab97,
author = {Farhad Arbab},
title = {The Influence of Coordination on Program Structure},
booktitle = {{HICSS} {(1)}},
pages = {300--309},
publisher = {{IEEE} Computer Society},
year = {1997}
}
@inproceedings{DBLP:conf/pact/PapadopoulosA97,
author = {George A. Papadopoulos and
Farhad Arbab},
title = {Control-Driven Coordination Programming in Shared Dataspace},
booktitle = {PaCT},
series = {Lecture Notes in Computer Science},
volume = {1277},
pages = {247--261},
publisher = {Springer},
year = {1997}
}
@inproceedings{DBLP:conf/pact/SeredynskiBA97,
author = {Franciszek Seredynski and
Pascal Bouvry and
Farhad Arbab},
title = {Parallel and Distributed Evolutionary Computation with {MANIFOLD}},
booktitle = {PaCT},
series = {Lecture Notes in Computer Science},
volume = {1277},
pages = {94--108},
publisher = {Springer},
year = {1997}
}
@inproceedings{DBLP:conf/compsac/PapadopoulosA96,
author = {George A. Papadopoulos and
Farhad Arbab},
title = {Coordination of Systems with Real-Time Properties in Manifold},
booktitle = {{COMPSAC}},
pages = {50--55},
publisher = {{IEEE} Computer Society},
year = {1996}
}
@inproceedings{DBLP:conf/coordination/Arbab96,
author = {Farhad Arbab},
title = {The {IWIM} Model for Coordination of Concurrent Activities},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {1061},
pages = {34--56},
publisher = {Springer},
year = {1996}
}
@inproceedings{DBLP:conf/coordination/BouvryA96,
author = {Pascal Bouvry and
Farhad Arbab},
title = {{VISIFOLD:} {A} Visual Environment for a Coordination Language},
booktitle = {{COORDINATION}},
series = {Lecture Notes in Computer Science},
volume = {1061},
pages = {403--406},
publisher = {Springer},
year = {1996}
}
@inproceedings{DBLP:conf/europar/ArbabBBE96,
author = {Farhad Arbab and
C. L. Blom and
F. J. Burger and
C. T. H. Everaars},
title = {Reusable Coordinator Modules for Massively Concurrent Applications},
booktitle = {Euro-Par, Vol. {I}},
series = {Lecture Notes in Computer Science},
volume = {1123},
pages = {664--677},
publisher = {Springer},
year = {1996}
}
@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 = {{ICSM}},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {1996}
}
@inproceedings{DBLP:conf/irregular/EveraarsA96,
author = {C. T. H. Everaars and
Farhad Arbab},
title = {Coordination of Distributed/Parallel Multi-grid Domain Decomposition},
booktitle = {{IRREGULAR}},
series = {Lecture Notes in Computer Science},
volume = {1117},
pages = {131--144},
publisher = {Springer},
year = {1996}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/conpar/ArbabHS92,
author = {Farhad Arbab and
Ivan Herman and
P{\aa}l Spilling},
title = {Manifold: Concepts and Implementation},
booktitle = {{CONPAR}},
series = {Lecture Notes in Computer Science},
volume = {634},
pages = {793--794},
publisher = {Springer},
year = {1992}
}
@inproceedings{DBLP:conf/icci/ArbabHS92,
author = {Farhad Arbab and
Ivan Herman and
P{\aa}l Spilling},
title = {Interaction Management of a Window Manager in Manifold},
booktitle = {{ICCI}},
pages = {197--202},
publisher = {{IEEE} Computer Society},
year = {1992}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/dac/ArbabLM82,
author = {Farhad Arbab and
Larry Lichten and
Michel A. Melkanoff},
title = {Toward CAM-oriented {CAD}},
booktitle = {{DAC}},
pages = {239--245},
publisher = {{ACM/IEEE}},
year = {1982}
}
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 07:25 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:
