default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st FSEN 2005: Tehran, Iran
- Farhad Arbab, Marjan Sirjani:
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, FSEN 2005, Tehran, Iran, October 1-3, 2005. Electronic Notes in Theoretical Computer Science 159, Elsevier 2006 - Farhad Arbab, Marjan Sirjani:
Preface. 1-2 - Ali Kamandi, Mohammad Abdollahi Azgomi
, Ali Movaghar:
Transformation of UML Models into Analyzable OSAN Models. 3-22 - M. Jamshid Bagherzadeh, S. Arun-Kumar:
Flexible Communication of Agents based on FIPA-ACL. 23-39 - Lorenzo Capra, Walter Cazzola:
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems. 41-59 - Dave Clarke:
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. 61-77 - Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day:
Interface Automata with Complex Actions. 79-97 - Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani:
Automated Mapping of Reo Circuits to Constraint Automata. 99-115 - Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi:
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. 117-137 - Hossein Hojjat, Hootan Nakhost, Marjan Sirjani:
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. 139-154 - Yu Huang, Hanpin Wang, Peng Yu, Yunni Xia:
Property-Transition-Net-Based Workflow Process Modeling and Verification. 155-170 - Mohammad Izadi, Ali Movaghar-Rahimabadi:
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. 171-186 - Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen:
Validating Behavioral Component Interfaces in Rewriting Logic. 187-204 - Marc Aiguier, Diane Bahrami, Delphine Longuet:
An Abstract Way to Define Rewriting Logic. 205-226 - Mahdi Niamanesh, Nafiseh Fekrazad Nobakht, Rasool Jalili, Faranak Heydarian Dehkordi:
On Validity Assurance of Dynamic Reconfiguration for Component-based Programs. 227-239 - Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez:
From Theoretical e-barter Models to an Implementation Based on Web Services. 241-264 - Shunsuke Sasaki, Tasuku Nishihara, Masahiro Fujita:
Slicing-based Hardware/Software Co-design Methodology From Functional Specifications. 265-280 - Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Inductive Proof Outlines for Exceptions in Multithreaded Java. 281-297 - Mark-Oliver Stehr:
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. 299-323
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-15 00:21 CET 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:
