5. ICFEM 2003: Singapore

@proceedings{DBLP:conf/icfem/2003,
  editor    = {Jin Song Dong and
               Jim Woodcock},
  title     = {Formal Methods and Software Engineering, 5th International Conference
               on Formal Engineering Methods, ICFEM 2003, Singapore, November
               5-7, 2003, Proceedings},
  booktitle = {ICFEM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2885},
  year      = {2003},
  isbn      = {3-540-20461-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• Ian J. Hayes:
  Programs as Paths: An Approach to Timing Constraint Analysis. 1-15
  
• Colin O'Halloran:
  Model Based Code Verification. 16-25
  
• Mathai Joseph:
  Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?. 26-33
  

Testing and Validation

• Jessica Chen:
  Using Formal Methods to Serialize Synchronization Events. 34-47
  
• Kong Woei Susanto, Thomas F. Melham:
  An AMBA-ARM7 Formal Verification Platform. 48-67
  
• Wuwei Shen, Shaoying Liu:
  Formalization, Testing and Execution of a Use Case Diagram. 68-85
  
• Bernhard Schätz, Chris Salzmann:
  Service-Based Systems Engineering: Consistent Combination of Services. 86-104
  

State Diagrams

• Jim Davies, Charles Crichton:
  Using State Diagrams to Describe Concurrent Behaviour. 105-124
  
• Quan Long, Zongyan Qiu, Shengchao Qin:
  The Equivalence of Statecharts. 125-143
  
• David von Oheimb, Volkmar Lotz:
  Generic Interacting State Machines and Their Instantiation with Dynamic Features. 144-166
  

PVS/HOL

• Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl:
  Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. 167-186
  
• Gwen Salaün, Christian Attiogbé:
  Formalising an Integrated Language in PVS. 187-205
  

Refinement

• Behzad Akbarpour, Sofiène Tahar:
  Modeling System C Fixed-Point Arithmetic in HOL. 206-225
  
• Mila E. Majster-Cederbaum, Jinzhao Wu:
  Adding Action Refinement to Stochastic True Concurrency Models. 226-245
  
• Neil J. Robinson:
  Incremental Derivation of Abstraction Relations for Data Refinement. 246-265
  
• Steve Reeves, David Streader:
  Comparison of Data and Process Refinement. 266-285
  
• Geoffrey Watson:
  Compilation by Refinement for a Practical Assembly Language. 286-305
  

Hybrid Systems

• Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad:
  Java Card Code Generation from B Specifications. 306-318
  
• Lars Michael Kristensen, Thomas Mailund:
  Efficient Path Finding with the Sweep-Line Method Using External Storage. 319-337
  
• Yuechen Qian:
  Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates. 338-358
  
• Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin:
  Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. 359-374
  

Z/Object-Z

• Benjamin W. Long, Colin J. Fidge, Antonio Cerone:
  A Z Based Approach to Verifying Security Protocols. 375-395
  
• Angela Freitas, Carla Nascimento, Ana Cavalcanti:
  A Refinement Tool for Z. 396-415
  
• Hong Li Yang, Jun Gang Han, Ke Gang Hao:
  The Common Semantic Constructs of XML Family. 416-431
  

Petri Nets

• Berndt Farwer, Saraswati Kalvala, Kundan Misra:
  Controller Synthesis for Object Petri Nets. 432-451
  
• Yuyue Du, Changjun Jiang:
  Towards a Workflow Model of Real-Time Cooperative Systems. 452-470
  
• Jörn Freiheit, Jonathan Billington:
  New Developments in Closed-Form Computation for GSPN Aggregation. 471-490
  

Timed Automata

• Johan Bengtsson, Wang Yi:
  On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. 491-503
  
• Jun Pang, Bart Karstens, Wan Fokkink:
  Analyzing the Redesign of a Distributed Lift System in UPPAAL. 504-522
  
• Behzad Bordbar, Kozo Okano:
  Verification of Timeliness QoS Properties in Multimedia Systems. 523-540
  

System Modeling and Checking

• Georg Struth:
  A Calculus for Set-Based Program Development. 541-559
  
• Hong Peng, Sofiène Tahar, Yassine Mokhtari:
  Compositional Verification of a Switch Fabric from Nortel Networks. 560-578
  
• Beata Sarna-Starosta, C. R. Ramakrishnan:
  Constraint-Based Model Checking of Data-Independent Systems. 579-598
  
• Peter T. Breuer:
  A Formal Model for the Block Device Subsystem of the Linux Kernel. 599-619
  

Semantics and Synthesis

• Hamdan Dammag, Nimal Nissanke:
  A Mathematical Framework for Safecharts. 620-640
  
• Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen:
  A Relational Model for Formal Object-Oriented Requirement Analysis in UML. 641-664
  
• Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
  From Specification to Hardware Device: A Synthesis Algorithm. 665-681
  

Last update Fri May 25 08:18:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page