Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCID5th ICFEM 2003: Singapore
- Jin Song Dong, Jim Woodcock
:
Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Lecture Notes in Computer Science 2885, Springer 2003, ISBN 3-540-20461-X
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, Christian 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, J. 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 J. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2021-07-23 22:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
