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

Invited Talks

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

Specification

Akram Idani, Yves Ledru, Didier Bert:
Derivation of UML Class Diagrams as Static Views of Formal B Developments. 37-51
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
Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang:
The Semantics and Tool Support of OZTA. 66-80

Modelling

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

Security

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

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
Guy Edward Gallasch, Bing Han, Jonathan Billington:
Sweep-Line Analysis of TCP Connection Management. 156-172
Yanjun Wen, Ji Wang, Zhi-Chang Qi:
2/3 Alternating Simulation Between Interface Automata. 173-187

Development

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

Testing

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

Verification

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

Tools

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

Last update Fri May 24 02:54:33 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page