The SCEAS System
Navigation Menu

Conferences in DBLP

Integrated Formal Methods (IFM) (ifm)
2005 (conf/ifm/2005)

  1. David Lorge Parnas
    A Family of Mathematical Methods for Professional Software Documentation. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:1-4 [Conf]
  2. Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis
    Generating Path Conditions for Timed Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:5-19 [Conf]
  3. Patrice Godefroid, Nils Klarlund
    Software Model Checking: Searching for Computations in the Abstract or the Concrete. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:20-32 [Conf]
  4. Robi Malik, Partha S. Roop
    Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:33-52 [Conf]
  5. Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith
    State/Event Software Verification for Branching-Time Specifications. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:53-69 [Conf]
  6. Frédéric Lang
    Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:70-88 [Conf]
  7. Steve A. Schneider, Helen Treharne, Neil Evans
    Chunks: Component Verification in CSP||B. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:89-108 [Conf]
  8. Richard F. Paige, Phillip J. Brooke
    Agile Formal Method Engineering. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:109-128 [Conf]
  9. Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter
    An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:129-149 [Conf]
  10. Shane Bracher, Padmanabhan Krishnan
    Enabling Security Testing from Specification to Code. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:150-166 [Conf]
  11. Pontus Boström, Marina A. Waldén
    Development of Fault Tolerant Grid Applications Using Distributed B. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:167-186 [Conf]
  12. Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller
    Formal Methods Meet Domain Specific Languages. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:187-206 [Conf]
  13. Frédéric Gervais, Marc Frappier, Régine Laleau
    Synthesizing B Specifications from EB3 Attribute Definitions. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:207-226 [Conf]
  14. Tim Miller, Leo Freitas, Petra Malik, Mark Utting
    CZT Support for Z Extensions. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:227-245 [Conf]
  15. Kun Wei, James Heather
    Embedding the Stable Failures Model of CSP in PVS. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:246-265 [Conf]
  16. Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard
    Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:266-286 [Conf]
  17. Gwen Salaün, Wendelin Serwe
    Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:287-306 [Conf]
  18. Kenneth J. Turner
    Formalising Interactive Voice Services with SDL. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:307-326 [Conf]
  19. Héctor Ruíz Barradas, Didier Bert
    A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:327-346 [Conf]
  20. Vitus S. W. Lam, Julian A. Padget
    Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:347-365 [Conf]
  21. Bikram Sengupta, Rance Cleaveland
    An Integrated Framework for Scenarios and State Machines. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:366-385 [Conf]
  22. Dieu Donné Ossami, Jean-Pierre Jacquot, Jeanine Souquières
    Consistency in UML and B Multi-view Specifications. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:386-405 [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