- REGULAR PAPERS
-
-
- Peter Höfner, Bernhard Moeller and Ridha Khedri.
Algebraic View Reconciliation
- Percy Pari Salas and Paddy Krishnan.
Testing Privacy Policies using Models
- Temesghen Kahsai, Markus Roggenbach and Holger Schlingloff.
Specification-based Testing for Product lines
- Gwen Salaün.
Generation of Service Wrapper Protocols from Choreography Specifications
- Henri Hansen and Jaco Geldenhuys.
Cheap and Small Counterexamples
- Mohammad Izadi, Marcello Bonsangue and Dave Clarke.
Modeling Component Connectors Synchronization and Context-Dependency
- Leila Silva, Augusto Sampaio and Zhiming Liu.
Laws of Object-Orientation with Reference Semantics
- Valentin Goranko and Dmitry Shkatov.
Tableau-based decision procedure for the multi-agent epistemic
logic with operators of common and distributed knowledge
- Martin Fränzle and Michael R. Hansen.
Efficient Model Checking for Duration Calculus based on Branching-Time Approximations
- Ina Schaefer and Arnd Poetzsch-Heffter.
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems
- Valentin Goranko and Wilmari Morton.
Bisimulation equivalence of rational Kripke models
- Kleber Xavier, Simone Hanazumi and Ana Melo.
Using Formal Verification to Reduce Test Space of Fault-tolerant Programs
- Prahladavaradan Sampath, A.C. Rajeev, Ramesh S and K.C. Shashidhar.
Behaviour Directed Testing of Auto-Code Generators
- Christoph Gladisch.
Verification-based Testing for Full Feasible Branch Coverage
- Ivan Lanese, Claudio Guidi, Fabrizio Montesi and Gianluigi Zavattaro.
Bridging the gap between Interaction- and Process-Oriented Choreographies
- Gilles Barthe, César Kunz, David Pichardie and Julián Samborski Forlese.
Preservation of Proof Obligations for Hybrid Certificates
- Tuan-Hung Pham, Hoang Truong and Ninh-Thuan Truong.
A fast algorithm to compute heap memory bounds of Java Card applets
- Djoko Djoko simplice, Rémi Douence and Pascal Fradet.
Specialized Aspect Languages Preserving Classes of Properties
- Fausto Spoto.
Nullness Analysis in Boolean Form
- Marcel Vinicius Medeiros Oliveira Oliveira, Alessandro Cavalcante Gurgel and Cristiano G. Castro.
CRefine: Support for the Circus Refinement Calculus
- Gogul Balakrishnan and Malay Ganai.
PED: Proof-guided Error Diagnosis by Triangulation of Program Error Causes
- Bo Guo and Mahadevan Subramaniam.
Formal Change Impact Analyses of Extended Finite State Machines using a Theorem Prover
- Rimvydas Ruksenas, Paul Curzon and Ann Blandford.
Modelling Rational User Behaviour as Games between an Angel and a Demon
- Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta.
Object models with temporal constraints
- Fatemeh Ghassemi, Wan Fokkink and Ali Movaghar.
Restricted Broadcast Process Theory
- Pietro Ferrara.
Static analysis of the determinism of multithreaded programs
- Agostino Cortesi.
Widening Operators for Abstract Interpretation
- Puneet Bhateja and Madhavan Mukund.
Tagging make local testing of message-passing systems feasible
- Stefan Edelkamp and Damian Sulewski.
Flash-Efficient LTL Model Checking with Minimal Counterexamples
- Mercedes G. Merayo, Rob Hierons and Manuel Nunez.
Extending Stream X-Machines to specify and test systems with timeouts
- Arnaldo Moura, Adilson Bonifácio and Adenilso Simao.
A Generalized Model-based Test Generation Method
- Michael Carl Tschantz and Jeannette M. Wing.
Extracting Conditional Confidentiality Policies
- Eduardo Tavares, Bruno Silva and Paulo Maciel.
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints
-
- SHORT PAPERS
-
-
- Alexander K. Petrenko and Olga Petrenko.
Effects of Formal Methods in Innovation Economy
- Hoang Truong, Thanh-Binh Trinh, Viet-Ha Nguyen, Trang Nguyen Thi Thu, Hung Dang Van and Hung Pham Dinh.
Specifying and checking interface protocols using aspect-oriented programming
- Youcef Hammal.
Behavioral Compatibility of Active Components
- Sophie Quinton and Susanne Graf.
Contract-based verification of hierarchical systems of components
-
|
