1. Home
  2. Proceedings
  3. SEFM
  4. SEFM 2008
Default Cover Image

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods

Nov. 10 2008 to Nov. 14 2008

Cape Town

Table of Contents

Papers
Table of contentsFreely available from IEEE.pp. v-viii
Papers
list-reviewerFreely available from IEEE.pp. xii
Papers
[Roster]Freely available from IEEE.pp. 394
[Title page i]Freely available from IEEE.pp. i
[Title page iii]Freely available from IEEE.pp. iii-iii
[Title page iv]Freely available from IEEE.pp. iv
Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
Title Page ivFreely available from IEEE.pp. iv
A Generalized Model-Based Test Generation MethodFull-text access may be available. Sign in or learn about subscription options.pp. 139-148
by Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
Papers
PrefaceFreely available from IEEE.pp. ix
Papers
CommitteesFreely available from IEEE.pp. x-xi
Papers
Abstract Interpretation in Code SecurityFull-text access may be available. Sign in or learn about subscription options.pp. 3
by Roberto Giacobazzi
Papers
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and WatermarkingFull-text access may be available. Sign in or learn about subscription options.pp. 7-18
by Roberto Giacobazzi
Papers
Nullness Analysis in Boolean FormFull-text access may be available. Sign in or learn about subscription options.pp. 21-30
by Fausto Spoto
Papers
Widening Operators for Abstract InterpretationFull-text access may be available. Sign in or learn about subscription options.pp. 31-40
by Agostino Cortesi
Papers
Static Analysis of the Determinism of Multithreaded ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 41-50
by Pietro Ferrara
Papers
Cheap and Small CounterexamplesFull-text access may be available. Sign in or learn about subscription options.pp. 53-62
by Henri Hansen, Jaco Geldenhuys
Papers
Efficient Model Checking for Duration Calculus Based on Branching-Time ApproximationsFull-text access may be available. Sign in or learn about subscription options.pp. 63-72
by Martin Fr?nzle, Michael R. Hansen
Papers
Flash-Efficient LTL Model Checking with Minimal CounterexamplesFull-text access may be available. Sign in or learn about subscription options.pp. 73-82
by Stefan Edelkamp, Damian Sulewski
Papers
Algebraic View ReconciliationFull-text access may be available. Sign in or learn about subscription options.pp. 85-94
by Peter H?fner, Ridha Khedri, Bernhard M?ller
Papers
Compositional Reasoning in Model-Based Verification of Adaptive Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 95-104
by Ina Schaefer, Arnd Poetzsch-Heffter
Papers
Extracting Conditional Confidentiality PoliciesFull-text access may be available. Sign in or learn about subscription options.pp. 107-116
by Michael Carl Tschantz, Jeannette M. Wing
Papers
Testing Privacy Policies Using ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 117-126
by Percy Pari Salas, Padmanabhan Krishnan
Papers
Preservation of Proof Pbligations for Hybrid Verification MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 127-136
by Gilles Barthe, C?sar Kunz, David Pichardie, Juli? Samborski-Forlese
Papers
Speci?cation-Based Testing for Software Product LinesFull-text access may be available. Sign in or learn about subscription options.pp. 149-158
by Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff
Papers
Verification-Based Test Case Generation for Full Feasible Branch CoverageFull-text access may be available. Sign in or learn about subscription options.pp. 159-168
by Christoph Gladisch
Papers
Tagging Make Local Testing of Message-Passing Systems FeasibleFull-text access may be available. Sign in or learn about subscription options.pp. 171-180
by Puneet Bhateja, Madhavan Mukund
Papers
Using Formal Verification to Reduce Test Space of Fault-Tolerant ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 181-190
by Kleber S. Xavier, Simone Hanazumi, Ana C. V. de Melo
Papers
Behaviour Directed Testing of Auto-code GeneratorsFull-text access may be available. Sign in or learn about subscription options.pp. 191-200
by Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar
Papers
Extending Stream X-Machines to Specify and Test Systems with TimeoutsFull-text access may be available. Sign in or learn about subscription options.pp. 201-210
by Mercedes G. Merayo, Robert M. Hierons, Manuel N?
Papers
Tools for CSPFull-text access may be available. Sign in or learn about subscription options.pp. 213-214
by Markus Roggenbach
Papers
Laws of Object-Orientation with Reference SemanticsFull-text access may be available. Sign in or learn about subscription options.pp. 217-226
by Leila Silva, Augusto Sampaio, Zhiming Liu
Papers
Specialized Aspect Languages Preserving Classes of PropertiesFull-text access may be available. Sign in or learn about subscription options.pp. 227-236
by Simplice Djoko Djoko, R?mi Douence, Pascal Fradet
Papers
Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed KnowledgeFull-text access may be available. Sign in or learn about subscription options.pp. 237-246
by Valentin Goranko, Dmitry Shkatov
Papers
Object Models with Temporal ConstraintsFull-text access may be available. Sign in or learn about subscription options.pp. 249-258
by Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
Papers
A Fast Algorithm to Compute Heap Memory Bounds of Java Card AppletsFull-text access may be available. Sign in or learn about subscription options.pp. 259-267
by Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin
Papers
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error CausesFull-text access may be available. Sign in or learn about subscription options.pp. 268-278
by Gogul Balakrishnan, Malay Ganai
Papers
CRefine: Support for the Circus Refinement CalculusFull-text access may be available. Sign in or learn about subscription options.pp. 281-290
by M. V. M. Oliveira, A. C. Gurgel, C. G. Castro
Papers
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy ConstraintsFull-text access may be available. Sign in or learn about subscription options.pp. 291-300
by Eduardo Tavares, Bruno Silva, Paulo Maciel
Papers
Modeling Component Connectors: Synchronisation and Context-DependencyFull-text access may be available. Sign in or learn about subscription options.pp. 303-312
by Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke
Papers
Generation of Service Wrapper Protocols from Choreography SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 313-322
by Gwen Sala?
Papers
Bridging the Gap between Interaction- and Process-Oriented ChoreographiesFull-text access may be available. Sign in or learn about subscription options.pp. 323-332
by Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro
Papers
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem ProverFull-text access may be available. Sign in or learn about subscription options.pp. 335-344
by Bo Guo, Mahadevan Subramaniam
Papers
Restricted Broadcast Process TheoryFull-text access may be available. Sign in or learn about subscription options.pp. 345-354
by Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
Papers
Modelling Rational User Behaviour as Games between an Angel and a DemonFull-text access may be available. Sign in or learn about subscription options.pp. 355-364
by Rimvydas Ruk?enas, Paul Curzon, Ann Blandford
Papers
Formal Methods and Innovation Economy: Facing New ChallengesFull-text access may be available. Sign in or learn about subscription options.pp. 367-371
by Alexander K. Petrenko, Olga L. Petrenko
Papers
Behavioral Compatibility of Active ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 372-376
by Youcef Hammal
Papers
Contract-Based Verification of Hierarchical Systems of ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 377-381
by Sophie Quinton, Susanne Graf
Papers
Checking Interface Interaction Protocols Using Aspect-Oriented ProgrammingFull-text access may be available. Sign in or learn about subscription options.pp. 382-386
by Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet-Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung
Papers
Ontology-Based Automatic Model TransformationsFull-text access may be available. Sign in or learn about subscription options.pp. 387-391
by Kurt Geihs, Philipp Baer, Roland Reichle, Jens Wollenhaupt
Papers
Author indexFreely available from IEEE.pp. 393
Showing 52 out of 52