The SCEAS System
Navigation Menu

Conferences in DBLP

(fsen)
2007 (conf/fsen/2007)

  1. 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]
  2. Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
    Slicing Abstractions. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:17-32 [Conf]
  3. 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]
  4. 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]
  5. Gizela Jakubowska, Wojciech Penczek
    Is Your Security Protocol on Time ? [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:65-80 [Conf]
  6. 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]
  7. 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]
  8. Niloofar Razavi, Marjan Sirjani
    Compositional Semantics of System-Level Designs Written in SystemC. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:113-128 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Mario Bravetti, Gianluigi Zavattaro
    Contract Based Multi-party Service Composition. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:207-222 [Conf]
  15. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    Regulating Data Exchange in Service Oriented Applications. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:223-239 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. Michel A. Reniers, Muck van Weerdenburg
    Action Abstraction in Timed Process Algebra. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:287-301 [Conf]
  20. Lucia Acciai, Michele Boreale
    Type Abstractions of Name-Passing Processes. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:302-317 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
    Logical Bisimulations and Functional Languages. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:364-379 [Conf]
  25. Jin Yi, Wenhui Zhang
    Efficient State Space Reduction for Automata by Fair Simulation. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:380-387 [Conf]
  26. 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]
  27. 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]
  28. 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]
  29. Bahman Pourvatan, Nima Rouhy
    An Alternative Algorithm for Constraint Automata Product. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:412-422 [Conf]
  30. 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]
  31. Saeed Parsa, Gholamreza Safi
    ArchC#: A New Architecture Description Language for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:432-439 [Conf]
  32. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002