default search action
8th IFM 2010: Nancy, France
- Dominique Méry, Stephan Merz:
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science 6396, Springer 2010, ISBN 978-3-642-16264-0 - Christel Baier:
On Model Checking Techniques for Randomized Distributed Systems. 1-11 - John S. Fitzgerald
, Peter Gorm Larsen
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. 12-26 - Rajeev Joshi:
Programming with Miracles. 27 - Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui
An Event-B Approach to Data Sharing Agreements. 28-42 - Patrizia Asirelli, Maurice H. ter Beek
A Logical Framework to Deal with Variability. 43-58 - Serge Autexier
Adding Change Impact Analysis to the Formal Verification of C Programs. 59-73 - Pontus Boström
Creating Sequential Programs from Event-B Models. 74-88 - Hanifa Boucheneb, Abdessamad Imine, Manal Najem:
Symbolic Model-Checking of Optimistic Replication Algorithms. 89-104 - Matthias Daum, Norbert Schirmer, Mareike Schmidt:
From Operating-System Correctness to Pervasively Verified Applications. 105-120 - Aleksandar S. Dimovski
A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs. 121-135 - Johannes Faber:
Verification Architectures: Compositional Reasoning for Real-Time Systems. 136-151 - Johannes Faber, Carsten Ihlemann, Swen Jacobs
Automatic Verification of Parametric Specifications with Complex Topologies. 152-167 - Martin Fränzle
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. 168-182 - Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim:
Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. 183-198 - Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Specification and Verification of Model Transformations Using UML-RSDS. 199-214 - Stefano Marrone
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. 215-228 - Radu Mateescu, Gwen Salaün:
Translating Pi-Calculus into LOTOS NT. 229-244 - Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau:
Systematic Translation Rules from astd to Event-B. 245-259 - Steve A. Schneider
A CSP Approach to Control in Event-B. 260-274 - Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Towards Probabilistic Modelling in Event-B. 275-289 - Thi Mai Thuong Tran, Martin Steffen:
Safe Commits for Transactional Featherweight Java. 290-304 - Javier de Dios, Manuel Montenegro, Ricardo Peña:
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. 305-319 - Sorin Stratulat:
Integrating Implicit Induction Proofs into Certified Proof Environments. 320-335
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 2025-01-02 18:00 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: