![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
5th 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 F. 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.