The SCEAS System
Navigation Menu

Conferences in DBLP

Formal Techniques for Networked and Distributed Systems / (forte)
2007 (conf/forte/2007)

  1. Susanne Graf, Sophie Quinton
    Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:1-18 [Conf]
  2. Haitao Dan, Robert M. Hierons, Steve Counsell
    Thread-Based Analysis of Sequence Diagrams. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:19-34 [Conf]
  3. Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün
    Recovering Repetitive Sub-functions from Observations. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:35-49 [Conf]
  4. Samrat S. Batth, Elisangela Rodrigues Vieira, Ana Cavalli, M. Ümit Uyar
    Specification of Timed EFSM Fault Models in SDL. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:50-65 [Conf]
  5. Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
    Coordination Via Types in an Event-Based Framework. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:66-80 [Conf]
  6. Yang Hongli, Zhao Xiangpeng, Cai Chao, Qiu Zongyan
    Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:81-96 [Conf]
  7. Junghwa Chae
    Towards Modal Logic Formalization of Role-Based Access Control with Object Classes. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:97-111 [Conf]
  8. Margus Veanes, Juhan P. Ernits, Colin Campbell
    State Isomorphism in Model Programs with Abstract Data Structures. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:112-127 [Conf]
  9. Margus Veanes, Colin Campbell, Wolfram Schulte
    Composition of Model Programs. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:128-142 [Conf]
  10. David de Frutos-Escrig, Fernando Rosa Velardo, Carlos Gregorio-Rodríguez
    New Bisimulation Semantics for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:143-159 [Conf]
  11. Thomas Gazagnaire, Loïc Hélouët
    Event Correlation with Boxed Pomsets. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:160-176 [Conf]
  12. Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre
    A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:177-195 [Conf]
  13. Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng
    Improvements for the Symbolic Verification of Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:196-210 [Conf]
  14. Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch
    The DHCP Failover Protocol: A Formal Perspective. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:211-226 [Conf]
  15. Qiang Guo
    Verifying Erlang/OTP Components in mu CRL. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:227-246 [Conf]
  16. Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini
    Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:247-262 [Conf]
  17. Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin
    Testing Distributed Systems Through Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:263-279 [Conf]
  18. Kais Klai, Laure Petrucci, Michel Reniers
    An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:280-295 [Conf]
  19. Kedian Mu, Zhi Jin
    Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:296-308 [Conf]
  20. Christian Webel, Reinhard Gotzhein
    Formalization of Network Quality-of-Service Requirements. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:309-324 [Conf]
  21. Mila E. Majster-Cederbaum, Moritz Martens
    Robustness in Interaction Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:325-340 [Conf]
  22. Serge Haddad, Pascal Poizat
    Transactional Reduction of Component Compositions. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:341-357 [Conf]
  23. João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
    Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:358-373 [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