6. SEFM 2008: Cape Town, South Africa

Antonio Cerone, Stefan Gruner (Eds.): Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3437-4 BibTeX

Tutorial

Roberto Giacobazzi:
Abstract Interpretation in Code Security. 3
Electronic Edition (link) BibTeX

Keynote Speaker 1

Roberto Giacobazzi:
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. 7-18
Electronic Edition (link) BibTeX

Abstract Interpretation

Fausto Spoto:
Nullness Analysis in Boolean Form. 21-30
Electronic Edition (link) BibTeX
Agostino Cortesi:
Widening Operators for Abstract Interpretation. 31-40
Electronic Edition (link) BibTeX
Pietro Ferrara:
Static Analysis of the Determinism of Multithreaded Programs. 41-50
Electronic Edition (link) BibTeX

Model Checking

Henri Hansen, Jaco Geldenhuys:
Cheap and Small Counterexamples. 53-62
Electronic Edition (link) BibTeX
Martin Fränzle, Michael R. Hansen:
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. 63-72
Electronic Edition (link) BibTeX
Stefan Edelkamp, Damian Sulewski:
Flash-Efficient LTL Model Checking with Minimal Counterexamples. 73-82
Electronic Edition (link) BibTeX

Verification of Embedded Systems

Peter Höfner, Ridha Khédri, Bernhard Möller:
Algebraic View Reconciliation. 85-94
Electronic Edition (link) BibTeX
Ina Schaefer, Arnd Poetzsch-Heffter:
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. 95-104
Electronic Edition (link) BibTeX

Security

Michael Carl Tschantz, Jeannette M. Wing:
Extracting Conditional Confidentiality Policies. 107-116
Electronic Edition (link) BibTeX
Percy Antonio Pari Salas, Padmanabhan Krishnan:
Testing Privacy Policies Using Models. 117-126
Electronic Edition (link) BibTeX
Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese:
Preservation of Proof Pbligations for Hybrid Verification Methods. 127-136
Electronic Edition (link) BibTeX

Testing I

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão:
A Generalized Model-Based Test Generation Method. 139-148
Electronic Edition (link) BibTeX
Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff:
Specification-Based Testing for Software Product Lines. 149-158
Electronic Edition (link) BibTeX
Christoph Gladisch:
Verification-Based Test Case Generation for Full Feasible Branch Coverage. 159-168
Electronic Edition (link) BibTeX

Testing II

Puneet Bhateja, Madhavan Mukund:
Tagging Make Local Testing of Message-Passing Systems Feasible. 171-180
Electronic Edition (link) BibTeX
Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo:
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. 181-190
Electronic Edition (link) BibTeX
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar:
Behaviour Directed Testing of Auto-code Generators. 191-200
Electronic Edition (link) BibTeX
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Extending Stream X-Machines to Specify and Test Systems with Timeouts. 201-210
Electronic Edition (link) BibTeX

Keynote Speaker 2

Markus Roggenbach:
Tools for CSP. 213-214
Electronic Edition (link) BibTeX

Aspect-Oriented Development

Leila Silva, Augusto Sampaio, Zhiming Liu:
Laws of Object-Orientation with Reference Semantics. 217-226
Electronic Edition (link) BibTeX
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet:
Specialized Aspect Languages Preserving Classes of Properties. 227-236
Electronic Edition (link) BibTeX
Valentin Goranko, Dmitry Shkatov:
Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. 237-246
Electronic Edition (link) BibTeX

Requirement and Program Analysis

Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Object Models with Temporal Constraints. 249-258
Electronic Edition (link) BibTeX
Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin:
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. 259-267
Electronic Edition (link) BibTeX
Gogul Balakrishnan, Malay Ganai:
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. 268-278
Electronic Edition (link) BibTeX

Tool Papers

M. Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro:
CRefine: Support for the Circus Refinement Calculus. 281-290
Electronic Edition (link) BibTeX
Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel:
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. 291-300
Electronic Edition (link) BibTeX

Coordination Languages

Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke:
Modeling Component Connectors: Synchronisation and Context-Dependency. 303-312
Electronic Edition (link) BibTeX
Gwen Salaün:
Generation of Service Wrapper Protocols from Choreography Specifications. 313-322
Electronic Edition (link) BibTeX
Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro:
Bridging the Gap between Interaction- and Process-Oriented Choreographies. 323-332
Electronic Edition (link) BibTeX

Communication, Mobile and Interactive Systems

Bo Guo, Mahadevan Subramaniam:
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. 335-344
Electronic Edition (link) BibTeX
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar:
Restricted Broadcast Process Theory. 345-354
Electronic Edition (link) BibTeX
Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Modelling Rational User Behaviour as Games between an Angel and a Demon. 355-364
Electronic Edition (link) BibTeX

Short Papers

Alexander K. Petrenko, Olga L. Petrenko:
Formal Methods and Innovation Economy: Facing New Challenges. 367-371
Electronic Edition (link) BibTeX
Youcef Hammal:
Behavioral Compatibility of Active Components. 372-376
Electronic Edition (link) BibTeX
Sophie Quinton, Susanne Graf:
Contract-Based Verification of Hierarchical Systems of Components. 377-381
Electronic Edition (link) BibTeX
Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet-Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung:
Checking Interface Interaction Protocols Using Aspect-Oriented Programming. 382-386
Electronic Edition (link) BibTeX
Kurt Geihs, Philipp A. Baer, Roland Reichle, Jens Wollenhaupt:
Ontology-Based Automatic Model Transformations. 387-391
Electronic Edition (link) BibTeX