7. ICFEM 2005: Manchester, UK

Kung-Kiu Lau, Richard Banach (Eds.): Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings. Lecture Notes in Computer Science 3785 Springer 2005, ISBN 3-540-29797-9 BibTeX

Invited Talks

Anthony Hall:
Realising the Benefits of Formal Methods. 1-4
Electronic Edition (link) BibTeX
Alistair P. Barros, Egon Börger:
A Compositional Framework for Service Interaction Patterns and Interaction Flows. 5-35
Electronic Edition (link) BibTeX
John M. Rushby:
An Evidential Tool Bus. 36-36
Electronic Edition (link) BibTeX

Specification

Akram Idani, Yves Ledru, Didier Bert:
Derivation of UML Class Diagrams as Static Views of Formal B Developments. 37-51
Electronic Edition (link) BibTeX
Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever:
29 New Unclarities in the Semantics of UML 2.0 State Machines. 52-65
Electronic Edition (link) BibTeX
Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang:
The Semantics and Tool Support of OZTA. 66-80
Electronic Edition (link) BibTeX

Modelling

Michael Altenhofen, Egon Börger, Jens Lemcke:
An Abstract Model for Process Mediation. 81-95
Electronic Edition (link) BibTeX
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard:
How Symbolic Animation Can Help Designing an Efficient Formal Model. 96-110
Electronic Edition (link) BibTeX

Security

Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti:
A Theory of Secure Control Flow. 111-124
Electronic Edition (link) BibTeX
Mourad Debbabi, Mohamed Saleh:
Game Semantics Model for Security Protocols. 125-140
Electronic Edition (link) BibTeX

Communication

Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum:
Towards Dynamically Communicating Abstract Machines in the B Method. 141-155
Electronic Edition (link) BibTeX
Guy Edward Gallasch, Bing Han, Jonathan Billington:
Sweep-Line Analysis of TCP Connection Management. 156-172
Electronic Edition (link) BibTeX
Yanjun Wen, Ji Wang, Zhi-Chang Qi:
2/3 Alternating Simulation Between Interface Automata. 173-187
Electronic Edition (link) BibTeX

Development

Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik:
Formal Model-Driven Development of Communicating Systems. 188-203
Electronic Edition (link) BibTeX
Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine:
Jahuel: A Formal Framework for Software Synthesis. 204-218
Electronic Edition (link) BibTeX
Juha Plosila, Pasi Liljeberg, Jouni Isoaho:
Modelling and Refinement of an On-Chip Communication Architecture. 219-234
Electronic Edition (link) BibTeX

Testing

Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou:
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. 235-250
Electronic Edition (link) BibTeX
Johannes Mayer:
Adaptive Random Testing by Bisection with Restriction. 251-263
Electronic Edition (link) BibTeX
Laura Brandán Briones, Ed Brinksma:
Testing Real-Time Multi Input-Output Systems. 264-279
Electronic Edition (link) BibTeX

Verification

Sandrine Blazy, Xavier Leroy:
Formal Verification of a Memory Model for C-Like Imperative Languages. 280-299
Electronic Edition (link) BibTeX
Farn Wang:
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. 300-314
Electronic Edition (link) BibTeX
Bernhard Beckert, Steffen Schlager, Peter H. Schmitt:
An Improved Rule for While Loops in Deductive Program Verification. 315-329
Electronic Edition (link) BibTeX
Byron Cook, Georges Gonthier:
Using Stålmarck's Algorithm to Prove Inequalities. 330-344
Electronic Edition (link) BibTeX
Michael Leuschel, Michael J. Butler:
Automatic Refinement Checking for B. 345-359
Electronic Edition (link) BibTeX
Ingo Brückner, Heike Wehrheim:
Slicing an Integrated Formal Method for Verification. 360-374
Electronic Edition (link) BibTeX
Francesc-Xavier Babot, Miquel Bertran, August Climent:
A Static Communication Elimination Algorithm for Distributed System Verification. 375-389
Electronic Edition (link) BibTeX
Arjan J. Mooij, Wieger Wesselink:
Incremental Verification of Owicki/Gries Proof Outlines Using PVS. 390-404
Electronic Edition (link) BibTeX
Jens Brandt, Klaus Schneider:
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. 405-420
Electronic Edition (link) BibTeX

Tools

Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid:
An Automated Approach to Specification-Based Program Inspection. 421-434
Electronic Edition (link) BibTeX
Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun:
Visualizing and Simulating Semantic Web Services Ontologies. 435-449
Electronic Edition (link) BibTeX
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. 450-464
Electronic Edition (link) BibTeX
M. M. Adams, Philip B. Clayton:
ClawZ: Cost-Effective Formal Verification for Control Systems. 465-479
Electronic Edition (link) BibTeX
Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik:
SVG Web Environment for Z Specification Language. 480-494
Electronic Edition (link) BibTeX