13. ICFEM 2011: Durham, UK

Invited Talks

• Yongxin Zhao, Jifeng He:
  Towards a Signal Calculus for Event-Based Synchronous Languages. 1-13
  
• Peter W. O'Hearn:
  Reasoning about Programs Using a Scientific Method. 14
  
• Shaz Qadeer:
  Poirot - A Concurrency Sleuth. 15
  

Formal Models

• Narges Khakpour, Marjan Sirjani, Ursula Goltz:
  Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. 16-32
  
• Islam Abdelhalim, Steve Schneider, Helen Treharne:
  Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. 33-48
  
• Frank Zeyda, Ana Cavalcanti, Andy J. Wellings:
  The Safety-Critical Java Mission Model: A Formal Account. 49-65
  
• Andreas Bollin:
  Is There Evolution Before Birth? Deterioration Effects of Formal Z Specifications. 66-81
  
• Dapeng Mo, Xiaobing Wang, Zhenhua Duan:
  Asynchronous Communication in MSVL. 82-97
  

Model Checking and Probability

• Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong:
  Verification of Orchestration Systems Using Compositional Partial Order Reduction. 98-114
  
• Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu:
  Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. 115-130
  
• João Martins, André Platzer, João Leite:
  Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. 131-146
  
• Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li:
  PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. 147-162
  

Specification and Development

• Fauziah binti Zainuddin, Shaoying Liu:
  Integrating Prototyping into the SOFL Three-Step Modeling Approach. 163-178
  
• Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle:
  A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. 179-194
  
• Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge:
  On Fitting a Formal Method into Practice. 195-210
  
• Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni:
  A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems. 211-226
  

Security

• David J. Power, Mark Slaymaker, Andrew Simpson:
  Conformance Checking of Dynamic Access Control Policies. 227-242
  
• Masoud Koleini, Mark Ryan:
  A Knowledge-Based Verification Method for Dynamic Access Control Policies. 243-258
  
• Nafees Qamar, Yves Ledru, Akram Idani:
  Validation of Security-Design Models Using Z. 259-274
  

Formal Verification

• Ewen Maclean, Andrew Ireland:
  Mutation in Linked Data Structures. 275-290
  
• Pontus Boström:
  Contract-Based Verification of Simulink Models. 291-306
  
• Miroslav N. Velev, Ping Gao:
  Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units. 307-322
  
• Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo:
  Architectural Verification of Control Systems Using CSP. 323-339
  
• Junaid Haroon Siddiqui, Sarfraz Khurshid:
  Symbolic Execution of Alloy Models. 340-355
  

Cyber Physical Systems

• David W. Renshaw, Sarah M. Loos, André Platzer:
  Distributed Theorem Proving for Distributed Hybrid Systems. 356-371
  
• Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu:
  Towards a Model Checker for NesC and Wireless Sensor Networks. 372-387
  
• Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
  Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. 388-403
  
• Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn:
  An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. 404-419
  

Event-B

• Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky:
  Formal Derivation of a Distributed Program in Event B. 420-436
  
• Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu:
  From Requirements to Development: Methodology and Example. 437-455
  
• Thai Son Hoang, Jean-Raymond Abrial:
  Reasoning about Liveness Properties in Event-B. 456-471
  

Verification, Analysis and Testing

• Anh Cuong Nguyen, Siau-Cheng Khoo:
  Extracting Significant Specifications from Mining through Mutation Testing. 472-488
  
• Holger Gast:
  Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm. 489-504
  
• Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
  Static Analysis of String Values. 505-521
  
• Jonathan Nicholson:
  A Theory of Classes from the Theoretical Foundations of LePUS3. 522-536
  
• Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong:
  Differencing Labeled Transition Systems. 537-552
  

Refinement

• Jeremy W. Bryans:
  Developing a Consensus Algorithm Using Stepwise Refinement. 553-568
  
• Stefan Hallerstede, Colin F. Snook:
  Refining Nodes and Edges of State Machines. 569-584
  
• Fangfang Yuan, Stephen Wright, Kerstin Eder, David May:
  Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. 585-600
  
• Maximiliano Cristiá, Diego Hollmann, Pablo Albertengo, Claudia S. Frydman, Pablo Rodríguez Monetti:
  A Language for Test Case Refinement in the Test Template Framework. 601-616
  

Theorem Proving and Rewriting

• Walter Guttmann, Georg Struth, Tjark Weber:
  Automating Algebraic Methods in Isabelle. 617-632
  
• Matthias Schmalz:
  Term Rewriting in Logics of Partial Functions. 633-650
  
• Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer:
  Synchronous AADL and Its Formal Analysis in Real-Time Maude. 651-667
  

Last update Wed May 22 05:01:02 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page