default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFSEN 2007: Tehran, Iran
- Farhad Arbab, Marjan Sirjani:
International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings. Lecture Notes in Computer Science 4767, Springer 2007, ISBN 978-3-540-75697-2 - Harald Fecher, Immo Grabe:
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. 1-16 - Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim:
Slicing Abstractions. 17-32 - Muhammad Torabi Dashti
, Srijith Krishnan Nair, Hugo L. Jonker:
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme. 33-48 - Mahdi Niamanesh, Rasool Jalili:
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata. 49-64 - Gizela Jakubowska, Wojciech Penczek:
Is Your Security Protocol on Time ? 65-80 - Wan J. Fokkink, Allard Kakebeen, Jun Pang:
Adapting the UPPAAL Model of a Distributed Lift System. 81-97 - Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell:
Zone-Based Universality Analysis for Single-Clock Timed Automata. 98-112 - Niloofar Razavi, Marjan Sirjani:
Compositional Semantics of System-Level Designs Written in SystemC. 113-128 - Ramin Tavakoli Kolagari, Mark-Oliver Reiser:
Reusing Requirements: The Need for Extended Variability Models. 129-143 - Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet:
Test Selection Criteria for Quantifier-Free First-Order Specifications. 144-159 - Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Formal Testing of Systems Presenting Soft and Hard Deadlines. 160-174 - Seyyed Vahid Hashemian, Farhad Mavaddat:
Automatic Composition of Stateless Components: A Logical Reasoning Approach. 175-190 - Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan:
A Model of Component-Based Programming. 191-206 - Mario Bravetti, Gianluigi Zavattaro:
Contract Based Multi-party Service Composition. 207-222 - Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Regulating Data Exchange in Service Oriented Applications. 223-239 - Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
A Behavioural Congruence for Web Services. 240-256 - Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini:
Logic-Based Detection of Conflicts in AppelPolicies. 257-271 - Magnus O. Myreen, Anthony C. J. Fox, Michael J. C. Gordon:
Hoare Logic for ARM Machine Code. 272-286 - Michel A. Reniers, Muck van Weerdenburg:
Action Abstraction in Timed Process Algebra. 287-301 - Lucia Acciai, Michele Boreale:
Type Abstractions of Name-Passing Processes. 302-317 - Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Formal Specification of Multi-agent Systems by Using EUSMs. 318-333 - Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari:
Strong Safe Realizability of Message Sequence Chart Specifications. 334-349 - Zhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang:
Implication-Based Approximating Bounded Model Checking. 350-363 - Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii:
Logical Bisimulations and Functional Languages. 364-379 - Jin Yi, Wenhui Zhang:
Efficient State Space Reduction for Automata by Fair Simulation. 380-387 - Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela. 388-395 - Mahdi Niamanesh, Sirwah Sabetghadam, Reza Yousefzadeh Rahaghi, Rasool Jalili:
Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack. 396-403 - Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar, Rasool Jalili:
Vulnerability Analysis in VGBPS Using Prolog. 404-411 - Bahman Pourvatan, Nima Rouhy:
An Alternative Algorithm for Constraint Automata Product. 412-422 - Sayed Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar:
A Review on Specifying Software Architectures Using Extended Automata-Based Models. 423-431 - Saeed Parsa, Gholamreza Safi:
ArchC#: A New Architecture Description Language for Distributed Systems. 432-439 - Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Relationships Meet Their Roles in Object Oriented Programming. 440-448
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-25 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
