|
|
Conferences in DBLP
(fsen)
2007 (conf/fsen/2007)
- Harald Fecher, Immo Grabe
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:1-16 [Conf]
- Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
Slicing Abstractions. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:17-32 [Conf]
- Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:33-48 [Conf]
- Mahdi Niamanesh, Rasool Jalili
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:49-64 [Conf]
- Gizela Jakubowska, Wojciech Penczek
Is Your Security Protocol on Time ? [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:65-80 [Conf]
- Wan Fokkink, Allard Kakebeen, Jun Pang
Adapting the UPPAAL Model of a Distributed Lift System. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:81-97 [Conf]
- Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell
Zone-Based Universality Analysis for Single-Clock Timed Automata. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:98-112 [Conf]
- Niloofar Razavi, Marjan Sirjani
Compositional Semantics of System-Level Designs Written in SystemC. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:113-128 [Conf]
- Ramin Tavakoli Kolagari, Mark-Oliver Reiser
Reusing Requirements: The Need for Extended Variability Models. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:129-143 [Conf]
- Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
Test Selection Criteria for Quantifier-Free First-Order Specifications. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:144-159 [Conf]
- Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
Formal Testing of Systems Presenting Soft and Hard Deadlines. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:160-174 [Conf]
- Seyyed Vahid Hashemian, Farhad Mavaddat
Automatic Composition of Stateless Components: A Logical Reasoning Approach. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:175-190 [Conf]
- Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
A Model of Component-Based Programming. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:191-206 [Conf]
- Mario Bravetti, Gianluigi Zavattaro
Contract Based Multi-party Service Composition. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:207-222 [Conf]
- Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Regulating Data Exchange in Service Oriented Applications. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:223-239 [Conf]
- Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
A Behavioural Congruence for Web Services. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:240-256 [Conf]
- Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
Logic-Based Detection of Conflicts in AppelPolicies. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:257-271 [Conf]
- Magnus O. Myreen, Anthony C. J. Fox, Michael J. C. Gordon
Hoare Logic for ARM Machine Code. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:272-286 [Conf]
- Michel A. Reniers, Muck van Weerdenburg
Action Abstraction in Timed Process Algebra. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:287-301 [Conf]
- Lucia Acciai, Michele Boreale
Type Abstractions of Name-Passing Processes. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:302-317 [Conf]
- Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
Formal Specification of Multi-agent Systems by Using EUSMs. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:318-333 [Conf]
- Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari
Strong Safe Realizability of Message Sequence Chart Specifications. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:334-349 [Conf]
- Zhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang
Implication-Based Approximating Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:350-363 [Conf]
- Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
Logical Bisimulations and Functional Languages. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:364-379 [Conf]
- Jin Yi, Wenhui Zhang
Efficient State Space Reduction for Automata by Fair Simulation. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:380-387 [Conf]
- Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
Model Checking Temporal Metric Specifications with Trio2Promela. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:388-395 [Conf]
- Mahdi Niamanesh, Sirwah Sabetghadam, Reza Yousefzadeh Rahaghi, Rasool Jalili
Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:396-403 [Conf]
- Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar, Rasool Jalili
Vulnerability Analysis in VGBPS Using Prolog. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:404-411 [Conf]
- Bahman Pourvatan, Nima Rouhy
An Alternative Algorithm for Constraint Automata Product. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:412-422 [Conf]
- Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar
A Review on Specifying Software Architectures Using Extended Automata-Based Models. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:423-431 [Conf]
- Saeed Parsa, Gholamreza Safi
ArchC#: A New Architecture Description Language for Distributed Systems. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:432-439 [Conf]
- Matteo Baldoni, Guido Boella, Leendert van der Torre
Relationships Meet Their Roles in Object Oriented Programming. [Citation Graph (0, 0)][DBLP]
FSEN, 2007, pp:440-448 [Conf]
|
