The SCEAS System
Navigation Menu

Conferences in DBLP

IEEE International Conference on Formal Engineering Methods (icfem)
2005 (conf/icfem/2005)

  1. Anthony Hall
    Realising the Benefits of Formal Methods. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:1-4 [Conf]
  2. Alistair P. Barros, Egon Börger
    A Compositional Framework for Service Interaction Patterns and Interaction Flows. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:5-35 [Conf]
  3. John M. Rushby
    An Evidential Tool Bus. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:36-36 [Conf]
  4. Akram Idani, Yves Ledru, Didier Bert
    Derivation of UML Class Diagrams as Static Views of Formal B Developments. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:37-51 [Conf]
  5. Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever
    29 New Unclarities in the Semantics of UML 2.0 State Machines. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:52-65 [Conf]
  6. Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang
    The Semantics and Tool Support of OZTA. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:66-80 [Conf]
  7. Michael Altenhofen, Egon Börger, Jens Lemcke
    An Abstract Model for Process Mediation. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:81-95 [Conf]
  8. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
    How Symbolic Animation Can Help Designing an Efficient Formal Model. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:96-110 [Conf]
  9. Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
    A Theory of Secure Control Flow. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:111-124 [Conf]
  10. Mourad Debbabi, Mohamed Saleh
    Game Semantics Model for Security Protocols. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:125-140 [Conf]
  11. Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
    Towards Dynamically Communicating Abstract Machines in the B Method. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:141-155 [Conf]
  12. Guy Edward Gallasch, Bing Han, Jonathan Billington
    Sweep-Line Analysis of TCP Connection Management. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:156-172 [Conf]
  13. Yanjun Wen, Ji Wang, Zhi-Chang Qi
    2/3 Alternating Simulation Between Interface Automata. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:173-187 [Conf]
  14. Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
    Formal Model-Driven Development of Communicating Systems. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:188-203 [Conf]
  15. Ismail Assayad, Valerie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine
    Jahuel: A Formal Framework for Software Synthesis. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:204-218 [Conf]
  16. Juha Plosila, Pasi Liljeberg, Jouni Isoaho
    Modelling and Refinement of an On-Chip Communication Architecture. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:219-234 [Conf]
  17. Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
    Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:235-250 [Conf]
  18. Johannes Mayer
    Adaptive Random Testing by Bisection with Restriction. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:251-263 [Conf]
  19. Laura Briones, Ed Brinksma
    Testing Real-Time Multi Input-Output Systems. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:264-279 [Conf]
  20. Sandrine Blazy, Xavier Leroy
    Formal Verification of a Memory Model for C-Like Imperative Languages. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:280-299 [Conf]
  21. Farn Wang
    Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:300-314 [Conf]
  22. Bernhard Beckert, Steffen Schlager, Peter H. Schmitt
    An Improved Rule for While Loops in Deductive Program Verification. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:315-329 [Conf]
  23. Byron Cook, Georges Gonthier
    Using Stålmarck's Algorithm to Prove Inequalities. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:330-344 [Conf]
  24. Michael Leuschel, Michael J. Butler
    Automatic Refinement Checking for B. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:345-359 [Conf]
  25. Ingo Brückner, Heike Wehrheim
    Slicing an Integrated Formal Method for Verification. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:360-374 [Conf]
  26. Francesc-Xavier Babot, Miquel Bertran, August Climent
    A Static Communication Elimination Algorithm for Distributed System Verification. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:375-389 [Conf]
  27. Arjan J. Mooij, Wieger Wesselink
    Incremental Verification of Owicki/Gries Proof Outlines Using PVS. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:390-404 [Conf]
  28. Jens Brandt, Klaus Schneider
    Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:405-420 [Conf]
  29. Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid
    An Automated Approach to Specification-Based Program Inspection. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:421-434 [Conf]
  30. Jun Sun, Yuan-Fang Li, Hai Wang, Jing Sun
    Visualizing and Simulating Semantic Web Services Ontologies. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:435-449 [Conf]
  31. Ana Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal
    A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:450-464 [Conf]
  32. M. M. Adams, Peter B. Clayton
    ClawZ: Cost-Effective Formal Verification for Control Systems. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:465-479 [Conf]
  33. Jing Sun, Hai Wang, Sasanka Athauda, Tazkiya Sheik
    SVG Web Environment for Z Specification Language. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:480-494 [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