8. SEFM 2010: Pisa, Italy

Keynotes

• Carlo Ghezzi:
  Adaptive Software Needs Continuous Verification. 3-4
  
• Dimitra Giannakopoulou:
  "Fly Me to the Moon": Verification of Aerospace Systems. 5-11
  
• Dusko Pavlovic:
  The Unreasonable Ineffectiveness of Security Engineering: An Overview. 12-18
  

In Memory of Geoff Dromey

• Peter A. Lindsay:
  Behavior Trees: From Systems Engineering to Software Engineering. 21-30
  
• Daniel Powell:
  Behavior Engineering - A Scalable Modeling and Analysis Method. 31-40
  
• Kirsten Winter, Ian J. Hayes, Robert Colvin:
  Integrating Requirements: The Behavior Tree Philosophy. 41-50
  

Formal Requirement Analysis and Specification

• Haitao Dan, Robert M. Hierons, Steve Counsell:
  Non-local Choice and Implied Scenarios. 53-62
  
• Faraz Hussain, Gary T. Leavens:
  temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. 63-72
  
• Emilia Katz, Shmuel Katz:
  User Queries for Specification Refinement Treating Shared Aspect Join Points. 73-82
  
• Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet:
  Assessing the Quality of B Models. 83-90
  

Program Analysis

• José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
  Assertion-based Slicing and Slice Graphs. 93-102
  
• Giuseppe Scanniello, Michele Risi, Genoveffa Tortora:
  Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical Evaluation. 103-112
  
• Cristina Tudose, Radu Opria:
  A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution. 113-117
  
• Zhiwu Xu, Lixiao Zheng, Haiming Chen:
  A Toolkit for Generating Sentences from Context-Free Grammars. 118-122
  

Formal Approaches to Service-oriented Computing

• Natallia Kokash, Christian Krause, Erik P. de Vink:
  Time and Data-Aware Analysis of Graphical Service Models in Reo. 125-134
  
• Christian Leuxner, Wassiou Sitou, Bernd Spanfelner:
  A Formal Model for Work Flows. 135-144
  
• Ábel Hegedüs, Gábor Bergmann, István Ráth, Dániel Varró:
  Back-annotation of Simulation Traces with Change-Driven Model Transformations. 145-155
  
• Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet:
  Designing Log Architectures for Legal Evidence. 156-165
  

Applications of Formal Methods

• Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison:
  A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. 169-180
  
• Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage:
  Safety Assessment Using Behavior Trees and Model Checking. 181-190
  
• Davide Benetti, Massimo Merro, Luca Viganò:
  Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. 191-202
  
• Michael Goldsmith, Sadie Creese:
  Refinement-Friendly Bigraphs and Spygraphs. 203-207
  

Model Checking

• Marie del Mar Gallardo, David Sanán:
  Verification of Dynamic Data Tree with mu-calculus Extended with Separation. 211-221
  
• Jiri Barnat, Lubos Brim, Petr Rockai:
  Parallel Partial Order Reduction with Topological Sort Proviso. 222-231
  
• Franz Weitl, Shin Nakajima, Burkhard Freitag:
  Structured Counterexamples for the Temporal Description Logic ALCCTL. 232-243
  
• Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi:
  SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. 244-254
  

Formal Approaches for Testing

• Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli:
  Testing Web Service Orchestrators in Context: A Symbolic Approach. 257-267
  
• Maximiliano Cristiá, Pablo Albertengo, Pablo Rodríguez Monetti:
  Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions. 268-277
  
• Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle:
  Combinatorial Testing for VDM. 278-285
  
• Stefan J. Galler, Martin Weiglhofer, Franz Wotawa:
  Synthesize It: From Design by Contract to Meaningful Test Input Data. 286-295
  

Formal Methods for Real-time and Timed Analysis

• Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings:
  TART: Timed-Automata to Real-Time Java Tool. 299-309
  
• Thomas Göthel, Sabine Glesner:
  Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. 310-314
  
• Kun Wei, Jim Woodcock, Alan Burns:
  A Timed Model of Circus with the Reactive Design Miracle. 315-319
  
• Massimo Bartoletti, Roberto Zunino:
  Static Enforcement of Service Deadlines. 320-324
  

Last update Thu May 24 04:42:21 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page