default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th IFM 2007: Oxford, UK
- Jim Davies, Jeremy Gibbons:
Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science 4591, Springer 2007, ISBN 978-3-540-73209-9 - Nazareno Aguirre, Germán Regis, T. S. E. Maibaum:
Verifying Temporal Properties of CommUnity Designs. 1-20 - Oliver Au, Roger G. Stone, John Cooke:
Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications. 21-36 - Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi:
Automated Verification of Security Policies in Mobile Code. 37-53 - Ingo Brückner:
Slicing Concurrent Real-Time System Specifications for Verification. 54-74 - Andrew Butterfield
, Adnan Sherif, Jim Woodcock:
Slotted-Circus. 75-97 - Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova:
Bug Hunting with False Negatives. 98-117 - Alessandra Cavarra, James Welch:
Behavioural Specifications from Class Models. 118-137 - Yifeng Chen:
Inheriting Laws for Processes with States. 138-155 - Robert Colvin, Lars Grunske, Kirsten Winter:
Probabilistic Timed Behavior Trees. 156-175 - Jean-François Couchot, Frédéric Dadeau:
Guiding the Correction of Parameterized Specifications. 176-194 - John Derrick, Gerhard Schellhorn, Heike Wehrheim:
Proving Linearizability Via Non-atomic Refinement. 195-214 - Steve Dunne, Andy Galloway:
Lifting General Correctness into Partial Correctness is ok. 215-232 - Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans:
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. 233-252 - Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader:
Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. 253-272 - Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik:
Finding State Solutions to Temporal Logic Queries. 273-292 - Stefan Hallerstede, Thai Son Hoang:
Qualitative Probabilistic Modelling in Event-B. 293-312 - Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn:
Verifying Smart Card Applications: An ASM Approach. 313-332 - Osman Hasan, Sofiène Tahar:
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. 333-352 - Jifeng He:
UTP Semantics for Web Services. 353-372 - Damien Karkinsky, Steve A. Schneider, Helen Treharne:
Combining Mobility with State. 373-392 - Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. 393-412 - Christie Marr:
Capturing Conflict and Confusion in CSP. 413-438 - Larissa Meinicke, Graeme Smith:
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. 439-458 - Björn Metzler:
Decomposing Integrated Specifications for Verification. 459-479 - Daniel Plagge, Michael Leuschel:
Validating Z Specifications Using the ProBAnimator and Model Checker. 480-500 - Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang:
Verification of Multi-agent Negotiations Using the Alloy Analyzer. 501-517 - Hendrik Post, Wolfgang Küchlin:
Integrated Static Analysis for Linux Device Driver Verification. 518-537 - Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse:
Integrating Verification, Testing, and Learning for Cryptographic Protocols. 538-557 - Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee:
Translating FSP into LOTOS and Networks of Automata. 558-578 - Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
Common Semantics for Use Cases and Task Models. 579-598 - Michael Anthony Smith, Jeremy Gibbons:
Unifying Theories of Objects. 599-618 - Tobe Toben:
Non-interference Properties for Data-Type Reduction of Communicating Systems. 619-638 - Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink:
Co-simulation of Distributed Embedded Real-Time Control Systems. 639-658
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-11-15 19:19 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:
