default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd IFM 2002: Turku, Finland
- Michael J. Butler, Luigia Petre, Kaisa Sere:
Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings. Lecture Notes in Computer Science 2335, Springer 2002, ISBN 3-540-43703-7
Invited Talk
- Eran Gery, David Harel, Eldad Palachi:
Rhapsody: A Complete Life-Cycle Model-Based Development System. 1-10
Integration, Simulation, Animation
- Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski:
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. 11-28 - Natalia López, Manuel Núñez
, Fernando Rubio:
Stochastic Process Algebras Meet Eden. 29-48
From Specification to Verfication
- Kevin Lano, David Clark, Kelly Androutsopoulos:
From Implicit Specifications to Explicit Designs in Reactive System Development. 49-68 - Valery A. Nepomniaschy, Nikolay V. Shilov, Evgeny V. Bodin, Vitaly E. Kozura:
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. 69-88 - Mohammad Zulkernine, Rudolph E. Seviora:
Assume-Guarantee Algorithms for Automatic Detection of Software Failures. 89-108
Statecharts and B: Integration and Translation
- Hung Ledang, Jeanine Souquières:
Contributions for Modelling UML State-Charts in B. 109-127 - Emil Sekerinski, Rafik Zurob:
Translating Statecharts to B. 128-144
Invited Talk
- Shmuel Katz, Orna Grumberg:
A Framework for Translating Models and Specifications. 145-164
Model Checkers and Theorem Provers
- Kirsten Winter, Roger Duke:
Model Checking Object-Z Using ASM. 165-184 - Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar:
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. 185-204 - Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford:
Formally Linking MDG and HOL Based on a Verified MDG System. 205-224
Links between Object-Z and CSP
- Christie Bolton, Jim Davies:
Refinement in Object-Z and CSP. 225-244 - Jochen Hoenicke, Ernst-Rüdiger Olderog:
Combining Specification Techniques for Processes, Data and Time. 245-266 - Graeme Smith:
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems. 267-285
Invited Talk
- Stuart Kent:
Model Driven Engineering. 286-298
Combining Graphical and Formal Approaches
- Phillip J. Brooke, Richard F. Paige:
The Design of a Tool-Supported Graphical Notation for Timed CSP. 299-318 - Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo:
Combining Graphical and Formal Development of Open Distributed Systems. 319-338 - Katerina Korenblat, Orna Grumberg, Shmuel Katz:
Translations between Textual Transition Systems and Petri Nets. 339-359
Refinement and Proof
- Héctor Ruíz Barradas, Didier Bert:
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. 360-379 - Czeslaw Jeske, Richard Banach:
Minimally and Maximally Abstract Retrenchments. 380-400
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 2024-10-31 20:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
